Florin Manea

ORCID

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 95

Top Venues

Publications

Joel D. Day, Vijay Ganesh, Nathan Grewal, Matthew Konefal, Florin Manea
A Closer Look at the Expressive Power of Logics Based on Word Equations. Theory Comput. Syst. 68 (3) (2024)
Florin Manea, Jonas Richardsen, Markus L. Schmid
Subsequences With Generalised Gap Constraints: Upper and Lower Complexity Bounds. CoRR (2024)
Zhengyang Lu, Stefan Siemer, Piyush Jha, Joel D. Day, Florin Manea, Vijay Ganesh
Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis. SMT@CAV (2024)
Zhengyang Lu, Stefan Siemer, Piyush Jha, Joel D. Day, Florin Manea, Vijay Ganesh
Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis. CoRR (2024)
Duncan Adamson, Pawel Gawrychowski, Florin Manea
Enumerating m-Length Walks in Directed Graphs with Constant Delay. CoRR (2024)
Duncan Adamson, Pawel Gawrychowski, Florin Manea
Enumerating m-Length Walks in Directed Graphs with Constant Delay. LATIN (1) (2024)
Florin Manea, Jonas Richardsen, Markus L. Schmid
Subsequences with Generalised Gap Constraints: Upper and Lower Complexity Bounds. CPM (2024)
Andrei Draghici, Christoph Haase, Florin Manea
Semënov Arithmetic, Affine {VASS}, and String Constraints. STACS (2024)
Pamela Fleischmann, Sungmin Kim, Tore Koß, Florin Manea, Dirk Nowotka, Stefan Siemer, Max Wiedenhöft
Matching Patterns with Variables Under Simon's Congruence. CoRR (2023)
Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen
ZaligVinder: A generic test framework for string solvers. J. Softw. Evol. Process. 35 (4) (2023)
Duncan Adamson, Maria Kosche, Tore Koß, Florin Manea, Stefan Siemer
Longest Common Subsequence with Gap Constraints. WORDS (2023)
Joel D. Day, Vijay Ganesh, Nathan Grewal, Florin Manea
On the Expressive Power of String Constraints. Proc. ACM Program. Lang. 7 (POPL) (2023)
Duncan Adamson, Pamela Fleischmann, Annika Huch, Tore Koß, Florin Manea, Dirk Nowotka
k-Universality of Regular Languages. ISAAC (2023)
Pamela Fleischmann, Sungmin Kim, Tore Koß, Florin Manea, Dirk Nowotka, Stefan Siemer, Max Wiedenhöft
Matching Patterns with Variables Under Simon's Congruence. RP (2023)
Pawel Gawrychowski, Maria Kosche, Florin Manea
On the Number of Factors in the LZ-End Factorization. SPIRE (2023)
Duncan Adamson, Pamela Fleischmann, Annika Huch, Tore Koß, Florin Manea, Dirk Nowotka
k-Universality of Regular Languages. CoRR (2023)
Murphy Berzish, Joel D. Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, Dirk Nowotka
Towards more efficient methods for solving regular-expression heavy string constraints. Theor. Comput. Sci. 943 (2023)
Duncan Adamson, Maria Kosche, Tore Koß, Florin Manea, Stefan Siemer
Longest Common Subsequence with Gap Constraints. CoRR (2023)
Andrei Draghici, Christoph Haase, Florin Manea
Semënov Arithmetic, Affine VASS, and String Constraints. CoRR (2023)
Joel D. Day, Vijay Ganesh, Florin Manea
Formal Languages via Theories over Strings: An Overview of Some Recent Results. Bull. EATCS 140 (2023)
Joel D. Day, Maria Kosche, Florin Manea, Markus L. Schmid
Subsequences With Gap Constraints: Complexity Bounds for Matching and Analysis Problems. CoRR (2022)
Maria Kosche, Tore Koß, Florin Manea, Stefan Siemer
Absent Subsequences in Words. Fundam. Informaticae 189 (3-4) (2022)
Pawel Gawrychowski, Florin Manea, Stefan Siemer
Matching Patterns with Variables Under Edit Distance. CoRR (2022)
Maria Kosche, Tore Koß, Florin Manea, Stefan Siemer
Combinatorial Algorithms for Subsequence Matching: A Survey. NCMA (2022)
Pawel Gawrychowski, Florin Manea, Stefan Siemer
Matching Patterns with Variables Under Edit Distance. SPIRE (2022)
Joel D. Day, Vijay Ganesh, Nathan Grewal, Florin Manea
Formal Languages via Theories over Strings. CoRR (2022)
Maria Kosche, Tore Koß, Florin Manea, Viktoriya Pak
Subsequences in Bounded Ranges: Matching and Analysis Problems. CoRR (2022)
Pawel Gawrychowski, Florin Manea, Radoslaw Serafin
Fast and Longest Rollercoasters. Algorithmica 84 (4) (2022)
Joel D. Day, Maria Kosche, Florin Manea, Markus L. Schmid
Subsequences with Gap Constraints: Complexity Bounds for Matching and Analysis Problems. ISAAC (2022)
Maria Kosche, Tore Koß, Florin Manea, Viktoriya Pak
Subsequences in Bounded Ranges: Matching and Analysis Problems. RP (2022)
Florin Manea, Bianca Truthe
Preface and Greeting Messages. J. Autom. Lang. Comb. 27 (1-3) (2022)
Joel D. Day, Adrian Kröger, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen
A Generic Information Extraction System for String Constraints. CoRR (2022)
Pawel Gawrychowski, Maria Kosche, Tore Koß, Florin Manea, Stefan Siemer
Efficiently Testing Simon's Congruence. STACS (2021)
Murphy Berzish, Joel D. Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, Dirk Nowotka
String Theories Involving Regular Membership Predicates: From Practice to Theory and Back. WORDS (2021)
Pawel Gawrychowski, Florin Manea, Stefan Siemer
Matching Patterns with Variables under Hamming Distance. CoRR (2021)
Joel D. Day, Pamela Fleischmann, Maria Kosche, Tore Koß, Florin Manea, Stefan Siemer
The Edit Distance to k-Subsequence Universality. STACS (2021)
Pawel Gawrychowski, Florin Manea, Stefan Siemer
Matching Patterns with Variables Under Hamming Distance. MFCS (2021)
Maria Kosche, Tore Koß, Florin Manea, Stefan Siemer
Absent Subsequences in Words. CoRR (2021)
Maria Kosche, Tore Koß, Florin Manea, Stefan Siemer
Absent Subsequences in Words. RP (2021)
Murphy Berzish, Mitja Kulczynski, Federico Mora, Florin Manea, Joel D. Day, Dirk Nowotka, Vijay Ganesh
An SMT Solver for Regular Expressions and Linear Arithmetic over String Length. CAV (2) (2021)
Pamela Fleischmann, Lukas Haschke, Florin Manea, Dirk Nowotka, Cedric Tsatia Tsida, Judith Wiedenbeck
Blocksequences of k-local Words. SOFSEM (2021)
Pamela Fleischmann, Marie Lejeune, Florin Manea, Dirk Nowotka, Michel Rigo
Reconstructing Words from Right-Bounded-Block Words. Int. J. Found. Comput. Sci. 32 (6) (2021)
Florin Manea
On Turing Machines Deciding According to the Shortest Computations. Axioms 10 (4) (2021)
Murphy Berzish, Joel D. Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, Dirk Nowotka
String Theories involving Regular Membership Predicates: From Practice to Theory and Back. CoRR (2021)
Joel D. Day, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen
Rule-based Word Equation Solving. FormaliSE@ICSE (2020)
Pamela Fleischmann, Marie Lejeune, Florin Manea, Dirk Nowotka, Michel Rigo
Reconstructing Words from Right-Bounded-Block Words. CoRR (2020)
Pamela Fleischmann, Marie Lejeune, Florin Manea, Dirk Nowotka, Michel Rigo
Reconstructing Words from Right-Bounded-Block Words. DLT (2020)
Murphy Berzish, Mitja Kulczynski, Federico Mora, Florin Manea, Joel D. Day, Dirk Nowotka, Vijay Ganesh
A Length-aware Regular Expression SMT Solver. CoRR (2020)
Erzsébet Csuhaj-Varjú, Florin Manea
Preface - Special Issue: A Collection of Papers in Honour of the 60th Birthday of Victor Mitrana. Int. J. Found. Comput. Sci. 31 (1) (2020)
Henning Fernau, Florin Manea, Robert Mercas, Markus L. Schmid
Pattern Matching with Variables: Efficient Algorithms and Complexity Results. ACM Trans. Comput. Theory 12 (1) (2020)
Laura Barker, Pamela Fleischmann, Katharina Harwardt, Florin Manea, Dirk Nowotka
Scattered Factor-Universality of Words. CoRR (2020)
Pamela Fleischmann, Maria Kosche, Tore Koß, Florin Manea, Stefan Siemer
The Edit Distance to k-Subsequence Universality. CoRR (2020)
Pawel Gawrychowski, Maria Kosche, Tore Koss, Florin Manea, Stefan Siemer
Efficiently Testing Simon's Congruence. CoRR (2020)
Pamela Fleischmann, Lukas Haschke, Florin Manea, Dirk Nowotka, Cedric Tsatia Tsida, Judith Wiedenbeck
Blocksequences of k-local Words. CoRR (2020)
Joel D. Day, Pamela Fleischmann, Florin Manea, Dirk Nowotka
Equations enforcing repetitions under permutations. Discret. Appl. Math. 285 (2020)
Joel D. Day, Florin Manea
On the Structure of Solution Sets to Regular Word Equations. ICALP (2020)
Laura Barker, Pamela Fleischmann, Katharina Harwardt, Florin Manea, Dirk Nowotka
Scattered Factor-Universality of Words. DLT (2020)
Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen
The Power of String Solving: Simplicity of Comparison. AST@ICSE (2020)
Thorsten Ehlers, Florin Manea, Dirk Nowotka, Kamellia Reshadi
On Modelling the Avoidability of Patterns as CSP. CoRR (2019)
Joel D. Day, Thorsten Ehlers, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen
On Solving Word Equations Using SAT. CoRR (2019)
Pawel Gawrychowski, Florin Manea, Radoslaw Serafin
Fast and Longest Rollercoasters. STACS (2019)
Joel D. Day, Pamela Fleischmann, Florin Manea, Dirk Nowotka
k-Spectra of c-Balanced Words. CoRR (2019)
Katrin Casel, Joel D. Day, Pamela Fleischmann, Tomasz Kociumaka, Florin Manea, Markus L. Schmid
Graph and String Parameters: Connections Between Pathwidth, Cutwidth and the Locality Number. ICALP (2019)
Joel D. Day, Thorsten Ehlers, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen
On Solving Word Equations Using SAT. RP (2019)
Joel D. Day, Florin Manea, Dirk Nowotka
Upper Bounds on the Length of Minimal Solutions to Certain Quadratic Word Equations. MFCS (2019)
Pawel Gawrychowski, Florin Manea, Robert Mercas, Dirk Nowotka
Hide and seek with repetitions. J. Comput. Syst. Sci. 101 (2019)
Therese C. Biedl, Ahmad Biniaz, Robert Cummings, Anna Lubiw, Florin Manea, Dirk Nowotka, Jeffrey O. Shallit
Rollercoasters: Long Sequences without Short Runs. SIAM J. Discret. Math. 33 (2) (2019)
Katrin Casel, Joel D. Day, Pamela Fleischmann, Tomasz Kociumaka, Florin Manea, Markus L. Schmid
Graph and String Parameters: Connections Between Pathwidth, Cutwidth and the Locality Number. CoRR (2019)
Florin Manea, Markus L. Schmid
Matching Patterns with Variables. WORDS (2019)
Joel D. Day, Pamela Fleischmann, Florin Manea, Dirk Nowotka
k-Spectra of Weakly-c-Balanced Words. DLT (2019)
Florin Manea, Markus L. Schmid
Matching Patterns with Variables. CoRR (2019)
Therese C. Biedl, Ahmad Biniaz, Robert Cummings, Anna Lubiw, Florin Manea, Dirk Nowotka, Jeffrey O. Shallit
Rollercoasters and Caterpillars. ICALP (2018)
Henning Fernau, Florin Manea, Robert Mercas, Markus L. Schmid
Revisiting Shinohara's algorithm for computing descriptive patterns. Theor. Comput. Sci. 733 (2018)
Pawel Gawrychowski, Florin Manea, Radoslaw Serafin
Fast and Longest Rollercoasters. CoRR (2018)
Joel D. Day, Pamela Fleischmann, Florin Manea, Dirk Nowotka, Markus L. Schmid
On Matching Generalised Repetitive Patterns. DLT (2018)
Joel D. Day, Vijay Ganesh, Paul He, Florin Manea, Dirk Nowotka
The Satisfiability of Extended Word Equations: The Boundary Between Decidability and Undecidability. CoRR (2018)
Pawel Gawrychowski, Tomohiro I, Shunsuke Inenaga, Dominik Köppl, Florin Manea
Tighter Bounds and Optimal Algorithms for All Maximal α-gapped Repeats and Palindromes - Finding All Maximal α-gapped Repeats and Palindromes in Optimal Worst Case Time on Integer Alphabets. Theory Comput. Syst. 62 (1) (2018)
Therese C. Biedl, Ahmad Biniaz, Robert Cummings, Anna Lubiw, Florin Manea, Dirk Nowotka, Jeffrey O. Shallit
Rollercoasters and Caterpillars. CoRR (2018)
Florin Manea, Dirk Nowotka, Markus L. Schmid
On the Complexity of Solving Restricted Word Equations. Int. J. Found. Comput. Sci. 29 (5) (2018)
Joel D. Day, Vijay Ganesh, Paul He, Florin Manea, Dirk Nowotka
The Satisfiability of Word Equations: Decidable and Undecidable Theories. RP (2018)
James D. Currie, Florin Manea, Dirk Nowotka, Kamellia Reshadi
Unary patterns under permutations. Theor. Comput. Sci. 743 (2018)
Joel D. Day, Pamela Fleischmann, Florin Manea, Dirk Nowotka
Local Patterns. FSTTCS (2017)
Florin Manea, Bianca Truthe, György Vaszil
TCS Special Issue on Languages and Combinatorics in Theory and Nature. Theor. Comput. Sci. 682 (2017)
Dmitry Kosolobov, Florin Manea, Dirk Nowotka
Detecting One-Variable Patterns. SPIRE (2017)
Joel D. Day, Pamela Fleischmann, Florin Manea, Dirk Nowotka
Equations Enforcing Repetitions Under Permutations. WORDS (2017)
Joel D. Day, Florin Manea, Dirk Nowotka
The Hardness of Solving Simple Word Equations. MFCS (2017)
Florin Manea, Mike Müller, Dirk Nowotka, Shinnosuke Seki
The extended equation of Lyndon and Schützenberger. J. Comput. Syst. Sci. 85 (2017)
Marius Dumitran, Pawel Gawrychowski, Florin Manea
Longest Gapped Repeats and Palindromes. Discret. Math. Theor. Comput. Sci. 19 (4) (2017)
Florin Manea, Dirk Nowotka
TCS Special Issue: Combinatorics on Words - WORDS 2015. Theor. Comput. Sci. 684 (2017)
Joel D. Day, Florin Manea, Dirk Nowotka
The Hardness of Solving Simple Word Equations. CoRR (2017)
Cezar Câmpeanu, Florin Manea, Giovanni Pighizzini, Jeffrey O. Shallit
Preface. J. Autom. Lang. Comb. 22 (1-3) (2017)
Yoshiaki Matsuoka, Shunsuke Inenaga, Hideo Bannai, Masayuki Takeda, Florin Manea
Factorizing a String into Squares in Linear Time. CPM (2016)
Dmitry Kosolobov, Florin Manea, Dirk Nowotka
Detecting Unary Patterns. CoRR (2016)
Pawel Gawrychowski, Tomohiro I, Shunsuke Inenaga, Dominik Köppl, Florin Manea
Efficiently Finding All Maximal alpha-gapped Repeats. STACS (2016)
Florin Manea, Dirk Nowotka, Markus L. Schmid
On the Solvability Problem for Restricted Classes of Word Equations. DLT (2016)
Marius Dumitran, Florin Manea
Prefix-Suffix Square Completion. WORDS (2015)
Marius Dumitran, Pawel Gawrychowski, Florin Manea
Longest Gapped Repeats and Palindromes. CoRR (2015)
Pawel Gawrychowski, Florin Manea
Longest α-Gapped Repeat and Palindrome. FCT (2015)
Florin Manea, Carlos Martín-Vide, Victor Mitrana
Hairpin lengthening: language theoretic and algorithmic results. J. Log. Comput. 25 (4) (2015)
Jürgen Dassow, Florin Manea, Bianca Truthe
On the Power of Accepting Networks of Evolutionary Processors with Special Topologies and Random Context Filters. Fundam. Informaticae 136 (1-2) (2015)

Florin Manea.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Florin Manea