Follow
Manfred Kufleitner
Title
Cited by
Cited by
Year
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
1142008
On bijective variants of the Burrows-Wheeler transform
M Kufleitner
arXiv preprint arXiv:0908.0239, 2009
592009
The height of factorization forests
M Kufleitner
Mathematical Foundations of Computer Science 2008: 33rd International …, 2008
472008
On the index of Simon's congruence for piecewise testability
P Karandikar, M Kufleitner, P Schnoebelen
Information Processing Letters 115 (4), 515-519, 2015
452015
Fragments of first-order logic over infinite words
V Diekert, M Kufleitner
Theory of Computing Systems 48, 486-516, 2011
372011
Testing Simon's congruence
L Fleischer, M Kufleitner
arXiv preprint arXiv:1804.10459, 2018
332018
The FO^ 2 alternation hierarchy is decidable
M Kufleitner, P Weil
arXiv preprint arXiv:1203.6152, 2012
292012
The Krohn-Rhodes theorem and local divisors
V Diekert, M Kufleitner, B Steinberg
Fundamenta Informaticae 116 (1-4), 65-77, 2012
292012
Solutions of word equations over partially commutative structures
V Diekert, A Jeż, M Kufleitner
arXiv preprint arXiv:1603.02966, 2016
252016
Discrete Algebraic Methods: Arithmetic, Cryptography, Automata and Groups
V Diekert, M Kufleitner, G Rosenberger, U Hertrampf
Walter de Gruyter GmbH & Co KG, 2016
232016
On logical hierarchies within FO^ 2-definable languages
M Kufleitner, P Weil
Logical Methods in Computer Science 8, 2012
212012
Elemente der diskreten Mathematik
V Diekert, G Rosenberger, M Kufleitner
Walter De Gruyter., 2013
192013
Quantifier alternation in two-variable first-order logic with successor is decidable
M Kufleitner, A Lauser
arXiv preprint arXiv:1212.6500, 2012
192012
Diskrete algebraische Methoden
V Diekert, G Rosenberger, M Kufleitner
Walter De Gruyter., 2013
172013
On smoothed analysis of quicksort and Hoare’s find
M Fouz, M Kufleitner, B Manthey, N Zeini Jahromi
Algorithmica 62 (3), 879-905, 2012
152012
On first-order fragments for Mazurkiewicz traces
V Diekert, M Horsch, M Kufleitner
Fundamenta Informaticae 80 (1-3), 1-29, 2007
152007
Regular languages are Church-Rosser congruential
V Diekert, M Kufleitner, K Reinhardt, T Walter
Journal of the ACM (JACM) 62 (5), 1-20, 2015
142015
Around dot-depth one
M Kufleitner, A Lauser
International Journal of Foundations of Computer Science 23 (06), 1323-1339, 2012
142012
Ehrenfeucht-Fraïssé games on omega-terms
M Huschenbett, M Kufleitner
arXiv preprint arXiv:1310.3195, 2013
132013
The join levels of the Trotter-Weil hierarchy are decidable
M Kufleitner, A Lauser
International Symposium on Mathematical Foundations of Computer Science, 603-614, 2012
132012
The system can't perform the operation now. Try again later.
Articles 1–20