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
2005Regular Sets of Higher-Order Pushdown Stacks.Arnaud Carayol
2005Coloring Sparse RandomJulia Bttcher
2005Adversarial Queueing Model for Continuous Network Dynamics.Maria J. Blesa, Daniel Calzada, Antonio Fernndez, Luis Lpez, Andrs L. Martnez, Agustn Santos, Maria J. Serna
2005Page Migration in Dynamic Networks.Marcin Bienkowski, Friedhelm Meyer auf der Heide
2005Abstract Numeration Systems and Tilings.Valrie Berth, Michel Rigo
2005Isomorphic Implication.Michael Bauland, Edith Hemaspaandra
2005On the Complexity of Depth-2 Circuits with Threshold Gates.Kazuyuki Amano, Akira Maruoka
2005Pure Nash Equilibria in Games with a Large Number of Actions.Carme lvarez, Joaquim Gabarr, Maria J. Serna
2005On the Number of Random Digits Required in MonteCarlo Integration of Definable Functions.Csar Luis Alonso, Jos Luis Montaa, Luis Miguel Pardo
2005The Complexity of Satisfiability Problems: Refining Schaefer's Theorem.Eric Allender, Michael Bauland, Neil Immerman, Henning Schnoor, Heribert Vollmer
2004Sublogarithmic Ambiguity.Klaus Wich
2004Geometric Optimization and Unique Sink Orientations of Cubes p.Emo Welzl
2004Algebraic Recognizability of Languages.Pascal Weil
2004PRAM-On-Chip: A Quest for Not-So-Obvious Non-obviousness.Uzi Vishkin
2004The Complexity of Membership Problems for Circuits over Sets of Integers.Stephen D. Travers
2004A Case Study of Genome Evolution: From Continuous to Discrete Time Model.Jerzy Tiuryn, Ryszard Rudnicki, Damian Wjtowicz
2004Captive Cellular Automata.Guillaume Theyssier
2004A Reducibility for the Dot-Depth Hierarchy.Victor L. Selivanov, Klaus W. Wagner
2004On NCAlfredo De Santis, Giovanni Di Crescenzo, Giuseppe Persiano
2004Simulating 3D Cellular Automata with 2D Cellular Automata.Victor Poupet
2004On Pseudovarieties of Semiring Homomorphisms.Libor Polk
2004An Elementary Proof for the Non-parametrizability of the Equation xyz=zvx.Elena Petre
2004The Dual of Concatenation.Alexander Okhotin
2004Packing Directed Cycles Efficiently.Zeev Nutov, Raphael Yuster
2004The Complexity of Equivalence and Isomorphism of Systems of Equations over Finite Groups.Gustav Nordh
1,7261,750 of 3,347← PreviousNext →

Comparable venues

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