C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Erik Paul
ORCID
Publication Activity (10 Years)
Years Active: 2014-2023
Publications (10 Years): 8
Top Topics
Tree Automata
Monadic Datalog
Syntactic Pattern Recognition
Regular Expressions
Top Venues
MFCS
CoRR
Theory Comput. Syst.
ICALP
</>
Publications
</>
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)