Florin Manea - RankMe

227 papers A* 4A 9B 20C 42Journal 111Unranked 37

Year	Rank	Type	Title / Venue / Authors
2026	A	`ed.`	43rd International Symposium on Theoretical Aspects of Computer Science, STACS 2026, Grenoble, France, March 9-13, 2026 STACS Meena Mahajan, Florin Manea, Annabelle McIver, Kim Thang Nguyen
2026	C	`ed.`	Developments in Language Theory - 29th International Conference, DLT 2025, Seoul, South Korea, August 19-22, 2025, Proceedings DLT Sang-Ki Ko, Florin Manea
2026	—	`conf`	Learning SMT Algorithm Selection with High-Level Natural-Language Descriptions. FoIKS Zhengyang Lu, Paul Sarnighausen-Cahn, Jiahao Chen, Arie Gurfinkel, Florin Manea, Vijay Ganesh
2025	C	`ed.`	Crossroads of Computability and Logic: Insights, Inspirations, and Innovations - 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025, Proceedings CiE Arnold Beckmann, Isabel Oitavem, Florin Manea
2025	J	`jnl`	Efficiently Finding All Minimal and Shortest Absent Subsequences in a String. CoRR Florin Manea, Tina Ringleb, Stefan Siemer, Maximilian Winkler
2025	B	`conf`	Linear Time Subsequence and Supersequence Regex Matching. MFCS Antoine Amarilli, Florin Manea, Tina Ringleb, Markus L. Schmid
2025	J	`jnl`	Linear Time Subsequence and Supersequence Regex Matching. CoRR Antoine Amarilli, Florin Manea, Tina Ringleb, Markus L. Schmid
2025	J	`jnl`	Longest Common Subsequence with Gap Constraints. Theory Comput. Syst. Duncan Adamson, Paul Sarnighausen-Cahn, Marius Dumitran, Maria Kosche, Tore Koß, Florin Manea, Stefan Siemer
2025	J	`jnl`	Novel tree-search method for synthesizing SMT strategies. Acta Informatica Zhengyang John Lu, Joel D. Day, Piyush Jha, Paul Sarnighausen-Cahn, Stefan Siemer, Florin Manea, Vijay Ganesh
2025	—	`conf`	On the Decidability and Expressive Power of Several Theories Based on String Constraints. DCFS Justus Greve-Kramer, Tore Koß, Florin Manea, Timo Specht
2025	C	`conf`	Subsequence Matching and Analysis Problems for Automata with Translucent Letters. CIAA Szilárd Zsolt Fazekas, Béla Klein, Tore Koß, Florin Manea, Robert Mercas, Timo Specht
2025	J	`jnl`	The edit distance to k-subsequence universality. J. Comput. Syst. Sci. Joel D. Day, Pamela Fleischmann, Maria Kosche, Tore Koß, Florin Manea, Stefan Siemer
2025	B	`conf`	Tight Bounds for the Number of Absent Subsequences. FCT Duncan Adamson, Pamela Fleischmann, Annika Huch, Florin Manea, Paul Sarnighausen-Cahn, Max Wiedenhöft
2025	—	`conf`	k-Universality of Regular Languages Revisited. IJTCS-FAW Duncan Adamson, Pamela Fleischmann, Annika Huch, Tore Koß, Florin Manea
2025	J	`jnl`	k-Universality of Regular Languages. Inf. Comput. Duncan Adamson, Pamela Fleischmann, Annika Huch, Tore Koß, Florin Manea, Dirk Nowotka
2024	J	`jnl`	A Closer Look at the Expressive Power of Logics Based on Word Equations. Theory Comput. Syst. Joel D. Day, Vijay Ganesh, Nathan Grewal, Matthew Konefal, Florin Manea
2024	C	`ed.`	Developments in Language Theory - 28th International Conference, DLT 2024, Göttingen, Germany, August 12-16, 2024, Proceedings DLT Joel D. Day, Florin Manea
2024	—	`conf`	Enumerating m-Length Walks in Directed Graphs with Constant Delay. LATIN (1) Duncan Adamson, Pawel Gawrychowski, Florin Manea
2024	J	`jnl`	Enumerating m-Length Walks in Directed Graphs with Constant Delay. CoRR Duncan Adamson, Pawel Gawrychowski, Florin Manea
2024	A*	`conf`	Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis. IJCAI Zhengyang Lu, Stefan Siemer, Piyush Jha, Joel D. Day, Florin Manea, Vijay Ganesh
2024	—	`conf`	Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis. SMT@CAV Zhengyang Lu, Stefan Siemer, Piyush Jha, Joel D. Day, Florin Manea, Vijay Ganesh
2024	J	`jnl`	Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis. CoRR Zhengyang Lu, Stefan Siemer, Piyush Jha, Joel D. Day, Florin Manea, Vijay Ganesh
2024	J	`jnl`	On the structure of solution-sets to regular word equations. Theory Comput. Syst. Joel D. Day, Florin Manea
2024	—	`ed.`	Proceedings 14th International Workshop on Non-Classical Models of Automata and Applications (NCMA 2024), NCMA 2024, Göttingen, Germany, 12-13 August 2024. NCMA Florin Manea, Giovanni Pighizzini
2024	J	`jnl`	Revisiting Weighted Information Extraction: A Simpler and Faster Algorithm for Ranked Enumeration. CoRR Pawel Gawrychowski, Florin Manea, Markus L. Schmid
2024	J	`jnl`	Revisiting Weighted Information Extraction: A Simpler and Faster Algorithm for Ranked Enumeration. Proc. ACM Manag. Data Pawel Gawrychowski, Florin Manea, Markus L. Schmid
2024	—	`conf`	SMTQuery: Analysing SMT-LIB String Benchmarks. SBMF Mitja Kulczynski, Kevin Lotz, Florin Manea, Danny Bøgsted Poulsen, Paul Sarnighausen-Cahn
2024	A	`conf`	Semënov Arithmetic, Affine {VASS}, and String Constraints. STACS Andrei Draghici, Christoph Haase, Florin Manea
2024	B	`conf`	Subsequence Matching and Analysis Problems for Formal Languages. ISAAC Szilárd Zsolt Fazekas, Tore Koß, Florin Manea, Robert Mercas, Timo Specht
2024	J	`jnl`	Subsequence Matching and Analysis Problems for Formal Languages. CoRR Szilárd Zsolt Fazekas, Tore Koß, Florin Manea, Robert Mercas, Timo Specht
2024	J	`jnl`	Subsequences With Generalised Gap Constraints: Upper and Lower Complexity Bounds. CoRR Florin Manea, Jonas Richardsen, Markus L. Schmid
2024	B	`conf`	Subsequences with Generalised Gap Constraints: Upper and Lower Complexity Bounds. CPM Florin Manea, Jonas Richardsen, Markus L. Schmid
2024	C	`ed.`	Twenty Years of Theoretical and Practical Synergies - 20th Conference on Computability in Europe, CiE 2024, Amsterdam, The Netherlands, July 8-12, 2024, Proceedings CiE Ludovic Levy Patey, Elaine Pimentel, Lorenzo Galeotti, Florin Manea
2023	J	`jnl`	Formal Languages via Theories over Strings: An Overview of Some Recent Results. Bull. EATCS Joel D. Day, Vijay Ganesh, Florin Manea
2023	—	`conf`	Longest Common Subsequence with Gap Constraints. WORDS Duncan Adamson, Maria Kosche, Tore Koß, Florin Manea, Stefan Siemer
2023	J	`jnl`	Longest Common Subsequence with Gap Constraints. CoRR Duncan Adamson, Maria Kosche, Tore Koß, Florin Manea, Stefan Siemer
2023	—	`conf`	Matching Patterns with Variables Under Simon's Congruence. RP Pamela Fleischmann, Sungmin Kim, Tore Koß, Florin Manea, Dirk Nowotka, Stefan Siemer, Max Wiedenhöft
2023	J	`jnl`	Matching Patterns with Variables Under Simon's Congruence. CoRR Pamela Fleischmann, Sungmin Kim, Tore Koß, Florin Manea, Dirk Nowotka, Stefan Siemer, Max Wiedenhöft
2023	J	`jnl`	On the Expressive Power of String Constraints. Proc. ACM Program. Lang. Joel D. Day, Vijay Ganesh, Nathan Grewal, Florin Manea
2023	C	`conf`	On the Number of Factors in the LZ-End Factorization. SPIRE Pawel Gawrychowski, Maria Kosche, Florin Manea
2023	J	`jnl`	Semënov Arithmetic, Affine VASS, and String Constraints. CoRR Andrei Draghici, Christoph Haase, Florin Manea
2023	J	`jnl`	Towards more efficient methods for solving regular-expression heavy string constraints. Theor. Comput. Sci. Murphy Berzish, Joel D. Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, Dirk Nowotka
2023	C	`ed.`	Unity of Logic and Computation - 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings CiE Gianluca Della Vedova, Besik Dundua, Steffen Lempp, Florin Manea
2023	J	`jnl`	ZaligVinder: A generic test framework for string solvers. J. Softw. Evol. Process. Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen
2023	B	`conf`	k-Universality of Regular Languages. ISAAC Duncan Adamson, Pamela Fleischmann, Annika Huch, Tore Koß, Florin Manea, Dirk Nowotka
2023	J	`jnl`	k-Universality of Regular Languages. CoRR Duncan Adamson, Pamela Fleischmann, Annika Huch, Tore Koß, Florin Manea, Dirk Nowotka
2022	B	`ed.`	30th EACSL Annual Conference on Computer Science Logic, CSL 2022, Göttingen, Germany (Virtual Conference), February 14-19, 2022 CSL Florin Manea, Alex Simpson
2022	J	`jnl`	A Generic Information Extraction System for String Constraints. CoRR Joel D. Day, Adrian Kröger, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen
2022	J	`jnl`	Absent Subsequences in Words. Fundam. Informaticae Maria Kosche, Tore Koß, Florin Manea, Stefan Siemer
2022	—	`conf`	Combinatorial Algorithms for Subsequence Matching: A Survey. NCMA Maria Kosche, Tore Koß, Florin Manea, Stefan Siemer
2022	J	`jnl`	Fast and Longest Rollercoasters. Algorithmica Pawel Gawrychowski, Florin Manea, Radoslaw Serafin
2022	J	`jnl`	Formal Languages via Theories over Strings. CoRR Joel D. Day, Vijay Ganesh, Nathan Grewal, Florin Manea
2022	C	`conf`	Matching Patterns with Variables Under Edit Distance. SPIRE Pawel Gawrychowski, Florin Manea, Stefan Siemer
2022	J	`jnl`	Matching Patterns with Variables Under Edit Distance. CoRR Pawel Gawrychowski, Florin Manea, Stefan Siemer
2022	J	`jnl`	Preface and Greeting Messages. J. Autom. Lang. Comb. Florin Manea, Bianca Truthe
2022	C	`ed.`	Revolutions and Revelations in Computability - 18th Conference on Computability in Europe, CiE 2022, Swansea, UK, July 11-15, 2022, Proceedings CiE Ulrich Berger, Johanna N. Y. Franklin, Florin Manea, Arno Pauly
2022	J	`jnl`	Subsequences With Gap Constraints: Complexity Bounds for Matching and Analysis Problems. CoRR Joel D. Day, Maria Kosche, Florin Manea, Markus L. Schmid
2022	—	`conf`	Subsequences in Bounded Ranges: Matching and Analysis Problems. RP Maria Kosche, Tore Koß, Florin Manea, Viktoriya Pak
2022	J	`jnl`	Subsequences in Bounded Ranges: Matching and Analysis Problems. CoRR Maria Kosche, Tore Koß, Florin Manea, Viktoriya Pak
2022	B	`conf`	Subsequences with Gap Constraints: Complexity Bounds for Matching and Analysis Problems. ISAAC Joel D. Day, Maria Kosche, Florin Manea, Markus L. Schmid
2021	—	`conf`	Absent Subsequences in Words. RP Maria Kosche, Tore Koß, Florin Manea, Stefan Siemer
2021	J	`jnl`	Absent Subsequences in Words. CoRR Maria Kosche, Tore Koß, Florin Manea, Stefan Siemer
2021	—	`conf`	An SMT Solver for Regular Expressions and Linear Arithmetic over String Length. CAV (2) Murphy Berzish, Mitja Kulczynski, Federico Mora, Florin Manea, Joel D. Day, Dirk Nowotka, Vijay Ganesh
2021	B	`conf`	Blocksequences of k-local Words. SOFSEM Pamela Fleischmann, Lukas Haschke, Florin Manea, Dirk Nowotka, Cedric Tsatia Tsida, Judith Wiedenbeck
2021	C	`ed.`	Connecting with Computability - 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings CiE Liesbeth De Mol, Andreas Weiermann, Florin Manea, David Fernández-Duque
2021	A	`conf`	Efficiently Testing Simon's Congruence. STACS Pawel Gawrychowski, Maria Kosche, Tore Koß, Florin Manea, Stefan Siemer
2021	B	`conf`	Matching Patterns with Variables Under Hamming Distance. MFCS Pawel Gawrychowski, Florin Manea, Stefan Siemer
2021	J	`jnl`	Matching Patterns with Variables under Hamming Distance. CoRR Pawel Gawrychowski, Florin Manea, Stefan Siemer
2021	J	`jnl`	On Turing Machines Deciding According to the Shortest Computations. Axioms Florin Manea
2021	J	`jnl`	Reconstructing Words from Right-Bounded-Block Words. Int. J. Found. Comput. Sci. Pamela Fleischmann, Marie Lejeune, Florin Manea, Dirk Nowotka, Michel Rigo
2021	—	`conf`	String Theories Involving Regular Membership Predicates: From Practice to Theory and Back. WORDS Murphy Berzish, Joel D. Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, Dirk Nowotka
2021	J	`jnl`	String Theories involving Regular Membership Predicates: From Practice to Theory and Back. CoRR Murphy Berzish, Joel D. Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, Dirk Nowotka
2021	A	`conf`	The Edit Distance to k-Subsequence Universality. STACS Joel D. Day, Pamela Fleischmann, Maria Kosche, Tore Koß, Florin Manea, Stefan Siemer
2020	J	`jnl`	A Length-aware Regular Expression SMT Solver. CoRR Murphy Berzish, Mitja Kulczynski, Federico Mora, Florin Manea, Joel D. Day, Dirk Nowotka, Vijay Ganesh
2020	C	`ed.`	Beyond the Horizon of Computability - 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29 - July 3, 2020, Proceedings CiE Marcella Anselmo, Gianluca Della Vedova, Florin Manea, Arno Pauly
2020	J	`jnl`	Blocksequences of k-local Words. CoRR Pamela Fleischmann, Lukas Haschke, Florin Manea, Dirk Nowotka, Cedric Tsatia Tsida, Judith Wiedenbeck
2020	J	`jnl`	Efficiently Testing Simon's Congruence. CoRR Pawel Gawrychowski, Maria Kosche, Tore Koss, Florin Manea, Stefan Siemer
2020	J	`jnl`	Equations enforcing repetitions under permutations. Discret. Appl. Math. Joel D. Day, Pamela Fleischmann, Florin Manea, Dirk Nowotka
2020	A*	`conf`	On the Structure of Solution Sets to Regular Word Equations. ICALP Joel D. Day, Florin Manea
2020	J	`jnl`	Pattern Matching with Variables: Efficient Algorithms and Complexity Results. ACM Trans. Comput. Theory Henning Fernau, Florin Manea, Robert Mercas, Markus L. Schmid
2020	J	`jnl`	Preface - Special Issue: A Collection of Papers in Honour of the 60th Birthday of Victor Mitrana. Int. J. Found. Comput. Sci. Erzsébet Csuhaj-Varjú, Florin Manea
2020	C	`conf`	Reconstructing Words from Right-Bounded-Block Words. DLT Pamela Fleischmann, Marie Lejeune, Florin Manea, Dirk Nowotka, Michel Rigo
2020	J	`jnl`	Reconstructing Words from Right-Bounded-Block Words. CoRR Pamela Fleischmann, Marie Lejeune, Florin Manea, Dirk Nowotka, Michel Rigo
2020	—	`conf`	Rule-based Word Equation Solving. FormaliSE@ICSE Joel D. Day, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen
2020	C	`conf`	Scattered Factor-Universality of Words. DLT Laura Barker, Pamela Fleischmann, Katharina Harwardt, Florin Manea, Dirk Nowotka
2020	J	`jnl`	Scattered Factor-Universality of Words. CoRR Laura Barker, Pamela Fleischmann, Katharina Harwardt, Florin Manea, Dirk Nowotka
2020	J	`jnl`	The Edit Distance to k-Subsequence Universality. CoRR Pamela Fleischmann, Maria Kosche, Tore Koß, Florin Manea, Stefan Siemer
2020	C	`conf`	The Power of String Solving: Simplicity of Comparison. AST Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen
2019	C	`ed.`	Computing with Foresight and Industry - 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15-19, 2019, Proceedings CiE Florin Manea, Barnaby Martin, Daniël Paulusma, Giuseppe Primiero
2019	A	`conf`	Fast and Longest Rollercoasters. STACS Pawel Gawrychowski, Florin Manea, Radoslaw Serafin
2019	A*	`conf`	Graph and String Parameters: Connections Between Pathwidth, Cutwidth and the Locality Number. ICALP Katrin Casel, Joel D. Day, Pamela Fleischmann, Tomasz Kociumaka, Florin Manea, Markus L. Schmid
2019	J	`jnl`	Graph and String Parameters: Connections Between Pathwidth, Cutwidth and the Locality Number. CoRR Katrin Casel, Joel D. Day, Pamela Fleischmann, Tomasz Kociumaka, Florin Manea, Markus L. Schmid
2019	J	`jnl`	Hide and seek with repetitions. J. Comput. Syst. Sci. Pawel Gawrychowski, Florin Manea, Robert Mercas, Dirk Nowotka
2019	—	`conf`	Matching Patterns with Variables. WORDS Florin Manea, Markus L. Schmid
2019	J	`jnl`	Matching Patterns with Variables. CoRR Florin Manea, Markus L. Schmid
2019	J	`jnl`	On Modelling the Avoidability of Patterns as CSP. CoRR Thorsten Ehlers, Florin Manea, Dirk Nowotka, Kamellia Reshadi
2019	—	`conf`	On Solving Word Equations Using SAT. RP Joel D. Day, Thorsten Ehlers, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen
2019	J	`jnl`	On Solving Word Equations Using SAT. CoRR Joel D. Day, Thorsten Ehlers, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen
2019	J	`jnl`	Rollercoasters: Long Sequences without Short Runs. SIAM J. Discret. Math. Therese Biedl, Ahmad Biniaz, Robert Cummings, Anna Lubiw, Florin Manea, Dirk Nowotka, Jeffrey O. Shallit
2019	B	`conf`	Upper Bounds on the Length of Minimal Solutions to Certain Quadratic Word Equations. MFCS Joel D. Day, Florin Manea, Dirk Nowotka
2019	C	`conf`	k-Spectra of Weakly-c-Balanced Words. DLT Joel D. Day, Pamela Fleischmann, Florin Manea, Dirk Nowotka
2019	J	`jnl`	k-Spectra of c-Balanced Words. CoRR Joel D. Day, Pamela Fleischmann, Florin Manea, Dirk Nowotka
2018	J	`jnl`	Fast and Longest Rollercoasters. CoRR Pawel Gawrychowski, Florin Manea, Radoslaw Serafin
2018	C	`conf`	On Matching Generalised Repetitive Patterns. DLT Joel D. Day, Pamela Fleischmann, Florin Manea, Dirk Nowotka, Markus L. Schmid
2018	J	`jnl`	On the Complexity of Solving Restricted Word Equations. Int. J. Found. Comput. Sci. Florin Manea, Dirk Nowotka, Markus L. Schmid
2018	J	`jnl`	Revisiting Shinohara's algorithm for computing descriptive patterns. Theor. Comput. Sci. Henning Fernau, Florin Manea, Robert Mercas, Markus L. Schmid
2018	A*	`conf`	Rollercoasters and Caterpillars. ICALP Therese Biedl, Ahmad Biniaz, Robert Cummings, Anna Lubiw, Florin Manea, Dirk Nowotka, Jeffrey O. Shallit
2018	J	`jnl`	Rollercoasters and Caterpillars. CoRR Therese Biedl, Ahmad Biniaz, Robert Cummings, Anna Lubiw, Florin Manea, Dirk Nowotka, Jeffrey O. Shallit
2018	C	`ed.`	Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings CiE Florin Manea, Russell G. Miller, Dirk Nowotka
2018	J	`jnl`	The Satisfiability of Extended Word Equations: The Boundary Between Decidability and Undecidability. CoRR Joel D. Day, Vijay Ganesh, Paul He, Florin Manea, Dirk Nowotka
2018	—	`conf`	The Satisfiability of Word Equations: Decidable and Undecidable Theories. RP Joel D. Day, Vijay Ganesh, Paul He, Florin Manea, Dirk Nowotka
2018	J	`jnl`	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. Pawel Gawrychowski, Tomohiro I, Shunsuke Inenaga, Dominik Köppl, Florin Manea
2018	J	`jnl`	Unary patterns under permutations. Theor. Comput. Sci. James D. Currie, Florin Manea, Dirk Nowotka, Kamellia Reshadi
2017	C	`conf`	Detecting One-Variable Patterns. SPIRE Dmitry Kosolobov, Florin Manea, Dirk Nowotka
2017	—	`conf`	Equations Enforcing Repetitions Under Permutations. WORDS Joel D. Day, Pamela Fleischmann, Florin Manea, Dirk Nowotka
2017	—	`conf`	Local Patterns. FSTTCS Joel D. Day, Pamela Fleischmann, Florin Manea, Dirk Nowotka
2017	J	`jnl`	Longest Gapped Repeats and Palindromes. Discret. Math. Theor. Comput. Sci. Marius Dumitran, Pawel Gawrychowski, Florin Manea
2017	J	`jnl`	Preface. J. Autom. Lang. Comb. Cezar Câmpeanu, Florin Manea, Giovanni Pighizzini, Jeffrey O. Shallit
2017	J	`jnl`	TCS Special Issue on Languages and Combinatorics in Theory and Nature. Theor. Comput. Sci. Florin Manea, Bianca Truthe, György Vaszil
2017	J	`jnl`	TCS Special Issue: Combinatorics on Words - WORDS 2015. Theor. Comput. Sci. Florin Manea, Dirk Nowotka
2017	B	`conf`	The Hardness of Solving Simple Word Equations. MFCS Joel D. Day, Florin Manea, Dirk Nowotka
2017	J	`jnl`	The Hardness of Solving Simple Word Equations. CoRR Joel D. Day, Florin Manea, Dirk Nowotka
2017	J	`jnl`	The extended equation of Lyndon and Schützenberger. J. Comput. Syst. Sci. Florin Manea, Mike Müller, Dirk Nowotka, Shinnosuke Seki
2017	C	`ed.`	Unveiling Dynamics and Complexity - 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings CiE Jarkko Kari, Florin Manea, Ion Petre
2016	—	`ed.`	Descriptional Complexity of Formal Systems - 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings DCFS Cezar Câmpeanu, Florin Manea, Jeffrey O. Shallit
2016	J	`jnl`	Detecting Unary Patterns. CoRR Dmitry Kosolobov, Florin Manea, Dirk Nowotka
2016	A	`conf`	Efficiently Finding All Maximal alpha-gapped Repeats. STACS Pawel Gawrychowski, Tomohiro I, Shunsuke Inenaga, Dominik Köppl, Florin Manea
2016	B	`conf`	Factorizing a String into Squares in Linear Time. CPM Yoshiaki Matsuoka, Shunsuke Inenaga, Hideo Bannai, Masayuki Takeda, Florin Manea
2016	C	`conf`	On the Solvability Problem for Restricted Classes of Word Equations. DLT Florin Manea, Dirk Nowotka, Markus L. Schmid
2015	J	`jnl`	Bounded Prefix-Suffix Duplication: Language Theoretic and Algorithmic Results. Int. J. Found. Comput. Sci. Marius Dumitran, Javier Gil, Florin Manea, Victor Mitrana
2015	—	`ed.`	Combinatorics on Words - 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings WORDS Florin Manea, Dirk Nowotka
2015	J	`jnl`	Cubic patterns with permutations. J. Comput. Syst. Sci. Florin Manea, Mike Müller, Dirk Nowotka
2015	J	`jnl`	Efficiently Finding All Maximal $α$-gapped Repeats. CoRR Pawel Gawrychowski, Tomohiro I, Shunsuke Inenaga, Dominik Köppl, Florin Manea
2015	J	`jnl`	Hairpin lengthening: language theoretic and algorithmic results. J. Log. Comput. Florin Manea, Carlos Martín-Vide, Victor Mitrana
2015	—	`conf`	Longest Gapped Repeats and Palindromes. MFCS (1) Marius Dumitran, Florin Manea
2015	J	`jnl`	Longest Gapped Repeats and Palindromes. CoRR Marius Dumitran, Pawel Gawrychowski, Florin Manea
2015	B	`conf`	Longest α-Gapped Repeat and Palindrome. FCT Pawel Gawrychowski, Florin Manea
2015	C	`conf`	On Prefix/Suffix-Square Free Words. SPIRE Marius Dumitran, Florin Manea, Dirk Nowotka
2015	J	`jnl`	On the Power of Accepting Networks of Evolutionary Processors with Special Topologies and Random Context Filters. Fundam. Informaticae Jürgen Dassow, Florin Manea, Bianca Truthe
2015	A	`conf`	Pattern Matching with Variables: Fast Algorithms and New Hardness Results. STACS Henning Fernau, Florin Manea, Robert Mercas, Markus L. Schmid
2015	—	`conf`	Prefix-Suffix Square Completion. WORDS Marius Dumitran, Florin Manea
2015	—	`conf`	Square-Density Increasing Mappings. WORDS Florin Manea, Shinnosuke Seki
2015	J	`jnl`	Testing k-binomial equivalence. CoRR Dominik D. Freydenberger, Pawel Gawrychowski, Juhani Karhumäki, Florin Manea, Wojciech Rytter
2015	C	`conf`	Unary Patterns with Permutations. DLT James D. Currie, Florin Manea, Dirk Nowotka
2015	J	`jnl`	k-Abelian pattern matching. J. Discrete Algorithms Thorsten Ehlers, Florin Manea, Robert Mercas, Dirk Nowotka
2014	B	`conf`	A Stronger Square Conjecture on Binary Words. SOFSEM Natasa Jonoska, Florin Manea, Shinnosuke Seki
2014	J	`jnl`	Accepting Networks of Evolutionary Processors with Subregular Filters. Theory Comput. Syst. Florin Manea, Bianca Truthe
2014	J	`jnl`	An algorithmic toolbox for periodic partial words. Discret. Appl. Math. Florin Manea, Robert Mercas, Catalin Tiseanu
2014	C	`conf`	Bounded Prefix-Suffix Duplication. CIAA Marius Dumitran, Javier Gil, Florin Manea, Victor Mitrana
2014	—	`conf`	Generalised Lyndon-Schützenberger Equations. MFCS (1) Florin Manea, Mike Müller, Dirk Nowotka, Shinnosuke Seki
2014	J	`jnl`	Inner Palindromic Closure. Int. J. Found. Comput. Sci. Jürgen Dassow, Florin Manea, Robert Mercas, Mike Müller
2014	J	`jnl`	Prefix-suffix duplication. J. Comput. Syst. Sci. Jesús García-López, Florin Manea, Victor Mitrana
2014	J	`jnl`	Regular languages of partial words. Inf. Sci. Jürgen Dassow, Florin Manea, Robert Mercas
2014	J	`jnl`	Syllabic Languages and Go-through Automata. Fundam. Informaticae Liviu P. Dinu, Radu Gramatovici, Florin Manea
2014	A	`conf`	Testing Generalised Freeness of Words. STACS Pawel Gawrychowski, Florin Manea, Dirk Nowotka
2014	J	`jnl`	The pseudopalindromic completion of regular languages. Inf. Comput. Szilárd Zsolt Fazekas, Florin Manea, Robert Mercas, Kayoko Shikishima-Tsuji
2014	—	`conf`	Two Variants of Synchronized Shuffle on Backbones. Discrete Mathematics and Computer Science Henning Bordihn, Florin Manea, Victor Mitrana, Daniel-Claudian Voinescu
2014	C	`conf`	k-Abelian Pattern Matching. Developments in Language Theory Thorsten Ehlers, Florin Manea, Robert Mercas, Dirk Nowotka
2013	C	`conf`	Discovering Hidden Repetitions in Words. CiE Pawel Gawrychowski, Florin Manea, Dirk Nowotka
2013	A	`conf`	Finding Pseudo-repetitions. STACS Pawel Gawrychowski, Florin Manea, Robert Mercas, Dirk Nowotka, Catalin Tiseanu
2013	C	`conf`	Inner Palindromic Closure. Developments in Language Theory Jürgen Dassow, Florin Manea, Robert Mercas, Mike Müller
2013	J	`jnl`	Networks of evolutionary processors: the power of subregular filters. Acta Informatica Jürgen Dassow, Florin Manea, Bianca Truthe
2013	—	`conf`	On the Pseudoperiodic Extension of u^l = v^m w^n. FSTTCS Florin Manea, Mike Müller, Dirk Nowotka
2013	J	`jnl`	The hardness of counting full words compatible with partial words. J. Comput. Syst. Sci. Florin Manea, Catalin Tiseanu
2012	J	`jnl`	Complexity results for deciding Networks of Evolutionary Processors. Theor. Comput. Sci. Florin Manea
2012	C	`conf`	Connecting Partial Words and Regular Languages. CiE Jürgen Dassow, Florin Manea, Robert Mercas
2012	B	`conf`	Fine and Wilf's Theorem and Pseudo-repetitions. MFCS Florin Manea, Robert Mercas, Dirk Nowotka
2012	J	`jnl`	Generating Networks of Splicing Processors. RAIRO Theor. Informatics Appl. Jürgen Dassow, Florin Manea, Bianca Truthe
2012	—	`conf`	Hairpin Lengthening and Shortening of Regular Languages. Languages Alive Florin Manea, Robert Mercas, Victor Mitrana
2012	J	`jnl`	Language classes generated by tree controlled grammars with bounded nonterminal complexity. Theor. Comput. Sci. Sherzod Turaev, Jürgen Dassow, Florin Manea, Mohd Hasan Selamat
2012	J	`jnl`	Networks of evolutionary processors: computationally complete normal forms. Nat. Comput. Jürgen Dassow, Florin Manea, Bianca Truthe
2012	—	`conf`	On Internal Contextual Grammars with Subregular Selection Languages. DCFS Florin Manea, Bianca Truthe
2012	J	`jnl`	On Subregular Selection Languages in Internal Contextual Grammars. J. Autom. Lang. Comb. Jürgen Dassow, Florin Manea, Bianca Truthe
2012	J	`jnl`	On external contextual grammars with subregular selection languages. Theor. Comput. Sci. Jürgen Dassow, Florin Manea, Bianca Truthe
2012	—	`conf`	String Matching with Involutions. UCNC Cristian Grozea, Florin Manea, Mike Müller, Dirk Nowotka
2012	C	`conf`	The Avoidability of Cubes under Permutations. Developments in Language Theory Florin Manea, Mike Müller, Dirk Nowotka
2011	—	`conf`	Accepting Networks of Evolutionary Processors with Subregular Filters. AFL Florin Manea, Bianca Truthe
2011	J	`jnl`	Bounded hairpin completion. Inf. Comput. Masami Ito, Peter Leupold, Florin Manea, Victor Mitrana
2011	J	`jnl`	Complexity-preserving simulations among three variants of accepting networks of evolutionary processors. Nat. Comput. Paolo Bottoni, Anna Labella, Florin Manea, Victor Mitrana, Ion Petre, José M. Sempere
2011	—	`conf`	Context Insertions. Computation, Cooperation, and Life Paolo Bottoni, Radu Gramatovici, Anna Labella, Florin Manea, Victor Mitrana
2011	C	`conf`	Deciding According to the Shortest Computations. CiE Florin Manea
2011	C	`conf`	Deciding Networks of Evolutionary Processors. Developments in Language Theory Florin Manea
2011	—	`conf`	Generating Networks of Splicing Processors. NCMA Jürgen Dassow, Florin Manea, Bianca Truthe
2011	C	`conf`	Networks of Evolutionary Processors with Subregular Filters. LATA Jürgen Dassow, Florin Manea, Bianca Truthe
2011	—	`conf`	On Contextual Grammars with Subregular Selection Languages. DCFS Jürgen Dassow, Florin Manea, Bianca Truthe
2011	C	`conf`	On Normal Forms for Networks of Evolutionary Processors. UC Jürgen Dassow, Florin Manea, Bianca Truthe
2011	B	`conf`	Periodicity Algorithms for Partial Words. MFCS Florin Manea, Robert Mercas, Catalin Tiseanu
2010	J	`jnl`	A New Characterization of NP, P, and PSPACE with Accepting Hybrid Networks of Evolutionary Processors. Theory Comput. Syst. Florin Manea, Maurice Margenstern, Victor Mitrana, Mario J. Pérez-Jiménez
2010	J	`jnl`	A series of algorithmic results related to the iterated hairpin completion. Theor. Comput. Sci. Florin Manea
2010	—	`conf`	Accepting Hybrid Networks of Evolutionary Processors with Special Topologies and Small Communication DCFS Jürgen Dassow, Florin Manea
2010	—	`ch.`	Accepting Networks of Evolutionary Word and Picture Processors: A Survey. Scientific Applications of Language Methods Florin Manea, Carlos Martín-Vide, Victor Mitrana
2010	C	`conf`	Hairpin Lengthening. CiE Florin Manea, Carlos Martín-Vide, Victor Mitrana
2010	C	`conf`	Hard Counting Problems for Partial Words. LATA Florin Manea, Catalin Tiseanu
2010	J	`jnl`	Small Universal Accepting Networks of Evolutionary Processors with Filtered Connections. J. Autom. Lang. Comb. Remco Loos, Florin Manea, Victor Mitrana
2010	J	`jnl`	Small universal accepting hybrid networks of evolutionary processors. Acta Informatica Remco Loos, Florin Manea, Victor Mitrana
2010	J	`jnl`	Some Remarks on the Hairpin Completion. Int. J. Found. Comput. Sci. Florin Manea, Victor Mitrana, Takashi Yokomori
2009	B	`conf`	Accepting Networks of Evolutionary Processors: Complexity Aspects - Recent Results and New Challenges. ICAART Florin Manea, Victor Mitrana
2009	B	`conf`	Combinatorial Queries and Updates on Partial Words. FCT Adrian Diaconu, Florin Manea, Catalin Tiseanu
2009	B	`conf`	Filter Position in Networks of Evolutionary Processors Does Not Matter: A Direct Proof. DNA Paolo Bottoni, Anna Labella, Florin Manea, Victor Mitrana, José M. Sempere
2009	C	`conf`	Networks of Evolutionary Picture Processors with Filtered Connections. UC Paolo Bottoni, Anna Labella, Florin Manea, Victor Mitrana, José M. Sempere
2009	J	`jnl`	On small, reduced, and fast universal accepting networks of splicing processors. Theor. Comput. Sci. Remco Loos, Florin Manea, Victor Mitrana
2009	J	`jnl`	On some algorithmic problems regarding the hairpin completion. Discret. Appl. Math. Florin Manea, Carlos Martín-Vide, Victor Mitrana
2009	—	`conf`	Small Universal Accepting Networks of Evolutionary Processors with Filtered Connections DCFS Remco Loos, Florin Manea, Victor Mitrana
2009	C	`conf`	Some Remarks on Superposition Based on Watson-Crick-Like Complementarity. Developments in Language Theory Florin Manea, Victor Mitrana, José M. Sempere
2009	J	`jnl`	Two complementary operations inspired by the DNA hairpin formation: Completion and reduction. Theor. Comput. Sci. Florin Manea, Victor Mitrana, Takashi Yokomori
2008	J	`jnl`	On the Descriptional Complexity of Accepting Networks of Evolutionary Processors with Filtered Connections. Int. J. Found. Comput. Sci. Cezara Dragoi, Florin Manea
2008	—	`conf`	Some Remarks on the Hairpin Completion. AFL Florin Manea, Victor Mitrana, Takashi Yokomori
2007	J	`jnl`	A Generalization of the Assignment Problem, and its Application to the Rank Aggregation Problem. Fundam. Informaticae Florin Manea, Calina Ploscaru
2007	J	`jnl`	Accepting Networks of Evolutionary Processors with Filtered Connections. J. Univers. Comput. Sci. Cezara Dragoi, Florin Manea, Victor Mitrana
2007	C	`conf`	Accepting Networks of Splicing Processors with Filtered Connections. MCU Juan Castellanos, Florin Manea, Luis Fernando de Mingo López, Victor Mitrana
2007	J	`jnl`	Accepting networks of splicing processors: Complexity results. Theor. Comput. Sci. Florin Manea, Carlos Martín-Vide, Victor Mitrana
2007	J	`jnl`	All NP-problems can be solved in polynomial time by accepting hybrid networks of evolutionary processors of constant size. Inf. Process. Lett. Florin Manea, Victor Mitrana
2007	J	`jnl`	Erratum to: "Accepting networks of splicing processors: Complexity results" [Theoret. Comput. Sci. 371(2007) 72-82]. Theor. Comput. Sci. Florin Manea, Carlos Martín-Vide, Victor Mitrana
2007	J	`jnl`	Freeness of partial words. Theor. Comput. Sci. Florin Manea, Robert Mercas
2007	C	`conf`	Hairpin Completion Versus Hairpin Reduction. CiE Florin Manea, Victor Mitrana
2007	J	`jnl`	On the recognition of context-free languages using accepting hybrid networks of evolutionary processors. Int. J. Comput. Math. Florin Manea
2007	J	`jnl`	On the size complexity of universal accepting hybrid networks of evolutionary processors. Math. Struct. Comput. Sci. Florin Manea, Carlos Martín-Vide, Victor Mitrana
2007	C	`conf`	On the syllabification of words via go-through automata. LATA Liviu Petrisor Dinu, Radu Gramatovici, Florin Manea
2006	B	`conf`	All NP-Problems Can Be Solved in Polynomial Time by Accepting Networks of Splicing Processors of Constant Size. DNA Florin Manea, Carlos Martín-Vide, Victor Mitrana
2006	J	`jnl`	An efficient approach for the rank aggregation problem. Theor. Comput. Sci. Liviu Petrisor Dinu, Florin Manea
2006	J	`jnl`	On Some Algorithmic Problems Regarding the Hairpin Completion. Electron. Notes Discret. Math. Victor Mitrana, Florin Manea, Carlos Martín-Vide
2006	J	`jnl`	Synchronized Shuffle on Backbones. Fundam. Informaticae Florin Manea, Victor Mitrana, Daniel-Claudian Voinescu
2005	—	`conf`	A Universal Accepting Hybrid Network of Evolutionary Processors. DCM@ICALP Florin Manea, Carlos Martín-Vide, Victor Mitrana
2005	C	`conf`	Accepting Networks of Splicing Processors. CiE Florin Manea, Carlos Martín-Vide, Victor Mitrana
2005	J	`jnl`	Parsing Local Internal Contextual Languages with Context-Free Choice. Fundam. Informaticae Radu Gramatovici, Florin Manea
2005	—	`conf`	Timed Accepting Hybrid Networks of Evolutionary Processors. IWINAC (2) Florin Manea
2004	C	`conf`	Solving 3CNF-SAT and HPP in Linear Time Using WWW. MCU Florin Manea, Carlos Martín-Vide, Victor Mitrana