Erik Paul

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 11

Top Topics

Closure Properties

Syntactic Pattern Recognition

Top Venues

Theory Comput. Syst.

Publications

Andreas Maletti, Andreea-Teodora Nász, Erik Paul
Weighted HOM-Problem for Nonnegative Integers. STACS (2024)
Erik Paul
Equivalence, Unambiguity, and Sequentiality of Finitely Ambiguous Max-Plus Tree Automata. Int. J. Found. Comput. Sci. 35 (1&2) (2024)
Guillermo Badia, Manfred Droste, Carles Noguera, Erik Paul
Logical Characterizations of Weighted Complexity Classes. MFCS (2024)
Andreas Maletti, Andreea-Teodora Nász, Erik Paul
Weighted HOM-Problem for Nonnegative Integers. CoRR (2023)
Erik Paul
Finite Sequentiality of Unambiguous Max-Plus Tree Automata. Theory Comput. Syst. 65 (4) (2021)
Erik Paul
Finite Sequentiality of Finitely Ambiguous Max-Plus Tree Automata. ICALP (2020)
Erik Paul
Finite Sequentiality of Unambiguous Max-Plus Tree Automata. STACS (2019)
Manfred Droste, Erik Paul
A Feferman-Vaught Decomposition Theorem for Weighted MSO Logic. MFCS (2018)
Erik Paul
Monitor Logics for Quantitative Monitor Automata. MFCS (2017)
Erik Paul
The Equivalence, Unambiguity and Sequentiality Problems of Finitely Ambiguous Max-Plus Tree Automata are Decidable. MFCS (2017)
Erik Paul
On Finite and Polynomial Ambiguity of Weighted Tree Automata. DLT (2016)
Erik Paul, Holger Herzog, Sören Jansen, Christian Hobert, Eckhard Langer
SEM-based nanoprobing on 32 and 28 nm CMOS devices challenges for semiconductor failure analysis. Microelectron. Reliab. 54 (9-10) (2014)