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 | Symmetric-Difference (Degeneracy) and Signed Tree Models. | douard Bonnet, Julien Duron, John Sylvester, Viktor Zamaraev |
| 2024 | Unveiling the Connection Between the Lyndon Factorization and the Canonical Inverse Lyndon Factorization via a Border Property. | Paola Bonizzoni, Clelia De Felice, Brian Riccardi, Rocco Zaccagnino, Rosalba Zizza |
| 2024 | When Lawvere Meets Peirce: An Equational Presentation of Boolean Hyperdoctrines. | Filippo Bonchi, Alessandro Di Giorgio, Davide Trotta |
| 2024 | Equitable Connected Partition and Structural Parameters Revisited: N-Fold Beats Lenstra. | Vclav Blazej, Dusan Knop, Jan Pokorn, Simon Schierreich |
| 2024 | Generalized Completion Problems with Forbidden Tournaments. | Zeno Bitter, Antoine Mottet |
| 2024 | Polynomial Calculus for Quantified Boolean Logic: Lower Bounds Through Circuits and Degree. | Olaf Beyersdorff, Tim Hoffmann, Kaspar Kasche, Luc Nicolas Spachmann |
| 2024 | Capturing the Shape of a Point Set with a Line Segment. | Nathan van Beusekom, Marc J. van Kreveld, Max van Mulken, Marcel Roeloffzen, Bettina Speckmann, Jules Wulms |
| 2024 | Multiway Cuts with a Choice of Representatives. | Kristf Brczi, Tams Kirly, Daniel P. Szabo |
| 2024 | Breaking a Graph into Connected Components with Small Dominating Sets. | Matthias Bentert, Michael R. Fellows, Petr A. Golovach, Frances A. Rosamond, Saket Saurabh |
| 2024 | Minimizing Cost Register Automata over a Field. | Yahia Idriss Benalioua, Nathan Lhote, Pierre-Alain Reynier |
| 2024 | Graph Search Trees and the Intermezzo Problem. | Jesse Beisegel, Ekkehard Khler, Fabienne Ratajczak, Robert Scheffler, Martin Strehler |
| 2024 | On Complexity of Confluence and Church-Rosser Proofs. | Arnold Beckmann, Georg Moser |
| 2024 | Simple Qudit ZX and ZH Calculi, via Integrals. | Niel de Beaudrap, Richard D. P. East |
| 2024 | The Canadian Traveller Problem on Outerplanar Graphs. | Laurent Beaudou, Pierre Berg, Vsevolod Chernyshev, Antoine Dailly, Yan Gerard, Aurlie Lagoutte, Vincent Limouzy, Lucas Pastor |
| 2024 | Sparse Graphic Degree Sequences Have Planar Realizations. | Amotz Bar-Noy, Toni Bhnlein, David Peleg, Yingli Ran, Dror Rawitz |
| 2024 | On Key Parameters Affecting the Realizability of Degree Sequences (Invited Paper). | Amotz Bar-Noy, Toni Bhnlein, David Peleg, Yingli Ran, Dror Rawitz |
| 2024 | On the Descriptive Complexity of Vertex Deletion Problems. | Max Bannach, Florian Chudigiewitsch, Till Tantau |
| 2024 | Tractability of Packing Vertex-Disjoint A-Paths Under Length Constraints. | Susobhan Bandopadhyay, Aritra Banik, Diptapriyo Majumdar, Abhishek Sahu |
| 2024 | Logical Characterizations of Weighted Complexity Classes. | Guillermo Badia, Manfred Droste, Carles Noguera, Erik Paul |
| 2024 | A Direct Translation from LTL with Past to Deterministic Rabin Automata. | Shaun Azzopardi, David Lidell, Nir Piterman |
| 2024 | Switching Classes: Characterization and Computation. | Dhanyamol Antony, Yixin Cao, Sagartanu Pal, R. B. Sandeep |
| 2024 | A New Characterization of FAC⁰ via Discrete Ordinary Differential Equations. | Melissa Antonelli, Arnaud Durand, Juha Kontinen |
| 2024 | Quantum Algorithms for Hopcroft's Problem. | Vladimirs Andrejevs, Aleksandrs Belovs, Jevgenijs Vihrovs |
| 2024 | Sublinear Time Shortest Path in Expander Graphs. | Noga Alon, Allan Grnlund, Sren Fuglede Jrgensen, Kasper Green Larsen |
| 2024 | Quantum Polynomial Hierarchies: Karp-Lipton, Error Reduction, and Lower Bounds. | Avantika Agarwal, Sevag Gharibian, Venkata Koppula, Dorian Rudolph |
251–275 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