Manfred Kudlek

76 papers B 7C 6Journal 43Unranked 18
YearRankTypeTitle / Venue / Authors
2014 J jnl
Properties of Languages with Catenation and Shuffle.
Fundam. Informaticae
Manfred Kudlek, Nils Erik Flick
2013 J jnl
A Hierarchy of Languages with Catenation and Shuffle.
Fundam. Informaticae
Manfred Kudlek, Nils Erik Flick
2012 — conf
A Hierarchy of Languages with Catenation and Shuffle.
CS&P
Nils Erik Flick, Manfred Kudlek
2012 — conf
Language Operators for Multiset Languages and Modal Logic.
NCMA
Nils Erik Flick, Manfred Kudlek
2012 C conf
On a Hierarchy of Languages with Catenation and Shuffle.
Developments in Language Theory
Nils Erik Flick, Manfred Kudlek
2012 — conf
Properties of Languages with Catenation and Shuffle.
CS&P
Nils Erik Flick, Manfred Kudlek
2012 J jnl
Report on AFL 2011.
Bull. EATCS
Manfred Kudlek
2012 J jnl
Report on CS&P 2011.
Bull. EATCS
Manfred Kudlek
2011 J jnl
A Relation between Modal Logic and Language Closure Operators.
Fundam. Informaticae
Manfred Kudlek
2011 J jnl
On Synthesis and Analysis of Generalized Work Flow Net Structures and Transition Graphs.
Fundam. Informaticae
Ludwik Czaja, Manfred Kudlek
2011 — conf
On the Existence of Universal Finite or Pushdown Automata
DCM
Manfred Kudlek
2010 J jnl
A Complete Density Range of Continuum-Many Non-Context-Free Languages Fulfilling Strong Iteration Properties.
J. Autom. Lang. Comb.
Sándor Horváth, Manfred Kudlek
2010 J jnl
On Hamblin's 15 Tense Theorem.
J. Appl. Non Class. Logics
Manfred Kudlek
2010 J jnl
Synthesis and Analysis of Net Structures and Transition Graphs with Inhibitor Relations.
Fundam. Informaticae
Ludwik Czaja, Manfred Kudlek
2009 J jnl
Analysis and Synthesis of Net Structures and Transition Graphs.
Fundam. Informaticae
Ludwik Czaja, Manfred Kudlek
2009 J jnl
Multiset Pushdown Automata.
Fundam. Informaticae
Manfred Kudlek, Patrick Totzke, Georg Zetzsche
2009 J jnl
Properties of Multiset Language Classes Defined by Multiset Pushdown Automata.
Fundam. Informaticae
Manfred Kudlek, Patrick Totzke, Georg Zetzsche
2008 J jnl
Language Classes Defined by Concurrent Finite Automata.
Fundam. Informaticae
Matthias Jantzen, Manfred Kudlek, Georg Zetzsche
2008 J jnl
Linear Properties of Zero-Safe Nets with Debit Tokens.
Fundam. Informaticae
Michael Köhler-Bußmeier, Manfred Kudlek
2008 J jnl
Petri Net Controlled Finite Automata.
Fundam. Informaticae
Berndt Farwer, Matthias Jantzen, Manfred Kudlek, Heiko Rölke, Georg Zetzsche
2008 — conf
Some Considerations on Universality
CSP
Manfred Kudlek
2007 J jnl
Concurrent Turing Machines.
Fundam. Informaticae
Berndt Farwer, Manfred Kudlek, Heiko Rölke
2007 J jnl
Decidability Problems of a Basic Class of Object Nets.
Fundam. Informaticae
Roxana Dietze, Manfred Kudlek, Olaf Kummer
2007 — conf
Iteration Lemmata for Rational, Linear, and Algebraic Languages Over Algebraic Structures with Several Binary Operations.
Formal Models, Languages and Applications
Manfred Kudlek
2007 J jnl
On Semilinear Sets over Commutative Semirings.
Fundam. Informaticae
Manfred Kudlek
2007 J jnl
Some Remarks on Quantum Automata.
Int. J. Found. Comput. Sci.
Manfred Kudlek
2006 J jnl
On Quantum Vector Addition Systems.
Fundam. Informaticae
Manfred Kudlek
2005 J jnl
New Iteration Lemmata for Regular Languages.
Fundam. Informaticae
Pál Dömösi, Manfred Kudlek
2005 J jnl
On Probabilistic Contextual Grammars.
Fundam. Informaticae
Manfred Kudlek
2005 J jnl
Probability in Petri Nets.
Fundam. Informaticae
Manfred Kudlek
2004 J jnl
A New Synchronisation Model for Multi-Level Object Petri Nets.
Fundam. Informaticae
Berndt Farwer, Manfred Kudlek
2004 — conf
On Languages of Cyclic Words.
Aspects of Molecular Computing
Manfred Kudlek
2003 — conf
Homomorphic Characterizations of Linear and Algebraic Languages.
Grammars and Automata for String Processing
Virgil Emil Cazanescu, Manfred Kudlek
2003 — conf
On Universal Finite Automata and a-Transducers.
Grammars and Automata for String Processing
Manfred Kudlek
2003 J jnl
Some Considerations on Higher-Order Petri Nets.
Fundam. Informaticae
Berndt Farwer, Manfred Kudlek, Kundan Misra
2002 J jnl
Closure Properties of Multiset Language Families.
Fundam. Informaticae
Manfred Kudlek, Victor Mitrana
2002 — conf
Considerations on a Multiset Model for Membrane Computing.
WMC-CdeA
Manfred Kudlek, Victor Mitrana
2002 J jnl
Multiple Pattern Interpretations.
Grammars
Manfred Kudlek, Carlos Martín-Vide, Victor Mitrana
2002 J jnl
Nine Universal Circular Post Machines.
Comput. Sci. J. Moldova
Artiom Alhazov, Manfred Kudlek, Iurie Rogojin
2001 C conf
A Universal Turing Machine with 3 States and 9 Symbols.
Developments in Language Theory
Manfred Kudlek, Yurii Rogozhin
2001 B conf
New Small Universal Circular Post Machines.
FCT
Manfred Kudlek, Yurii Rogozhin
2001 J jnl
On the Complexity of Propositional Calculus Formulae.
Sci. Ann. Cuza Univ.
Stefan Andrei, Gheorghe Grigoras, Manfred Kudlek, Cristian Masalagiu
2001 J jnl
Small Universal Circular Post Machines.
Comput. Sci. J. Moldova
Manfred Kudlek, Iurie Rogojin
2001 J jnl
w-Process Languages for Place/Transition Nets.
Fundam. Informaticae
Ludwik Czaja, Manfred Kudlek
2000 — conf
An Improvement of Iteration Lemmata for Context-free Languages.
Words, Languages & Combinatorics
Pál Dömösi, Manfred Kudlek
2000 — conf
Normal Forms of Grammars, Finite Automata, Abstract Families, and Closure Properties of Multiset Languages.
WMP
Manfred Kudlek, Victor Mitrana
2000 J jnl
Rational, Linear and Algebraic Process Languages and Iteration Lemmata.
Fundam. Informaticae
Ludwik Czaja, Manfred Kudlek
2000 J jnl
Some results on the Collatz problem.
Acta Informatica
Stefan Andrei, Manfred Kudlek, Radu Stefan Niculescu
2000 — conf
Special Factors of Traces.
Recent Topics in Mathematical and Computational Linguistics
Manfred Kudlek
2000 — conf
Toward a Formal Macroset Theory.
WMP
Manfred Kudlek, Carlos Martín-Vide, Gheorghe Paun
1999 C conf
Bidirectional parsing for linear languages.
Developments in Language Theory
Stefan Andrei, Manfred Kudlek
1999 J jnl
Iteration Lemmata for Certain Classes of Word, Trace and Graph Languages.
Fundam. Informaticae
Manfred Kudlek
1999 J jnl
Some Algebraic Structures with Iteration Lemmata.
J. Univers. Comput. Sci.
Manfred Kudlek
1999 B conf
Strong Iteration Lemmata for Regular, Linear, Context-Free, and Linear Indexed Languages.
FCT
Pál Dömösi, Manfred Kudlek
1998 J jnl
Algebraic, Linear and Rational Languages Defined by Mix Operation.
Fundam. Informaticae
Manfred Kudlek, Alexandru Mateescu
1997 — conf
Calendars and Chronologies.
Foundations of Computer Science: Potential - Theory - Cognition
Manfred Kudlek
1997 B conf
Contextual Grammars with Distributed Catenation and Shuffle.
FCT
Manfred Kudlek, Solomon Marcus, Alexandru Mateescu
1997 C conf
Mix Operation with Catenation and Shuffle.
Developments in Language Theory
Manfred Kudlek
1997 J jnl
On Distributed Catenation.
Theor. Comput. Sci.
Manfred Kudlek, Alexandru Mateescu
1997 — conf
On Mix Operation.
New Trends in Formal Languages
Manfred Kudlek, Alexandru Mateescu
1996 J jnl
Morphological Grammars.
Sci. Ann. Cuza Univ.
Stefan Andrei, Manfred Kudlek
1996 J jnl
Small Deterministic Turing Machines.
Theor. Comput. Sci.
Manfred Kudlek
1995 B conf
Distributed Catenation and Chomsky Hierarchy.
FCT
Manfred Kudlek, Alexandru Mateescu
1995 C conf
Rational and Algebraic Languages with Distributed Catenation.
Developments in Language Theory
Manfred Kudlek, Alexandru Mateescu
1995 J jnl
Report on IFIP'94.
SIGACT News
Manfred Kudlek
1994 — ch.
A Mathematical Model of Personal Pronouns.
Mathematical Aspects of Natural and Formal Languages
Manfred Kudlek
1993 C conf
General Formal Systems.
Developments in Language Theory
Manfred Kudlek
1990 J jnl
Comparison of basic language generating devices (non-deterministic systems).
RAIRO Theor. Informatics Appl.
Manfred Kudlek
1989 — ch.
Deterministic Indian Parllel Systems.
A Perspective in Theoretical Computer Science
Manfred Kudlek
1987 B conf
Dyck
FCT
Matthias Jantzen, Manfred Kudlek, Klaus-Jörn Lange, Holger Petersen
1984 J jnl
Homomorphic Images of Sentential Form Languages Defined by Semi-Thue Systems.
Theor. Comput. Sci.
Matthias Jantzen, Manfred Kudlek
1979 B conf
Context Free Normal Systems.
MFCS
Manfred Kudlek
1978 J jnl
On a Reducing Operator for Combinatorial Systems
Inf. Control.
Manfred Kudlek, Miroslav Novotný
1977 B conf
Reducing Operators for Normed General Formal Systems.
MFCS
Manfred Kudlek, Miroslav Novotný
1974 — conf
Comparing Several Ways of Context-Independent Parallel Rewriting.
GI Jahrestagung
Manfred Kudlek
1973 — conf
Characterization of derivation sets of formal systems.
Automatentheorie und Formale Sprachen
Manfred Kudlek