List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Deciding twig-definability of node selecting tree automata Theory of Computing Systems | 2016-04-18 | Paper |
| The inclusion problem for regular expressions Journal of Computer and System Sciences | 2012-11-06 | Paper |
| The membership problem for regular expressions with unordered concatenation and numerical constraints Language and Automata Theory and Applications | 2012-06-08 | Paper |
| The inclusion problem for regular expressions Language and Automata Theory and Applications | 2010-05-26 | Paper |
| Regular Expressions with Numerical Constraints and Automata with Counters Theoretical Aspects of Computing - ICTAC 2009 | 2009-08-20 | Paper |
| A Type System for Usage of Software Components Lecture Notes in Computer Science | 2009-07-02 | Paper |
Research outcomes over time
This page was built for person: Dag Hovland
