Erik Paul

According to our database, Erik Paul authored at least 11 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Equivalence, Unambiguity, and Sequentiality of Finitely Ambiguous Max-Plus Tree Automata.

Erik Paul

Int. J. Found. Comput. Sci., 2024

Weighted HOM-Problem for Nonnegative Integers.

Andreas Maletti, Andreea-Teodora Nász, Erik Paul

Proceedings of the 41st International Symposium on Theoretical Aspects of Computer Science, 2024

2021

Finite Sequentiality of Unambiguous Max-Plus Tree Automata.

Erik Paul

Theory Comput. Syst., 2021

2020

Ausdrucksstärke gewichteter Automaten und Logiken.

Erik Paul

Proceedings of the Ausgezeichnete Informatikdissertationen 2020., 2020

Expressiveness and Decidability of Weighted Automata and Weighted Logics.

Erik Paul

PhD thesis, 2020

Finite Sequentiality of Finitely Ambiguous Max-Plus Tree Automata.

Erik Paul

Proceedings of the 47th International Colloquium on Automata, Languages, and Programming, 2020

2018

A Feferman-Vaught Decomposition Theorem for Weighted MSO Logic.

Manfred Droste, Erik Paul

Proceedings of the 43rd International Symposium on Mathematical Foundations of Computer Science, 2018

2017

The Equivalence, Unambiguity and Sequentiality Problems of Finitely Ambiguous Max-Plus Tree Automata are Decidable.

Erik Paul

Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, 2017

Monitor Logics for Quantitative Monitor Automata.

Erik Paul

Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, 2017

2016

On Finite and Polynomial Ambiguity of Weighted Tree Automata.

Erik Paul

Proceedings of the Developments in Language Theory - 20th International Conference, 2016

2014

SEM-based nanoprobing on 32 and 28 nm CMOS devices challenges for semiconductor failure analysis.

Erik Paul, Holger Herzog, Sören Jansen, Christian Hobert, Eckhard Langer

Microelectron. Reliab., 2014