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
2014Undecidable Properties of Self-affine Sets and Multi-tape Automata.Timo Jolivet, Jarkko Kari
2014Knocking Out P k -free Graphs.Matthew Johnson, Danil Paulusma, Anthony Stewart
2014On the Complexity of List Ranking in the Parallel External Memory Model.Riko Jacob, Tobias Lieber, Nodari Sitchinava
2014Lower Bounds for Splittings by Linear Combinations.Dmitry Itsykson, Dmitry Sokolov
2014The Monoid of Queue Actions.Martin Huschenbett, Dietrich Kuske, Georg Zetzsche
2014New Results for Non-Preemptive Speed Scaling.Chien-Chung Huang, Sebastian Ott
2014L ax F: Side Conditions and External Evidence as Monads.Furio Honsell, Luigi Liquori, Ivan Scagnetto
2014On Upper and Lower Bounds on the Length of Alternating Towers.Stepan Holub, Galina Jirskov, Toms Masopust
2014On Characterizations of Randomized Computation Using Plain Kolmogorov Complexity.Shuichi Hirahara, Akitoshi Kawamura
2014Circuit Complexity of Properties of Graphs with Constant Planar Cutwidth.Kristoffer Arnsfelt Hansen, Balagopal Komarath, Jayalal Sarma, Sven Skyum, Navid Talebanfard
2014Probabilistic Analysis of Power Assignments.Maurits de Graaf, Bodo Manthey
2014Editing to a Connected Graph of Given Degrees.Petr A. Golovach
2014Measure Properties of Game Tree Languages.Tomasz Gogacz, Henryk Michalewski, Matteo Mio, Michal Skrzypczak
2014Autoreducibility and Mitoticity of Logspace-Complete Sets for NP and Other Classes.Christian Glaer, Maximilian Witek
2014Transforming Two-Way Alternating Finite Automata to One-Way Nondeterministic Automata.Viliam Geffert, Alexander Okhotin
2014Monadic Second-Order Logic with Arbitrary Monadic Predicates.Nathanal Fijalkow, Charles Paperman
2014Two Recursively Inseparable Problems for Probabilistic Automata.Nathanal Fijalkow, Hugo Gimbert, Florian Horn, Youssouf Oualhadj
2014Intersection Graphs of L-Shapes and Segments in the Plane.Stefan Felsner, Kolja B. Knauer, George B. Mertzios, Torsten Ueckerdt
2014A Reconfigurations Analogue of Brooks' Theorem.Carl Feghali, Matthew Johnson, Danil Paulusma
2014Streaming Kernelization.Stefan Fafianie, Stefan Kratsch
2014Query-Competitive Algorithms for Cheapest Set Problems under Uncertainty.Thomas Erlebach, Michael Hoffmann, Frank Kammer
2014Expressivity and Succinctness of Order-Invariant Logics on Depth-Bounded Structures.Kord Eickmeyer, Michael Elberfeld, Frederik Harwath
2014Relating Nominal and Higher-Order Rewriting.Jess Domnguez, Maribel Fernndez
2014Minimum Bisection Is NP-hard on Unit Disk Graphs.Josep Daz, George B. Mertzios
2014A Note on the Minimum Distance of Quantum LDPC Codes.Nicolas Delfosse, Zhentao Li, Stphan Thomass
1,1011,125 of 3,347← PreviousNext →

Comparable venues

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