Institut für Informatik / Fakultät für Mathematik und Informatik / Universität Leipzig
Member of the DFG Graduiertenkolleg QuantLA
Supervisor: Prof. Dr. Manfred Droste

Erik Paul


Room: A 426, Augustusplatz 10
Phone: +49-341-97/32294
Research Group: Automaten und Sprachen
E-mail: epaul at informatik.uni-leipzig.de


Address

Erik Paul
Universität Leipzig
Institut für Informatik
PF 100920
D-04009 Leipzig
Germany


Publications

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]


Talks

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]