Dag Hovland
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2009–2012
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | ICDT | Deciding twig-definability of node selecting tree automata. | Timos Antonopoulos, Dag Hovland, Wim Martens, Frank Neven |
| 2012 | LATA | The Membership Problem for Regular Expressions with Unordered Concatenation and Numerical Constraints. | Dag Hovland |
| 2012 | LPAR | Efficient Rule-Matching for Hyper-Tableaux. | Bjarne Holen, Dag Hovland, Martin Giese |
| 2010 | LATA | The Inclusion Problem for Regular Expressions. | Dag Hovland |
| 2009 | ICTAC | Regular Expressions with Numerical Constraints and Automata with Counters. | Dag Hovland |