Florin Manea
Orcid: 0000-0001-6094-3324Affiliations:
- University of Göttingen, Germany
According to our database1,
Florin Manea
authored at least 161 papers
between 2004 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
On csauthors.net:
Bibliography
2024
Theory Comput. Syst., August, 2024
Theory Comput. Syst., June, 2024
Revisiting Weighted Information Extraction: A Simpler and Faster Algorithm for Ranked Enumeration.
CoRR, 2024
Proceedings 14th International Workshop on Non-Classical Models of Automata and Applications (NCMA 2024).
CoRR, 2024
Proceedings of the 41st International Symposium on Theoretical Aspects of Computer Science, 2024
Proceedings of the LATIN 2024: Theoretical Informatics, 2024
Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024
Proceedings of the 35th Annual Symposium on Combinatorial Pattern Matching, 2024
2023
J. Softw. Evol. Process., April, 2023
Proc. ACM Program. Lang., January, 2023
Towards more efficient methods for solving regular-expression heavy string constraints.
Theor. Comput. Sci., 2023
Bull. EATCS, 2023
Proceedings of the String Processing and Information Retrieval, 2023
Proceedings of the Reachability Problems - 17th International Conference, 2023
Proceedings of the 34th International Symposium on Algorithms and Computation, 2023
Proceedings of the Combinatorics on Words - 14th International Conference, 2023
2022
Proceedings of the Proceedings 12th International Workshop on Non-Classical Models of Automata and Applications, 2022
Proceedings of the String Processing and Information Retrieval, 2022
Proceedings of the Reachability Problems - 16th International Conference, 2022
Subsequences with Gap Constraints: Complexity Bounds for Matching and Analysis Problems.
Proceedings of the 33rd International Symposium on Algorithms and Computation, 2022
2021
Int. J. Found. Comput. Sci., 2021
Proceedings of the 38th International Symposium on Theoretical Aspects of Computer Science, 2021
Proceedings of the 38th International Symposium on Theoretical Aspects of Computer Science, 2021
Proceedings of the SOFSEM 2021: Theory and Practice of Computer Science, 2021
Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021
String Theories Involving Regular Membership Predicates: From Practice to Theory and Back.
Proceedings of the Combinatorics on Words - 13th International Conference, 2021
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021
2020
ACM Trans. Comput. Theory, 2020
Preface - Special Issue: A Collection of Papers in Honour of the 60th Birthday of Victor Mitrana.
Int. J. Found. Comput. Sci., 2020
Proceedings of the AST@ICSE 2020: IEEE/ACM 1st International Conference on Automation of Software Test, 2020
Proceedings of the FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, 2020
Proceedings of the Developments in Language Theory - 24th International Conference, 2020
2019
Proceedings of the Reachability Problems - 13th International Conference, 2019
Proceedings of the 44th International Symposium on Mathematical Foundations of Computer Science, 2019
Graph and String Parameters: Connections Between Pathwidth, Cutwidth and the Locality Number.
Proceedings of the 46th International Colloquium on Automata, Languages, and Programming, 2019
Proceedings of the Developments in Language Theory - 23rd International Conference, 2019
Proceedings of the Combinatorics on Words - 12th International Conference, 2019
2018
Theor. Comput. Sci., 2018
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., 2018
Int. J. Found. Comput. Sci., 2018
The Satisfiability of Extended Word Equations: The Boundary Between Decidability and Undecidability.
CoRR, 2018
Proceedings of the Reachability Problems - 12th International Conference, 2018
Proceedings of the 45th International Colloquium on Automata, Languages, and Programming, 2018
Proceedings of the Developments in Language Theory - 22nd International Conference, 2018
2017
Theor. Comput. Sci., 2017
Proceedings of the String Processing and Information Retrieval, 2017
Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, 2017
Proceedings of the 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2017
2016
Proceedings of the 33rd Symposium on Theoretical Aspects of Computer Science, 2016
Proceedings of the Developments in Language Theory - 20th International Conference, 2016
Proceedings of the 27th Annual Symposium on Combinatorial Pattern Matching, 2016
2015
J. Log. Comput., 2015
Int. J. Found. Comput. Sci., 2015
On the Power of Accepting Networks of Evolutionary Processors with Special Topologies and Random Context Filters.
Fundam. Informaticae, 2015
Proceedings of the 32nd International Symposium on Theoretical Aspects of Computer Science, 2015
Proceedings of the String Processing and Information Retrieval, 2015
Proceedings of the Mathematical Foundations of Computer Science 2015, 2015
Proceedings of the Fundamentals of Computation Theory - 20th International Symposium, 2015
Proceedings of the Developments in Language Theory - 19th International Conference, 2015
Proceedings of the Combinatorics on Words - 10th International Conference, 2015
Proceedings of the Combinatorics on Words - 10th International Conference, 2015
2014
Theory Comput. Syst., 2014
Proceedings of the Implementation and Application of Automata, 2014
Proceedings of the 31st International Symposium on Theoretical Aspects of Computer Science (STACS 2014), 2014
Proceedings of the SOFSEM 2014: Theory and Practice of Computer Science, 2014
Proceedings of the Mathematical Foundations of Computer Science 2014, 2014
Two Variants of Synchronized Shuffle on Backbones.
Proceedings of the Discrete Mathematics and Computer Science. In Memoriam Alexandru Mateescu (1952-2005)., 2014
2013
J. Comput. Syst. Sci., 2013
Acta Informatica, 2013
Proceedings of the 30th International Symposium on Theoretical Aspects of Computer Science, 2013
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2013
Proceedings of the Nature of Computation. Logic, Algorithms, Applications, 2013
2012
Language classes generated by tree controlled grammars with bounded nonterminal complexity.
Theor. Comput. Sci., 2012
Theor. Comput. Sci., 2012
Theor. Comput. Sci., 2012
Nat. Comput., 2012
J. Autom. Lang. Comb., 2012
Proceedings of the Unconventional Computation and Natural Computation, 2012
Proceedings of the Mathematical Foundations of Computer Science 2012, 2012
Proceedings of the Developments in Language Theory - 16th International Conference, 2012
Proceedings of the Descriptional Complexity of Formal Systems, 2012
Proceedings of the How the World Computes, 2012
Proceedings of the Languages Alive, 2012
2011
Complexity-preserving simulations among three variants of accepting networks of evolutionary processors.
Nat. Comput., 2011
Proceedings of the Unconventional Computation - 10th International Conference, 2011
Proceedings of the Mathematical Foundations of Computer Science 2011, 2011
Proceedings of the Language and Automata Theory and Applications, 2011
Proceedings of the Developments in Language Theory - 15th International Conference, 2011
Proceedings of the Descriptional Complexity of Formal Systems, 2011
Proceedings of the Descriptional Complexity of Formal Systems, 2011
Proceedings of the Models of Computation in Context, 2011
2010
Theor. Comput. Sci., 2010
A New Characterization of NP, P, and PSPACE with Accepting Hybrid Networks of Evolutionary Processors.
Theory Comput. Syst., 2010
Accepting Hybrid Networks of Evolutionary Processors with Special Topologies and Small Communication
Proceedings of the Proceedings Twelfth Annual Workshop on Descriptional Complexity of Formal Systems, 2010
Acta Informatica, 2010
Proceedings of the Language and Automata Theory and Applications, 2010
Proceedings of the Programs, Proofs, Processes, 6th Conference on Computability in Europe, 2010
Accepting Networks of Evolutionary Word and Picture Processors: A Survey.
Proceedings of the Scientific Applications of Language Methods., 2010
2009
Two complementary operations inspired by the DNA hairpin formation: Completion and reduction.
Theor. Comput. Sci., 2009
Theor. Comput. Sci., 2009
Discret. Appl. Math., 2009
Small Universal Accepting Networks of Evolutionary Processors with Filtered Connections
Proceedings of the Proceedings Eleventh International Workshop on Descriptional Complexity of Formal Systems, 2009
Proceedings of the Unconventional Computation, 8th International Conference, 2009
Accepting Networks of Evolutionary Processors: Complexity Aspects - Recent Results and New Challenges.
Proceedings of the ICAART 2009 - Proceedings of the International Conference on Agents and Artificial Intelligence, Porto, Portugal, January 19, 2009
Proceedings of the Fundamentals of Computation Theory, 17th International Symposium, 2009
Filter Position in Networks of Evolutionary Processors Does Not Matter: A Direct Proof.
Proceedings of the DNA Computing and Molecular Programming, 15th International Conference, 2009
Proceedings of the Developments in Language Theory, 13th International Conference, 2009
2008
On the Descriptional Complexity of Accepting Networks of Evolutionary Processors with Filtered Connections.
Int. J. Found. Comput. Sci., 2008
2007
Erratum to: "Accepting networks of splicing processors: Complexity results" [Theoret. Comput. Sci. 371(2007) 72-82].
Theor. Comput. Sci., 2007
Theor. Comput. Sci., 2007
On the size complexity of universal accepting hybrid networks of evolutionary processors.
Math. Struct. Comput. Sci., 2007
J. Univers. Comput. Sci., 2007
All NP-problems can be solved in polynomial time by accepting hybrid networks of evolutionary processors of constant size.
Inf. Process. Lett., 2007
On the recognition of context-free languages using accepting hybrid networks of evolutionary processors.
Int. J. Comput. Math., 2007
A Generalization of the Assignment Problem, and its Application to the Rank Aggregation Problem.
Fundam. Informaticae, 2007
Proceedings of the Machines, Computations, and Universality, 5th International Conference, 2007
On the syllabification of words via go-through automata.
Proceedings of the LATA 2007. Proceedings of the 1st International Conference on Language and Automata Theory and Applications., 2007
Proceedings of the Computation and Logic in the Real World, 2007
2006
All NP-Problems Can Be Solved in Polynomial Time by Accepting Networks of Splicing Processors of Constant Size.
Proceedings of the DNA Computing, 12th International Meeting on DNA Computing, 2006
2005
Fundam. Informaticae, 2005
Proceedings of the First International Workshop on Developments in Computational Models, 2005
Proceedings of the Artificial Intelligence and Knowledge Engineering Applications: A Bioinspired Approach: First International Work-Conference on the Interplay Between Natural and Artificial Computation, 2005
Proceedings of the New Computational Paradigms, 2005
2004
Proceedings of the Machines, Computations, and Universality, 4th International Conference, 2004