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
2008One Useful Logic That Defines Its Own Truth.Andreas Blass, Yuri Gurevich
2008Optimizing Conjunctive Queries over Trees Using Schema Information.Henrik Bjrklund, Wim Martens, Thomas Schwentick
2008Shortest Synchronizing Strings for Huffman Codes.Marek Tomasz Biskup
2008When Ignorance Helps: Graphical Multicast Cost Sharing Games.Vittorio Bil, Angelo Fanelli, Michele Flammini, Luca Moscardelli
2008The Maximum Independent Set Problem in Planar Graphs.Vladimir E. Alekseev, Vadim V. Lozin, Dmitriy S. Malyshev, Martin Milanic
2008Question/Answer Games on Towers and Pyramids.Sarmad Abbasi, Numan Sheikh
2007Hardness Results for Tournament Isomorphism and Automorphism.Fabian Wagner
2007Evolvability.Leslie G. Valiant
2007Structural Analysis of Gapped Motifs of a String.Esko Ukkonen
2007Complexity Upper Bounds for Classical Locally Random Reductions Using a Quantum Computational Argument.Rahul Tripathi
2007An Improved Claw Finding Algorithm Using Quantum Walk.Seiichiro Tani
2007Efficient Provably-Secure Hierarchical Key Assignment Schemes.Alfredo De Santis, Anna Lisa Ferrara, Barbara Masucci
2007Approximation Algorithms for the Maximum Internal Spanning Tree Problem.Gbor Salamon
2007Progresses in the Analysis of Stochastic 2D Cellular Automata: A Study of Asynchronous 2D Minority.Damien Regnault, Nicolas Schabanel, Eric Thierry
2007Dobrushin Conditions for Systematic Scan with Block Dynamics.Kasper Pedersen
2007Hierarchies of Infinite Structures Generated by Pushdown Automata and Recursion Schemes.C.-H. Luke Ong
2007Height-Deterministic Pushdown Automata.Dirk Nowotka, Jir Srba
2007Randomized and Approximation Algorithms for Blue-Red Matching.Christos Nomikos, Aris Pagourtzis, Stathis Zachos
2007Expander Properties and the Cover Time of Random Intersection Graphs.Sotiris E. Nikoletseas, Christoforos L. Raptopoulos, Paul G. Spirakis
2007Combinatorial Proof that Subprojective Constraint Satisfaction Problems are NP-Complete.Jaroslav Nesetril, Mark H. Siggers
2007Relating Complete and Partial Solution for Problems Similar to Graph Automorphism.Takayuki Nagoya, Seinosuke Toda
2007Traces of Term-Automatic Graphs.Antoine Meyer
2007Minimum Cycle Bases in Graphs Algorithms and Applications.Kurt Mehlhorn
2007Real Computational Universality: The Word Problem for a Class of Groups with Infinite Presentation.Klaus Meer, Martin Ziegler
2007Congestion Games with Player-Specific Constants.Marios Mavronicolas, Igal Milchtaich, Burkhard Monien, Karsten Tiemann
1,5261,550 of 3,347← PreviousNext →

Comparable venues

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