Henning Bordihn

97 papers B 2C 15Journal 54Unranked 18
YearRankTypeTitle / Venue / Authors
2026 J jnl
LL(k) cooperating distributed grammar systems.
Theor. Comput. Sci.
Henning Bordihn, Henning Fernau, György Vaszil
2025 J jnl
Leftmost Derivations in CD Grammar Systems.
Int. J. Found. Comput. Sci.
Henning Bordihn, György Vaszil
2024 J jnl
Determinism and Simulation of Soliton Automata.
J. Autom. Lang. Comb.
Henning Bordihn, Helena Schulz
2024 — conf
Determinism in Multi-Soliton Automata.
NCMA
Henning Bordihn, Helena Schulz
2023 — ed.
Descriptional Complexity of Formal Systems - 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4-6, 2023, Proceedings
DCFS
Henning Bordihn, Nicholas Q. Tran, György Vaszil
2022 J jnl
Multi-Wave Soliton Automata.
J. Autom. Lang. Comb.
Henning Bordihn, Helmut Jürgensen
2022 — ed.
Proceedings 12th International Workshop on Non-Classical Models of Automata and Applications, NCMA 2022, Debrecen, Hungary, August 26-27, 2022.
NCMA
Henning Bordihn, Géza Horváth, György Vaszil
2021 J jnl
Hairpin completions and reductions: semilinearity properties.
Nat. Comput.
Henning Bordihn, Victor Mitrana, Andrei Paun, Mihaela Paun
2021 J jnl
On the number of active states in finite automata.
Acta Informatica
Henning Bordihn, Markus Holzer
2021 J jnl
Reversible parallel communicating finite automata systems.
Acta Informatica
Henning Bordihn, György Vaszil
2020 J jnl
Deterministic Lindenmayer Systems with Dynamic Control of Parallelism.
Int. J. Found. Comput. Sci.
Henning Bordihn, György Vaszil
2020 J jnl
On the degrees of non-regularity and non-context-freeness.
J. Comput. Syst. Sci.
Henning Bordihn, Victor Mitrana
2019 — conf
Further Properties of Self-assembly by Hairpin Formation.
UCNC
Henning Bordihn, Victor Mitrana, Andrei Paun, Mihaela Paun
2018 J jnl
Information, Codes, and Languages - Preface.
J. Autom. Lang. Comb.
Suna Bensch, Henning Bordihn
2018 J jnl
Preface: Non-classical models of automata and applications VIII.
RAIRO Theor. Informatics Appl.
Henning Bordihn, Benedek Nagy, György Vaszil
2018 J jnl
Small networks of polarized splicing processors are universal.
Nat. Comput.
Henning Bordihn, Victor Mitrana, Maria C. Negru, Andrei Paun, Mihaela Paun
2017 J jnl
Active symbols in grammars with valuations.
Theor. Comput. Sci.
Henning Bordihn
2017 — conf
Networks of Polarized Splicing Processors.
TPNC
Henning Bordihn, Victor Mitrana, Andrei Paun, Mihaela Paun
2017 J jnl
Networks of picture processors as problem solvers.
Soft Comput.
Henning Bordihn, Paolo Bottoni, Anna Labella, Victor Mitrana
2017 C conf
On the Number of Active States in Deterministic and Nondeterministic Finite Automata.
CIAA
Henning Bordihn, Markus Holzer
2016 — ed.
Eighth Workshop on Non-Classical Models of Automata and Applications, NCMA 2016, Debrecen, Hungary, August 29-30, 2016. Proceedings
NCMA
Henning Bordihn, Rudolf Freund, Benedek Nagy, György Vaszil
2016 J jnl
On Lindenmayer Systems with Dynamic Control of Parallelism.
J. Autom. Lang. Comb.
Henning Bordihn, György Vaszil
2015 J jnl
Ambiguity of the Multiple Interpretations on Regular Languages.
Fundam. Informaticae
Pedro Pablo Alarcón, Fernando Arroyo, Henning Bordihn, Victor Mitrana, Mike Müller
2015 — conf
Foundations of Semantics and Model Checking in a Software Engineering Course.
FMSEE&T@FM
Henning Bordihn, Anna-Lena Lamprecht, Tiziana Margaria
2015 J jnl
Returning Parallel Communicating Finite Automata with Communication Bounds: Hierarchies, Decidabilities, and Undecidabilities.
Int. J. Found. Comput. Sci.
Henning Bordihn, Martin Kutrib, Andreas Malcher
2014 — conf
Measuring Communication in Parallel Communicating Finite Automata.
AFL
Henning Bordihn, Martin Kutrib, Andreas Malcher
2014 J jnl
Nonterminal Controlled String Assembling Systems.
J. Autom. Lang. Comb.
Henning Bordihn, Martin Kutrib, Matthias Wendlandt
2014 — conf
Soliton Automata with Multiple Waves.
Computing with New Resources
Henning Bordihn, Helmut Jürgensen, Heiko Ritter
2014 — conf
Solving 2D-Pattern Matching with Networks of Picture Processors.
TPNC
Henning Bordihn, Paolo Bottoni, Anna Labella, Victor Mitrana
2014 — conf
Two Variants of Synchronized Shuffle on Backbones.
Discrete Mathematics and Computer Science
Henning Bordihn, Florin Manea, Victor Mitrana, Daniel-Claudian Voinescu
2012 — book
Contributions to the syntactical analysis beyond context-freeness (Beiträge zur syntaktischen Analyse nicht-kontextfreier Sprachen)
Henning Bordihn
2012 — ed.
Languages Alive - Essays Dedicated to Jürgen Dassow on the Occasion of His 65th Birthday
Languages Alive
Henning Bordihn, Martin Kutrib, Bianca Truthe
2012 J jnl
On the Computational Capacity of Parallel Communicating Finite Automata.
Int. J. Found. Comput. Sci.
Henning Bordihn, Martin Kutrib, Andreas Malcher
2011 J jnl
Decidability of operation problems for T0L languages and subclasses.
Inf. Comput.
Henning Bordihn, Markus Holzer, Martin Kutrib
2011 J jnl
Hairpin Finite Automata.
J. Autom. Lang. Comb.
Henning Bordihn, Markus Holzer, Martin Kutrib
2011 J jnl
Preface.
Fundam. Informaticae
Henning Bordihn, Rudolf Freund, Mika Hirvensalo, Markus Holzer, Martin Kutrib, Friedrich Otto
2011 J jnl
Selected Papers Dedicated to Friedrich Otto on the Occasion of his 60th Birthday - Editorial.
J. Autom. Lang. Comb.
Henning Bordihn, Jürgen Dassow, Martin Kutrib, Bianca Truthe
2011 J jnl
Undecidability and Hierarchy Results for Parallel Communicating Finite Automata.
Int. J. Found. Comput. Sci.
Henning Bordihn, Martin Kutrib, Andreas Malcher
2010 J jnl
Extending regular expressions with homomorphic replacement.
RAIRO Theor. Informatics Appl.
Henning Bordihn, Jürgen Dassow, Markus Holzer
2010 — ed.
Second Workshop on Non-Classical Models for Automata and Applications - NCMA 2010, Jena, Germany, August 23 - August 24, 2010. Proceedings
NCMA
Henning Bordihn, Rudolf Freund, Markus Holzer, Thomas Hinze, Martin Kutrib, Friedrich Otto
2010 C conf
Undecidability and Hierarchy Results for Parallel Communicating Finite Automata.
Developments in Language Theory
Henning Bordihn, Martin Kutrib, Andreas Malcher
2009 J jnl
Descriptional Complexity of Restricted CD Grammar Systems.
J. Autom. Lang. Comb.
Henning Bordihn, Bettina Sunckel
2009 J jnl
Determination of finite automata accepting subregular languages.
Theor. Comput. Sci.
Henning Bordihn, Markus Holzer, Martin Kutrib
2009 J jnl
On input-revolving deterministic and nondeterministic finite automata.
Inf. Comput.
Suna Bensch, Henning Bordihn, Markus Holzer, Martin Kutrib
2009 C conf
Undecidability of Operation Problems for T0L Languages and Subclasses.
LATA
Henning Bordihn, Markus Holzer, Martin Kutrib
2009 — ed.
Workshop on Non-Classical Models for Automata and Applications - NCMA 2009, Wroclaw, Poland, August 31 - September 1, 2009. Proceedings
NCMA
Henning Bordihn, Rudolf Freund, Markus Holzer, Martin Kutrib, Friedrich Otto
2008 J jnl
A note on cooperating distributed grammar systems working in combined modes.
Inf. Process. Lett.
Henning Bordihn, Markus Holzer
2008 C conf
Deterministic Input-Reversal and Input-Revolving Finite Automata.
LATA
Suna Bensch, Henning Bordihn, Markus Holzer, Martin Kutrib
2008 C conf
On the Computational Capacity of Parallel Communicating Finite Automata.
Developments in Language Theory
Henning Bordihn, Martin Kutrib, Andreas Malcher
2008 C conf
Random Context in Regulated Rewriting VersusCooperating Distributed Grammar Systems.
LATA
Henning Bordihn, Markus Holzer
2008 — conf
State Complexity of NFA to DFA Conversion of Subregular Language Families.
DCFS
Henning Bordihn, Markus Holzer, Martin Kutrib
2007 J jnl
Active Symbols in Pure Systems.
Fundam. Informaticae
Suna Bensch, Henning Bordihn
2007 J jnl
Cooperating Distributed Grammar Systems as Models of Distributed Problem Solving, Revisited.
Fundam. Informaticae
Henning Bordihn, Markus Holzer
2007 C conf
Hairpin Finite Automata.
Developments in Language Theory
Henning Bordihn, Markus Holzer, Martin Kutrib
2007 J jnl
Hybrid Extended Finite Automata.
Int. J. Found. Comput. Sci.
Henning Bordihn, Markus Holzer, Martin Kutrib
2007 J jnl
On Active Symbols in CD Grammar Systems.
J. Autom. Lang. Comb.
Henning Bordihn, Bettina Sunckel
2007 C conf
On leftmost derivations in CD grammar systems.
LATA
Henning Bordihn, György Vaszil
2007 J jnl
Preface: Aspects in Language and Automata Theory Special Issue Dedicated to JÜrgen Dassow.
Int. J. Found. Comput. Sci.
Henning Bordihn, Bernd Reichel, Ralf Stiebe, Bianca Truthe
2007 J jnl
The Degree of Parallelism.
J. Autom. Lang. Comb.
Henning Bordihn, Henning Fernau
2007 B conf
Top-Down Deterministic Parsing of Languages Generated by CD Grammar Systems.
FCT
Henning Bordihn, György Vaszil
2006 C conf
Hybrid Extended Finite Automata.
CIAA
Henning Bordihn, Markus Holzer, Martin Kutrib
2006 J jnl
Iterated sequential transducers as language generating devices.
Theor. Comput. Sci.
Henning Bordihn, Henning Fernau, Markus Holzer, Vincenzo Manca, Carlos Martín-Vide
2006 J jnl
Programmed grammars and their relation to the LBA problem.
Acta Informatica
Henning Bordihn, Markus Holzer
2005 — conf
On active symbols in CD grammar systems.
DCFS
Henning Bordihn, Bettina Sunckel
2005 J jnl
On the number of components in cooperating distributed grammar systems.
Theor. Comput. Sci.
Henning Bordihn
2005 C conf
Revolving-Input Finite Automata.
Developments in Language Theory
Henning Bordihn, Markus Holzer, Martin Kutrib
2005 — conf
The degree of parallelism.
DCFS
Henning Bordihn, Henning Fernau
2005 J jnl
Unsolvability levels of operation problems for subclasses of context-free languages.
Int. J. Found. Comput. Sci.
Henning Bordihn, Markus Holzer, Martin Kutrib
2004 J jnl
Context-freeness of the power of context-free languages is undecidable.
Theor. Comput. Sci.
Henning Bordihn
2004 J jnl
Economy of Description for Basic Constructions on Rational Transductions.
J. Autom. Lang. Comb.
Henning Bordihn, Markus Holzer, Martin Kutrib
2004 C conf
Input Reversals and Iterated Pushdown Automata: A New Characterization of Khabbaz Geometric Hierarchy of Languages.
Developments in Language Theory
Henning Bordihn, Markus Holzer, Martin Kutrib
2004 — conf
Pushdown Information.
DCFS
Henning Bordihn, Helmut Jürgensen
2004 C conf
Some Non-semi-decidability Problems for Linear and Deterministic Context-Free Languages.
CIAA
Henning Bordihn, Markus Holzer, Martin Kutrib
2003 — conf
On Iterated Sequential Transducers.
Grammars and Automata for String Processing
Henning Bordihn, Henning Fernau, Markus Holzer
2003 — conf
On the Number of Components in Cooperating Distributed Grammar Systems.
DCFS
Henning Bordihn
2003 J jnl
Sequential Versus Parallel Grammar Formalisms with Respect to Measures of Descriptional Complexity.
Fundam. Informaticae
Suna Aydin, Henning Bordihn
2002 — conf
Economy of Descriptions for Basic Constructions on Rational Transductions.
DCFS
Henning Bordihn, Markus Holzer, Martin Kutrib
2002 J jnl
On Descriptions of Context-Free Languages by CD Grammar Systems.
J. Autom. Lang. Comb.
Henning Bordihn, Bernd Reichel
2002 J jnl
On the Computational Complexity of Synchronized Context-Free Languages.
J. Univers. Comput. Sci.
Henning Bordihn, Markus Holzer
2001 — conf
On Descriptions of Context-Free Languages by CD Grammar Systems.
DCFS
Henning Bordihn, Bernd Reichel
2001 J jnl
On the Number of Active Symbols in L and CD Grammar Systems.
J. Autom. Lang. Comb.
Henning Bordihn, Markus Holzer
2000 J jnl
Grammar Systems with Negated Conditions in their Cooperation Protocols
J. Univers. Comput. Sci.
Henning Bordihn, Markus Holzer
2000 J jnl
Parallel Communicating Grammar Systems As Language Analyzers.
Grammars
Henning Bordihn, Jürgen Dassow, György Vaszil
1999 — conf
CD Grammar Systems Versus L Systems.
Grammatical Models of Multi-Agent Systems
Henning Bordihn, Erzsébet Csuhaj-Varjú, Jürgen Dassow
1999 C conf
Cooperating distributed grammar systems with non-terminating components.
Developments in Language Theory
Henning Bordihn, Markus Holzer
1999 B conf
Grammar Systems as Language Analyzers and Recursively Enumerable Languages.
FCT
Henning Bordihn, Jürgen Dassow, György Vaszil
1999 J jnl
On Accepting Pure Lindenmayer Systems.
Fundam. Informaticae
Henning Bordihn, Henning Fernau, Markus Holzer
1999 J jnl
On a Hierarchy of Languages Generated by Cooperating Distributed Grammar Systems.
Inf. Process. Lett.
Henning Bordihn, Markus Holzer
1997 — conf
A Grammatical Approach to the LBA Problem.
New Trends in Formal Languages
Henning Bordihn
1996 J jnl
Accepting Grammars and Systems via Context Condition Grammars.
J. Autom. Lang. Comb.
Henning Bordihn, Henning Fernau
1996 J jnl
Accepting Multi-Agent Systems.
Comput. Artif. Intell.
Henning Fernau, Markus Holzer, Henning Bordihn
1996 J jnl
On Competence and Completeness in CD Grammar Systems.
Acta Cybern.
Henning Bordihn, Erzsébet Csuhaj-Varjú
1995 C conf
Accepting Grammars and Systems: An Overview.
Developments in Language Theory
Henning Bordihn, Henning Fernau
1995 J jnl
Remarks on accepting parallel systems.
Int. J. Comput. Math.
Henning Fernau, Henning Bordihn
1993 C conf
A Note on the Degree of Nondeterminism.
Developments in Language Theory
Henning Bordihn, Jürgen Dassow
1992 J jnl
Pure Languages and the Degree of Nondeterminism.
J. Inf. Process. Cybern.
Henning Bordihn
1992 — —
Über den Determiniertheitsgrad reiner Versionen formaler Sprachen.
Henning Bordihn