Erik Paul

17 papers A* 1A 2B 4C 1Journal 7
YearRankTypeTitle / Venue / Authors
2026 J jnl
Descriptive complexity and weighted Turing machines.
Inf. Comput.
Guillermo Badia, Manfred Droste, Carles Noguera, Erik Paul
2025 J jnl
Fagin's Theorem for Semiring Turing Machines.
CoRR
Guillermo Badia, Manfred Droste, Thomas Eiter, Rafael Kiesel, Carles Noguera, Erik Paul
2024 J jnl
Equivalence, Unambiguity, and Sequentiality of Finitely Ambiguous Max-Plus Tree Automata.
Int. J. Found. Comput. Sci.
Erik Paul
2024 J jnl
Finite Sequentiality of Finitely Ambiguous Max-Plus Tree Automata.
Theory Comput. Syst.
Erik Paul
2024 B conf
Logical Characterizations of Weighted Complexity Classes.
MFCS
Guillermo Badia, Manfred Droste, Carles Noguera, Erik Paul
2024 A conf
Weighted HOM-Problem for Nonnegative Integers.
STACS
Andreas Maletti, Andreea-Teodora Nász, Erik Paul
2023 J jnl
Weighted HOM-Problem for Nonnegative Integers.
CoRR
Andreas Maletti, Andreea-Teodora Nász, Erik Paul
2021 J jnl
Finite Sequentiality of Unambiguous Max-Plus Tree Automata.
Theory Comput. Syst.
Erik Paul
2020 — ch.
Ausdrucksstärke gewichteter Automaten und Logiken.
Ausgezeichnete Informatikdissertationen
Erik Paul
2020 — —
Expressiveness and Decidability of Weighted Automata and Weighted Logics.
Erik Paul
2020 A* conf
Finite Sequentiality of Finitely Ambiguous Max-Plus Tree Automata.
ICALP
Erik Paul
2019 A conf
Finite Sequentiality of Unambiguous Max-Plus Tree Automata.
STACS
Erik Paul
2018 B conf
A Feferman-Vaught Decomposition Theorem for Weighted MSO Logic.
MFCS
Manfred Droste, Erik Paul
2017 B conf
Monitor Logics for Quantitative Monitor Automata.
MFCS
Erik Paul
2017 B conf
The Equivalence, Unambiguity and Sequentiality Problems of Finitely Ambiguous Max-Plus Tree Automata are Decidable.
MFCS
Erik Paul
2016 C conf
On Finite and Polynomial Ambiguity of Weighted Tree Automata.
DLT
Erik Paul
2014 J jnl
SEM-based nanoprobing on 32 and 28 nm CMOS devices challenges for semiconductor failure analysis.
Microelectron. Reliab.
Erik Paul, Holger Herzog, Sören Jansen, Christian Hobert, Eckhard Langer