dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Henning Bordihn (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Bordihn, Rudolf Freund, Mika Hirvensalo, Markus Holzer, Martin Kutrib, Friedrich Otto: Preface. Fundam. Inform. 112(2-3): (2011)
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Bordihn, Markus Holzer, Martin Kutrib: Decidability of operation problems for T0L languages and subclasses. Inf. Comput. 209(3): 344-352 (2011)
56no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Bordihn, Rudolf Freund, Markus Holzer, Thomas Hinze, Martin Kutrib, Friedrich Otto: Second Workshop on Non-Classical Models for Automata and Applications - NCMA 2010, Jena, Germany, August 23 - August 24, 2010. Proceedings Austrian Computer Society 2010
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Bordihn, Jürgen Dassow, Markus Holzer: Extending regular expressions with homomorphic replacement. RAIRO - Theor. Inf. and Applic. 44(2): 229-255 (2010)
53no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Bordihn, Rudolf Freund, Markus Holzer, Martin Kutrib, Friedrich Otto: Workshop on Non-Classical Models for Automata and Applications - NCMA 2009, Wroclaw, Poland, August 31 - September 1, 2009. Proceedings Austrian Computer Society 2009
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Bordihn, Markus Holzer, Martin Kutrib: Undecidability of Operation Problems for T0L Languages and Subclasses. LATA 2009: 236-246
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSuna Bensch, Henning Bordihn, Markus Holzer, Martin Kutrib: On input-revolving deterministic and nondeterministic finite automata. Inf. Comput. 207(11): 1140-1155 (2009)
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Bordihn, Markus Holzer, Martin Kutrib: Determination of finite automata accepting subregular languages. Theor. Comput. Sci. 410(35): 3209-3222 (2009)
49no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Bordihn, Markus Holzer, Martin Kutrib: State Complexity of NFA to DFA Conversion of Subregular Language Families. DCFS 2008: 85-96
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSuna Bensch, Henning Bordihn, Markus Holzer, Martin Kutrib: Deterministic Input-Reversal and Input-Revolving Finite Automata. LATA 2008: 113-124
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Bordihn, Markus Holzer: Random Context in Regulated Rewriting VersusCooperating Distributed Grammar Systems. LATA 2008: 125-136
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Bordihn, Markus Holzer: A note on cooperating distributed grammar systems working in combined modes. Inf. Process. Lett. 108(1): 10-14 (2008)
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Bordihn, Markus Holzer, Martin Kutrib: Hairpin Finite Automata. Developments in Language Theory 2007: 108-119
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Bordihn, Markus Holzer: Cooperating Distributed Grammar Systems as Models of Distributed Problem Solving, Revisited. Fundam. Inform. 76(3): 255-270 (2007)
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Bordihn, Markus Holzer, Martin Kutrib: Hybrid Extended Finite Automata. Int. J. Found. Comput. Sci. 18(4): 745-760 (2007)
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Bordihn, Markus Holzer, Martin Kutrib: Hybrid Extended Finite Automata. CIAA 2006: 34-45
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Bordihn, Markus Holzer: Programmed grammars and their relation to the LBA problem. Acta Inf. 43(4): 223-242 (2006)
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Bordihn, Henning Fernau, Markus Holzer, Vincenzo Manca, Carlos Martín-Vide: Iterated sequential transducers as language generating devices. Theor. Comput. Sci. 369(1-3): 67-81 (2006)
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Bordihn, Markus Holzer, Martin Kutrib: Revolving-Input Finite Automata. Developments in Language Theory 2005: 168-179
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Bordihn, Markus Holzer, Martin Kutrib: Unsolvability levels of operation problems for subclasses of context-free languages. Int. J. Found. Comput. Sci. 16(3): 423-440 (2005)
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Bordihn, Markus Holzer, Martin Kutrib: Some Non-semi-decidability Problems for Linear and Deterministic Context-Free Languages. CIAA 2004: 68-79
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning 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: 102-113
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Bordihn, Markus Holzer, Martin Kutrib: Economy of Description for Basic Constructions on Rational Transductions. Journal of Automata, Languages and Combinatorics 9(2/3): 175-188 (2004)
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Bordihn, Henning Fernau, Markus Holzer: On Iterated Sequential Transducers. Grammars and Automata for String Processing 2003: 121-130
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Bordihn, Markus Holzer, Martin Kutrib: Economy of Descriptions for Basic Constructions on Rational Transductions. DCFS 2002: 55-69
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Bordihn, Markus Holzer: On the Computational Complexity of Synchronized Context-Free Languages. J. UCS 8(2): 119-140 (2002)
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Bordihn, Markus Holzer: On the Number of Active Symbols in L and CD Grammar Systems. Journal of Automata, Languages and Combinatorics 6(4): 411-426 (2001)
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Bordihn, Markus Holzer: Grammar Systems with Negated Conditions in their Cooperation Protocols J. UCS 6(12): 1165-1184 (2000)
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Bordihn, Markus Holzer: Cooperating distributed grammar systems with non-terminating components. Developments in Language Theory 1999: 305-315
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Bordihn, Henning Fernau, Markus Holzer: On Accepting Pure Lindenmayer Systems. Fundam. Inform. 38(4): 365-375 (1999)
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Bordihn, Markus Holzer: On a Hierarchy of Languages Generated by Cooperating Distributed Grammar Systems. Inf. Process. Lett. 69(2): 59-62 (1999)
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau, Markus Holzer, Henning Bordihn: Accepting Multi-Agent Systems. Computers and Artificial Intelligence 15(2-3): (1996)

Selection of 32 from 60 records - Henning Bordihn has 19 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page