Bibliographie

Manfred Kudlek

2010

Manfred Kudlek.
On hamblin's 15 tense theorem.
JANCL, 20(1):73-90, 2010.

Manfred Kudlek.
Zahlnamensysteme in den indianischen sprachen lateinamerikas.
In L. Frühsorge, A. Hinz, A. Kern, and U. Wölfel, editors, Götter, Gräber und Globalisierung: Indianisches Leben in Mesoamerika - 40 Jahre Alt- und Mesoamerikanistik an der Universität Hamburg, pages 45-68. Dr. Kovac Verlag, Hamburg, 2010.

Manfred Kudlek.
Vigesimale Zahlennamensysteme in Sprachen Europas und benachbarter Gebiete.
Form und Struktur in der Sprache, Tübinger Beiträge zur Linguistik, 499:221-240, 2010.

Manfred Kudlek, Patrick Totzke, and Georg Zetzsche.
Are there universal finite or pushdown automata?
Bericht des Fachbereichs Informatik FBI-HH-B-293/10, Universität Hamburg, Department Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, Germany, 2010.

Manfred Kudlek and Georg Zetzsche.
Concurrent finite automata and related language classes.
In M. Ito, editor, Automata, Formal Languages and Algebraic Systems, pages 103-112. World Scientific, 2010.

Manfred Kudlek.
A mathematical description of pronouns.
In Gemma Bel-Enguix and Maria Dolores Jiménez-López, editors, Languages as a Complex System: Interdisciplinary Approaches, pages 91-110. Campbridge Scholars Publishing, 2010.

Manfred Kudlek and Ludwik Czaja.
Synthesis and analysis of net structures and transition graphs with inhibitor relations.
Fundamenta Informaticae, 101(1-2):1-7, 2010.

Manfred Kudlek.
Modal logic and language closure operators.
In H.-D. Burkhard, L. Czaja, W. Penczek, G. Lindemann, A. Skowron, and Z. Suraj, editors, Proceedings of CS&P 2010, number Informatik-Bericht Nr. 237, Bd. 2, pages 210-217. Humboldt-Universität zu Berlin, 2010.  [link]

Manfred Kudlek and Ludwik Czaja.
Analysis and synthesis of gerneralized work flow net structures and transition graphs.
In H.-D. Burkhard, L. Czaja, W. Penczek, G. Lindemann, A. Skowron, and Z. Suraj, editors, Proceedings of CS&P 2010, number Informatik-Bericht Nr. 237, Bd. 1, pages 126-130. Humboldt-Universität zu Berlin, 2010.  [link]

2009

Berhanu Beyene and Manfred Kudlek.
Calendars in Ethiopia.
Bericht des Fachbereichs Informatik FBI-HH-B-286/09, Universität Hamburg, Department Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, 2009.

Manfred Kudlek, Patrick Totzke, and Georg Zetzsche.
Multiset pushdown automata.
Fundamenta Informaticae, 93(1-3):221-233, 2009.

Manfred Kudlek, Patrick Totzke, and Georg Zetzsche.
Properties of multiset language classes defined by multiset pushdown automata.
Fundamenta Informaticae, 93(1-3):235-244, 2009.

Manfred Kudlek.
Some considerations on universality.
EPTCS, (1):118-122, 2009.

Ludwik Czaja and Manfred Kudlek.
Analysis and synthesis of net structures and transition graphs.
Fundamenta Informaticae, 93(1-3):97-110, 2009.

Manfred Kudlek and Patrick Totzke.
On a hierarchy of multiset automata.
In Ludwik Czaja, editor, Concurrency, Specification, and Programming. Workshop CS&P 2009, Kraków-Przegorzay, Poland. Proceedings, volume 1, pages 327-336, September 2009.  [link]

Manfred Kudlek.
On closure properties of sentential form language classes of words.
In Ludwik Czaja, editor, Concurrency, Specification, and Programming. Workshop CS&P 2009, Kraków-Przegorzay, Poland. Proceedings, volume 1, pages 315-326, September 2009.  [link]

Manfred Kudlek and Ludwik Czaja.
On synthesis and analysis of net structures and transition graphs.
In Ludwik Czaja, editor, Concurrency, Specification, and Programming. Workshop CS&P 2009, Kraków-Przegorzay, Poland. Proceedings, volume 1, pages 127-133, September 2009.  [link]

