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
2015Fast Dynamic Weight Matchings in Convex Bipartite Graphs.Quan Zu, Miaomiao Zhang, Bin Yu
2015Maximum Minimal Vertex Cover Parameterized by Vertex Cover.Meirav Zehavi
2015Efficient Algorithm for Computing All Low s-t Edge Connectivities in Directed Graphs.Xiaowei Wu, Chenzi Zhang
2015Active Linking Attacks.Henning Schnoor, Oliver Woizekowski
2015Finding Consensus Strings with Small Length Difference Between Input and Solution Strings.Markus L. Schmid
2015Equations and Coequations for Weighted Automata.Julian Salamanca, Marcello M. Bonsangue, Jan J. M. M. Rutten
2015Lost in Self-Stabilization.Damien Regnault, Eric Rmila
2015Efficient Equilibria in Polymatrix Coordination Games.Mona Rahn, Guido Schfer
2015Generalized Pseudoforest Deletion: Algorithms and Uniform Kernel.Geevarghese Philip, Ashutosh Rai, Saket Saurabh
2015Emergence on Decreasing Sandpile Models.Kvin Perrot, Eric Rmila
2015Computability on the Countable Ordinals and the Hausdorff-Kuratowski Theorem (Extended Abstract).Arno Pauly
2015Degree-Constrained Subgraph Reconfiguration is in P.Moritz Mhlenthaler
2015On Sampling Simple Paths in Planar Graphs According to Their Lengths.Sandro Montanari, Paolo Penna
2015The Offline Carpool Problem Revisited.Saad Mneimneh, Saman Farhat
2015Densest Subgraph in Dynamic Graph Streams.Andrew McGregor, David Tench, Sofya Vorotnikova, Hoa T. Vu
2015Eliminating Recursion from Monadic Datalog Programs on Trees.Filip Mazowiecki, Joanna Ochremiak, Adam Witkowski
2015On the Complexity of Reconfiguration in Systems with Legacy Components.Jacopo Mauro, Gianluigi Zavattaro
2015Robust Inference and Local Algorithms.Yishay Mansour
2015On Probabilistic Space-Bounded Machines with Multiple Access to Random Tape.Debasis Mandal, Aduri Pavan, N. V. Vinodchandran
2015Definability by Weakly Deterministic Regular Expressions with Counters is Decidable.Markus Latte, Matthias Niewerth
2015Precise Upper and Lower Bounds for the Monotone Constraint Satisfaction Problem.Victor Lagerkvist
2015Reversible and Irreversible Computations of Deterministic Finite-State Devices.Martin Kutrib
2015Ratio and Weight Quantiles.Daniel Krhmann, Jana Schubert, Christel Baier, Clemens Dubslaff
2015Faster Lightweight Lempel-Ziv Parsing.Dmitry Kosolobov
2015Parallel Identity Testing for Skew Circuits with Big Powers and Applications.Daniel Knig, Markus Lohrey
9761,000 of 3,347← PreviousNext →

Comparable venues

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