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
2011The Complexity of the Cover Polynomials for Planar Graphs of Bounded Degree.Markus Blser, Radu Curticapean
2011Verifying Proofs in Constant Depth.Olaf Beyersdorff, Samir Datta, Meena Mahajan, Gido Scharfenberger-Fabian, Karteek Sreenivasaiah, Michael Thomas, Heribert Vollmer
2011Faster Coupon Collecting via Replication with Applications in Gossiping.Petra Berenbrink, Robert Elssser, Tom Friedetzky, Lars Nagel, Thomas Sauerwald
2011Quantitative Refinement for Weighted Modal Transition Systems.Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane
2011Adhesivity Is Not Enough: Local Church-Rosser Revisited.Paolo Baldan, Fabio Gadducci, Pawel Sobocinski
2011The Least-Core of Threshold Network Flow Games.Yoram Bachrach
2011Nearest Neighbor Search in High-Dimensional Spaces.Alexandr Andoni
2010Impossibility of Independence Amplification in Kolmogorov Complexity Theory.Marius Zimand
2010Counting Dependent and Independent Strings.Marius Zimand
2010Breaking the Rectangle Bound Barrier against Formula Size Lower Bounds.Kenya Ueno
2010Faster Approximation Schemes and Parameterized Algorithms onSiamak Tazari
2010Enumeration of the Monomials of a Polynomial and Related Complexity Classes.Yann Strozecki
2010Revisiting Ackermann-Hardness for Lossy Counter Machines and Reset Petri Nets.Philippe Schnoebelen
2010Parity Games with Partial Information Played on Graphs of Bounded Complexity.Bernd Puchala, Roman Rabinovich
2010Asynchronous Omega-Regular Games with Partial Information.Bernd Puchala
2010Does Treewidth Help in Modal Satisfiability? - (Extended Abstract).M. Praveen
2010The Complexity of Finding Reset Words in Finite Automata.Jrg Olschewski, Michael Ummels
2010Unambiguous Finite Automata over a Unary Alphabet.Alexander Okhotin
2010Do We Really Understand the Crossing Numbers?Bojan Mohar
2010Solving minones-2-sat as Fast as vertex cover.Neeldhara Misra, N. S. Narayanaswamy, Venkatesh Raman, Bal Sri Shankar
2010Harnessing MLGiulio Manzonetto, Paolo Tranquilli
2010Two Variables and Two Successors.Amaldev Manuel
2010Meta-Envy-Free Cake-Cutting Protocols.Yoshifumi Manabe, Tatsuaki Okamoto
2010Algorithmic Lower Bounds for Problems on Decomposable Graphs.Daniel Lokshtanov
2010Parameterized Complexity and Kernelizability of Max Ones and Exact Ones Problems.Stefan Kratsch, Dniel Marx, Magnus Wahlstrm
1,3511,375 of 3,347← PreviousNext →

Comparable venues

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