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 | 114 | 2008 |
On bijective variants of the Burrows-Wheeler transform M Kufleitner arXiv preprint arXiv:0908.0239, 2009 | 60 | 2009 |
The height of factorization forests M Kufleitner Mathematical Foundations of Computer Science 2008: 33rd International …, 2008 | 48 | 2008 |
On the index of Simon's congruence for piecewise testability P Karandikar, M Kufleitner, P Schnoebelen Information Processing Letters 115 (4), 515-519, 2015 | 46 | 2015 |
Fragments of first-order logic over infinite words V Diekert, M Kufleitner Theory of Computing Systems 48, 486-516, 2011 | 37 | 2011 |
Testing Simon's congruence L Fleischer, M Kufleitner arXiv preprint arXiv:1804.10459, 2018 | 33 | 2018 |
The FO^ 2 alternation hierarchy is decidable M Kufleitner, P Weil arXiv preprint arXiv:1203.6152, 2012 | 29 | 2012 |
The Krohn-Rhodes theorem and local divisors V Diekert, M Kufleitner, B Steinberg Fundamenta Informaticae 116 (1-4), 65-77, 2012 | 29 | 2012 |
Solutions of word equations over partially commutative structures V Diekert, A Jeż, M Kufleitner arXiv preprint arXiv:1603.02966, 2016 | 25 | 2016 |
Discrete Algebraic Methods: Arithmetic, Cryptography, Automata and Groups V Diekert, M Kufleitner, G Rosenberger, U Hertrampf Walter de Gruyter GmbH & Co KG, 2016 | 24 | 2016 |
On logical hierarchies within FO^ 2-definable languages M Kufleitner, P Weil Logical Methods in Computer Science 8, 2012 | 21 | 2012 |
Elemente der diskreten Mathematik V Diekert, G Rosenberger, M Kufleitner Walter De Gruyter., 2013 | 19 | 2013 |
Quantifier alternation in two-variable first-order logic with successor is decidable M Kufleitner, A Lauser arXiv preprint arXiv:1212.6500, 2012 | 19 | 2012 |
Diskrete algebraische Methoden V Diekert, G Rosenberger, M Kufleitner Walter De Gruyter., 2013 | 17 | 2013 |
On smoothed analysis of quicksort and Hoare’s find M Fouz, M Kufleitner, B Manthey, N Zeini Jahromi Algorithmica 62 (3), 879-905, 2012 | 15 | 2012 |
On first-order fragments for Mazurkiewicz traces V Diekert, M Horsch, M Kufleitner Fundamenta Informaticae 80 (1-3), 1-29, 2007 | 15 | 2007 |
Regular languages are Church-Rosser congruential V Diekert, M Kufleitner, K Reinhardt, T Walter Journal of the ACM (JACM) 62 (5), 1-20, 2015 | 14 | 2015 |
Around dot-depth one M Kufleitner, A Lauser International Journal of Foundations of Computer Science 23 (06), 1323-1339, 2012 | 14 | 2012 |
Ehrenfeucht-Fraïssé games on omega-terms M Huschenbett, M Kufleitner arXiv preprint arXiv:1310.3195, 2013 | 13 | 2013 |
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 | 13 | 2012 |