Florin Manea
Georg-August-Universität Göttingen
H-index: 24
Europe-Germany
Top articles of Florin Manea
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Enumerating m-Length Walks in Directed Graphs with Constant Delay | Duncan Adamson Paweł Gawrychowski Florin Manea | 2024/3/6 | |
Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis | arXiv preprint arXiv:2401.17159 | Zhengyang Lu Stefan Siemer Piyush Jha Joel Day Florin Manea | 2024/1/30 |
Subsequences With Generalised Gap Constraints: Upper and Lower Complexity Bounds | arXiv preprint arXiv:2404.10497 | Florin Manea Jonas Richardsen Markus L Schmid | 2024/4/16 |
-Universality of Regular Languages | arXiv preprint arXiv:2311.10658 | Duncan Adamson Pamela Fleischmann Annika Huch Tore Koß Florin Manea | 2023/11/17 |
Towards more efficient methods for solving regular-expression heavy string constraints | Theoretical Computer Science | Murphy Berzish Joel D Day Vijay Ganesh Mitja Kulczynski Florin Manea | 2023/1/17 |
Longest common subsequence with gap constraints | Duncan Adamson Maria Kosche Tore Koß Florin Manea Stefan Siemer | 2023/5/31 | |
Unity of Logic and Computation: 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24–28, 2023, Proceedings | Gianluca Della Vedova Besik Dundua Steffen Lempp Florin Manea | 2023/7/18 | |
Matching patterns with variables under simon’s congruence | Pamela Fleischmann Sungmin Kim Tore Koß Florin Manea Dirk Nowotka | 2023/10/5 | |
On the expressive power of string constraints | Proceedings of the ACM on Programming Languages | Joel D Day Vijay Ganesh Nathan Grewal Florin Manea | 2023/1/9 |
A closer look at the expressive power of logics based on word equations | Theory of Computing Systems | Joel Day Vijay Ganesh Nathan Grewal Matthew Konefal Florin Manea | 2023/12/11 |
ZaligVinder: A generic test framework for string solvers | Journal of Software: Evolution and Process | Mitja Kulczynski Florin Manea Dirk Nowotka Danny Bøgsted Poulsen | 2023/4 |
Sem\" enov Arithmetic, Affine VASS, and String Constraints | arXiv preprint arXiv:2306.14593 | Andrei Draghici Christoph Haase Florin Manea | 2023/6/26 |
On the Number of Factors in the LZ-End Factorization | Paweł Gawrychowski Maria Kosche Florin Manea | 2023/9/20 | |
Revolutions and Revelations in Computability: 18th Conference on Computability in Europe, CiE 2022, Swansea, UK, July 11–15, 2022, Proceedings | Ulrich Berger Johanna NY Franklin Florin Manea Arno Pauly | 2022/6/25 | |
A Generic Information Extraction System for String Constraints | arXiv preprint arXiv:2208.08806 | Joel D Day Adrian Kröger Mitja Kulczynski Florin Manea Dirk Nowotka | 2022/8/18 |
Revolutions and Revelations in Computability | Ulrich Berger Johanna NY Franklin Florin Manea Arno Pauly | 2022 | |
Subsequences in bounded ranges: Matching and analysis problems | Maria Kosche Tore Koß Florin Manea Viktoriya Pak | 2022/10/12 | |
Formal languages via theories over strings | arXiv preprint arXiv:2205.00475 | Joel D Day Vijay Ganesh Nathan Grewal Florin Manea | 2022/5/1 |
Fast and longest rollercoasters | Algorithmica | Paweł Gawrychowski Florin Manea Radosław Serafin | 2022/4 |
LIPIcs, Volume 216, CSL 2022, Complete Volume | Florin Manea Alex Simpson | 2022 |