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

Manfred Kufleitner

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
11EEVolker Diekert, Manfred Kufleitner: Fragments of First-Order Logic over Infinite Words. STACS 2009: 325-336
10EEManfred Kufleitner, Pascal Weil: On FO2 quantifier alternation over words CoRR abs/0904.2894: (2009)
9EEMahmoud Fouz, Manfred Kufleitner, Bodo Manthey, Nima Zeini Jahromi: On Smoothed Analysis of Quicksort and Hoare's Find CoRR abs/0904.3898: (2009)
2008
8EEManfred Kufleitner: The Height of Factorization Forests. MFCS 2008: 443-454
7EEVolker 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)
2007
6EEVolker Diekert, Manfred Kufleitner: On First-Order Fragments for Words and Mazurkiewicz Traces. Developments in Language Theory 2007: 1-19
5EEManfred Kufleitner: A Proof of the Factorization Forest Theorem CoRR abs/0710.5130: (2007)
4EEVolker Diekert, Martin Horsch, Manfred Kufleitner: On First-Order Fragments for Mazurkiewicz Traces. Fundam. Inform. 80(1-3): 1-29 (2007)
3EEManfred Kufleitner: Polynomials, fragments of temporal logic and the variety DA over traces. Theor. Comput. Sci. 376(1-2): 89-100 (2007)
2006
2EEManfred Kufleitner: Polynomials, Fragments of Temporal Logic and the Variety DA over Traces. Developments in Language Theory 2006: 37-48
2002
1EEVolker Diekert, Manfred Kufleitner: A Remark about Quadratic Trace Equations. Developments in Language Theory 2002: 59-66

Coauthor Index

1Volker Diekert [1] [4] [6] [7] [11]
2Mahmoud Fouz [9]
3Paul Gastin [7]
4Martin Horsch [4]
5Nima Zeini Jahromi [9]
6Bodo Manthey (Bodo Siebert) [9]
7Pascal Weil [10]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)