Florin Manea
Georg-August-Universität Göttingen
H-index: 24
Europe-Germany
Top articles of Florin Manea
Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis
arXiv preprint arXiv:2401.17159
2024/1/30
Zhengyang Lu
H-Index: 1
Piyush Jha
H-Index: 4
Joel Day
H-Index: 5
Florin Manea
H-Index: 12
Vijay Ganesh
H-Index: 25
Subsequences With Generalised Gap Constraints: Upper and Lower Complexity Bounds
arXiv preprint arXiv:2404.10497
2024/4/16
Florin Manea
H-Index: 12
Enumerating m-Length Walks in Directed Graphs with Constant Delay
2024/3/6
Paweł Gawrychowski
H-Index: 19
Florin Manea
H-Index: 12
A closer look at the expressive power of logics based on word equations
Theory of Computing Systems
2023/12/11
-Universality of Regular Languages
arXiv preprint arXiv:2311.10658
2023/11/17
Florin Manea
H-Index: 12
Dirk Nowotka
H-Index: 9
Matching patterns with variables under simon’s congruence
2023/10/5
On the Number of Factors in the LZ-End Factorization
2023/9/20
Paweł Gawrychowski
H-Index: 19
Florin Manea
H-Index: 12
Unity of Logic and Computation: 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24–28, 2023, Proceedings
2023/7/18
Florin Manea
H-Index: 12
Sem\" enov Arithmetic, Affine VASS, and String Constraints
arXiv preprint arXiv:2306.14593
2023/6/26
Christoph Haase
H-Index: 16
Florin Manea
H-Index: 12
Longest common subsequence with gap constraints
2023/5/31
Florin Manea
H-Index: 12
ZaligVinder: A generic test framework for string solvers
Journal of Software: Evolution and Process
2023/4
Towards more efficient methods for solving regular-expression heavy string constraints
Theoretical Computer Science
2023/1/17
On the expressive power of string constraints
Proceedings of the ACM on Programming Languages
2023/1/9
Vijay Ganesh
H-Index: 25
Florin Manea
H-Index: 12
Subsequences with gap constraints: Complexity bounds for matching and analysis problems
arXiv preprint arXiv:2206.13896
2022/6/28
Florin Manea
H-Index: 12
Revolutions and Revelations in Computability: 18th Conference on Computability in Europe, CiE 2022, Swansea, UK, July 11–15, 2022, Proceedings
2022/6/25
Ulrich Berger
H-Index: 17
Florin Manea
H-Index: 12
Formal languages via theories over strings
arXiv preprint arXiv:2205.00475
2022/5/1
Vijay Ganesh
H-Index: 25
Florin Manea
H-Index: 12
Fast and longest rollercoasters
Algorithmica
2022/4
Paweł Gawrychowski
H-Index: 19
Florin Manea
H-Index: 12
30th EACSL Annual Conference on Computer Science Logic
2022/2
Florin Manea
H-Index: 12
Alex Simpson
H-Index: 8
Co-Authors
