| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Henning Bordihn, Martin Kutrib, Andreas Malcher |
Undecidability and Hierarchy Results for Parallel Communicating Finite Automata.  |
Int. J. Found. Comput. Sci.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Bordihn, Markus Holzer, Martin Kutrib |
Decidability of operation problems for T0L languages and subclasses.  |
Inf. Comput.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Bordihn, Rudolf Freund, Mika Hirvensalo, Markus Holzer, Martin Kutrib, Friedrich Otto |
Preface.  |
Fundam. Inform.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Bordihn, Jürgen Dassow, Markus Holzer |
Extending regular expressions with homomorphic replacement.  |
RAIRO - Theor. Inf. and Applic.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Bordihn, Martin Kutrib, Andreas Malcher |
Undecidability and Hierarchy Results for Parallel Communicating Finite Automata.  |
Developments in Language Theory  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Bordihn, Rudolf Freund, Markus Holzer, Thomas Hinze, Martin Kutrib, Friedrich Otto (eds.) |
Second Workshop on Non-Classical Models for Automata and Applications - NCMA 2010, Jena, Germany, August 23 - August 24, 2010. Proceedings  |
NCMA  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Henning Bordihn, Markus Holzer, Martin Kutrib |
Determination of finite automata accepting subregular languages.  |
Theor. Comput. Sci.  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Suna Bensch, Henning Bordihn, Markus Holzer, Martin Kutrib |
On input-revolving deterministic and nondeterministic finite automata.  |
Inf. Comput.  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Bordihn, Markus Holzer, Martin Kutrib |
Undecidability of Operation Problems for T0L Languages and Subclasses.  |
LATA  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Bordihn, Rudolf Freund, Markus Holzer, Martin Kutrib, Friedrich Otto (eds.) |
Workshop on Non-Classical Models for Automata and Applications - NCMA 2009, Wroclaw, Poland, August 31 - September 1, 2009. Proceedings  |
NCMA  |
2009 |
DBLP BibTeX RDF |
|
| 1 | Henning Bordihn, Markus Holzer |
A note on cooperating distributed grammar systems working in combined modes.  |
Inf. Process. Lett.  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Suna Bensch, Henning Bordihn, Markus Holzer, Martin Kutrib |
Deterministic Input-Reversal and Input-Revolving Finite Automata.  |
LATA  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Bordihn, Markus Holzer |
Random Context in Regulated Rewriting VersusCooperating Distributed Grammar Systems.  |
LATA  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Bordihn, Martin Kutrib, Andreas Malcher |
On the Computational Capacity of Parallel Communicating Finite Automata.  |
Developments in Language Theory  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Bordihn, Markus Holzer, Martin Kutrib |
State Complexity of NFA to DFA Conversion of Subregular Language Families.  |
DCFS  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Henning Bordihn, Bernd Reichel, Ralf Stiebe, Bianca Truthe |
Preface: Aspects in Language and Automata Theory Special Issue Dedicated to JÜrgen Dassow.  |
Int. J. Found. Comput. Sci.  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Bordihn, Markus Holzer, Martin Kutrib |
Hybrid Extended Finite Automata.  |
Int. J. Found. Comput. Sci.  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Bordihn, Markus Holzer |
Cooperating Distributed Grammar Systems as Models of Distributed Problem Solving, Revisited.  |
Fundam. Inform.  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Suna Bensch, Henning Bordihn |
Active Symbols in Pure Systems.  |
Fundam. Inform.  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Henning Bordihn, Henning Fernau |
The Degree of Parallelism.  |
Journal of Automata, Languages and Combinatorics  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Henning Bordihn, Bettina Sunckel |
On Active Symbols in CD Grammar Systems.  |
Journal of Automata, Languages and Combinatorics  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Henning Bordihn, György Vaszil |
On leftmost derivations in CD grammar systems.  |
LATA  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Henning Bordihn, György Vaszil |
Top-Down Deterministic Parsing of Languages Generated by CD Grammar Systems.  |
FCT  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Bordihn, Markus Holzer, Martin Kutrib |
Hairpin Finite Automata.  |
Developments in Language Theory  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Bordihn, Henning Fernau, Markus Holzer, Vincenzo Manca, Carlos Martín-Vide |
Iterated sequential transducers as language generating devices.  |
Theor. Comput. Sci.  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Bordihn, Markus Holzer |
Programmed grammars and their relation to the LBA problem.  |
Acta Inf.  |
2006 |
DBLP DOI BibTeX RDF |
Programmed grammars, Accepting grammars, LBA problem, Degree of non-regulation, Leftmost derivations |
| 1 | Henning Bordihn, Markus Holzer, Martin Kutrib |
Hybrid Extended Finite Automata.  |
CIAA  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Bordihn |
On the number of components in cooperating distributed grammar systems.  |
Theor. Comput. Sci.  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Bordihn, Markus Holzer, Martin Kutrib |
Unsolvability levels of operation problems for subclasses of context-free languages.  |
Int. J. Found. Comput. Sci.  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Bordihn, Markus Holzer, Martin Kutrib |
Revolving-Input Finite Automata.  |
Developments in Language Theory  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Bordihn, Henning Fernau |
The degree of parallelism.  |
DCFS  |
2005 |
DBLP BibTeX RDF |
|
| 1 | Henning Bordihn, Bettina Sunckel |
On active symbols in CD grammar systems.  |
DCFS  |
2005 |
DBLP BibTeX RDF |
|
| 1 | Henning Bordihn |
Context-freeness of the power of context-free languages is undecidable.  |
Theor. Comput. Sci.  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Bordihn, Markus Holzer, Martin Kutrib |
Economy of Description for Basic Constructions on Rational Transductions.  |
Journal of Automata, Languages and Combinatorics  |
2004 |
DBLP BibTeX RDF |
|
| 1 | Henning Bordihn, Markus Holzer, Martin Kutrib |
Input Reversals and Iterated Pushdown Automata: A New Characterization of Khabbaz Geometric Hierarchy of Languages.  |
Developments in Language Theory  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Bordihn, Helmut Jürgensen |
Pushdown Information.  |
DCFS  |
2004 |
DBLP BibTeX RDF |
|
| 1 | Henning Bordihn, Markus Holzer, Martin Kutrib |
Some Non-semi-decidability Problems for Linear and Deterministic Context-Free Languages.  |
CIAA  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Suna Aydin, Henning Bordihn |
Sequential Versus Parallel Grammar Formalisms with Respect to Measures of Descriptional Complexity.  |
Fundam. Inform.  |
2003 |
DBLP BibTeX RDF |
|
| 1 | Henning Bordihn, Henning Fernau, Markus Holzer |
On Iterated Sequential Transducers.  |
Grammars and Automata for String Processing  |
2003 |
DBLP BibTeX RDF |
|
| 1 | Henning Bordihn |
On the Number of Components in Cooperating Distributed Grammar Systems.  |
DCFS  |
2003 |
DBLP BibTeX RDF |
|
| 1 | Henning Bordihn, Markus Holzer |
On the Computational Complexity of Synchronized Context-Free Languages.  |
J. UCS  |
2002 |
DBLP BibTeX RDF |
|
| 1 | Henning Bordihn, Bernd Reichel |
On Descriptions of Context-Free Languages by CD Grammar Systems.  |
Journal of Automata, Languages and Combinatorics  |
2002 |
DBLP BibTeX RDF |
|
| 1 | Henning Bordihn, Markus Holzer, Martin Kutrib |
Economy of Descriptions for Basic Constructions on Rational Transductions.  |
DCFS  |
2002 |
DBLP BibTeX RDF |
|
| 1 | Henning Bordihn, Markus Holzer |
On the Number of Active Symbols in L and CD Grammar Systems.  |
Journal of Automata, Languages and Combinatorics  |
2001 |
DBLP BibTeX RDF |
|
| 1 | Henning Bordihn, Bernd Reichel |
On Descriptions of Context-Free Languages by CD Grammar Systems.  |
DCFS  |
2001 |
DBLP BibTeX RDF |
|
| 1 | Henning Bordihn, Jürgen Dassow, György Vaszil |
Parallel Communicating Grammar Systems As Language Analyzers.  |
Grammars  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Bordihn, Markus Holzer |
Grammar Systems with Negated Conditions in their Cooperation Protocols  |
J. UCS  |
2000 |
DBLP BibTeX RDF |
|
| 1 | Henning Bordihn, Markus Holzer |
On a Hierarchy of Languages Generated by Cooperating Distributed Grammar Systems.  |
Inf. Process. Lett.  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Bordihn, Henning Fernau, Markus Holzer |
On Accepting Pure Lindenmayer Systems.  |
Fundam. Inform.  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Bordihn, Erzsébet Csuhaj-Varjú, Jürgen Dassow |
CD Grammar Systems Versus L Systems.  |
Grammatical Models of Multi-Agent Systems  |
1999 |
DBLP BibTeX RDF |
|
| 1 | Henning Bordihn, Jürgen Dassow, György Vaszil |
Grammar Systems as Language Analyzers and Recursively Enumerable Languages.  |
FCT  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Bordihn, Markus Holzer |
Cooperating distributed grammar systems with non-terminating components.  |
Developments in Language Theory  |
1999 |
DBLP BibTeX RDF |
|
| 1 | Henning Bordihn |
A Grammatical Approach to the LBA Problem.  |
New Trends in Formal Languages  |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Fernau, Markus Holzer, Henning Bordihn |
Accepting Multi-Agent Systems.  |
Computers and Artificial Intelligence  |
1996 |
DBLP BibTeX RDF |
|
| 1 | Henning Bordihn, Erzsébet Csuhaj-Varjú |
On Competence and Completeness in CD Grammar Systems.  |
Acta Cybern.  |
1996 |
DBLP BibTeX RDF |
|
| 1 | Henning Bordihn, Henning Fernau |
Accepting Grammars and Systems via Context Condition Grammars.  |
Journal of Automata, Languages and Combinatorics  |
1996 |
DBLP BibTeX RDF |
|
| 1 | Henning Bordihn, Henning Fernau |
Accepting Grammars and Systems: An Overview.  |
Developments in Language Theory  |
1995 |
DBLP BibTeX RDF |
|
| 1 | Henning Bordihn, Jürgen Dassow |
A Note on the Degree of Nondeterminism.  |
Developments in Language Theory  |
1993 |
DBLP BibTeX RDF |
|
| 1 | Henning Bordihn |
Pure Languages and the Degree of Nondeterminism.  |
Elektronische Informationsverarbeitung und Kybernetik  |
1992 |
DBLP BibTeX RDF |
|