Henning Fernau Home Page Coauthor index DBLP Vis pubzone.org

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

DBLP keys2010
158Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Raible, Henning Fernau: An Amortized Search Tree Analysis for k-Leaf Spanning Tree. SOFSEM 2010: 672-684
157Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau: A Top-Down Approach to Search-Trees: Improved Algorithmics for 3-Hitting Set. Algorithmica 57(1): 97-118 (2010)
156Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau: minimum dominating set of queens: A trivial programming exercise? Discrete Applied Mathematics 158(4): 308-318 (2010)
2009
155Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGábor Erdélyi, Henning Fernau, Judy Goldsmith, Nicholas Mattei, Daniel Raible, Jörg Rothe: The Complexity of Probabilistic Lobbying. ADT 2009: 86-97
154Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau, Serge Gaspers, Dieter Kratsch, Mathieu Liedloff, Daniel Raible: Exact Exponential-Time Algorithms for Finding Bicliques in a Graph. CTW 2009: 205-209
153Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau, Daniel Raible: Packing Paths: Recycling Saves Time. CTW 2009: 79-83
152Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau, Joachim Kneis, Dieter Kratsch, Alexander Langer, Mathieu Liedloff, Daniel Raible, Peter Rossmanith: An Exact Algorithm for the Maximum Leaf Spanning Tree Problem. IWPEC 2009: 161-172
151Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau, Fedor V. Fomin, Daniel Lokshtanov, Daniel Raible, Saket Saurabh, Yngve Villanger: Kernel(s) for Problems with No Kernel: On Out-Trees with Many Leaves. STACS 2009: 421-432
150Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau, Daniel Raible: Searching Trees: An Essay. TAMC 2009: 59-70
149Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau, Serge Gaspers, Daniel Raible: Exact and Parameterized Algorithms for Max Internal Spanning Tree. WG 2009: 100-111
148Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGábor Erdélyi, Henning Fernau, Judy Goldsmith, Nicholas Mattei, Daniel Raible, Jörg Rothe: The Complexity of Probabilistic Lobbying CoRR abs/0906.4431: (2009)
147Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLjiljana Brankovic, Henning Fernau, Joachim Kneis, Dieter Kratsch, Alexander Langer, Mathieu Liedloff, Daniel Raible, Peter Rossmanith: Breaking the 2^n-Barrier for Irredundance: A Parameterized Route to Solving Exact Puzzles CoRR abs/0909.4224: (2009)
146Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Raible, Henning Fernau: A Faster Exact Algorithm for the Directed Maximum Leaf Spanning Tree Problem CoRR abs/0911.1900: (2009)
145Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau, Juan Alberto Rodríguez-Velazquez, Jose Maria Sigarreta: Offensive r-alliances in graphs. Discrete Applied Mathematics 157(1): 177-182 (2009)
144Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJose Maria Sigarreta, Sergio Bermudo, Henning Fernau: On the complement graph and defensive k-alliances. Discrete Applied Mathematics 157(8): 1687-1695 (2009)
143Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau: Algorithms for learning regular expressions from positive data. Inf. Comput. 207(4): 521-541 (2009)
142Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau, Daniel Raible: A parameterized perspective on packing paths of length two. J. Comb. Optim. 18(4): 319-341 (2009)
141Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau, David Manlove: Vertex and edge covers with clustering properties: Complexity and algorithms. J. Discrete Algorithms 7(2): 149-167 (2009)
2008
140no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Martín-Vide, Friedrich Otto, Henning Fernau: Language and Automata Theory and Applications, Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers Springer 2008
139Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael R. Fellows, Henning Fernau: Facility Location Problems: A Parameterized View. AAIM 2008: 188-199
138Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau, Daniel Raible: A Parameterized Perspective on Packing Paths of Length Two. COCOA 2008: 54-63
137no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau, Juan Alberto Rodríguez-Velazquez, Jose Maria Sigarreta: Global r-alliances and total domination. CTW 2008: 98-101
136Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuoqiang Bai, Henning Fernau: Constraint Bipartite Vertex Cover: Simpler Exact Algorithms and Implementations. FAW 2008: 67-78
135Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Gulan, Henning Fernau: An Optimal Construction of Finite Automata from Regular Expressions. FSTTCS 2008: 211-222
134Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Raible, Henning Fernau: Power Domination in O*(1.7548n) Using Reference Search Trees. ISAAC 2008: 136-147
133Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Raible, Henning Fernau: A New Upper Bound for Max-2-SAT: A Graph-Theoretic Approach. MFCS 2008: 551-562
132no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Gulan, Henning Fernau: Local elimination-strategies in automata for shorter regular expressions. SOFSEM (2) 2008: 46-57
131Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau, Daniel Raible: Exact Algorithms for Maximum Acyclic Subgraph on a Superclass of Cubic Graphs. WALCOM 2008: 144-156
130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau: Parameterized Algorithms for Drawing Graphs. Encyclopedia of Algorithms 2008
129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Raible, Henning Fernau: A New Upper Bound for Max-2-Sat: A Graph-Theoretic Approach CoRR abs/0803.3531: (2008)
128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJianer Chen, Henning Fernau, Dan Ning, Daniel Raible, Jianxin Wang: A Parameterized Perspective on P2-Packings CoRR abs/0804.0570: (2008)
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau, Fedor V. Fomin, Daniel Lokshtanov, Daniel Raible, Saket Saurabh, Yngve Villanger: Kernel(s) for Problems With no Kernel: On Out-Trees With Many Leaves CoRR abs/0810.4796: (2008)
126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau, Daniel Raible, Serge Gaspers, Alexey A. Stepanov: Exact Exponential Time Algorithms for Max Internal Spanning Tree CoRR abs/0811.1875: (2008)
125Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau: Parameterized algorithmics for linear arrangement problems. Discrete Applied Mathematics 156(17): 3166-3177 (2008)
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau, Joseph F. Ryan, Kiki A. Sugeng: A sum labelling for the generalised friendship graph. Discrete Mathematics 308(5-6): 734-740 (2008)
123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau, Ralf Stiebe: Blind Counter Automata on omega-Words. Fundam. Inform. 83(1-2): 51-64 (2008)
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dassow, Henning Fernau: Comparison of some descriptional complexities of 0L systems obtained by a unifying approach. Inf. Comput. 206(9-10): 1095-1103 (2008)
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau: ROMAN DOMINATION: a parameterized perspective. Int. J. Comput. Math. 85(1): 25-38 (2008)
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVida Dujmovic, Henning Fernau, Michael Kaufmann: Fixed parameter algorithms for one-sided crossing minimization revisited. J. Discrete Algorithms 6(2): 313-323 (2008)
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFaisal N. Abu-Khzam, Henning Fernau, Michael A. Langston: A bounded search tree algorithm for parameterized face cover. J. Discrete Algorithms 6(4): 541-552 (2008)
2007
118no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau: Dynamic programming for queen domination. CTW 2007: 43-48
117no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau, Daniel Raible: Alliances in Graphs: a Complexity-Theoretic Study. SOFSEM (2) 2007: 61-70
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Raible, Henning Fernau: Exact Elimination of Cycles in Graphs. Structure Theory and FPT Algorithmics for Graphs, Digraphs and Hypergraphs 2007
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau, Klaus Reinhardt, Ludwig Staiger: Decidability of code properties. ITA 41(3): 243-259 (2007)
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau: Learning tree languages from text. ITA 41(4): 351-374 (2007)
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau: Programmed Grammars with Rule Queues. Int. J. Found. Comput. Sci. 18(6): 1209-1213 (2007)
112no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau, Rudolf Freund, Marion Oswald, Klaus Reinhardt: Refining the Nonterminal Complexity of Graph-Controlled, Programmed, and Matrix Grammars. Journal of Automata, Languages and Combinatorics 12(1-2): 117-138 (2007)
111no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Bordihn, Henning Fernau: The Degree of Parallelism. Journal of Automata, Languages and Combinatorics 12(1-2): 25-47 (2007)
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJianer Chen, Henning Fernau, Iyad A. Kanj, Ge Xia: Parametric Duality and Kernelization: Lower Bounds and Upper Bounds on Kernel Size. SIAM J. Comput. 37(4): 1077-1106 (2007)
2006
109no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau, David Manlove: Vertex and Edge Covers with Clustering Properties: Complexity and Algorithms. ACiD 2006: 69-84
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau: Parameterized Algorithms for Hitting Set: The Weighted Case. CIAC 2006: 332-343
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau: edge dominating set: Efficient Enumeration-Based Exact Algorithms. IWPEC 2006: 142-153
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFaisal N. Abu-Khzam, Henning Fernau: Kernels: Annotated, Proper and Induced. IWPEC 2006: 264-275
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank K. H. A. Dehne, Michael R. Fellows, Henning Fernau, Elena Prieto, Frances A. Rosamond: NONBLOCKER: Parameterized Algorithmics for minimum dominating set. SOFSEM 2006: 237-245
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau: ROMAN DOMINATION: A Parameterized Perspective. SOFSEM 2006: 262-271
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau: Parameterized Algorithms for Hitting Set: the Weighted Case. Electronic Colloquium on Computational Complexity (ECCC) 13(072): (2006)
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFaisal N. Abu-Khzam, Henning Fernau: Parameterized Algorithms for Finding Small Independent Dominating Sets in Planar Graphs. Electronic Notes in Discrete Mathematics 25: 1-6 (2006)
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau: Speeding up Exact Algorithms With High Probability. Electronic Notes in Discrete Mathematics 25: 57-59 (2006)
100Electronic 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)
2005
99no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFaisal N. Abu-Khzam, Henning Fernau, Michael A. Langston: Asymptotically Faster Algorithms for Parameterized FACE COVER. ACiD 2005: 43-58
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau: Algorithms for Learning Regular Expressions. ALT 2005: 297-311
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau, Michael Kaufmann, Mathias Poths: Comparing Trees Via Crossing Minimization. FSTTCS 2005: 457-469
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau: Two-Layer Planarization: Improving on Parameterized Algorithmics. SOFSEM 2005: 137-146
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJianer Chen, Henning Fernau, Iyad A. Kanj, Ge Xia: Parametric Duality and Kernelization: Lower Bounds and Upper Bounds on Kernel Size. STACS 2005: 269-280
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau, Rudolf Freund, Markus Holzer: Representations of Recursively Enumerable Array Languages by Contextual Array Grammars. Fundam. Inform. 64(1-4): 159-170 (2005)
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJochen Alber, Hongbing Fan, Michael R. Fellows, Henning Fernau, Rolf Niedermeier, Frances A. Rosamond, Ulrike Stege: A refined search tree technique for Dominating Set on planar graphs. J. Comput. Syst. Sci. 71(4): 385-405 (2005)
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau: Two-Layer Planarization: Improving on Parameterized Algorithmics. J. Graph Algorithms Appl. 9(2): 205-238 (2005)
2004
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBradford Starkie, Henning Fernau: The Boisdale Algorithm - An Induction Method for a Subclass of Unification Grammar from Positive Data. ICGI 2004: 235-247
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau: Extracting Minimum Length Document Type Definitions Is NP-Hard. ICGI 2004: 277-278
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau, David W. Juedes: A Geometric Approach to Parameterized Algorithms for Domination Problems on Planar Graphs. MFCS 2004: 488-499
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau: Identifying Terminal Distinguishable Languages. Ann. Math. Artif. Intell. 40(3-4): 263-282 (2004)
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau: Parametric Duality: Kernel Sizes and Algorithmics Electronic Colloquium on Computational Complexity (ECCC)(027): (2004)
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau: A Top-Down Approach to Search-Trees: Improved Algorithmics for 3-Hitting Set Electronic Colloquium on Computational Complexity (ECCC)(073): (2004)
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau: Two-Layer Planarization: Improving on Parameterized Algorithmics Electronic Colloquium on Computational Complexity (ECCC)(078): (2004)
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJochen Alber, Henning Fernau, Rolf Niedermeier: Parameterized complexity: exponential speed-up for planar graph problems. J. Algorithms 52(1): 26-56 (2004)
2003
83no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau, Torben Hagerup, Naomi Nishimura, Prabhakar Ragde, Klaus Reinhardt: On the parameterized complexity of the generalized rush hour puzzle. CCCG 2003: 6-9
82no 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
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVida Dujmovic, Henning Fernau, Michael Kaufmann: Fixed Parameter Algorithms for one-sided crossing minimization Revisited. Graph Drawing 2003: 332-344
80no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau: Education(al) matters: teaching P versus NP. Bulletin of the EATCS 80: 237-246 (2003)
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau: Parallel Grammars: A Phenomenology. Grammars 6(1): 25-87 (2003)
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau, Alexander Meduna: A simultaneous reduction of several measures of descriptional complexity in scattered context grammars. Inf. Process. Lett. 86(5): 235-240 (2003)
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJochen Alber, Henning Fernau, Rolf Niedermeier: Graph separators: a parameterized view. J. Comput. Syst. Sci. 67(4): 808-832 (2003)
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau, Markus Holzer, Rudolf Freund: Hybrid modes in cooperating distributed grammar systems: combining the t-mode with the modes le k and =k. Theor. Comput. Sci. 1-3(299): 633-662 (2003)
75no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau: Identification of function distinguishable languages. Theor. Comput. Sci. 290(3): 1679-1711 (2003)
74no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau, Alexander Meduna: On the degree of scattered context-sensitivity. Theor. Comput. Sci. 290(3): 2121-2124 (2003)
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau: Nonterminal complexity of programmed grammars. Theor. Comput. Sci. 296(2): 225-251 (2003)
2002
72no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPieter W. Adriaans, Henning Fernau, Menno van Zaanen: Grammatical Inference: Algorithms and Applications, 6th International Colloquium: ICGI 2002, Amsterdam, The Netherlands, September 23-25, 2002, Proceedings Springer 2002
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau: On Parameterized Enumeration. COCOON 2002: 564-573
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau: Learning Tree Languages from Text. COLT 2002: 153-168
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau: Fragmentation: Enhancing Identifiability. ICGI 2002: 92-105
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau, Agnes Radl: Algorithms for Learning Function Distinguishable Regular Languages. SSPR/SPR 2002: 64-73
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau: Graph Separator Algorithms: A Refined Analysis. WG 2002: 186-197
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJochen Alber, Hans L. Bodlaender, Henning Fernau, Ton Kloks, Rolf Niedermeier: Fixed Parameter Algorithms for DOMINATING SET and Related Problems on Planar Graphs. Algorithmica 33(4): 461-493 (2002)
65no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau, Markus Holzer: Graph-Controlled Cooperating Distributed Grammar Systems with Singleton Components. Journal of Automata, Languages and Combinatorics 7(4): 487-503 (2002)
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau, Ralf Stiebe: Sequential grammars and automata with valences. Theor. Comput. Sci. 276(1-2): 377-405 (2002)
63no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau: Even linear simple matrix languages: formal language properties and grammatical inference. Theor. Comput. Sci. 289(1): 425-456 (2002)
2001
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJochen Alber, Henning Fernau, Rolf Niedermeier: Graph Separators: A Parameterized View. COCOON 2001: 318-327
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau, Ralf Stiebe: Valuated and Valence Grammars: An Algebraic View. Developments in Language Theory 2001: 281-292
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJochen Alber, Henning Fernau, Rolf Niedermeier: Parameterized Complexity: Exponential Speed-Up for Planar Graph Problems. ICALP 2001: 261-272
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFalk Hüffner, Stefan Edelkamp, Henning Fernau, Rolf Niedermeier: Finding Optimal Solutions to Atomix. KI/ÖGAI 2001: 229-243
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau: Nonterminal Complexity of Programmed Grammars. MCU 2001: 202-213
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJochen Alber, Hongbing Fan, Michael R. Fellows, Henning Fernau, Rolf Niedermeier, Frances A. Rosamond, Ulrike Stege: Refined Search Tree Technique for DOMINATING SET on Planar Graphs. MFCS 2001: 111-122
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau: Learning XML Grammars. MLDM 2001: 73-87
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau: Approximative Learning of Regular Languages. SOFSEM 2001: 223-232
54no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau, Ralf Stiebe: Valence Grammars with Target Sets. Words, Semigroups, and Transductions 2001: 129-140
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau: Parallel communicating grammar systems with terminal transmission. Acta Inf. 37(7): 511-540 (2001)
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJochen Alber, Henning Fernau, Rolf Niedermeier: Parameterized Complexity: Exponential Speed-Up for Planar Graph Problems Electronic Colloquium on Computational Complexity (ECCC) 8(23): (2001)
51no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau, Ralf Stiebe: Valences in Lindenmayer Systems. Fundam. Inform. 45(4): 329-358 (2001)
50no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau, Ludwig Staiger: Iterated Function Systems and Control Languages. Inf. Comput. 168(2): 125-143 (2001)
49no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau, Rolf Niedermeier: An Efficient Exact Algorithm for Constraint Bipartite Vertex Cover. J. Algorithms 38(2): 374-410 (2001)
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau, Markus Holzer, Rudolf Freund: Hybrid modes in cooperating distributed grammar systems: internal versus external hybridization. Theor. Comput. Sci. 259(1-2): 405-426 (2001)
2000
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau: Identification of Function Distinguishable Languages. ALT 2000: 116-130
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau: Terminal distinguishable languages. AMAI 2000
45no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau, José M. Sempere: Permutations and Control Sets for Learning Non-regular Language Families. ICGI 2000: 75-88
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau: k-gram Extensions of Terminal Distinguishable Languages. ICPR 2000: 2125-2128
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau, Markus Holzer: External Contextual and Conditional Languages. Recent Topics in Mathematical and Computational Linguistics 2000: 104-120
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJochen Alber, Hans L. Bodlaender, Henning Fernau, Rolf Niedermeier: Fixed Parameter Algorithms for PLANAR DOMINATING SET and Related Problems. SWAT 2000: 97-110
41no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau: Regulated Grammars under Leftmost Derivation. Grammars 3(1): 37-62 (2000)
1999
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau: Efficient Learning of Some Linear Matrix Languages. COCOON 1999: 221-230
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau, Klaus Reinhardt, Ludwig Staiger: Decidability of code properties. Developments in Language Theory 1999: 153-163
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau, Rudolf Freund, Markus Holzer: Regulated Array Grammars of Finite Index. Part I: Theoretical Investigations. Grammatical Models of Multi-Agent Systems 1999: 157-181
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau, Rudolf Freund, Markus Holzer: Regulated Array Grammars of Finite Index. Part II: Syntactic Pattern Recognition. Grammatical Models of Multi-Agent Systems 1999: 284-296
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau, Rolf Niedermeier: An Efficient Exact Algorithm for Constraint Bipartite Vertex Cover. MFCS 1999: 387-397
35no EE 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)
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dassow, Henning Fernau, Gheorghe Paun: On the Leftmost Derivation in Matrix Grammars. Int. J. Found. Comput. Sci. 10(1): 61-80 (1999)
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau, Frank Stephan: Characterizations of Recursively Enumerable Sets by Programmed Grammars With Unconditional Transfer. Journal of Automata, Languages and Combinatorics 4(2): 117-152 (1999)
1998
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau, Rudolf Freund, Markus Holzer: The Generative Power of d-Dimensional #-Context-Free Array Grammars. MCU (2) 1998: 43-56
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau, Ludwig Staiger: IFS and Control Languages. MFCS 1998: 740-750
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau: Regulated Grammars with Leftmost Derivation. SOFSEM 1998: 322-331
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau, Rudolf Freund, Markus Holzer: Character Recognition with k-Head Finite Array Automata. SSPR/SPR 1998: 282-291
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau, Dietmar Wätjen: Remarks on Regulated Limited ET0L Systems and Regulated Context-Free Grammars. Theor. Comput. Sci. 194(1-2): 35-55 (1998)
1997
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau, Frank Stephan: How Powerful is Unconditional Transfer? - When UT meets AC. Developments in Language Theory 1997: 249-260
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau, Markus Holzer, Rudolf Freund: Bounding resources in Cooperating Distributed Grammar Systems. Developments in Language Theory 1997: 261-272
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau, Ralf Stiebe: Regulations by Valences. MFCS 1997: 239-248
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau, Markus Holzer: Conditional Context-Free Languages of Finite Index. New Trends in Formal Languages 1997: 10-26
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau, Rudolf Freund: Accepting Array Grammars with Control Mechanisms. New Trends in Formal Languages 1997: 95-118
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau: Unconditional Transfer in Regulated Rewriting. Acta Inf. 34(11): 837-857 (1997)
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau: Graph-Controlled Grammars as Language Acceptors. Journal of Automata, Languages and Combinatorics 2(2): 79-92 (1997)
1996
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau, Klaus-Jörn Lange, Klaus Reinhardt: Advocating Ownership. FSTTCS 1996: 286-297
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau: On Unconditional Transfer. MFCS 1996: 348-359
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau, Rudolf Freund: Bounded Parallelism in Array Grammars Used for Character Recognition. SSPR 1996: 40-49
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau, Markus Holzer: Accepting Multi-Agent Systems II. Acta Cybern. 12(4): 361-380 (1996)
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau: Closure Properties of Ordered Languages. Bulletin of the EATCS 58: (1996)
15no 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)
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau: On Grammar and Language Families. Fundam. Inform. 25(1): 17-34 (1996)
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau: Remarks on Propagating Partition-Limited ETOL Systems. J. UCS 2(11): 745-755 (1996)
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Bordihn, Henning Fernau: Accepting Grammars and Systems via Context Condition Grammars. Journal of Automata, Languages and Combinatorics 1(2): 97-112 (1996)
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau: Membership for k-Limited ET0L Languages Is Not Decidable. Journal of Automata, Languages and Combinatorics 1(4): 243-246 (1996)
1995
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Bordihn, Henning Fernau: Accepting Grammars and Systems: An Overview. Developments in Language Theory 1995: 199-208
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau: Valuations Regular Expressions, and Fractal Geometry. Appl. Algebra Eng. Commun. Comput. 7(1): 59-75 (1995)
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau: A predicate for separating language classes. Bulletin of the EATCS 56: (1995)
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau: A Note on Uniformly Limited ETOL Systems with Unique Interpretation. Inf. Process. Lett. 54(4): 199-204 (1995)
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau: Valuations of Languages, with Applications to Fractal Geometry. Theor. Comput. Sci. 137(2): 177-217 (1995)
1994
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau, Ludwig Staiger: Valuations and Unambiguity of Languages, with Applications to Fractal Geometry. ICALP 1994: 11-22
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau: Membership for 1-Limited ET0L Languages Is Not Decidable. Elektronische Informationsverarbeitung und Kybernetik 30(4): 191-211 (1994)
1993
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau: Remarks on Adult Languages of Propagating Systems with Restricted Parallelism. Developments in Language Theory 1993: 90-101
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau: Adult Languages of Propagating Systems with Restricted Parallelism. Elektronische Informationsverarbeitung und Kybernetik 29(5): 249-267 (1993)
1991
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Fernau: On Function-limited Lindenmayer Systems. Elektronische Informationsverarbeitung und Kybernetik 27(1): 21-53 (1991)

