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
2015Synchronizing Automata with Extremal Properties.Andrzej Kisielewicz, Marek Szykula
2015Graphs Identified by Logics with Counting.Sandra Kiefer, Pascal Schweitzer, Erkal Selman
2015On the Hardness of Almost-Sure Termination.Benjamin Lucien Kaminski, Joost-Pieter Katoen
2015A Numbers-on-Foreheads Game.Sune K. Jakobsen
2015Differential Bisimulation for a Markovian Process Algebra.Giulio Iacobelli, Mirco Tribastone, Andrea Vandin
2015Upper and Lower Bounds on Long Dual Paths in Line Arrangements.Udo Hoffmann, Linda Kleist, Tillmann Miltzow
2015Modal Inclusion Logic: Being Lax is Simpler than Being Strict.Lauri Hella, Antti Kuusisto, Arne Meier, Heribert Vollmer
2015The Price of Connectivity for Cycle Transversals.Tatiana Romina Hartinger, Matthew Johnson, Martin Milanic, Danil Paulusma
2015Complexity of Propositional Independence and Inclusion Logic.Miika Hannula, Juha Kontinen, Jonni Virtema, Heribert Vollmer
2015Visibly Counter Languages and the Structure of NCMichael Hahn, Andreas Krebs, Klaus-Jrn Lange, Michael Ludwig
2015Easy Multiple-Precision Divisors and Word-RAM Constants.Torben Hagerup
2015QMA with Subset State Witnesses.Alex Bredariol Grilo, Iordanis Kerenidis, Jamie Sikora
2015Finitary Semantics of Linear Logic and Higher-Order Model-Checking.Charles Grellois, Paul-Andr Mellis
2015Strong Inapproximability of the Shortest Reset Word.Pawel Gawrychowski, Damian Straszak
2015Log-Concavity and Lower Bounds for Arithmetic Circuits.Ignacio Garca-Marco, Pascal Koiran, Sbastien Tavenas
2015Algorithmic Applications of Tree-Cut Width.Robert Ganian, Eun Jung Kim, Stefan Szeider
2015Parameterized Algorithms for Parity Games.Jakub Gajarsk, Michael Lampis, Kazuhisa Makino, Valia Mitsou, Sebastian Ordyniak
2015The Transitivity Problem of Turing Machines.Anah Gajardo, Nicolas Ollinger, Rodrigo Torres-Avils
2015The Shifted Partial Derivative Complexity of Elementary Symmetric Polynomials.Herv Fournier, Nutan Limaye, Meena Mahajan, Srikanth Srinivasan
2015Metastability of Asymptotically Well-Behaved Potential Games - (Extended Abstract).Diodato Ferraioli, Carmine Ventre
2015A Shortcut to (Sun)Flowers: Kernels in Logarithmic Space or Linear Time.Stefan Fafianie, Stefan Kratsch
2015Polynomial Kernels for Weighted Problems.Michael Etscheid, Stefan Kratsch, Matthias Mnich, Heiko Rglin
2015Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview.Zoltn sik
2015On the Complexity of Master Problems.Martijn van Ee, Ren Sitters
2015Quasiperiodicity and Non-computability in Tilings.Bruno Durand, Andrei Romashchenko
1,0011,025 of 3,347← PreviousNext →

Comparable venues

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