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
2012Reductions to the Set of Random Strings: The Resource-Bounded Case.Eric Allender, Harry Buhrman, Luke Friedman, Bruno Loff
2012A Polynomial-Time Algorithm for Computing the Maximum Common Subgraph of Outerplanar Graphs of Bounded Degree.Tatsuya Akutsu, Takeyuki Tamura
2012Unordered Constraint Satisfaction Games.Lauri Ahlroth, Pekka Orponen
2011New Parameterized Algorithms for the Edge Dominating Set Problem.Mingyu Xiao, Ton Kloks, Sheung-Hung Poon
2011New Proofs in Graph Minors.Paul Wollan
2011Linear Problem Kernels for Planar Graph Problems with Small Distance Property.Jianxin Wang, Yongjie Yang, Jiong Guo, Jianer Chen
2011Lower Bounds for Linear Decision Trees via an Energy Complexity Argument.Kei Uchizawa, Eiji Takimoto
2011Untimed Language Preservation in Timed Systems.Ocan Sankur
2011Generic Techniques to Round SDP Relaxations.Prasad Raghavendra
2011Problems Parameterized by Treewidth Tractable in Single Exponential Time: A Logical Approach.Michal Pilipczuk
2011Transduction on Kadanoff Sand Pile Model Avalanches, Application to Wave Pattern Emergence.Kvin Perrot, Eric Rmila
2011Conflict Packing Yields Linear Vertex-Kernels for k -FAST, k -dense RTI and a Related Problem.Christophe Paul, Anthony Perez, Stphan Thomass
2011State Complexity of Operations on Input-Driven Pushdown Automata.Alexander Okhotin, Kai Salomaa
2011Periodicity Algorithms for Partial Words.Florin Manea, Robert Mercas, Catalin Tiseanu
2011Pushing for Weighted Tree Automata.Andreas Maletti, Daniel Quernheim
2011Compressed Word Problems for Inverse Monoids.Markus Lohrey
2011Symmetric Functions Capture General Functions.Richard J. Lipton, Kenneth W. Regan, Atri Rudra
2011Size and Computation of Injective Tree Automatic Presentations.Dietrich Kuske, Thomas Weidner
2011Geometric Graphs with Randomly Deleted Edges - Connectivity and Routing Protocols.Krzysztof Krzywdzinski, Katarzyna Rybarczyk
2011Streaming Algorithms for Recognizing Nearly Well-Parenthesized Expressions.Andreas Krebs, Nutan Limaye, Srikanth Srinivasan
2011Submodularity on a Tree: Unifying $L^\natural$ -Convex and Bisubmodular Functions.Vladimir Kolmogorov
2011Some Variants of the Star Height Problem.Daniel Kirsten
2011Can Everybody Sit Closer to Their Friends Than Their Enemies?Anne-Marie Kermarrec, Christopher Thraves
2011On the Approximability of Minimum Topic Connected Overlay and Its Special Instances.Jun Hosoda, Juraj Hromkovic, Taisuke Izumi, Hirotaka Ono, Monika Steinov, Koichi Wada
2011A Universally Defined Undecidable Unimodal Logic.Edith Hemaspaandra, Henning Schnoor
1,3011,325 of 3,347← PreviousNext →

Comparable venues

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