Manfred Kudlek.
De computo paschae.
Mitteilungen der Mathematischen Gesellschaft in Hamburg, XXVIII:151-158, 2009.

Manfred Kudlek.
Report on dlt 2008.
EATCS Bulletin, (97):171-174, 2009.

Manfred Kudlek.
Report on aflas 2008.
EATCS Bulletin, (97):167-168, 2009.

Manfred Kudlek.
Report on CS&P 2008.
EATCS Bulletin, (97):169-170, 2009.

Manfred Kudlek.
Report on icalp 2009.
EATCS Bulletin, (99):173-182, 2009.

2008

Berndt Farwer, Matthias Jantzen, Manfred Kudlek, Heiko Rölke, and Georg Zetzsche.
Petri net controlled finite automata.
Fundamenta Informaticae, 85(1-4):111-121, 2008.

Matthias Jantzen, Manfred Kudlek, and Georg Zetzsche.
Language classes defined by concurrent finite automata.
Fundamenta Informaticae, 85(1-4):267-280, 2008.

Michael Köhler-Bußmeier and Manfred Kudlek.
Linear properties of zero-safe nets with debit tokens.
Fundamenta Informaticae, 85(1-4):329-342, 2008.

Manfred Kudlek, Patrick Totzke, and Georg Zetzsche.
Multiset storage automata.
In H.-D. Burkhard, Ludwik Czaja, G. Lindemann, and A. Skowron, editors, Proceedings of the Workshop CS&P'2008, volume 2, pages 265-277, September 2008.  [pdf]  [link]

Manfred Kudlek, Patrick Totzke, and Georg Zetzsche.
Properties of multiset language classes defined by multiset storage automata.
In H.-D. Burkhard, Ludwik Czaja, G. Lindemann, and A. Skowron, editors, Proceedings of the Workshop CS&P'2008, volume 2, pages 278-288, September 2008.  [pdf]  [link]

Manfred Kudlek and Benedek Nagy.
Distances of formal languages.
Pure Mathematics and Applications - PU.MA, 17(3-4):349-357, 2008.  [link]

Manfred Kudlek.
Sistemas de contar en las lenguas indígenas de latinoamérica.
Ketzalcalli, (2007-2):101-124, 2008.  [link]

Manfred Kudlek and Ludwik Czaja.
Synthesis and analysis of net structures and transition graphs.
In H.-D. Burkhard, Ludwik Czaja, G. Lindemann, and A. Skowron, editors, Proceedings of the Workshop CS&P'2008, volume 1, pages 93-107, September 2008.  [link]

Manfred Kudlek and Raluca Andreea Diaconu.
Some remarks on muti-prime rsa.
Bericht des Fachbereichs Informatik 285, Universität Hamburg, Department Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, 2008.

Manfred Kudlek.
Some considerations on universality.
In Turlough Neary, Damien Woods, Anthony Karel Seda, and Niall Murphy, editors, Complexity of Simple Programs, CSP 2008, Cork, Ireland. Proceedings, pages 149-156. Cork University Press, December 2008.

Manfred Kudlek.
Multisets and Petri nets - an overview.
JCISS, 33(3-4):339-355, 2008.

2007

Berndt Farwer, Manfred Kudlek, and Heiko Rölke.
Concurrent turing machines.
Fundamenta Informaticae, 79(3-4):303-317, 2007.

Berndt Farwer, Matthias Jantzen, Manfred Kudlek, Heiko Rölke, and Georg Zetzsche.
On concurrent finite automata.
In Ludwik Czaja, editor, Proceedings of the Workshop CS&P'2007, volume 1, pages 180-190, September 2007.

Matthias Jantzen, Manfred Kudlek, and Georg Zetzsche.
Finite automata controlled by Petri nets.
In Stephan Philippi and Alexander Pini, editors, Proceedings of the 14th Workshop; Algorithmen und Werkzeuge für Petrinetze, number Technical Report Nr. 25/2007, pages 57-62. Univ. Koblenz-Landau, 2007.

