| The Satisfiability of Word Equations: Decidable and Undecidable Theories JD Day, V Ganesh, P He, F Manea, D Nowotka International Conference on Reachability Problems, 15-29, 2018 | 43* | 2018 |
| An SMT solver for regular expressions and linear arithmetic over string length M Berzish, M Kulczynski, F Mora, F Manea, JD Day, D Nowotka, ... International Conference on Computer Aided Verification, 289-312, 2021 | 38 | 2021 |
| On Solving Word Equations Using SAT JD Day, T Ehlers, M Kulczynski, F Manea, D Nowotka, DB Poulsen International Conference on Reachability Problems, 93-106, 2019 | 32 | 2019 |
| The Edit Distance to k-Subsequence Universality JD Day, P Fleischmann, M Kosche, T Koß, F Manea, S Siemer 38th International Symposium on Theoretical Aspects of Computer Science …, 2021 | 24 | 2021 |
| The Hardness of Solving Simple Word Equations JD Day, F Manea, D Nowotka arXiv preprint arXiv:1702.07922, 2017 | 20 | 2017 |
| Local patterns JD Day, P Fleischmann, F Manea, D Nowotka 37th IARCS Annual Conference on Foundations of Software Technology and …, 2018 | 15 | 2018 |
| Towards more efficient methods for solving regular-expression heavy string constraints M Berzish, JD Day, V Ganesh, M Kulczynski, F Manea, F Mora, ... Theoretical Computer Science 943, 50-72, 2023 | 13 | 2023 |
| String Theories involving Regular Membership Predicates: From Practice to Theory and Back M Berzish, JD Day, V Ganesh, M Kulczynski, F Manea, F Mora, ... arXiv preprint arXiv:2105.07220, 2021 | 12 | 2021 |
| Rule-based Word Equation Solving JD Day, M Kulczynski, F Manea, D Nowotka, DB Poulsen Proceedings of the 8th International Conference on Formal Methods in …, 2020 | 8 | 2020 |
| Graph and String Parameters: Connections Between Pathwidth, Cutwidth and the Locality Number K Casel, JD Day, P Fleischmann, T Kociumaka, F Manea, ML Schmid arXiv preprint arXiv:1902.10983, 2019 | 8 | 2019 |
| On Matching Generalised Repetitive Patterns JD Day, P Fleischmann, F Manea, D Nowotka, ML Schmid International Conference on Developments in Language Theory, 269-281, 2018 | 8 | 2018 |
| On the expressive power of string constraints JD Day, V Ganesh, N Grewal, F Manea Proceedings of the ACM on Programming Languages 7 (POPL), 278-308, 2023 | 6 | 2023 |
| k-Spectra of Weakly-c-Balanced Words JD Day, P Fleischmann, F Manea, D Nowotka International Conference on Developments in Language Theory, 265-277, 2019 | 5 | 2019 |
| Closure properties of pattern languages JD Day, D Reidenbach, ML Schmid Journal of Computer and System Sciences 84, 11-31, 2017 | 5 | 2017 |
| On the structure of solution-sets to regular word equations JD Day, F Manea Theory of Computing Systems, 1-78, 2021 | 4 | 2021 |
| Periodicity forcing words JD Day, D Reidenbach, JC Schneider Theoretical Computer Science 601, 2-14, 2015 | 4 | 2015 |
| Periodicity forcing words JD Day, D Reidenbach, JC Schneider Theoretical Computer Science 601, 2-14, 2015 | 4 | 2015 |
| On the dual post correspondence problem JD Day, D Reidenbach, JC Schneider International Journal of Foundations of Computer Science 25 (08), 1033-1048, 2014 | 4 | 2014 |
| Equations enforcing repetitions under permutations JD Day, P Fleischmann, F Manea, D Nowotka International Conference on Combinatorics on Words, 72-84, 2017 | 3 | 2017 |
| Upper Bounds on the Length of Minimal Solutions to Certain Quadratic Word Equations JD Day, F Manea, D Nowotka 44th International Symposium on Mathematical Foundations of Computer Science …, 2019 | 2 | 2019 |
Florin ManeaUniversity of GöttingenVerified email at informatik.uni-goettingen.de
