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
Most published authors
MFCS papers
3,347 records sourced from DBLP. Search titles, filter by year, sort by recency.
| Year | Title | Authors |
|---|---|---|
| 2024 | Parameterized Vertex Integrity Revisited. | Tesshu Hanaka, Michael Lampis, Manolis Vasilakis, Kanae Yoshiwatari |
| 2024 | Higher-Order Constrained Dependency Pairs for (Universal) Computability. | Liye Guo, Kasper Hagens, Cynthia Kop, Deivid Vale |
| 2024 | Specification and Automatic Verification of Computational Reductions. | Julien Grange, Fabian Vehlken, Nils Vortmeier, Thomas Zeume |
| 2024 | Minimal Obstructions to C₅-Coloring in Hereditary Graph Classes. | Jan Goedgebeur, Jorik Jooken, Karolina Okrasa, Pawel Rzazewski, Oliver Schaudt |
| 2024 | Romeo and Juliet Is EXPTIME-Complete. | Harmender Gahlawat, Jan Matys Kristan, Toms Valla |
| 2024 | A Robust Measure on FDFAs Following Duo-Normalized Acceptance. | Dana Fisman, Emmanuel Goldberg, Oded Zimerman |
| 2024 | Structural Parameters for Dense Temporal Graphs. | Jessica A. Enright, Samuel D. Hand, Laura Larios-Jones, Kitty Meeks |
| 2024 | Half-Space Separation in Monophonic Convexity. | Mohammed Elaroussi, Lhouari Nourine, Simon Vilmin |
| 2024 | An Oracle with no UP-Complete Sets, but NP = PSPACE. | David Dingel, Fabian Egidy, Christian Glaer |
| 2024 | Local Certification of Geometric Graph Classes. | Oscar Defrain, Louis Esperet, Aurlie Lagoutte, Pat Morin, Jean-Florent Raymond |
| 2024 | Preservation Theorems on Sparse Classes Revisited. | Anuj Dawar, Ioannis Eleftheriadis |
| 2024 | Query Maintenance Under Batch Changes with Small-Depth Circuits. | Samir Datta, Asif Khan, Anish Mukherjee, Felix Tschirbs, Nils Vortmeier, Thomas Zeume |
| 2024 | Nearly-Tight Bounds for Flow Sparsifiers in Quasi-Bipartite Graphs. | Syamantak Das, Nikhil Kumar, Daniel Vaz |
| 2024 | The Freeness Problem for Automaton Semigroups. | Daniele D'Angeli, Emanuele Rodaro, Jan Philipp Wchter |
| 2024 | Challenges of the Reachability Problem in Infinite-State Systems (Invited Paper). | Wojciech Czerwinski |
| 2024 | The Even-Path Problem in Directed Single-Crossing-Minor-Free Graphs. | Archit Chauhan, Samir Datta, Chetan Gupta, Vimal Raj Sharma |
| 2024 | Applications of Littlestone Dimension to Query Learning and to Compression. | Hunter Chase, James Freitag, Lev Reyzin |
| 2024 | Krenn-Gu Conjecture for Sparse Graphs. | L. Sunil Chandran, Rishikesh Gajjala, Abraham M. Illickan |
| 2024 | Covering and Partitioning of Split, Chain and Cographs with Isometric Paths. | Dibyayan Chakraborty, Haiko Mller, Sebastian Ordyniak, Fahad Panolan, Mateusz Rychlicki |
| 2024 | Algorithms and Complexity for Path Covers of Temporal DAGs. | Dibyayan Chakraborty, Antoine Dailly, Florent Foucaud, Ralf Klasing |
| 2024 | Quasi-Isometric Reductions Between Infinite Strings. | Karen Frilya Celine, Ziyuan Gao, Sanjay Jain, Ryan Lou, Frank Stephan, Guohua Wu |
| 2024 | Distance to Transitivity: New Parameters for Taming Reachability in Temporal Graphs. | Arnaud Casteigts, Nils Morawietz, Petra Wolf |
| 2024 | The Complexity of Simplifying ω-Automata Through the Alternating Cycle Decomposition. | Antonio Casares, Corto Mascle |
| 2024 | On the Number of Quantifiers Needed to Define Boolean Functions. | Marco Carmosino, Ronald Fagin, Neil Immerman, Phokion G. Kolaitis, Jonathan Lenchner, Rik Sengupta |
| 2024 | First-Fit Coloring of Forests in Random Arrival Model. | Bartlomiej Bosek, Grzegorz Gutowski, Michal Lason, Jakub Przybylo |
226–250 of 3,347← PreviousNext →
Comparable venues
Other A*/A conferences filed under the same field of research.
- A*SODAACM/SIAM Symposium on Discrete Algorithms
- A*ICALPInternational Colloquium on Automata Languages and Programming
- A*STOCACM Symposium on Theory of Computing
- A*FOCSIEEE Symposium on Foundations of Computer Science
- AESAEuropean Symposium on Algorithms
- ASTACSInternational Symposium on Theoretical Aspects of Computer Science
- A*LICSIEEE Symposium on Logic in Computer Science
- AGDGraph Drawing