Hjem
Click
  • E-postDag.Hovland@uib.no
  • Telefon+47 55 58 43 73
  • Besøksadresse
    HIB - Thormøhlensgt. 55
  • Postadresse
    Postboks 7803
    5020 Bergen

Type systems, regular expressions, algorithms, Java annotations

Høsten 2009: INF121 og INF121A

Tidsskriftartikler
  • Antonopoulos, Timos; Hovland, Dag; Martens, Wim; Neven, Frank. 2015. Deciding Twig-definability of Node Selecting Tree Automata. Theory of Computing Systems. 57: 967-1007. doi: 10.1007/s00224-015-9623-7
  • Calvanese, Diego; Giese, Martin; Hovland, Dag; Rezk, Martin. 2015. Ontology-Based Integration of Cross-Linked Datasets. Lecture Notes in Computer Science. 9366: 199-216. doi: 10.1007/978-3-319-25007-6_12
  • 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. 2015. Ontology based access to exploration data at statoil. Lecture Notes in Computer Science. 9367: 93-112. doi: 10.1007/978-3-319-25010-6_6
  • Skjæveland, Martin G; Giese, Martin; Hovland, Dag; Lian, Espen Hallenstvedt; Waaler, Arild. 2015. Engineering ontology-based access to real-world data sources. Journal of Web Semantics. 33: 112-140. doi: 10.1016/j.websem.2015.03.002
  • 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. 2013. Optique System: Towards Ontology and Mapping Management in OBDA Solutions. CEUR Workshop Proceedings.
  • Bezem, Marcus A.; Hovland, Dag; Truong, Anh Hoang. 2012. A type system for counting instances of software components. Theoretical Computer Science. 458: 29-48. doi: 10.1016/j.tcs.2012.07.032
  • Holen, Bjarne; Hovland, Dag; Giese, Martin. 2012. Efficient Rule-Matching for Automated Coherent Logic. NIK: Norsk Informatikkonferanse. 25-36.
  • Hovland, Dag. 2012. The Membership Problem for Regular Expressions with Unordered Concatenation and Numerical Constraints. Lecture Notes in Computer Science. 7183: 313-324. doi: 10.1007/978-3-642-28332-1_27
  • Hovland, Dag. 2012. The inclusion problem for regular expressions. Journal of computer and system sciences (Print). 78: 1795-1813. doi: 10.1016/j.jcss.2011.12.003
  • Hovland, Dag. 2009. Regular Expressions with Numerical Constraints and Automata with Counters. Lecture Notes in Computer Science. 5684: 231-245. doi: 10.1007/978-3-642-03466-4_15
  • Hovland, Dag. 2009. A Type System for Usage of Software Components. Lecture Notes in Computer Science. 5497: 186-202. Publisert 2009-06-07. doi: 10.1007/978-3-642-02444-3_12
Rapporter/avhandlinger
  • Hovland, Dag. 2010. Feasible Algorithms for Semantics - Employing Automata and Inference Systems. University of Bergen.
Bokkapitler
  • Antonopoulos, Timos; Hovland, Dag; Martens, Wim; Neven, Frank. 2012. Deciding Twig-definability of Node Selecting Tree Automata. Research paper, sider 61-73. I:
    • Deutsch, Alin. 2012. 15th International Conference on Database Theory, ICDT '12, Berlin, Germany, March 26-29, 2012. Association for Computing Machinery (ACM). 329 sider. ISBN: 978-1-4503-0791-8.
  • Hovland, Dag. 2010. The inclusion problem for regular expressions. Artikkel, sider 309-320. I:
    • Dediu, Adrian-Horia; Martín-Vide, Carlos; Fernau, Henning. 2010. Language and automata theory and applications. 4th International Conference, LATA 2010 Trier, Germany, May 24-28, 2010 Proceedings. Springer. 400 sider. ISBN: 978-3-642-13088-5.
  • Mancini, Federico; Hovland, Dag; Mughal, Khalid Azim. 2010. The SHIP Validator: An Annotation-based Content-Validation Framework for Java Applications. Artikkel, sider 122-128. I:
    • IEEE, Org. 2010. Proceedings of the Fifth International Conference on Internet and Web Applications and Services (ICIW 2010). IEEE conference proceedings. 578 sider. ISBN: 978-0-7695-4022-1.
  • Mancini, Federico; Hovland, Dag; Mughal, Khalid Azim. 2010. Investigating the Limitations of Java Annotations for Input Validation. Artikkel, sider 513-518. I:
    • IEEE, Org. 2010. Proceedings of the Fifth International Conference on Availability, Reliability, and Security (ARES 2010). IEEE conference proceedings. 708 sider. ISBN: 978-1-4244-5879-0.

Se fullstendig oversikt over publikasjoner i CRIStin.