Skip to content

International Symposium on Mathematical Foundations of Computer Science

MFCS

B

CORE rank

CORE rank (raw)

B

Fields of research

Theory of Computation

Papers indexed

3,347

1973–2026

Papers per year

1973101 peak2026

MFCS papers

3,347 records sourced from DBLP. Search titles, filter by year, sort by recency.

YearTitleAuthors
2014An Efficient Quantum Algorithm for Finding Hidden Parabolic Subgroups in the General Linear Group.Thomas Decker, Gbor Ivanyos, Raghav Kulkarni, Youming Qiao, Miklos Santha
2014Hitting Forbidden Subgraphs in Graphs of Bounded Treewidth.Marek Cygan, Dniel Marx, Marcin Pilipczuk, Michal Pilipczuk
2014Information Rate of Some Classes of Non-regular Languages: An Automata-Theoretic Approach - (Extended Abstract).Cewei Cui, Zhe Dang, Thomas R. Fischer, Oscar H. Ibarra
2014Alternating Vector Addition Systems with States.Jean-Baptiste Courtois, Sylvain Schmitz
2014Size-Change Abstraction and Max-Plus Automata.Thomas Colcombet, Laure Daviaud, Florian Zuleger
2014An Algebraic Characterization of Unary Two-Way Transducers.Christian Choffrut, Bruno Guillon
2014On the Limits of Depth Reduction at Depth 3 Over Small Finite Fields.Suryajith Chillara, Partha Mukhopadhyay
2014Bounded Variable Logic, Parameterized Logarithmic Space, and Savitch's Theorem.Yijia Chen, Moritz Mller
2014An Improved Deterministic #SAT Algorithm for Small De Morgan Formulas.Ruiwen Chen, Valentine Kabanets, Nitin Saurabh
2014Combinatorial Voter Control in Elections.Jiehua Chen, Piotr Faliszewski, Rolf Niedermeier, Nimrod Talmon
2014Classifying Recognizable Infinitary Trace Languages Using Word Automata.Namit Chaturvedi, Marcus Gelderie
2014Partial-Observation Stochastic Reachability and Parity Games.Krishnendu Chatterjee
2014Cyclic Complexity of Words.Julien Cassaigne, Gabriele Fici, Marinella Sciortino, Luca Q. Zamboni
2014Subword Complexity and Decomposition of the Set of Factors.Julien Cassaigne, Anna E. Frid, Svetlana Puzynina, Luca Q. Zamboni
2014Universal Lyndon Words.Arturo Carpi, Gabriele Fici, Stepan Holub, Jakub Oprsal, Marinella Sciortino
2014Dual Connectedness of Edge-Bicolored Graphs and Beyond.Leizhen Cai, Junjie Ye
2014Advances in Parametric Real-Time Reasoning.Daniel Bundala, Jol Ouaknine
2014Alternating Parity Krivine Automata.Florian Bruse
2014The Relationship between Multiplicative Complexity and Nonlinearity.Joan Boyar, Magnus Gausdal Find
2014Towards Efficient Reasoning Under Guarded-Based Disjunctive Existential Rules.Pierre Bourhis, Michael Morak, Andreas Pieris
2014On the Complexity of Some Ordering Problems.Beate Bollig
2014Asymptotic Monadic Second-Order Logic.Achim Blumensath, Olivier Carton, Thomas Colcombet
2014The Price of Envy-Freeness in Machine Scheduling.Vittorio Bil, Angelo Fanelli, Michele Flammini, Gianpiero Monaco, Luca Moscardelli
2014Minimum Planar Multi-sink Cuts with Connectivity Priors.Ivona Bezkov, Zachary Langley
2014On Unification of QBF Resolution-Based Calculi.Olaf Beyersdorff, Leroy Chew, Mikolas Janota
1,1261,150 of 3,347← PreviousNext →

Comparable venues

Other A*/A conferences filed under the same field of research.