Matthias Jantzen

Publication Activity (10 Years)

Years Active: 1979-2008
Publications (10 Years): 0

Publications

Berndt Farwer, Matthias Jantzen, Manfred Kudlek, Heiko Rölke, Georg Zetzsche
Petri Net Controlled Finite Automata. Fundam. Informaticae 85 (1-4) (2008)
Matthias Jantzen, Georg Zetzsche
Labeled Step Sequences in Petri Nets. Petri Nets (2008)
Matthias Jantzen, Manfred Kudlek, Georg Zetzsche
Language Classes Defined by Concurrent Finite Automata. Fundam. Informaticae 85 (1-4) (2008)
Matthias Jantzen, Alexy Kurganskyy
Refining the hierarchy of blind multicounter languages and twist-closed trios. Inf. Comput. 185 (2) (2003)
Matthias Jantzen, Alexy Kurganskyy
Refining the Hierarchy of Blind Multicounter Languages. STACS (2001)
Matthias Jantzen
Hierarchies of Principal Twist-Closed Trios. STACS (1998)
Matthias Jantzen
On Twist-Closed Trios: A New Morphic Characterization of r.e. Sets. Foundations of Computer Science: Potential - Theory - Cognition (1997)
Matthias Jantzen, Holger Petersen
Cancellation in Context-Free Languages: Enrichment by Reduction. Theor. Comput. Sci. 127 (1) (1994)
Dirk Hauschildt, Matthias Jantzen
Petri Net Algorithms in the Theory of Matrix Grammars. Acta Informatica 31 (8) (1994)
Matthias Jantzen, Holger Petersen
Cancellation on Context-Free Languages: Enrichment by Reduction. STACS (1993)
Matthias Jantzen, Manfred Kudlek, Klaus-Jörn Lange, Holger Petersen
-Reductions of Context-free Languages. FCT (1987)
Matthias Jantzen
Complexity of Place/Transition Nets. Advances in Petri Nets (1986)
Matthias Jantzen
Language Theory of Petri Nets. Advances in Petri Nets (1986)
Rüdiger Valk, Matthias Jantzen
The Residue of Vector Sets with Applications to Decidability Problems in Petri Nets. Acta Informatica 21 (1985)
Matthias Jantzen
A Note on a Special One-Rule Semi-Thue System. Inf. Process. Lett. 21 (3) (1985)
Matthias Jantzen
Extending Regular Expressions with Iterated Shuffle. Theor. Comput. Sci. 38 (1985)
Matthias Jantzen
Thue Systems and the Church-Rosser Property. MFCS (1984)
Matthias Jantzen, Manfred Kudlek
Homomorphic Images of Sentential Form Languages Defined by Semi-Thue Systems. Theor. Comput. Sci. 33 (1984)
Rüdiger Valk, Matthias Jantzen
The residue of vector sets with applications to decidability problems in Petri nets. European Workshop on Applications and Theory in Petri Nets (1984)
Ronald V. Book, Matthias Jantzen, Celia Wrathall
Monadic Thue Systems. Theor. Comput. Sci. 19 (1982)
Matthias Jantzen, Hendrik Bramhoff
Notions of Computability by Petri Nets. European Workshop on Applications and Theory of Petri Nets (1982)
Ronald V. Book, Matthias Jantzen, Celia Wrathall
(Erasing)* Strings. Theoretical Computer Science (1981)
Matthias Jantzen, Manfred Opp
A Normal Form Theorem for Label Grammars. Math. Syst. Theory 14 (1981)
Matthias Jantzen
The Power of Synchronizing Operations on Strings. Theor. Comput. Sci. 14 (1981)
Ronald V. Book, Matthias Jantzen, Burkhard Monien, Colm Ó'Dúnlaing, Celia Wrathall
On the Complexity of Word Problems in Certain Thue Systems (Preliminary Report). MFCS (1981)
Matthias Jantzen
On a Special Monoid with a Single Defining Relation. Theor. Comput. Sci. 16 (1981)
Matthias Jantzen
On the hierarchy of Petri net languages. RAIRO Theor. Informatics Appl. 13 (1) (1979)
Matthias Jantzen
Structured Representation of Knowledge by Petri Nets as an Aid for Teaching and Research. Advanced Course: Net Theory and Applications (1979)
Matthias Jantzen
On Zerotesting-Bounded Multicounter Machines. Theoretical Computer Science (1979)
Matthias Jantzen
A Note on Vector Grammars. Inf. Process. Lett. 8 (1) (1979)
Matthias Jantzen, Rüdiger Valk
Formal Properties of Place/Transition Nets. Advanced Course: Net Theory and Applications (1979)