Current Research Information SysTem In Norway
 
 

 Norsk versjon


 
Mainpage
Research results/NVI
Researchers
Projects
Research units
Log in
About Cristin
 
 
   
Back to search     Short format     Full format    
Export to


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