Dag Hovlands bilde
Dag
Hovland
Besøksadresse: 
HIB - Thormøhlensgt. 55
5020 Bergen
Postadresse: 
Postboks 7803
5020 Bergen
Telefon: 
+47 55 58 43 73
Last ned visittkort

Type systems, regular expressions, algorithms, Java annotations

Høsten 2009: INF121 og INF121A

Tidsskriftartikler
  • 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.