| Room: | A 426, Augustusplatz 10 |
| Phone: | defective |
| 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
Sprechzeiten: Nach Absprache
| Sommersemester 2023: | • Logik und Modelltheorie |
| • Praktikum Maschinelles Übersetzen |
| Wintersemester 2022/23: | • Diskrete Strukturen |
| • Automatentheorie | |
| Sommersemester 2022: | • Berechenbarkeit |
| Wintersemester 2021/22: | • Diskrete Strukturen |
| • Seminarmodul Bachelor/Master | |
| • Automatentheorie | |
| Sommersemester 2021: | • Seminarmodul Bachelor/Master |
| • Logik und Modelltheorie | |
| • Praktikum Maschinelles Übersetzen | |
| Wintersemester 2020/21: | • Diskrete Strukturen |
| • Seminarmodul Bachelor/Master | |
| • Automatentheorie | |
| Sommersemester 2020: | • Seminarmodul Bachelor/Master |
| • Praktikum Maschinelles Übersetzen | |
| Wintersemester 2019/20: | • Diskrete Strukturen |
| • Seminarmodul Bachelor/Master | |
| • Automatentheorie | |
| Sommersemester 2019: | • Seminarmodul Bachelor/Master |
| • Praktikum Maschinelles Übersetzen | |
| Wintersemester 2018/19: | • Diskrete Strukturen |
| • Seminarmodul Bachelor/Master |
The PDF of the final version of my thesis. [Persistent Link]
E. Paul: Finite Sequentiality of Finitely Ambiguous Max-Plus Tree Automata (journal version), submitted.
E. Paul: Finite Sequentiality of Unambiguous Max-Plus Tree Automata (journal version), accepted for publication in Theory of Computing Systems, Special Issue of STACS 2019.
E. Paul: Finite Sequentiality of Finitely Ambiguous Max-Plus Tree Automata, in: 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020), Leibniz International Proceedings in Informatics, vol. 168, Schloss Dagstuhl — Leibniz-Zentrum für Informatik, 2020, pp. 137:1–137:15, Best Student Paper Track B. [conference version] [full version (draft)]
E. Paul: Finite Sequentiality of Unambiguous Max-Plus Tree Automata, in: 36th International Symposium on Theoretical Aspects of Computer Science (STACS 2019), Leibniz International Proceedings in Informatics, vol. 126, Schloss Dagstuhl — Leibniz-Zentrum für Informatik, 2019, pp. 53:1–53:17. [preprint] [full version (draft)]
M. Droste, E. Paul: A Feferman-Vaught Decomposition Theorem for Weighted MSO Logic, in: Mathematical Foundations of Computer Science (MFCS 2018), Leibniz International Proceedings in Informatics, vol. 117, Schloss Dagstuhl — Leibniz-Zentrum für Informatik, 2018, pp. 76:1–76:15. [preprint] [full version (draft)]
Y. Shang, X. Cheng, M. Droste, E. Paul: Nivat's Theorem for Turing Machines Based on Unsharp Quantum Logic, submitted.
E. Paul: Monitor Logics for Quantitative Monitor Automata, in: Mathematical Foundations of Computer Science (MFCS 2017), Leibniz International Proceedings in Informatics, vol. 83, Schloss Dagstuhl — Leibniz-Zentrum für Informatik, 2017, pp. 14:1–14:13. [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, vol. 83, Schloss Dagstuhl — Leibniz-Zentrum für Informatik, 2017, pp. 53:1–53:13. [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]
Trees, Logics, and Automata – My Time in QuantLA, QuantLA Workshop 2022, 28/06/22 [slides]
Expressiveness and Decidability of Weighted Automata and Weighted Logics, Defense, 15/07/20 [main slides][auxiliary slides]
Finite Sequentiality of Finitely Ambiguous Max-Plus Tree Automata, ICALP 2020, online/recorded video [slides][video]
Finite Sequentiality of Unambiguous Max-Plus Tree Automata, QuantLA Workshop 2019, 08/10/19 [slides]
Finite Sequentiality of Unambiguous Max-Plus Tree Automata, STACS 2019, 15/03/19 [slides]
A Feferman-Vaught Decomposition Theorem for Weighted MSO Logic, QuantLA Seminar, 13/11/18 [slides]
Finite Sequentiality of Unambiguous Max-Plus Tree Automata, QuantLA Seminar, 30/10/18 [slides]
On Ambiguity of Max-Plus Tree Automata, 28. Theorietag Automaten und Formale Sprachen 2018, 26/09/18 [slides]
A Feferman-Vaught Decomposition Theorem for Weighted MSO Logic, MFCS 2018, 27/08/18 [slides]
Presentation of Doctoral Project, 12th Joint Workshop of the German Research Training Groups in Computer Science, Schloss Dagstuhl 2018, 28/05/18 [slides][poster]
The Equivalence, Unambiguity and Sequentiality Problems of Finitely Ambiguous Max-Plus Tree Automata are Decidable, WATA 2018, 22/05/18 [slides]
Nivat's Theorem for Turing Machines Based on Unsharp Quantum Logic, QuantLA Seminar, 09/01/18 [slides]
Selected Papers of MFCS 2017, QuantLA Workshop 2017, 20/09/17 [slides]
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]
A Feferman-Vaught Decomposition Theorem for Weighted MSO Logic, QuantLA Workshop 2016, 21/09/16 [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]
On Finite and Polynomial Ambiguity of Weighted Tree Automata, QuantLA Seminar, 10/11/15 [slides]