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
2025Which Graph Motif Parameters Count?Markus Blser, Radu Curticapean, Julian Drfler, Christian Ikenmeyer
2025On the Reachability Problem for Two-Dimensional Branching VASS.Clotilde Bizire, Thibault Hilaire, Jrme Leroux, Grgoire Sutre
2025On the Performance of Mildly Greedy Players in k-Coloring Games.Vittorio Bil, Andrea D'Ascenzo, Mattia D'Emidio, Giuseppe F. Italiano
2025Kernelization in Almost Linear Time for Clustering into Bounded Vertex Cover Components.Sriram Bhyravarapu, Pritesh Kumar, Madhumita Kundu, Shivesh K. Roy, Sahiba, Saket Saurabh
2025Monotone Bounded-Depth Complexity of Homomorphism Polynomials.C. S. Bhargav, Shiteng Chen, Radu Curticapean, Prateek Dwivedi
2025Supercritical Size-Width Tree-Like Resolution Trade-Offs for Graph Isomorphism.Christoph Berkholz, Moritz Lichter, Harry Vinall-Smeeth
2025Sensitivity and Query Complexity Under Uncertainty.Deepu Benson, Balagopal Komarath, Nikhil S. Mande, Nalli Sai Soumya, Jayalal Sarma, Karteek Sreenivasaiah
2025Isometric-Universal Graphs for Trees.Edgar Baucher, Franois Dross, Cyril Gavoille
2025Symmetry Classes of Hamiltonian Cycles.Jlia Baligcs, Sofia Brenner, Annette Lutz, Lena Volk
2025Register Automata with Permutations.Mrudula Balachander, Emmanuel Filiot, Raffaella Gentilini, Nikos Tzevelekos
2025Solving Partial Dominating Set and Related Problems Using Twin-Width.Jakub Balabn, Daniel Mock, Peter Rossmanith
2025Online Knapsack Problems with Estimates.Jakub Balabn, Matthias Gehnen, Henri Lotze, Finn Seesemann, Moritz Stocker
2025Universality Frontier for Asynchronous Cellular Automata.Ivan Baburin, Matthew Cook, Florian Grtschla, Andreas Plesner, Roger Wattenhofer
2025Characterizing Small Circuit Classes from FAC⁰ to FAC¹ via Discrete Ordinary Differential Equations.Melissa Antonelli, Arnaud Durand, Juha Kontinen
2025Linear Time Subsequence and Supersequence Regex Matching.Antoine Amarilli, Florin Manea, Tina Ringleb, Markus L. Schmid
2025Dynamic Membership for Regular Tree Languages.Antoine Amarilli, Corentin Barloy, Louis Jachiet, Charles Paperman
2025Approximating Prize-Collecting Variants of TSP.Morteza Alimi, Tobias Mmke, Michael Ruderer
2025Catalytic Computing and Register Programs Beyond Log-Depth.Yaroslav Alekseev, Yuval Filmus, Ian Mertz, Alexander Smal, Antoine Vinciguerra
2025Right-Linear Lattices: An Algebraic Theory of ω-Regular Languages, with Fixed Points.Anupam Das, Abhishek De
2025Improved Approximation Algorithms for Capacitated Vehicle Routing with Fixed Capacity.Jingyang Zhao, Mingyu Xiao
2024Approximate Suffix-Prefix Dictionary Queries.Wiktor Zuba, Grigorios Loukides, Solon P. Pissis, Sharma V. Thankachan
2024Front Matter, Table of Contents, Preface, Conference Organization.
2024Leakage-Resilient Hardness Equivalence to Logspace Derandomization.Yakov Shalunov
2024An Algorithmic Meta Theorem for Homomorphism Indistinguishability.Tim Seppelt
2024Monoids of Upper Triangular Matrices over the Boolean Semiring.Andrew Ryzhikov, Petra Wolf
176200 of 3,347← PreviousNext →

Comparable venues

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