Matthias Jantzen, Manfred Kudlek, and Georg Zetzsche.
On languages accepted by concurrent finite automata.
In Ludwik Czaja, editor, Proceedings of the Workshop CS&P'2007, volume 2, pages 321-332, September 2007.

Matthias Jantzen, Manfred Kudlek, and Georg Zetzsche.
Concurrent finite automata.
In Manfred Droste and Markus Lohrey, editors, Tagungsband 17. Theorietag Automaten und Formale Sprachen, pages 84-88, 2007.  [pdf]

Michael Köhler and Manfred Kudlek.
Zero-safe nets with debit tokens.
In Proceedings of the International Workshop on Concurrency, Specification, and Programming (CS&P 2007), 2007.

2006

Roxana Dietze, Manfred Kudlek, and Olaf Kummer.
On decidability problems of a basic class of object nets.
Technical Report FBI-HH-B-270/06, Universität Hamburg, Fachbereich Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, March 2006.

Berndt Farwer, Manfred Kudlek, and Heiko Rölke.
Concurrent turing machines as rewrite theories.
In Proceedings of Concurrency, Specification, and Programming CS&P'2006, 2006.

Berndt Farwer, Manfred Kudlek, and Heiko Rölke.
Petri-net-controlled machine models.
Technical Report FBI-HH-B-274/06, Universität Hamburg, Fachbereich Informatik, 2006.

2004

Berndt Farwer and Manfred Kudlek.
A new synchronisation model for multi-level object Petri nets.
Fundamenta Informaticae, 60(1-4):131-142, 2004.

Roxana Melinte and Manfred Kudlek.
On black hole languages.
Supplemental Papers for DLT'04 - C.S. Calude, E. Calude, M. J. Dinneen (Eds.), CDMTCS-252, pages 30-41, 2004.

2003

Berndt Farwer and Manfred Kudlek.
On synchronisation in multi-level object Petri nets.
In L. Czaja, editor, Concurrency, Specification, and Programming CS&P'2003 (Volume 1), pages 150-156. Warsaw University, 2003.

Berndt Farwer, Manfred Kudlek, and K. Misra.
Some considerations on higher order Petri nets.
Fundamenta Informaticae, 54(2-3):185-193, 2003.

2002

Berndt Farwer, Manfred Kudlek, and K. Misra.
Some considerations on higher order Petri nets.
In H.-D. Burkhard, L. Czaja, G. Lindemann, A. Skowron, and P.Starke, editors, Concurrency, Specification, and Programming CS&P'2002 (Volume 1), pages 129-142 (9 pages). Humboldt-Universität zu Berlin, Informatik-Berichte 161, 2002.

2000

Berhanu Beyene, Manfred Kudlek, and Olaf Kummer.
Notes on encoding ethiopic for LaTeX.
Aethiopica, 3:International Journal of Ethiopian Studies, Harrassowitz Verlag, Wiesbaden, 132-152, 2000.

1987

Matthias Jantzen, Manfred Kudlek, Klaus-Jörn Lange, and Holger Petersen.
Dyck-reductions of context-free languages.
In Lothar Budach and Oleg Borisovic Lupanov Rais Gatic Bukharajev, editors, Proceedings of Fundamentals of Computation Theory, International Conference (FCT'87, Kazan, USSR, June 22-26, 1987), volume 278 of Lecture Notes in Computer Science, pages 218-237. Springer-Verlag, 1987.

1984

Matthias Jantzen and Manfred Kudlek.
Homomorphic images of sentential form languages defined by semi-Thue systems.
Theoretical Computer Science, 33:13-43, 1984.

1983

Matthias Jantzen and Manfred Kudlek.
Homomorphic images of sentential form languages defined by semi-Thue systems.
Bericht des Fachbereichs Informatik FBI-HH-B-89/83, Universität Hamburg, Fachbereich Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, February 1983.

1982

Matthias Jantzen and Manfred Kudlek.
Homomorphic images of sentential form languages defined by semi-Thue systems.
In M. Joseph and R. K. Nerasimhan, editors, Proceedings of the 2nd Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'82, Bangalore, India, December 13-15, 1982), pages 126-135, Bombay, India, 1982. National Centre for Software Development and Computing Techniques, Tata Institute of Fundamental Research, Colaba, Bombay.