The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Henning Fernau" ( http://dblp.L3S.de/Authors/Henning_Fernau )

URL (Homepage):  http://www.informatik.uni-trier.de/~fernau/  Author page on DBLP  Author page in RDF  Community of Henning Fernau in ASPL-2

Publication years (Num. hits)
1991-1996 (20) 1997-1999 (20) 2000-2001 (24) 2002-2003 (21) 2004-2005 (20) 2006-2007 (20) 2008 (22) 2009 (15) 2010 (17) 2011-2012 (11)
Publication types (Num. hits)
article(92) incollection(1) inproceedings(94) proceedings(3)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 17 occurrences of 16 keywords

Results
Found 190 publication records. Showing 190 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Guoqiang Bai 0002, Henning Fernau Constraint bipartite vertex cover: simpler exact algorithms and implementations. Search on Bibsonomy J. Comb. Optim. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Daniel Binkele-Raible, Henning Fernau An Exact Exponential Time Algorithm for Power Dominating Set. Search on Bibsonomy Algorithmica The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Daniel Binkele-Raible, Henning Fernau Parameterized Measure & Conquer for Problems with No Small Kernels. Search on Bibsonomy Algorithmica The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jianer Chen, Henning Fernau, Peter Shaw, Jianxin Wang, Zhibiao Yang Kernels for Packing and Covering Problems - (Extended Abstract). Search on Bibsonomy FAW-AAIM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Faisal N. Abu-Khzam, Henning Fernau, Michael A. Langston, Serena Lee-Cultura, Ulrike Stege Charge and reduce: A fixed-parameter algorithm for String-to-String Correction. Search on Bibsonomy Discrete Optimization The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Henning Fernau, Joachim Kneis, Dieter Kratsch, Alexander Langer, Mathieu Liedloff, Daniel Raible, Peter Rossmanith An exact algorithm for the Maximum Leaf Spanning Tree problem. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Michael R. Fellows, Henning Fernau Facility location problems: A parameterized view. Search on Bibsonomy Discrete Applied Mathematics The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Daniel Binkele-Raible, Ljiljana Brankovic, Marek Cygan, Henning Fernau, Joachim Kneis, Dieter Kratsch, Alexander Langer, Mathieu Liedloff, Marcin Pilipczuk, Peter Rossmanith, Jakub Onufry Wojtaszczyk Breaking the 2n-barrier for Irredundance: Two lines of attack. Search on Bibsonomy J. Discrete Algorithms The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Henning Fernau, Ralf Stiebe On the Expressive Power of Valences in Cooperating Distributed Grammar Systems. Search on Bibsonomy Computation, Cooperation, and Life The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Sergio Bermudo, Henning Fernau Computing the differential of a graph. Search on Bibsonomy CTW The full citation details ... 2011 DBLP  BibTeX  RDF
1Ljiljana Brankovic, Henning Fernau Parameterized Approximation Algorithms for Hitting Set. Search on Bibsonomy WAOA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Daniel Binkele-Raible, Henning Fernau, Serge Gaspers, Mathieu Liedloff Exact exponential-time algorithms for finding bicliques. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Henning Fernau Parameterized algorithms for d-Hitting Set: The weighted case. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Henning Fernau A Top-Down Approach to Search-Trees: Improved Algorithmics for 3-Hitting Set. Search on Bibsonomy Algorithmica The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Henning Fernau minimum dominating set of queens: A trivial programming exercise? Search on Bibsonomy Discrete Applied Mathematics The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Henning Fernau, Michael Kaufmann, Mathias Poths Comparing trees via crossing minimization. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Daniel Binkele-Raible, Henning Fernau A new upper bound for Max-2-SAT: A graph-theoretic approach. Search on Bibsonomy J. Discrete Algorithms The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Henning Fernau Parameterized algorithmics for d-Hitting Set. Search on Bibsonomy Int. J. Comput. Math. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Daniel Binkele-Raible, Henning Fernau A Faster Exact Algorithm for the Directed Maximum Leaf Spanning Tree Problem. Search on Bibsonomy CSR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Christophe Costa Florêncio, Henning Fernau Finding Consistent Categorial Grammars of Bounded Value: A Parameterized Approach. Search on Bibsonomy LATA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Adrian Horia Dediu, Henning Fernau, Carlos Martín-Vide (eds.) Language and Automata Theory and Applications, 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010. Proceedings Search on Bibsonomy LATA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Daniel Binkele-Raible, Henning Fernau Enumerate and Measure: Improving Parameter Budget Management. Search on Bibsonomy IPEC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Henning Fernau, Fedor V. Fomin, Geevarghese Philip, Saket Saurabh The Curse of Connectivity: t-Total Vertex (Edge) Cover. Search on Bibsonomy COCOON The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Daniel Raible, Henning Fernau An Amortized Search Tree Analysis for k-Leaf Spanning Tree. Search on Bibsonomy SOFSEM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Christophe Costa Florêncio, Henning Fernau Hölder Norms and a Hierarchy Theorem for Parameterized Classes of CCG. Search on Bibsonomy ICGI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ljiljana Brankovic, Henning Fernau Combining Two Worlds: Parameterised Approximation for Vertex Cover. Search on Bibsonomy ISAAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Henning Fernau, Fedor V. Fomin, Daniel Lokshtanov, Matthias Mnich, Geevarghese Philip, Saket Saurabh Ranking and Drawing in Subexponential Time. Search on Bibsonomy IWOCA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Daniel Binkele-Raible, Ljiljana Brankovic, Henning Fernau, Joachim Kneis, Dieter Kratsch, Alexander Langer, Mathieu Liedloff, Peter Rossmanith A Parameterized Route to Exact Puzzles: Breaking the 2n-Barrier for Irredundance. Search on Bibsonomy CIAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Henning Fernau, Daniel Raible A parameterized perspective on packing paths of length two. Search on Bibsonomy J. Comb. Optim. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Henning Fernau Algorithms for learning regular expressions from positive data. Search on Bibsonomy Inf. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Ljiljana 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 Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Daniel Raible, Henning Fernau A Faster Exact Algorithm for the Directed Maximum Leaf Spanning Tree Problem Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Gábor Erdélyi, Henning Fernau, Judy Goldsmith, Nicholas Mattei, Daniel Raible, Jörg Rothe The Complexity of Probabilistic Lobbying Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Henning Fernau, Juan Alberto Rodríguez-Velazquez, Jose Maria Sigarreta Offensive r-alliances in graphs. Search on Bibsonomy Discrete Applied Mathematics The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jose Maria Sigarreta, Sergio Bermudo, Henning Fernau On the complement graph and defensive k-alliances. Search on Bibsonomy Discrete Applied Mathematics The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Henning Fernau, David Manlove Vertex and edge covers with clustering properties: Complexity and algorithms. Search on Bibsonomy J. Discrete Algorithms The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Henning Fernau, Serge Gaspers, Daniel Raible Exact and Parameterized Algorithms for Max Internal Spanning Tree. Search on Bibsonomy WG The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Henning Fernau, Daniel Raible Searching Trees: An Essay. Search on Bibsonomy TAMC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Henning Fernau, Joachim Kneis, Dieter Kratsch, Alexander Langer, Mathieu Liedloff, Daniel Raible, Peter Rossmanith An Exact Algorithm for the Maximum Leaf Spanning Tree Problem. Search on Bibsonomy IWPEC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Henning 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. Search on Bibsonomy STACS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Gábor Erdélyi, Henning Fernau, Judy Goldsmith, Nicholas Mattei, Daniel Raible, Jörg Rothe The Complexity of Probabilistic Lobbying. Search on Bibsonomy ADT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Henning Fernau, Daniel Raible Packing Paths: Recycling Saves Time. Search on Bibsonomy CTW The full citation details ... 2009 DBLP  BibTeX  RDF
1Henning Fernau, Serge Gaspers, Dieter Kratsch, Mathieu Liedloff, Daniel Raible Exact Exponential-Time Algorithms for Finding Bicliques in a Graph. Search on Bibsonomy CTW The full citation details ... 2009 DBLP  BibTeX  RDF
1Henning Fernau, Joseph F. Ryan, Kiki A. Sugeng A sum labelling for the generalised friendship graph. Search on Bibsonomy Discrete Mathematics The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jürgen Dassow, Henning Fernau Comparison of some descriptional complexities of 0L systems obtained by a unifying approach. Search on Bibsonomy Inf. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Henning Fernau, Ralf Stiebe Blind Counter Automata on omega-Words. Search on Bibsonomy Fundam. Inform. The full citation details ... 2008 DBLP  BibTeX  RDF
1Jianer Chen, Henning Fernau, Dan Ning, Daniel Raible, Jianxin Wang A Parameterized Perspective on P2-Packings Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Henning Fernau, Daniel Raible, Serge Gaspers, Alexey A. Stepanov Exact Exponential Time Algorithms for Max Internal Spanning Tree Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Henning 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 Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Daniel Raible, Henning Fernau A New Upper Bound for Max-2-Sat: A Graph-Theoretic Approach Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Henning Fernau Parameterized algorithmics for linear arrangement problems. Search on Bibsonomy Discrete Applied Mathematics The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Vida Dujmovic, Henning Fernau, Michael Kaufmann Fixed parameter algorithms for one-sided crossing minimization revisited. Search on Bibsonomy J. Discrete Algorithms The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Faisal N. Abu-Khzam, Henning Fernau, Michael A. Langston A bounded search tree algorithm for parameterized face cover. Search on Bibsonomy J. Discrete Algorithms The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Henning Fernau ROMAN DOMINATION: a parameterized perspective. Search on Bibsonomy Int. J. Comput. Math. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Henning Fernau Parameterized Algorithms for Drawing Graphs. Search on Bibsonomy Encyclopedia of Algorithms The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Guoqiang Bai 0002, Henning Fernau Constraint Bipartite Vertex Cover: Simpler Exact Algorithms and Implementations. Search on Bibsonomy FAW The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Michael R. Fellows, Henning Fernau Facility Location Problems: A Parameterized View. Search on Bibsonomy AAIM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Carlos Martín-Vide, Friedrich Otto, Henning Fernau (eds.) Language and Automata Theory and Applications, Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers Search on Bibsonomy LATA The full citation details ... 2008 DBLP  BibTeX  RDF
1Daniel Raible, Henning Fernau A New Upper Bound for Max-2-SAT: A Graph-Theoretic Approach. Search on Bibsonomy MFCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Henning Fernau, Daniel Raible Exact Algorithms for Maximum Acyclic Subgraph on a Superclass of Cubic Graphs. Search on Bibsonomy WALCOM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Henning Fernau, Daniel Raible A Parameterized Perspective on Packing Paths of Length Two. Search on Bibsonomy COCOA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Henning Fernau, Juan Alberto Rodríguez-Velazquez, Jose Maria Sigarreta Global r-alliances and total domination. Search on Bibsonomy CTW The full citation details ... 2008 DBLP  BibTeX  RDF
1Stefan Gulan, Henning Fernau Local elimination-strategies in automata for shorter regular expressions. Search on Bibsonomy SOFSEM The full citation details ... 2008 DBLP  BibTeX  RDF
1Daniel Raible, Henning Fernau Power Domination in O*(1.7548n) Using Reference Search Trees. Search on Bibsonomy ISAAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Stefan Gulan, Henning Fernau An Optimal Construction of Finite Automata from Regular Expressions. Search on Bibsonomy FSTTCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Henning Fernau, Klaus Reinhardt, Ludwig Staiger Decidability of code properties. Search on Bibsonomy ITA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Henning Fernau Learning tree languages from text. Search on Bibsonomy ITA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Henning Fernau Programmed Grammars with Rule Queues. Search on Bibsonomy Int. J. Found. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Henning Bordihn, Henning Fernau The Degree of Parallelism. Search on Bibsonomy Journal of Automata, Languages and Combinatorics The full citation details ... 2007 DBLP  BibTeX  RDF
1Henning Fernau, Rudolf Freund, Marion Oswald, Klaus Reinhardt Refining the Nonterminal Complexity of Graph-Controlled, Programmed, and Matrix Grammars. Search on Bibsonomy Journal of Automata, Languages and Combinatorics The full citation details ... 2007 DBLP  BibTeX  RDF
1Jianer Chen, Henning Fernau, Iyad A. Kanj, Ge Xia Parametric Duality and Kernelization: Lower Bounds and Upper Bounds on Kernel Size. Search on Bibsonomy SIAM J. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Jürgen Dassow, Henning Fernau Comparison of Some Descriptional Complexities of 0L Systems Obtained by a Unifying Approach. Search on Bibsonomy LATA The full citation details ... 2007 DBLP  BibTeX  RDF
1Daniel Raible, Henning Fernau Exact Elimination of Cycles in Graphs. Search on Bibsonomy Structure Theory and FPT Algorithmics for Graphs, Digraphs and Hypergraphs The full citation details ... 2007 DBLP  BibTeX  RDF
1Henning Fernau Dynamic programming for queen domination. Search on Bibsonomy CTW The full citation details ... 2007 DBLP  BibTeX  RDF
1Henning Fernau, Daniel Raible Alliances in Graphs: a Complexity-Theoretic Study. Search on Bibsonomy SOFSEM The full citation details ... 2007 DBLP  BibTeX  RDF
1Faisal N. Abu-Khzam, Henning Fernau Parameterized Algorithms for Finding Small Independent Dominating Sets in Planar Graphs. Search on Bibsonomy Electronic Notes in Discrete Mathematics The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Henning Fernau Speeding up Exact Algorithms With High Probability. Search on Bibsonomy Electronic Notes in Discrete Mathematics The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Henning Fernau Parameterized Algorithms for Hitting Set: the Weighted Case. Search on Bibsonomy Electronic Colloquium on Computational Complexity (ECCC) The full citation details ... 2006 DBLP  BibTeX  RDF
1Henning Bordihn, Henning Fernau, Markus Holzer, Vincenzo Manca, Carlos Martín-Vide Iterated sequential transducers as language generating devices. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Henning Fernau, David Manlove Vertex and Edge Covers with Clustering Properties: Complexity and Algorithms. Search on Bibsonomy ACiD The full citation details ... 2006 DBLP  BibTeX  RDF
1Faisal N. Abu-Khzam, Henning Fernau Kernels: Annotated, Proper and Induced. Search on Bibsonomy IWPEC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Henning Fernau edge dominating set: Efficient Enumeration-Based Exact Algorithms. Search on Bibsonomy IWPEC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Henning Fernau ROMAN DOMINATION: A Parameterized Perspective. Search on Bibsonomy SOFSEM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Frank K. H. A. Dehne, Michael R. Fellows, Henning Fernau, Elena Prieto, Frances A. Rosamond NONBLOCKER: Parameterized Algorithmics for minimum dominating set. Search on Bibsonomy SOFSEM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Henning Fernau Parameterized Algorithms for Hitting Set: The Weighted Case. Search on Bibsonomy CIAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Henning Fernau, Rudolf Freund, Markus Holzer Representations of Recursively Enumerable Array Languages by Contextual Array Grammars. Search on Bibsonomy Fundam. Inform. The full citation details ... 2005 DBLP  BibTeX  RDF
1Jochen 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. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Henning Fernau Two-Layer Planarization: Improving on Parameterized Algorithmics. Search on Bibsonomy J. Graph Algorithms Appl. The full citation details ... 2005 DBLP  BibTeX  RDF
1Faisal N. Abu-Khzam, Henning Fernau, Michael A. Langston Asymptotically Faster Algorithms for Parameterized FACE COVER. Search on Bibsonomy ACiD The full citation details ... 2005 DBLP  BibTeX  RDF
1Jianer Chen, Henning Fernau, Iyad A. Kanj, Ge Xia Parametric Duality and Kernelization: Lower Bounds and Upper Bounds on Kernel Size. Search on Bibsonomy STACS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Kernelization, parameterized complexity
1Henning Fernau Algorithms for Learning Regular Expressions. Search on Bibsonomy ALT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Henning Bordihn, Henning Fernau The degree of parallelism. Search on Bibsonomy DCFS The full citation details ... 2005 DBLP  BibTeX  RDF
1Henning Fernau, Rudolf Freund, Marion Oswald, Klaus Reinhardt Refining the Nonterminal Complexity of Graph-controlled Grammars. Search on Bibsonomy DCFS The full citation details ... 2005 DBLP  BibTeX  RDF
1Henning Fernau Two-Layer Planarization: Improving on Parameterized Algorithmics. Search on Bibsonomy SOFSEM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Henning Fernau, Michael Kaufmann, Mathias Poths Comparing Trees Via Crossing Minimization. Search on Bibsonomy FSTTCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Henning Fernau Two-Layer Planarization: Improving on Parameterized Algorithmics Search on Bibsonomy Electronic Colloquium on Computational Complexity (ECCC) The full citation details ... 2004 DBLP  BibTeX  RDF
1Henning Fernau A Top-Down Approach to Search-Trees: Improved Algorithmics for 3-Hitting Set Search on Bibsonomy Electronic Colloquium on Computational Complexity (ECCC) The full citation details ... 2004 DBLP  BibTeX  RDF
1Henning Fernau Parametric Duality: Kernel Sizes and Algorithmics Search on Bibsonomy Electronic Colloquium on Computational Complexity (ECCC) The full citation details ... 2004 DBLP  BibTeX  RDF
1Pieter W. Adriaans, Henning Fernau, Colin de la Higuera, Menno van Zaanen Introduction to the Special Issue on Grammar Induction. Search on Bibsonomy Grammars The full citation details ... 2004 DBLP  BibTeX  RDF
1Henning Fernau, Colin de la Higuera Grammar Induction: An Invitation to Formal Language Theorists. Search on Bibsonomy Grammars The full citation details ... 2004 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 190 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.