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
2014Deterministic Parameterized Algorithms for the Graph Motif Problem.Ron Y. Pinter, Hadas Shachnai, Meirav Zehavi
2014Random Deterministic Automata.Cyril Nicaud
2014Betweenness Centrality - Incremental and Faster.Meghana Nasre, Matteo Pontecorvi, Vijaya Ramachandran
2014Inferring Strings from Lyndon Factorization.Yuto Nakashima, Takashi Okabe, Tomohiro I, Shunsuke Inenaga, Hideo Bannai, Masayuki Takeda
2014Reachability in Pushdown Register Automata.Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos
2014Decidability of the Interval Temporal Logic $\mathsf{A\bar{A}B\bar{B}}$ over the Rationals.Angelo Montanari, Gabriele Puppis, Pietro Sala
2014Traveling Salesman Problems in Temporal Graphs.Othon Michail, Paul G. Spirakis
2014Model Checking Concurrent Recursive Programs Using Temporal Logics.Roy Mennicke
2014Monadic Datalog and Regular Tree Pattern Queries.Filip Mazowiecki, Filip Murlak, Adam Witkowski
2014Complexity of Equivalence and Learning for Multiplicity Tree Automata.Ines Marusic, James Worrell
2014Generalised Lyndon-Schtzenberger Equations.Florin Manea, Mike Mller, Dirk Nowotka, Shinnosuke Seki
2014An H n/2 Upper Bound on the Price of Stability of Undirected Network Design Games.Akaki Mamageishvili, Mats Mihalk, Simone Montemezzani
2014Document Retrieval with One Wildcard.Moshe Lewenstein, J. Ian Munro, Yakov Nekrich, Sharma V. Thankachan
2014Definability and Transformations for Cost Logics and Automatic Structures.Martin Lang, Christof Lding, Amaldev Manuel
2014On Coloring Resilient Graphs.Jeremy Kun, Lev Reyzin
2014Finding Maximum Common Biconnected Subgraphs in Series-Parallel Graphs.Nils M. Kriege, Petra Mutzel
2014Computational Complexity of Covering Three-Vertex Multigraphs.Jan Kratochvl, Jan Arne Telle, Marek Tesar
2014On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic.Gergely Kovsznai, Helmut Veith, Andreas Frhlich, Armin Biere
2014On the Clique Editing Problem.Ivan Kovc, Ivana Selecniov, Monika Steinov
2014Parameterized Approximations via d-Skew-Symmetric Multicut.Sudeshna Kolay, Pranabendu Misra, M. S. Ramanujan, Saket Saurabh
2014Two Results about Quantum Messages.Hartmut Klauck, Supartha Podder
2014Complexity and Expressivity of Uniform One-Dimensional Fragment with Equality.Emanuel Kieronski, Antti Kuusisto
2014Small Complexity Classes for Computable Analysis.Akitoshi Kawamura, Hiroyuki Ota
2014Affine Consistency and the Complexity of Semilinear Constraints.Peter Jonsson, Johan Thapper
2014Relating the Time Complexity of Optimization Problems in Light of the Exponential-Time Hypothesis.Peter Jonsson, Victor Lagerkvist, Johannes Schmidt, Hannes Uppman
1,0761,100 of 3,347← PreviousNext →

Comparable venues

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