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
2010On Factor Universality in Symbolic Spaces.Laurent Boyer, Guillaume Theyssier
2010Robust Computations with Dynamical Systems.Olivier Bournez, Daniel Silva Graa, Emmanuel Hainry
2010Exponential Space Complexity for Symbolic Maximum Flow Algorithms in 0-1 Networks.Beate Bollig
2010Faster Algorithms on Branch and Clique Decompositions.Hans L. Bodlaender, Erik Jan van Leeuwen, Johan M. M. van Rooij, Martin Vatshelle
2010Distance Constraint Satisfaction Problems.Manuel Bodirsky, Vctor Dalmau, Barnaby Martin, Michael Pinsker
2010Improved Approximability and Non-approximability Results for Graph Diameter Decreasing Problems.Davide Bil, Luciano Gual, Guido Proietti
2010Finding Best Swap Edges Minimizing the Routing Cost of a Spanning Tree.Davide Bil, Luciano Gual, Guido Proietti
2010Counting Minimum (Ivona Bezkov, Adam J. Friedlander
2010On Problem Kernels for Possible Winner Determination under theNadja Betzler
2010Persistent Homology under Non-uniform Error.Paul Bendich, Herbert Edelsbrunner, Michael Kerber, Amit K. Patel
2010A dexptime-Complete Dolev-Yao Theory with Distributive Encryption.Anguraj Baskar, Ramaswamy Ramanujam, S. P. Suresh
2010Scheduling Real-Time Mixed-Criticality Jobs.Sanjoy K. Baruah, Vincenzo Bonifaci, Gianlorenzo D'Angelo, Haohan Li, Alberto Marchetti-Spaccamela, Nicole Megow, Leen Stougie
2010Semi-linear Parikh Images of Regular Expressions via Reduction.Bahareh Badban, Mohammad Torabi Dashti
2010Proof Systems and Transformation Games.Yoram Bachrach, Michael Zuckerman, Michael J. Wooldridge, Jeffrey S. Rosenschein
2010Weights of Exact Threshold Functions.Lszl Babai, Kristoffer Arnsfelt Hansen, Vladimir V. Podolskii, Xiaoming Sun
2010Slowly Synchronizing Automata and Digraphs.Dimitry S. Ananichev, Vladimir V. Gusev, Mikhail V. Volkov
2010New Developments in Quantum Algorithms.Andris Ambainis
2010Balanced Queries: Divide and Conquer.Dmitri Akatov, Georg Gottlob
2009The Expressive Power of Binary Submodular Functions.Stanislav Zivn, David A. Cohen, Peter G. Jeavons
2009How to Sort a Train.Peter Widmayer
2009Size and Energy of Threshold Circuits Computing Mod Functions.Kei Uchizawa, Takao Nishizeki, Eiji Takimoto
2009On Pebble Automata for Data Languages with Decidable Emptiness Problem.Tony Tan
2009Partial Solution and Entropy.Tadao Takaoka
2009Partial Randomness and Dimension of Recursively Enumerable Reals.Kohtaro Tadaki
2009From Parity and Payoff Games to Linear Programming.Sven Schewe
1,4011,425 of 3,347← PreviousNext →

Comparable venues

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