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
2004An Algorithmic Argument for Nonadaptive Query Complexity Lower Bounds on Advised Quantum Computation (Extended Abstract).Harumichi Nishimura, Tomoyuki Yamakami
2004Ubiquitous Parameterization - Invitation to Fixed-Parameter Algorithms.Rolf Niedermeier
2004Complexity of Decision Problems for Simple Regular Expressions.Wim Martens, Frank Neven, Thomas Schwentick
2004Compositional Verification: Decidability Issues Using Graph Substitutions.Olivier Ly
2004Epistemic Foundation of the Well-Founded Semantics over Bilattices.Yann Loyer, Umberto Straccia
2004Membership and Reachability Problems for Row-Monomial Transformations.Alexei Lisitsa, Igor Potapov
2004On Polynomially Time Bounded Symmetry of Information.Troy Lee, Andrei Romashchenko
2004Structural Model Checking for Communicating Hierarchical Machines.Ruggero Lanotte, Andrea Maggiolo-Schettini, Adriano Peron
2004Group Coloring and List Group Coloring Are PiDaniel Krl, Pavel Nejedl
2004Congestion Games and Coordination Mechanisms.Elias Koutsoupias
2004Universal Test for Quantum One-Way Permutations.Akinori Kawachi, Hirotada Kobayashi, Takeshi Koshiba, Raymond H. Putra
2004A Generalization of Repetition Threshold.Lucian Ilie, Pascal Ochem, Jeffrey O. Shallit
2004Crossing Number Is Hard for Cubic Graphs.Petr Hlinen
2004Scaled Dimension and the Kolmogorov Complexity of Turing-Hard Sets.John M. Hitchcock, Mara Lpez-Valds, Elvira Mayordomo
2004Complexity Results in Graph Reconstruction.Edith Hemaspaandra, Lane A. Hemaspaandra, Stanislaw P. Radziszowski, Rahul Tripathi
2004All Superlinear Inverse Schemes Are coNP-Hard.Edith Hemaspaandra, Lane A. Hemaspaandra, Harald Hempel
2004Some Meet-in-the-Middle Circuit Lower Bounds.Kristoffer Arnsfelt Hansen, Peter Bro Miltersen
2004Multicoloring: Problems and Techniques.Magns M. Halldrsson, Guy Kortsarz
2004Approximating Boolean Functions by OBDDs.Andr Gronemeier
2004Event Structures for Resolvable Conflict.Rob J. van Glabbeek, Gordon D. Plotkin
2004When Can You Play Positionally?Hugo Gimbert, Wieslaw Zielonka
2004The Price of Anarchy for Polynomial Social Cost.Martin Gairing, Thomas Lcking, Marios Mavronicolas, Burkhard Monien
2004Graph Exploration by a Finite Automaton.Pierre Fraigniaud, David Ilcinkas, Guy Peer, Andrzej Pelc, David Peleg
2004A Geometric Approach to Parameterized Algorithms for Domination Problems on Planar Graphs.Henning Fernau, David W. Juedes
2004An Algebraic Generalization of omega-Regular Languages.Zoltn sik, Werner Kuich
1,7511,775 of 3,347← PreviousNext →

Comparable venues

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