Matthias Jantzen

36 papers A 5B 4Journal 15Unranked 9
YearRankTypeTitle / Venue / Authors
2008 B conf
Labeled Step Sequences in Petri Nets.
Petri Nets
Matthias Jantzen, Georg Zetzsche
2008 J jnl
Language Classes Defined by Concurrent Finite Automata.
Fundam. Informaticae
Matthias Jantzen, Manfred Kudlek, Georg Zetzsche
2008 J jnl
Petri Net Controlled Finite Automata.
Fundam. Informaticae
Berndt Farwer, Matthias Jantzen, Manfred Kudlek, Heiko Rölke, Georg Zetzsche
2003 J jnl
Refining the hierarchy of blind multicounter languages and twist-closed trios.
Inf. Comput.
Matthias Jantzen, Alexy Kurganskyy
2001 A conf
Refining the Hierarchy of Blind Multicounter Languages.
STACS
Matthias Jantzen, Alexy Kurganskyy
1998 A conf
Hierarchies of Principal Twist-Closed Trios.
STACS
Matthias Jantzen
1997 — ch.
Basics of Term Rewriting.
Handbook of Formal Languages (3)
Matthias Jantzen
1997 — ed.
Foundations of Computer Science: Potential - Theory - Cognition, to Wilfried Brauer on the occasion of his sixtieth birthday
Foundations of Computer Science: Potential - Theory - Cognition
Christian Freksa, Matthias Jantzen, Rüdiger Valk
1997 — conf
On Twist-Closed Trios: A New Morphic Characterization of r.e. Sets.
Foundations of Computer Science: Potential - Theory - Cognition
Matthias Jantzen
1994 J jnl
Cancellation in Context-Free Languages: Enrichment by Reduction.
Theor. Comput. Sci.
Matthias Jantzen, Holger Petersen
1994 J jnl
Petri Net Algorithms in the Theory of Matrix Grammars.
Acta Informatica
Dirk Hauschildt, Matthias Jantzen
1993 A conf
Cancellation on Context-Free Languages: Enrichment by Reduction.
STACS
Matthias Jantzen, Holger Petersen
1992 A ed.
STACS 92, 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992, Proceedings
STACS
Alain Finkel, Matthias Jantzen
1991 A ed.
STACS 91, 8th Annual Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, February 14-16, 1991, Proceedings
STACS
Christian Choffrut, Matthias Jantzen
1988 — book
Confluent String Rewriting
Matthias Jantzen
1987 B conf
Dyck
FCT
Matthias Jantzen, Manfred Kudlek, Klaus-Jörn Lange, Holger Petersen
1986 — conf
Complexity of Place/Transition Nets.
Advances in Petri Nets
Matthias Jantzen
1986 — conf
Language Theory of Petri Nets.
Advances in Petri Nets
Matthias Jantzen
1985 J jnl
A Note on a Special One-Rule Semi-Thue System.
Inf. Process. Lett.
Matthias Jantzen
1985 J jnl
Extending Regular Expressions with Iterated Shuffle.
Theor. Comput. Sci.
Matthias Jantzen
1985 J jnl
The Residue of Vector Sets with Applications to Decidability Problems in Petri Nets.
Acta Informatica
Rüdiger Valk, Matthias Jantzen
1984 J jnl
Homomorphic Images of Sentential Form Languages Defined by Semi-Thue Systems.
Theor. Comput. Sci.
Matthias Jantzen, Manfred Kudlek
1984 — conf
The residue of vector sets with applications to decidability problems in Petri nets.
European Workshop on Applications and Theory in Petri Nets
Rüdiger Valk, Matthias Jantzen
1984 B conf
Thue Systems and the Church-Rosser Property.
MFCS
Matthias Jantzen
1982 J jnl
Monadic Thue Systems.
Theor. Comput. Sci.
Ronald V. Book, Matthias Jantzen, Celia Wrathall
1982 — conf
Notions of Computability by Petri Nets.
European Workshop on Applications and Theory of Petri Nets
Matthias Jantzen, Hendrik Bramhoff
1981 — conf
(Erasing)* Strings.
Theoretical Computer Science
Ronald V. Book, Matthias Jantzen, Celia Wrathall
1981 J jnl
A Normal Form Theorem for Label Grammars.
Math. Syst. Theory
Matthias Jantzen, Manfred Opp
1981 J jnl
On a Special Monoid with a Single Defining Relation.
Theor. Comput. Sci.
Matthias Jantzen
1981 B conf
On the Complexity of Word Problems in Certain Thue Systems (Preliminary Report).
MFCS
Ronald V. Book, Matthias Jantzen, Burkhard Monien, Colm Ó'Dúnlaing, Celia Wrathall
1981 J jnl
The Power of Synchronizing Operations on Strings.
Theor. Comput. Sci.
Matthias Jantzen
1979 J jnl
A Note on Vector Grammars.
Inf. Process. Lett.
Matthias Jantzen
1979 — conf
Formal Properties of Place/Transition Nets.
Advanced Course: Net Theory and Applications
Matthias Jantzen, Rüdiger Valk
1979 — conf
On Zerotesting-Bounded Multicounter Machines.
Theoretical Computer Science
Matthias Jantzen
1979 J jnl
On the hierarchy of Petri net languages.
RAIRO Theor. Informatics Appl.
Matthias Jantzen
1979 — conf
Structured Representation of Knowledge by Petri Nets as an Aid for Teaching and Research.
Advanced Course: Net Theory and Applications
Matthias Jantzen