-
1
TAMENESS AND THE POWER OF PROGRAMS OVER MONOIDS IN DA
Veröffentlicht in Logical methods in computer science
VolltextArtikel -
2
Perspective on complexity measures targeting read-once branching programs
Veröffentlicht in Information and computation
VolltextArtikel -
3
Well Behaved Transition Systems
Veröffentlicht in Logical methods in computer science
VolltextArtikel -
4
Catalytic Branching Programs from Groups and General Protocols
Veröffentlicht in ACM transactions on computation theory
VolltextArtikel -
5
Handling infinitely branching well-structured transition systems
Veröffentlicht in Information and computation
VolltextArtikel -
6
The Reachability Problem for Two-Dimensional Vector Addition Systems with States
Veröffentlicht in Journal of the ACM
VolltextArtikel -
7
Bounded Parikh Automata
Veröffentlicht in Electronic proceedings in theoretical computer science
VolltextArtikel -
8
Better Complexity Bounds for Cost Register Automata
Veröffentlicht in Theory of computing systems
VolltextArtikel -
9
The complexity of intersecting finite automata having few final states
Veröffentlicht in Computational complexity
VolltextArtikel -
10
The Algebraic Theory of Parikh Automata
Veröffentlicht in Theory of computing systems
VolltextArtikel -
11
-
12
The Complexity of Membership Problems for Circuits Over Sets of Natural Numbers
Veröffentlicht in Computational complexity
VolltextArtikel -
13
-
14
-
15
EXTENSIONAL UNIFORMITY FOR BOOLEAN CIRCUITS
Veröffentlicht in SIAM journal on computing
VolltextArtikel -
16
Affine Parikh automata
Veröffentlicht in RAIRO. Informatique théorique et applications
VolltextArtikel -
17
-
18
-
19
Pebbles and Branching Programs for Tree Evaluation
Veröffentlicht in ACM transactions on computation theory
VolltextArtikel -
20
A well-structured framework for analysing petri net extensions
Veröffentlicht in Information and computation
VolltextArtikel