| Room: | A 426, Augustusplatz 10 |
| Phone: | +49-341-97/32294 |
| Research Group: | Automaten und Sprachen |
| E-mail: | epaul at informatik.uni-leipzig.de |
Erik Paul
Universität Leipzig
Institut für Informatik
PF 100920
D-04009 Leipzig
Germany
E. Paul: Monitor Logics for Quantitative Monitor Automata, in: Mathematical Foundations of Computer Science (MFCS 2017), Leibniz International Proceedings in Informatics, to appear. [preprint] [full version (draft)]
E. Paul: The Equivalence, Unambiguity and Sequentiality Problems of Finitely Ambiguous Max-Plus Tree Automata are Decidable, in: Mathematical Foundations of Computer Science (MFCS 2017), Leibniz International Proceedings in Informatics, to appear. [preprint] [full version (draft)]
E. Paul: On finite and polynomial ambiguity of weighted tree automata, in: 20th International Conference on Developments in Language Theory (DLT 2016), Lecture Notes in Computer Science, vol. 9840, Springer, 2016, pp. 368-379. [preprint]
Diploma thesis: Weighted Tree Automata and Quantitative Logics with a Focus on Ambiguity. Leipzig, 2015. [PDF]
Monitor Logics for Quantitative Monitor Automata, MFCS 2017, 22/08/17 [slides]
The Equivalence, Unambiguity and Sequentiality Problems of Finitely Ambiguous Max-Plus Tree Automata are Decidable, MFCS 2017, 21/08/17 [slides]
On Finite and Polynomial Ambiguity of Weighted Tree Automata, DLT 2016, 28/07/16 [slides]
On Finite and Polynomial Ambiguity of Weighted Tree Automata, WATA 2016, 29/04/16 [slides]