 | 2012 |
|---|
| 5 |       | Dag Hovland:
The Membership Problem for Regular Expressions with Unordered Concatenation and Numerical Constraints.
LATA 2012: 313-324 |
| 2010 |
|---|
| 4 | | Federico Mancini,
Dag Hovland,
Khalid A. Mughal:
Investigating the Limitations of Java Annotations for Input Validation.
ARES 2010: 513-518 |
| 3 | | Dag Hovland:
The Inclusion Problem for Regular Expressions.
LATA 2010: 309-320 |
| 2009 |
|---|
| 2 | | Dag Hovland:
Regular Expressions with Numerical Constraints and Automata with Counters.
ICTAC 2009: 231-245 |
| 2008 |
|---|
| 1 | | Dag Hovland:
A Type System for Usage of Software Components.
TYPES 2008: 186-202 |
Data released under the ODC-BY 1.0 license — See also our legal information page