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
2006Constrained Minimum Enclosing Circle with Center on a Query Line Segment.Sasanka Roy, Arindam Karmakar, Sandip Das, Subhas C. Nandy
2006On Non-Interactive Zero-Knowledge Proofs of Knowledge in the Shared Random String Model.Giuseppe Persiano, Ivan Visconti
2006The Complexity of Counting Functions with Easy Decision Version.Aris Pagourtzis, Stathis Zachos
2006Untitled recordWael El Oraiby, Dominique Schmitt
2006The Data Complexity of MDatalog in Basic Modal Logics.Linh Anh Nguyen
2006The Price of Defense.Marios Mavronicolas, Loizos Michael, Vicky G. Papadopoulou, Anna Philippou, Paul G. Spirakis
2006Characterizing Valiant's Algebraic Complexity Classes.Guillaume Malod, Natacha Portier
2006Lempel-Ziv Dimension for Lempel-Ziv Compression.Mara Lpez-Valds
2006Querying and Embedding Compressed Texts.Yury Lifshits, Markus Lohrey
2006From Three Ideas in TCS to Three Applications in Bioinformatics.Ming Li
2006Minimal Chordal Sense of Direction and Circulant Graphs.Rodrigo S. C. Leo, Valmir Carneiro Barbosa
2006Faster Algorithm for Bisimulation Equivalence of Normed Context-Free Processes.Slawomir Lasota, Wojciech Rytter
2006Fast Iterative Arrays with Restricted Inter-cell Communication: Constructions and Decidability.Martin Kutrib, Andreas Malcher
2006Approximability of Bounded Occurrence Max Ones.Fredrik Kuivinen
2006On the Representation of Kleene Algebras with Tests.Dexter Kozen
2006A Reachability Algorithm for General Petri Nets Based on Transition Invariants.Alexander E. Kostin
2006Valiant's Model: From Exponential Sums to Exponential Products.Pascal Koiran, Sylvain Perifel
2006Systems of Equations over Finite Semigroups and the #CSP Dichotomy Conjecture.Ondrej Klma, Benot Larose, Pascal Tesson
2006Sorting Long Sequences in a Single Hop Radio Network.Marcin Kik
2006Probabilistic Length-Reducing Automata.Tomasz Jurdzinski
2006Generalised Integer Programming Based on Logically Defined Relations.Peter Jonsson, Gustav Nordh
2006Reductions for Monotone Boolean Circuits.Kazuo Iwama, Hiroki Morizumi
2006Guarantees for the Success Frequency of an Algorithm for Finding Dodgson-Election Winners.Christopher M. Homan, Lane A. Hemaspaandra
2006Non-cooperative Tree Creation.Martin Hoefer
2006On Matroid Representability and Minor Problems.Petr Hlinen
1,6011,625 of 3,347← PreviousNext →

Comparable venues

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