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
1992A Functorial Semantics for Observed Concurrency.David Murphy, Axel Poign
1992On the Expansion of Combinatorial Polytopes.Milena Mihail
1992Almost Every Set in Exponential Time is P-Bi-Immune.Elvira Mayordomo
1992Inferring a Tree from Walks.Osamu Maruyama, Satoru Miyano
1992Efficient Unidimensional Universal Cellular Automaton.Bruno Martin
1992Definitions and Comparisons of Local Computations on Graphs.Igor Litovsky, Yves Mtivier, ric Sopena
1992On Finite Automata with Limited Nondeterminism.Hing Leung
1992Parallel Recognition and Ranking of Context-Free Languages.Klaus-Jrn Lange, Peter Rossmanith, Wojciech Rytter
1992The Emptiness Problem for Intersections of Regular Languages.Klaus-Jrn Lange, Peter Rossmanith
1992Mobility in the CC-Paradigm.Cosimo Laneve, Ugo Montanari
1992Small Universal One-State Linear Operator Algorithm.Frantisek Kascak
1992Insertion and Deletion of Words: Determinism and Reversibility.Lila Kari
1992Characterization of Context-Free Languages by Erasing Automata.Petr Jancar, Frantisek Mrz, Martin Pltek
1992Merging and Sorting Strings in Parallel.Torben Hagerup, Ola Petersson
1992About Boundedness for some DATALOG and DATALOG_neg Programs.Irne Guessarian, Marcos Veloso Peixoto
1992Dataflow Semantics for Petri Nets.Robert Gold
1992A Threshold for Unsatisfiability.Andreas Goerdt
1992Poset Properties of Complex Traces.Paul Gastin, Antoine Petit
1992The Shuffle Exchange Network has a Hamiltonian Path.Rainer Feldmann, Peter Mysliwietz
1992Graph Layout Problems.Josep Daz
1992On Computational Power of Weighted Finite Automata.Denis Derencourt, Juhani Karhumki, Michel Latteux, Alain Terlutte
1992Parallel Complexity of Iterated Morphisms and the Arithmetic of Small Numbers.Carsten Damm, Markus Holzer, Klaus-Jrn Lange
1992Probabilistic and Pluralistic Learners with Mind Changes.Robert P. Daley, Bala Kalyanasundaram
1992Strong Normalization of Substitutions.Pierre-Louis Curien, Thrse Hardin, Alejandro Ros
1992Object Interaction.Jos Flix Costa, Amlcar Sernadas, Cristina Sernadas, Hans-Dieter Ehrich
2,4762,500 of 3,347← PreviousNext →

Comparable venues

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