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
2021A Recursion-Theoretic Characterization of the Probabilistic Class PP.Ugo Dal Lago, Reinhard Kahle, Isabel Oitavem
2021Connecting Constructive Notions of Ordinals in Homotopy Type Theory.Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu
2021The Power of One Clean Qubit in Communication Complexity.Hartmut Klauck, Debbie Lim
2021Improved Upper Bounds for the Rigidity of Kronecker Products.Bohdan Kivva
2021An Approximation Algorithm for the Matrix Tree Multiplication Problem.Mahmoud Abo Khamis, Ryan R. Curtin, Sungjin Im, Benjamin Moseley, Hung Q. Ngo, Kirk Pruhs, Alireza Samadian
2021On Positivity and Minimality for Second-Order Holonomic Sequences.George Kenison, Oleksiy Klurman, Engel Lefaucheux, Florian Luca, Pieter Moree, Jol Ouaknine, Markus A. Whiteland, James Worrell
2021Sets of Linear Forms Which Are Hard to Compute.Michael Kaminski, Igor E. Shparlinski
2021Griddings of Permutations and Hardness of Pattern Matching.Vt Jelnek, Michal Opler, Jakub Pekrek
2021On the Hardness of Compressing Weights.Bart M. P. Jansen, Shivesh Kumar Roy, Michal Wlodarczyk
2021The Simplest Non-Regular Deterministic Context-Free Language.Petr Jancar, Jir Sma
2021Ordered Fragments of First-Order Logic.Reijo Jaakkola
2021A Homological Condition on Equational Unifiability.Mirai Ikebuchi
2021On Search Complexity of Discrete Logarithm.Pavel Hubcek, Jan Vclavek
2021Test of Quantumness with Small-Depth Quantum Circuits.Shuichi Hirahara, Franois Le Gall
2021Online Domination: The Value of Getting to Know All Your Neighbors.Hovhannes A. Harutyunyan, Denis Pankratov, Jesse Racicot
2021Obstructing Classification via Projection.Pantea Haghighatkhah, Wouter Meulemans, Bettina Speckmann, Jrme Urhausen, Kevin Verbeek
2021On Deciding Linear Arithmetic Constraints Over p-adic Integers for All Primes.Christoph Haase, Alessio Mansutti
2021Perfect Forests in Graphs and Their Extensions.Gregory Z. Gutin, Anders Yeo
2021A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct.Shibashis Guha, Ismal Jecker, Karoliina Lehtinen, Martin Zimmermann
2021Optimal Regular Expressions for Palindromes of Given Length.Hermann Gruber, Markus Holzer
2021A Note on the Join of Varieties of Monoids with LI.Nathan Grosshans
2021A Deep Dive into the Weisfeiler-Leman Algorithm (Invited Talk).Martin Grohe
2021Quantum Speedups for Dynamic Programming on n-Dimensional Lattice Graphs.Adam Glos, Martins Kokainis, Ryuhei Mori, Jevgenijs Vihrovs
2021Keyboards as a New Model of Computation.Yoan Gran, Bastien Laboureix, Corto Mascle, Valentin D. Richard
2021Matching Patterns with Variables Under Hamming Distance.Pawel Gawrychowski, Florin Manea, Stefan Siemer
476500 of 3,347← PreviousNext →

Comparable venues

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