Coauthor Index

1Faisal N. Abu-Khzam [99] [102] [106] [119]
2Pieter W. Adriaans [72]
3Jochen Alber [42] [52] [57] [60] [62] [66] [77] [84] [93]
4Guoqiang Bai [136]
5Sergio Bermudo [144]
6Hans L. Bodlaender [42] [66]
7Henning Bordihn [10] [12] [15] [35] [82] [100] [111]
8Ljiljana Brankovic [147]
9Jianer Chen [95] [110] [128]
10Jürgen Dassow [34] [122]
11Frank K. H. A. Dehne [105]
12Vida Dujmovic [81] [120]
13Stefan Edelkamp [59]
14Gábor Erdélyi [148] [155]
15Hongbing Fan [57] [93]
16Michael R. Fellows (Mike Fellows) [57] [93] [105] [139]
17Fedor V. Fomin [127] [151]
18Rudolf Freund [18] [23] [26] [29] [32] [37] [38] [48] [76] [94] [112]
19Serge Gaspers [126] [149] [154]
20Judy Goldsmith [148] [155]
21Stefan Gulan [132] [135]
22Torben Hagerup [83]
23Markus Holzer [15] [17] [24] [26] [29] [32] [35] [37] [38] [43] [48] [65] [76] [82] [94] [100]
24Falk Hüffner [59]
25David W. Juedes [89]
26Iyad A. Kanj [95] [110]
27Michael Kaufmann [81] [97] [120]
28Ton Kloks (Antonius J. J. Kloks) [66]
29Joachim Kneis [147] [152]
30Dieter Kratsch [147] [152] [154]
31Klaus-Jörn Lange [20]
32Alexander Langer [147] [152]
33Michael A. Langston [99] [119]
34Mathieu Liedloff [147] [152] [154]
35Daniel Lokshtanov [127] [151]
36Vincenzo Manca [100]
37David Manlove [109] [141]
38Carlos Martín-Vide [100] [140]
39Nicholas Mattei [148] [155]
40Alexander Meduna [74] [78]
41Rolf Niedermeier [36] [42] [49] [52] [57] [59] [60] [62] [66] [77] [84] [93]
42Dan Ning [128]
43Naomi Nishimura [83]
44Marion Oswald [112]
45Friedrich Otto [140]
46Gheorghe Paun [34]
47Mathias Poths [97]
48Elena Prieto [105]
49Agnes Radl [68]
50Prabhakar Ragde [83]
51Daniel Raible [116] [117] [126] [127] [128] [129] [131] [133] [134] [138] [142] [146] [147] [148] [149] [150] [151] [152] [153] [154] [155] [158]
52Klaus Reinhardt [20] [39] [83] [112] [115]
53Juan Alberto Rodríguez-Velazquez [137] [145]
54Frances A. Rosamond [57] [93] [105]
55Peter Rossmanith [147] [152]
56Jörg Rothe [148] [155]
57Joseph F. Ryan [124]
58Saket Saurabh [127] [151]
59José M. Sempere [45]
60Jose Maria Sigarreta [137] [144] [145]
61Ludwig Staiger [5] [31] [39] [50] [115]
62Bradford Starkie [91]
63Ulrike Stege [57] [93]
64Alexey A. Stepanov [126]
65Frank Stephan [27] [33]
66Ralf Stiebe [25] [51] [54] [61] [64] [123]
67Kiki A. Sugeng [124]
68Yngve Villanger [127] [151]
69Jianxin Wang [128]
70Dietmar Wätjen [28]
71Ge Xia [95] [110]
72Menno van Zaanen [72]

Colors in the list of coauthors

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)