|
|
Norsk
versjon
In order to register data in Cristin, you must be an academic or administrative employee.
|
|
|
|
|
|
|
|
|
Showing results 1-32 of 32
|
|
2018
|
1. |
Kharlamov, Evgeny; Skjæveland, Martin G; Hovland, Dag; Mailis, Theofilos; Jimenez-Ruiz, Ernesto; Xiao, Guohui; Soylu, Ahmet; Horrocks, Ian; Waaler, Arild. Finding Data Should be Easier than Finding Oil. I: 2018 IEEE International Conference on Big Data (Big Data), Seattle, 10-13 Dec. 2018. IEEE 2018 ISBN 978-1-5386-5035-6. p. - SINTEF NTNU UiO
Untitled
|
|
2. |
Latif, Adnan; Waaler, Arild; Giese, Martin; Hovland, Dag; Skjæveland, Martin G. Ontology-Based Data Access in Exploration. 6th November Conference for Norwegian/ Brazilian Energy Research; 2018-11-12 - 2018-11-13 UiO
Untitled
|
|
3. |
Xiao, Guohui; Hovland, Dag; Bilidas, Dimitris; Rezk, Martin; Giese, Martin; Calvanese, Diego. Efficient Ontology-Based Data Integration with Canonical IRIs. Lecture Notes in Computer Science (LNCS) 2018 ;Volume 10843 LNCS. p. 697-713 UiO
Untitled
|
2017
|
4. |
Cameron, David Bruce; Waaler, Arild; Hovland, Dag; Skjæveland, Martin G. Practical Knowledge Representation for Data Access to Subsurface Data: The Achievements and Potential of the Optique Platform. AAPG/SEG International Conference and Exhibition; 2017-10-15 - 2017-10-18 UiO
Untitled
|
|
5. |
Hovland, Dag; Kontchakov, Roman; Skjæveland, Martin G; Waaler, Arild; Zakharyaschev, Michael. Ontology-Based Data Access to Slegge. Lecture Notes in Computer Science (LNCS) 2017 ;Volume 10588. p. 120-129 UiO
Untitled
|
|
6. |
Jimenez-Ruiz, Ernesto; Hovland, Dag; Slaughter, Laura; Håndstad, Tony; Waaler, Arild. On adopting ontology alignment techniques within the phenotype acquisition process. CEUR Workshop Proceedings 2017 ;Volume 2042. p. 1-2 UiO OUS
Untitled
|
|
7. |
Kharlamov, Evgeny; Hovland, Dag; Skjæveland, Martin G; Bilidas, Dimitris; Jimenez-Ruiz, Ernesto; Xiao, Guohui; Soylu, Ahmet; Lanti, Davide; Rezk, Martin; Zheleznyakov, Dmitriy; Giese, Martin; Lie, Hallstein; Ioannidis, Yannis; Kotidis, Yannis; Koubarakis, Manolis; Waaler, Arild Torolv Søetorp. Ontology Based Data Access in Statoil. Journal of Web Semantics 2017 ;Volume 44. p. 3-36 UiO NTNU
Untitled
|
|
8. |
Soylu, Ahmet; Kharlamov, Evgeny; Zheleznyakov, Dmitriy; Jimenez-Ruiz, Ernesto; Giese, Martin; Skjæveland, Martin G; Hovland, Dag; Schlatte, Rudolf; Brandt, Sebastian; Lie, Hallstein; Horrocks, Ian. OptiqueVQS: a Visual Query System over Ontologies for Industry. Semantic Web Journal 2017 p. 1-28 UiO NTNU
Untitled
|
2016
|
9. |
Cameron, David B.; Skjæveland, Martin G; Giese, Martin; Hovland, Dag; Waaler, Arild; Bjørge, Eldar; Tungland, Knut Sebastian. Optique: Simple, Oil & Gas-oriented access to big data in exploration. SPE Intelligent Energy International Conference and Exhibition; 2016-09-06 - 2016-09-08 UiO
Untitled
|
|
10. |
Cameron, David B.; Skjæveland, Martin G; Giese, Martin; Hovland, Dag; Waaler, Arild; Bjørge, Eldar; Tungland, Knut Sebastian. Optique: Simple, Oil & Gas-oriented access to big data in exploration. I: SPE Intelligent Energy Conference and Exhibition, Aberdeen, Scotland, UK, 6-8 September 2016 - Conference Proceedings. Society of Petroleum Engineers 2016 ISBN 978-1-61399-459-7. UiO
Untitled
|
|
11. |
Hovland, Dag; Lanti, Davide; Rezk, Martin; Xiao, Guohui. OBDA constraints for effective query answering. Lecture Notes in Computer Science (LNCS) 2016 ;Volume 9718. p. 269-286 UiO
Untitled
|
|
12. |
Zheleznyakov, Dmitriy; Kharlamov, Evgeny; Klungre, Vidar Norstein; Skjæveland, Martin G; Hovland, Dag; Giese, Martin; Horrocks, Ian; Waaler, Arild. KeywDB: A system for keyword-driven ontology-to-RDB mapping construction. CEUR Workshop Proceedings 2016 ;Volume 1690. p. - UiO
Untitled
|
2015
|
13. |
Antonopoulos, Timos; Hovland, Dag; Martens, Wim; Neven, Frank. Deciding Twig-definability of Node Selecting Tree Automata. Theory of Computing Systems 2015 ;Volume 57.(4) p. 967-1007 UiO
Untitled
|
|
14. |
Calvanese, Diego; Giese, Martin; Hovland, Dag; Rezk, Martin. Ontology-Based Integration of Cross-Linked Datasets. Lecture Notes in Computer Science (LNCS) 2015 ;Volume 9366. p. 199-216 UiO
Untitled
|
|
15. |
Kharlamov, Evgeny; Hovland, Dag; Jiménez-Ruiz, Ernesto; Lanti, Davide; Lie, Hallstein; Pinkel, Christoph; Rezk, Martin; Skjæveland, Martin G; Thorstensen, Evgenij; Xiao, Guohui; Zheleznyakov, Dmitriy; Horrocks, Ian. Ontology based access to exploration data at statoil. Lecture Notes in Computer Science (LNCS) 2015 ;Volume 9367. p. 93-112 UiO
Untitled
|
|
16. |
Skjæveland, Martin G; Giese, Martin; Hovland, Dag; Lian, Espen Hallenstvedt; Waaler, Arild. Engineering ontology-based access to real-world data sources. Journal of Web Semantics 2015 ;Volume 33. p. 112-140 UiO
Untitled
|
2013
|
17. |
Haase, Peter; Horrocks, Ian; Hovland, Dag; Hubauer, Thomas; Jimenez-ruiz, Ernesto; Kharlamov, Evgeny; Kluwer, Johan Wilhelm; Christoph, Pinkel; Rosati, Riccardo; Santarelli, Valerio; Soylu, Ahmet; Zheleznyakov, Dmitriy. Optique System: Towards Ontology and Mapping Management in OBDA Solutions. CEUR Workshop Proceedings 2013 UiO
Untitled
|
2012
|
18. |
Antonopoulos, Timos; Hovland, Dag; Martens, Wim; Neven, Frank. Deciding Twig-definability of Node Selecting Tree Automata. I: 15th International Conference on Database Theory, ICDT '12, Berlin, Germany, March 26-29, 2012. Association for Computing Machinery (ACM) 2012 ISBN 978-1-4503-0791-8. p. 61-73 UiO
Untitled
|
|
19. |
Bezem, Marcus A.; Hovland, Dag; Truong, Anh Hoang. A type system for counting instances of software components. Theoretical Computer Science 2012 ;Volume 458. p. 29-48 UiB
Untitled
|
|
20. |
Holen, Bjarne; Hovland, Dag; Giese, Martin. Efficient Rule-Matching for Automated Coherent Logic. NIKT: Norsk IKT-konferanse for forskning og utdanning 2012 p. 25-36 UiO
Untitled
|
|
21. |
Hovland, Dag. The inclusion problem for regular expressions. Journal of computer and system sciences 2012 ;Volume 78.(6) p. 1795-1813 UiB
Untitled
|
|
22. |
Hovland, Dag. The Membership Problem for Regular Expressions with Unordered Concatenation and Numerical Constraints. Lecture Notes in Computer Science (LNCS) 2012 ;Volume 7183. p. 313-324 UiO
Untitled
|
|
23. |
Hovland, Dag; Holen, Bjarne; Giese, Martin. Efficient Rule-Matching for Hyper-Tableaux. 9th International Workshop on the Implementation of Logics; 2012-03-10 - 2012-03-10 UiO
Untitled
|
2010
|
24. |
Mancini, Federico; Hovland, Dag; Mughal, Khalid Azim. The SHIP Validator: An Annotation-based Content-Validation Framework for Java Applications. I: Proceedings of the Fifth International Conference on Internet and Web Applications and Services (ICIW 2010). IEEE conference proceedings 2010 ISBN 978-0-7695-4022-1. p. 122-128 UiB
Untitled
|
|
25. |
Hovland, Dag. Feasible Algorithms for Semantics - Employing Automata and Inference Systems. : University of Bergen 2010 (ISBN 9788230816660) UiB
Untitled
|
|
26. |
Hovland, Dag. The inclusion problem for regular expressions. I: Language and automata theory and applications. 4th International Conference, LATA 2010 Trier, Germany, May 24-28, 2010 Proceedings. Springer 2010 ISBN 978-3-642-13088-5. p. 309-320 UiB
Untitled
|
|
27. |
Mancini, Federico; Hovland, Dag; Mughal, Khalid Azim. Investigating the Limitations of Java Annotations for Input Validation. I: Proceedings of the Fifth International Conference on Availability, Reliability, and Security (ARES 2010). IEEE conference proceedings 2010 ISBN 978-1-4244-5879-0. p. 513-518 UiB
Untitled
|
2009
|
28. |
Rossini, Alessandro; Rutle, Adrian; Mancini, Federico; Hovland, Dag; Mughal, Khalid Azim; Lamo, Yngve; Wolter, Uwe Egbert. Data Validation Constraints in MDE. NWPT 2009: 21th Nordic Workshop on Programming Theory; 2009-10-14 - 2009-10-16 HVL UiB
Untitled
|
|
29. |
Hovland, Dag. A Type System for Usage of Software Components. Lecture Notes in Computer Science (LNCS) 2009 ;Volume 5497. p. 186-202 UiB
Untitled
|
|
30. |
Hovland, Dag. Regular Expressions with Numerical Constraints and Automata with Counters. Lecture Notes in Computer Science (LNCS) 2009 ;Volume 5684. p. 231-245 UiB
Untitled
|
2008
|
31. |
Hovland, Dag. A Type System for Usage of Software Components. 20th Nordic Workshop on Programming Theory, NWPT '08; 2008-11-19 - 2008-11-21 UiB
Untitled
|
|
32. |
Hovland, Dag. A Type System for Usage of Software Components. Applications of Logic in Computer Security ALICS 2008; 2008-11-22 - 2008-11-22 UiB
Untitled
|
|