- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| c20 |      | Manfred Kufleitner, Alexander Lauser: Quantifier Alternation in Two-Variable First-Order Logic with Successor Is Decidable. STACS 2013: 305-316 |
| 2012 | ||
| j11 | | Mahmoud Fouz, Manfred Kufleitner, Bodo Manthey, Nima Zeini Jahromi: On Smoothed Analysis of Quicksort and Hoare's Find. Algorithmica 62(3-4): 879-905 (2012) |
| j10 | | Manfred Kufleitner, Pascal Weil: On logical hierarchies within FO2-definable languages. Logical Methods in Computer Science 8(3) (2012) |
| j9 | | Manfred Kufleitner, Alexander Lauser: The Join of R-trivial and L-trivial Monoids via Combinatorics on Words. Discrete Mathematics & Theoretical Computer Science 14(1): 141-146 (2012) |
| j8 | | Volker Diekert, Manfred Kufleitner, Benjamin Steinberg: The Krohn-Rhodes Theorem and Local Divisors. Fundam. Inform. 116(1-4): 65-77 (2012) |
| j7 | | Manfred Kufleitner, Alexander Lauser: Around dot-Depth One. Int. J. Found. Comput. Sci. 23(6): 1323-1340 (2012) |
| j6 | | Volker Diekert, Manfred Kufleitner, Pascal Weil: Star-free languages are Church-Rosser congruential. Theor. Comput. Sci. 454: 129-135 (2012) |
| c19 | | |
| c18 | | Volker Diekert, Manfred Kufleitner: Bounded Synchronization Delay in Omega-Rational Expressions. CSR 2012: 89-98 |
| c17 | | Volker Diekert, Manfred Kufleitner, Klaus Reinhardt, Tobias Walter: Regular Languages Are Church-Rosser Congruential. ICALP (2) 2012: 177-188 |
| c16 | | Manfred Kufleitner, Alexander Lauser: Lattices of Logical Fragments over Words - (Extended Abstract). ICALP (2) 2012: 275-286 |
| c15 | | Manfred Kufleitner, Alexander Lauser: The Join Levels of the Trotter-Weil Hierarchy Are Decidable. MFCS 2012: 603-614 |
| c14 | | Franz Jahn, Manfred Kufleitner, Alexander Lauser: Regular Ideal Languages and Their Boolean Combinations. CIAA 2012: 205-216 |
| i19 | | Volker Diekert, Manfred Kufleitner, Klaus Reinhardt, Tobias Walter: Regular Languages are Church-Rosser Congruential. CoRR abs/1202.1148 (2012) |
| i18 | | Manfred Kufleitner, Alexander Lauser: Lattices of Logical Fragments over Words. CoRR abs/1202.3355 (2012) |
| i17 | | Manfred Kufleitner, Pascal Weil: The FO^2 alternation hierarchy is decidable. CoRR abs/1203.6152 (2012) |
| i16 | | Manfred Kufleitner, Alexander Lauser: The Join Levels of the Trotter-Weil Hierarchy are Decidable. CoRR abs/1204.4672 (2012) |
| i15 | | Manfred Kufleitner, Alexander Lauser: The Join of R-trivial and L-trivial Monoids via Combinatorics on Words. CoRR abs/1204.5368 (2012) |
| i14 | | Manfred Kufleitner, Alexander Lauser: Quantifier Alternation in Two-Variable First-Order Logic with Successor Is Decidable. CoRR abs/1212.6500 (2012) |
| 2011 | ||
| j5 | | Manfred Kufleitner, Alexander Lauser: Partially Ordered Two-Way BüChi Automata. Int. J. Found. Comput. Sci. 22(8): 1861-1876 (2011) |
| j4 | | Volker Diekert, Manfred Kufleitner: Fragments of First-Order Logic over Infinite Words. Theory Comput. Syst. 48(3): 486-516 (2011) |
| c13 |  | |
| c12 | | Manfred Kufleitner, Alexander Lauser: Languages of Dot-Depth One over Infinite Words. LICS 2011: 23-32 |
| c11 | | Jakub Kallas, Manfred Kufleitner, Alexander Lauser: First-order Fragments with Successor over Infinite Words. STACS 2011: 356-367 |
| i13 | | Jakub Kallas, Manfred Kufleitner, Alexander Lauser: First-order Fragments with Successor over Infinite Words. CoRR abs/1101.0115 (2011) |
| i12 | | Manfred Kufleitner, Alexander Lauser: Languages of Dot-depth One over Infinite Words. CoRR abs/1101.4152 (2011) |
| i11 | | |
| i10 | | |
| i9 | | Volker Diekert, Manfred Kufleitner, Benjamin Steinberg: The Krohn-Rhodes Theorem and Local Divisors. CoRR abs/1111.1585 (2011) |
| i8 | | Volker Diekert, Manfred Kufleitner, Pascal Weil: Star-Free Languages are Church-Rosser Congruential. CoRR abs/1111.4300 (2011) |
| 2010 | ||
| c10 | | Luc Dartois, Manfred Kufleitner, Alexander Lauser: Rankers over Infinite Words - (Extended Abstract). Developments in Language Theory 2010: 148-159 |
| c9 | | |
| i7 | | Luc Dartois, Manfred Kufleitner, Alexander Lauser: Rankers over Infinite Words. CoRR abs/1005.0505 (2010) |
| i6 | | Manfred Kufleitner, Alexander Lauser: Partially Ordered Two-way Büchi Automata. CoRR abs/1006.2719 (2010) |
| 2009 | ||
| c8 | | Mahmoud Fouz, Manfred Kufleitner, Bodo Manthey, Nima Zeini Jahromi: On Smoothed Analysis of Quicksort and Hoare's Find. COCOON 2009: 158-167 |
| c7 | | |
| c6 | | Volker Diekert, Manfred Kufleitner: Fragments of First-Order Logic over Infinite Words. STACS 2009: 325-336 |
| c5 | | |
| i5 | | Manfred Kufleitner, Pascal Weil: On FO2 quantifier alternation over words. CoRR abs/0904.2894 (2009) |
| i4 | | Mahmoud Fouz, Manfred Kufleitner, Bodo Manthey, Nima Zeini Jahromi: On Smoothed Analysis of Quicksort and Hoare's Find. CoRR abs/0904.3898 (2009) |
| i3 | | Volker Diekert, Manfred Kufleitner: Fragments of first-order logic over infinite words. CoRR abs/0906.2995 (2009) |
| i2 | | Manfred Kufleitner: On Bijective Variants of the Burrows-Wheeler Transform. CoRR abs/0908.0239 (2009) |
| 2008 | ||
| j3 | | Volker Diekert, Paul Gastin, Manfred Kufleitner: A Survey on Small Fragments of First-Order Logic over Finite Words. Int. J. Found. Comput. Sci. 19(3): 513-548 (2008) |
| c4 | | |
| 2007 | ||
| j2 | | Volker Diekert, Martin Horsch, Manfred Kufleitner: On First-Order Fragments for Mazurkiewicz Traces. Fundam. Inform. 80(1-3): 1-29 (2007) |
| j1 | | Manfred Kufleitner: Polynomials, fragments of temporal logic and the variety DA over traces. Theor. Comput. Sci. 376(1-2): 89-100 (2007) |
| c3 | | Volker Diekert, Manfred Kufleitner: On First-Order Fragments for Words and Mazurkiewicz Traces. Developments in Language Theory 2007: 1-19 |
| i1 | | |
| 2006 | ||
| b1 | | Manfred Kufleitner: Logical fragments for Mazurkiewicz traces: expressive power and algebraic characterizations. University of Stuttgart 2006 |
| c2 | | Manfred Kufleitner: Polynomials, Fragments of Temporal Logic and the Variety DA over Traces. Developments in Language Theory 2006: 37-48 |
| 2002 | ||
| c1 | | Volker Diekert, Manfred Kufleitner: A Remark about Quadratic Trace Equations. Developments in Language Theory 2002: 59-66 |
Colors in the list of coauthors
Last update Thu May 23 16:18:18 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page