Matthias Jantzen

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2008
32EEMatthias Jantzen, Georg Zetzsche: Labeled Step Sequences in Petri Nets. Petri Nets 2008: 270-287
2003
31EEMatthias Jantzen, Alexy Kurganskyy: Refining the hierarchy of blind multicounter languages and twist-closed trios. Inf. Comput. 185(2): 159-181 (2003)
2001
30EEMatthias Jantzen, Alexy Kurganskyy: Refining the Hierarchy of Blind Multicounter Languages. STACS 2001: 376-387
1998
29 Matthias Jantzen: Hierarchies of Principal Twist-Closed Trios. STACS 1998: 344-355
1997
28 Christian Freksa, Matthias Jantzen, Rüdiger Valk: Foundations of Computer Science: Potential - Theory - Cognition, to Wilfried Brauer on the occasion of his sixtieth birthday Springer 1997
27EEMatthias Jantzen: On Twist-Closed Trios: A New Morphic Characterization of r.e. Sets. Foundations of Computer Science: Potential - Theory - Cognition 1997: 135-142
1994
26 Dirk Hauschildt, Matthias Jantzen: Petri Net Algorithms in the Theory of Matrix Grammars. Acta Inf. 31(8): 719-728 (1994)
25 Matthias Jantzen, Holger Petersen: Cancellation in Context-Free Languages: Enrichment by Reduction. Theor. Comput. Sci. 127(1): 149-170 (1994)
1993
24 Matthias Jantzen, Holger Petersen: Cancellation on Context-Free Languages: Enrichment by Reduction. STACS 1993: 206-215
1992
23 Alain Finkel, Matthias Jantzen: STACS 92, 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992, Proceedings Springer 1992
1991
22 Christian Choffrut, Matthias Jantzen: STACS 91, 8th Annual Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, February 14-16, 1991, Proceedings Springer 1991
1987
21 Matthias Jantzen, Manfred Kudlek, Klaus-Jörn Lange, Holger Petersen: Dyck1-Reductions of Context-free Languages. FCT 1987: 218-227
1986
20 Matthias Jantzen: Language Theory of Petri Nets. Advances in Petri Nets 1986: 397-412
19 Matthias Jantzen: Complexity of Place/Transition Nets. Advances in Petri Nets 1986: 413-434
1985
18 Rüdiger Valk, Matthias Jantzen: The Residue of Vector Sets with Applications to Decidability Problems in Petri Nets. Acta Inf. 21: 643-674 (1985)
17 Matthias Jantzen: A Note on a Special One-Rule Semi-Thue System. Inf. Process. Lett. 21(3): 135-140 (1985)
16 Matthias Jantzen: Extending Regular Expressions with Iterated Shuffle. Theor. Comput. Sci. 38: 223-247 (1985)
1984
15 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: 234-258
14 Matthias Jantzen: Thue Systems and the Church-Rosser Property. MFCS 1984: 80-95
13 Matthias Jantzen, Manfred Kudlek: Homomorphic Images of Sentential Form Languages Defined by Semi-Thue Systems. Theor. Comput. Sci. 33: 13-43 (1984)
1982
12 Matthias Jantzen, Hendrik Bramhoff: Notions of Computability by Petri Nets. European Workshop on Applications and Theory of Petri Nets 1982: 149-165
11 Ronald V. Book, Matthias Jantzen, Celia Wrathall: Monadic Thue Systems. Theor. Comput. Sci. 19: 231-251 (1982)
1981
10 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: 216-223
9 Ronald V. Book, Matthias Jantzen, Celia Wrathall: (Erasing)* Strings. Theoretical Computer Science 1981: 252-259
8 Matthias Jantzen, Manfred Opp: A Normal Form Theorem for Label Grammars. Mathematical Systems Theory 14: 289-303 (1981)
7 Matthias Jantzen: The Power of Synchronizing Operations on Strings. Theor. Comput. Sci. 14: 127-154 (1981)
6 Matthias Jantzen: On a Special Monoid with a Single Defining Relation. Theor. Comput. Sci. 16: 61-73 (1981)
1979
5 Matthias Jantzen: On Zerotesting-Bounded Multicounter Machines. Theoretical Computer Science 1979: 158-169
4 Matthias Jantzen: On the hierarchy of Petri net languages. ITA 13(1): (1979)
3 Matthias Jantzen: A Note on Vector Grammars. Inf. Process. Lett. 8(1): 32-33 (1979)
1975
2 Matthias Jantzen, Rüdiger Valk: Formal Properties of Place/Transition Nets. Advanced Course: Net Theory and Applications 1975: 165-212
1 Matthias Jantzen: Structured Representation of Knowledge by Petri Nets as an Aid for Teaching and Research. Advanced Course: Net Theory and Applications 1975: 507-517

Coauthor Index

1Ronald V. Book [9] [10] [11]
2Hendrik Bramhoff [12]
3Christian Choffrut [22]
4Alain Finkel [23]
5Christian Freksa [28]
6Dirk Hauschildt [26]
7Manfred Kudlek [13] [21]
8Oleksiy Kurganskyy (Alexy Kurganskyy) [30] [31]
9Klaus-Jörn Lange [21]
10Burkhard Monien [10]
11Colm Ó'Dúnlaing [10]
12Manfred Opp [8]
13Holger Petersen [21] [24] [25]
14Rüdiger Valk [2] [15] [18] [28]
15Celia Wrathall [9] [10] [11]
16Georg Zetzsche [32]

Colors in the list of coauthors

Copyright © Thu Jan 8 16:23:49 2009 by Michael Ley (ley@uni-trier.de)