Manfred Kufleitner
Titel
Zitiert von
Zitiert von
Jahr
A survey on small fragments of first-order logic over finite words
V Diekert, P Gastin, M Kufleitner
International Journal of Foundations of Computer Science 19 (03), 513-548, 2008
832008
On bijective variants of the Burrows-Wheeler transform
M Kufleitner
arXiv preprint arXiv:0908.0239, 2009
462009
The height of factorization forests
M Kufleitner
International Symposium on Mathematical Foundations of Computer Science, 443-454, 2008
402008
Fragments of first-order logic over infinite words
V Diekert, M Kufleitner
Theory of Computing Systems 48 (3), 486-516, 2011
302011
On the index of Simon's congruence for piecewise testability
P Karandikar, M Kufleitner, P Schnoebelen
Information Processing Letters 115 (4), 515-519, 2015
252015
The FO^ 2 alternation hierarchy is decidable
M Kufleitner, P Weil
arXiv preprint arXiv:1203.6152, 2012
212012
The Krohn-Rhodes theorem and local divisors
V Diekert, M Kufleitner, B Steinberg
Fundamenta Informaticae 116 (1-4), 65-77, 2012
172012
Quantifier alternation in two-variable first-order logic with successor is decidable
M Kufleitner, A Lauser
arXiv preprint arXiv:1212.6500, 2012
162012
Elemente der diskreten Mathematik: Zahlen und Zählen, Graphen und Verbände
V Diekert, M Kufleitner, G Rosenberger
Walter de Gruyter, 2013
152013
On logical hierarchies within FO^ 2-definable languages
M Kufleitner, P Weil
arXiv preprint arXiv:1208.0713, 2012
152012
Solutions of word equations over partially commutative structures
V Diekert, A Jeż, M Kufleitner
arXiv preprint arXiv:1603.02966, 2016
142016
Diskrete algebraische Methoden: Arithmetik, Kryptographie, Automaten und Gruppen
V Diekert, M Kufleitner, G Rosenberger
Walter de Gruyter, 2013
142013
On smoothed analysis of quicksort and Hoare’s find
M Fouz, M Kufleitner, B Manthey, NZ Jahromi
Algorithmica 62 (3-4), 879-905, 2012
142012
Regular languages are Church-Rosser congruential
V Diekert, M Kufleitner, K Reinhardt, T Walter
Journal of the ACM (JACM) 62 (5), 1-20, 2015
132015
Around dot-depth one
M Kufleitner, A Lauser
International Journal of Foundations of Computer Science 23 (06), 1323-1339, 2012
132012
Lattices of logical fragments over words
M Kufleitner, A Lauser
International Colloquium on Automata, Languages, and Programming, 275-286, 2012
132012
On FO 2 Quantifier Alternation over Words
M Kufleitner, P Weil
International Symposium on Mathematical Foundations of Computer Science, 513-524, 2009
122009
Ehrenfeucht-Fraïssé games on omega-terms
M Huschenbett, M Kufleitner
arXiv preprint arXiv:1310.3195, 2013
102013
Star-free languages are Church–Rosser congruential
V Diekert, M Kufleitner, P Weil
Theoretical Computer Science 454, 129-135, 2012
102012
Rankers over infinite words
L Dartois, M Kufleitner, A Lauser
International Conference on Developments in Language Theory, 148-159, 2010
102010
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20