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
2024Computational Model for Parsing Expression Grammars.Alexander A. Rubtsov, Nikita Chudinov
2024Demonic Variance and a Non-Determinism Score for Markov Decision Processes.Jakob Piribauer
2024C_{2k+1}-Coloring of Bounded-Diameter Graphs.Marta Piecyk
2024Toward Grnbaum's Conjecture for 4-Connected Graphs.Christian Ortlieb
2024Point-To-Set Principle and Constructive Dimension Faithfulness.Satyadev Nandakumar, Subin Pulari, Akhil S
2024Synthesis of Robust Optimal Real-Time Systems.Benjamin Monmege, Julie Parreaux, Pierre-Alain Reynier
2024Generalizing Roberts' Characterization of Unit Interval Graphs.Virginia Ardvol Martnez, Romeo Rizzi, Abdallah Saffidine, Florian Sikora, Stphane Vialette
2024On the Complexity of the Conditional Independence Implication Problem with Bounded Cardinalities.Michal Makowski
2024Fine-Grained Complexity of Program Analysis (Invited Talk).Rupak Majumdar
2024Algorithmic Dimensions via Learning Functions.Jack H. Lutz, Andrei N. Migunov
2024Efficient Computation in Congested Anonymous Dynamic Networks.Giuseppe Antonio Di Luna, Giovanni Viglietta
2024Streaming in Graph Products.Markus Lohrey, Julio Xochitemol
2024Scheduling with Locality by Routing.Alison Hsiang-Hsuan Liu, Fu-Hong Liu
2024On Line-Separable Weighted Unit-Disk Coverage and Related Problems.Gang Liu, Haitao Wang
2024Unweighted Geometric Hitting Set for Line-Constrained Disks and Related Problems.Gang Liu, Haitao Wang
2024Agafonov's Theorem for Probabilistic Selectors.Ulysse Lchine, Thomas Seiller, Jakob Grue Simonsen
2024From TCS to Learning Theory (Invited Paper).Kasper Green Larsen
2024Twin-Width of Graphs on Surfaces.Daniel Krl, Kristna Pekrkov, Kenny Storgel
2024On Low Complexity Colorings of Grids (Invited Talk).Jarkko Kari
2024Punctual Presentability in Certain Classes of Algebraic Structures.Dariusz Kalocinski, Luca San Mauro, Michal Wroclawski
2024Pebble Games and Algebraic Proof Systems.Lisa-Marie Jaser, Jacobo Torn
2024Fully-Adaptive Dynamic Connectivity of Square Intersection Graphs.Ivor van der Hoog, Andr Nusser, Eva Rotenberg, Frank Staals
2024ℋ-Clique-Width and a Hereditary Analogue of Product Structure.Petr Hlinen, Jan Jedelsk
2024On the Complexity of Community-Aware Network Sparsification.Emanuel Herrendorf, Christian Komusiewicz, Nils Morawietz, Frank Sommer
2024The Complexity of (P₃, H)-Arrowing and Beyond.Zohair Raza Hassan
201225 of 3,347← PreviousNext →

Comparable venues

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