Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Manfred Kufleitner" ( http://dblp.L3S.de/Authors/Manfred_Kufleitner )

  Author page on DBLP  Author page in RDF  Community of Manfred Kufleitner in ASPL-2

Publication years (Num. hits)
2002-2009 (17) 2010-2011 (15) 2012 (6)
Publication types (Num. hits)
article(24) inproceedings(13) phdthesis(1)
Venues (Conferences, Journals, ...)
CoRR(18) Developments in Language Theor...(4) Int. J. Found. Comput. Sci.(2) MFCS(2) STACS(2) AFL(1) Algorithmica(1) CIAA(1) COCOON(1) Fundam. Inform.(1) LICS(1) Stringology(1) Theor. Comput. Sci.(1) Theory Comput. Syst.(1)
Authors
Manfred Kufleitner(38) Alexander Lauser(15) Volker Diekert(10) Pascal Weil(4) Bodo Manthey(3) Mahmoud Fouz(3) Nima Zeini Jahromi(3) Jakub Kallas(2) Luc Dartois(2) Benjamin Steinberg(1) Klaus Reinhardt(1) Martin Horsch(1) Paul Gastin(1) Tobias Walter(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 38 publication records. Showing 38 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Mahmoud Fouz, Manfred Kufleitner, Bodo Manthey, Nima Zeini Jahromi On Smoothed Analysis of Quicksort and Hoare's Find. Search on Bibsonomy Algorithmica The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Manfred Kufleitner, Alexander Lauser The Join Levels of the Trotter-Weil Hierarchy are Decidable Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Volker Diekert, Manfred Kufleitner, Klaus Reinhardt, Tobias Walter Regular Languages are Church-Rosser Congruential Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Manfred Kufleitner, Alexander Lauser Lattices of Logical Fragments over Words Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Manfred Kufleitner, Alexander Lauser The Join of R-trivial and L-trivial Monoids via Combinatorics on Words Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Manfred Kufleitner, Pascal Weil The FO^2 alternation hierarchy is decidable Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Manfred Kufleitner, Alexander Lauser Partially Ordered Two-Way BüChi Automata. Search on Bibsonomy Int. J. Found. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Manfred Kufleitner, Alexander Lauser Cantor Topologies for Finite Words Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Volker Diekert, Manfred Kufleitner, Benjamin Steinberg The Krohn-Rhodes Theorem and Local Divisors Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Manfred Kufleitner, Alexander Lauser Languages of Dot-depth One over Infinite Words Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Manfred Kufleitner, Alexander Lauser Around Dot-depth One Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Jakub Kallas, Manfred Kufleitner, Alexander Lauser First-order Fragments with Successor over Infinite Words Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Volker Diekert, Manfred Kufleitner, Pascal Weil Star-Free Languages are Church-Rosser Congruential Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Volker Diekert, Manfred Kufleitner Fragments of First-Order Logic over Infinite Words. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jakub Kallas, Manfred Kufleitner, Alexander Lauser First-order Fragments with Successor over Infinite Words. Search on Bibsonomy STACS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Manfred Kufleitner, Alexander Lauser Languages of Dot-Depth One over Infinite Words. Search on Bibsonomy LICS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Manfred Kufleitner, Alexander Lauser Around Dot-Depth One. Search on Bibsonomy AFL The full citation details ... 2011 DBLP  BibTeX  RDF
1Luc Dartois, Manfred Kufleitner, Alexander Lauser Rankers over Infinite Words Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Manfred Kufleitner, Alexander Lauser Partially Ordered Two-way Büchi Automata Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Luc Dartois, Manfred Kufleitner, Alexander Lauser Rankers over Infinite Words - (Extended Abstract). Search on Bibsonomy Developments in Language Theory The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Manfred Kufleitner, Alexander Lauser Partially Ordered Two-Way Büchi Automata. Search on Bibsonomy CIAA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Manfred Kufleitner, Pascal Weil On FO2 quantifier alternation over words Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Manfred Kufleitner On Bijective Variants of the Burrows-Wheeler Transform Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Mahmoud Fouz, Manfred Kufleitner, Bodo Manthey, Nima Zeini Jahromi On Smoothed Analysis of Quicksort and Hoare's Find Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Volker Diekert, Manfred Kufleitner Fragments of first-order logic over infinite words Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Manfred Kufleitner, Pascal Weil On FO2 Quantifier Alternation over Words. Search on Bibsonomy MFCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Volker Diekert, Manfred Kufleitner Fragments of First-Order Logic over Infinite Words. Search on Bibsonomy STACS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Manfred Kufleitner On Bijective Variants of the Burrows-Wheeler Transform. Search on Bibsonomy Stringology The full citation details ... 2009 DBLP  BibTeX  RDF
1Mahmoud Fouz, Manfred Kufleitner, Bodo Manthey, Nima Zeini Jahromi On Smoothed Analysis of Quicksort and Hoare's Find. Search on Bibsonomy COCOON The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Volker Diekert, Paul Gastin, Manfred Kufleitner A Survey on Small Fragments of First-Order Logic over Finite Words. Search on Bibsonomy Int. J. Found. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Manfred Kufleitner The Height of Factorization Forests. Search on Bibsonomy MFCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Manfred Kufleitner Polynomials, fragments of temporal logic and the variety DA over traces. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Volker Diekert, Martin Horsch, Manfred Kufleitner On First-Order Fragments for Mazurkiewicz Traces. Search on Bibsonomy Fundam. Inform. The full citation details ... 2007 DBLP  BibTeX  RDF
1Manfred Kufleitner A Proof of the Factorization Forest Theorem Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1Volker Diekert, Manfred Kufleitner On First-Order Fragments for Words and Mazurkiewicz Traces. Search on Bibsonomy Developments in Language Theory The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Manfred Kufleitner Logical fragments for Mazurkiewicz traces: expressive power and algebraic characterizations. Search on Bibsonomy 2006   RDF
1Manfred Kufleitner Polynomials, Fragments of Temporal Logic and the Variety DA over Traces. Search on Bibsonomy Developments in Language Theory The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Volker Diekert, Manfred Kufleitner A Remark about Quadratic Trace Equations. Search on Bibsonomy Developments in Language Theory The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #38 of 38 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.