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
2009Towards a Dichotomy of Finding Possible Winners in Elections Based on Scoring Rules.Nadja Betzler, Britta Dorn
2009Private Capacities in Mechanism Design.Vincenzo Auletta, Paolo Penna, Giuseppe Persiano
2009Four Subareas of the Theory of Constraints, and Their Links.Albert Atserias
2009Energy-Efficient Communication in Multi-interface Wireless Networks.Stavros Athanassopoulos, Ioannis Caragiannis, Christos Kaklamanis, Evi Papaioannou
2009An Improved Approximation Bound for Spanning Star Forest and Color Saving.Stavros Athanassopoulos, Ioannis Caragiannis, Christos Kaklamanis, Maria Kyropoulou
2009Arithmetic Circuits, Monomial Algebras and Finite Automata.Vikraman Arvind, Pushkar S. Joglekar
2008Short Proofs of Strong Normalization.Aleksander Wojdyga
2008Monadic Second Order Logic on Graphs with Local Cardinality Constraints.Stefan Szeider
2008Algebraic Graph Algorithms.Piotr Sankowski
2008On the Decidability of Bounded Valuedness for Transducers.Jacques Sakarovitch, Rodrigo de Souza
2008Resolution Width and Cutting Plane Rank Are Incomparable.Mark Nicholas Charles Rhodes
2008Directed Percolation Arising in Stochastic Cellular Automata Analysis.Damien Regnault
2008A New Upper Bound for Max-2-SAT: A Graph-Theoretic Approach.Daniel Raible, Henning Fernau
2008Approximating Independent Set and Coloring in Random Uniform Hypergraphs.Kai Plociennik
2008A Random Oracle Does Not Help Extract the Mutual Information.Andrei A. Muchnik, Andrei Romashchenko
2008Colouring Random Empire Trees.Andrew R. A. McGrae, Michele Zito
2008Voronoi Games on Cycle Graphs.Marios Mavronicolas, Burkhard Monien, Vicky G. Papadopoulou, Florian Schoppmann
2008A Complete Axiomatic System for a Process-Based Spatial Logic.Radu Mardare, Alberto Policriti
2008From lambda-Calculus to Universal Algebra and Back.Giulio Manzonetto, Antonino Salibra
2008Smoothed Analysis of Binary Search Trees and Quicksort under Additive Noise.Bodo Manthey, Till Tantau
2008Arithmetic Circuits, Syntactic Multilinearity, and the Limitations of Skew Formulae.Meena Mahajan, B. V. Raghavendra Rao
2008The Height of Factorization Forests.Manfred Kufleitner
2008Deterministic Models of Communication Faults.Rastislav Kralovic, Richard Krlovic
2008Step-Out Ring Signatures.Marek Klonowski, Lukasz Krzywiecki, Miroslaw Kutylowski, Anna Lauks
2008Periodicity and Immortality in Reversible Computing.Jarkko Kari, Nicolas Ollinger
1,4761,500 of 3,347← PreviousNext →

Comparable venues

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