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
2026The Power of Small Symmetries.Nikita Gaevoy
2026Generalized Snarks, Disjoint Perfect Matchings, and Graph Covers.Filip Filipi, Jan Kratochvl, Roman Nedela
2026Computational Power of Energy-Constrained Autonomous Robots Under Sequential Schedulers.Caterina Feletti, Paola Flocchini, Nicola Santoro
2026How Long Can The Escaping Ant Be Confined?Kossi Roland Etse
2026Lower Bounds for Meta-Reconfiguration.Kord Eickmeyer, Tatsuya Gima, Michael Lampis, Valia Mitsou, Edouard Nemery, Yota Otachi, Manolis Vasilakis, Daniel Vaz
2026Quantitative Equational Rewriting.Besik Dundua, Georg Ehling, Santiago Escobar, Maribel Fernndez, Temur Kutsia
2026Space Complexity of Reachability in Simple Path Graphs.Krishnamoorthy Dinesh, Chandana Sasidharan
2026Testing Equivalence to the Hamiltonian Cycle Polynomial.Agrim Dewan
2026Counting Equitable k-Colorings in Graphs of Bounded Clique-Width.Holger Dell, Thore Husfeldt, Amir Nikabadi
2026Connectivity Augmentation of Plane Graphs.Krishnan Dehaleesan, Asif Khan, Pranabendu Misra
2026Hamming Distance Between Finite Transducers.Luc Dartois, Pierre-Cyrille Ham, Ismal Jecker, Silvio Vescovo
2026Flood-It with Jewelry - Characterizing the Game Complexity for Cograph Generalizations.Martin Darmntzel, Christian Rosenke, Mark Scheibner
2026On Positivity of Exponential-Trigonometric Polynomials and Irrationality Exponents.Pieter Collins, Bernard Hanzon, Eike Neumann
2026Finite-State Dimension and the Davenport-Erdős Theorem.Joe Clanin, Matthew Rayman
2026The Descriptive Complexity of Relation Modification Problems.Florian Chudigiewitsch, Marlene Grndel, Christian Komusiewicz, Nils Morawietz, Till Tantau
2026Algorithmic Information Bounds for Distances and Orthogonal Projections.Peter Cholak, Marianna Csrnyei, Neil Lutz, Patrick Lutz, Elvira Mayordomo, Donald M. Stull
2026Nearly Tight Bounds on the Block Number of Boolean Functions in Terms of Sensitivity.Sourav Chakraborty, Anna Gl
2026Compression for Coinductive Rewriting and the Cut-Elimination of Non-Wellfounded Proofs.Rmy Cerda, Alexis Saurin
2026On Jumps, Interactions, and Intersection Types.Stefano Catozi, Ugo Dal Lago, Gabriele Vanoni
2026Characterizing LTL Formulas by Examples.Balder ten Cate, Dana Fisman, Roi Ohayon, Patrik Sestic
2026Generating Minimal Redundant and Maximal Irredundant Sets in Incidence Graphs.Emanuel Elias Silva Castelo, Jrmie Chalopin, Oscar Defrain, Simon Vilmin
2026Finding Shortest Reconfiguration Sequences on Independent Set Polytopes.Jean Cardinal, Kevin Mann, Akira Suzuki, Takahiro Suzuki, Yuma Tamura, Xiao Zhou
2026Model Checking with Temporal Graphs and Their Derivative.Binh-Minh Bui-Xuan, Florent Krasnopol, Bruno Monasson, Nathalie Sznajder
2026The Entailment Problem for Separation Logic with Overlaid Structures.Lucas Bueri, Nicolas Peltier, Quentin Petitjean, Mihaela Sighireanu
2026Sublinear Time Algorithms for Abelian Group Property Testing.Nader H. Bshouty
5175 of 3,347← PreviousNext →

Comparable venues

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