Search the dblp DataBase
Manfred Kufleitner :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Volker Diekert , Manfred Kufleitner A Remark about Quadratic Trace Equations. [Citation Graph (0, 0)][DBLP ] Developments in Language Theory, 2002, pp:59-66 [Conf ] Manfred Kufleitner Polynomials, Fragments of Temporal Logic and the Variety DA over Traces. [Citation Graph (0, 0)][DBLP ] Developments in Language Theory, 2006, pp:37-48 [Conf ] Manfred Kufleitner Polynomials, fragments of temporal logic and the variety DA over traces. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2007, v:376, n:1-2, pp:89-100 [Journal ] Volker Diekert , Manfred Kufleitner On First-Order Fragments for Words and Mazurkiewicz Traces. [Citation Graph (0, 0)][DBLP ] Developments in Language Theory, 2007, pp:1-19 [Conf ] Manfred Kufleitner A Proof of the Factorization Forest Theorem [Citation Graph (0, 0)][DBLP ] CoRR, 2007, v:0, n:, pp:- [Journal ] On Smoothed Analysis of Quicksort and Hoare's Find. [Citation Graph (, )][DBLP ] Rankers over Infinite Words - (Extended Abstract). [Citation Graph (, )][DBLP ] The Height of Factorization Forests. [Citation Graph (, )][DBLP ] On FO2 Quantifier Alternation over Words. [Citation Graph (, )][DBLP ] Fragments of First-Order Logic over Infinite Words. [Citation Graph (, )][DBLP ] On Bijective Variants of the Burrows-Wheeler Transform. [Citation Graph (, )][DBLP ] On FO2 quantifier alternation over words [Citation Graph (, )][DBLP ] On Smoothed Analysis of Quicksort and Hoare's Find [Citation Graph (, )][DBLP ] Fragments of first-order logic over infinite words [Citation Graph (, )][DBLP ] On Bijective Variants of the Burrows-Wheeler Transform [Citation Graph (, )][DBLP ] Rankers over Infinite Words [Citation Graph (, )][DBLP ] Partially Ordered Two-way Büchi Automata [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.003secs