dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Dag Hovland Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDag Hovland: The Membership Problem for Regular Expressions with Unordered Concatenation and Numerical Constraints. LATA 2012: 313-324
2010
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFederico Mancini, Dag Hovland, Khalid A. Mughal: Investigating the Limitations of Java Annotations for Input Validation. ARES 2010: 513-518
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDag Hovland: The Inclusion Problem for Regular Expressions. LATA 2010: 309-320
2009
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDag Hovland: Regular Expressions with Numerical Constraints and Automata with Counters. ICTAC 2009: 231-245
2008
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDag Hovland: A Type System for Usage of Software Components. TYPES 2008: 186-202

Coauthor Index

1Federico Mancini [4]
2Khalid A. Mughal [4]

Last update Thu May 31 18:55:10 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page