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
2019Parameterized Complexity of Fair Vertex Evaluation Problems.Dusan Knop, Toms Masark, Toms Toufar
2019One-Dimensional Guarded Fragments.Emanuel Kieronski
2019Efficient Analysis of Unambiguous Automata Using Matrix Semigroup Techniques.Stefan Kiefer, Cas Widdershoven
2019The Power of the Weisfeiler-Leman Algorithm to Decompose Graphs.Sandra Kiefer, Daniel Neuen
2019Counting Homomorphisms Modulo a Prime Number.Amirhossein Kazeminia, Andrei A. Bulatov
2019Popular Matchings: Good, Bad, and Mixed (Invited Talk).Telikepalli Kavitha
2019A Complexity Dichotomy for Critical Values of the b-Chromatic Number of Graphs.Lars Jaffke, Paloma T. Lima
2019Semicomputable Points in Euclidean Spaces.Mathieu Hoyrup, Donald M. Stull
2019Approximating the Orthogonality Dimension of Graphs and Hypergraphs.Ishay Haviv
2019Query-Competitive Sorting with Uncertainty.Magns M. Halldrsson, Murilo Santos de Lima
2019A Constant-Time Colored Choice Dictionary with Almost Robust Iteration.Torben Hagerup
2019Counting of Teams in First-Order Team Logics.Anselm Haak, Juha Kontinen, Fabian Mller, Heribert Vollmer, Fan Yang
2019On the Symmetries of and Equivalence Test for Design Polynomials.Nikhil Gupta, Chandan Saha
2019Choiceless Logarithmic Space.Erich Grdel, Svenja Schalthfer
2019Enumeration of Preferred Extensions in Almost Oriented Digraphs.Serge Gaspers, Ray Li
2019Resolution Lower Bounds for Refutation Statements.Michal Garlk
2019Random Subgroups of Rationals.Ziyuan Gao, Sanjay Jain, Bakhadyr Khoussainov, Wei Li, Alexander G. Melnikov, Karen Seidel, Frank Stephan
2019A Congruence-based Perspective on Automata Minimization Algorithms.Pierre Ganty, Elena Gutirrez, Pedro Valero
2019Bounded-Depth Frege Complexity of Tseitin Formulas for All Graphs.Nicola Galesi, Dmitry Itsykson, Artur Riazanov, Anastasia Sofronova
2019Reducing the Domination Number of Graphs via Edge Contractions.Esther Galby, Paloma T. Lima, Bernard Ries
2019Tangles and Single Linkage Hierarchical Clustering.Eva Fluck
2019The Quantifier Alternation Hierarchy of Synchronous Relations.Diego Figueira, Varun Ramanathan, Pascal Weil
2019Computational Complexity of Synchronization under Regular Constraints.Henning Fernau, Vladimir V. Gusev, Stefan Hoffmann, Markus Holzer, Mikhail V. Volkov, Petra Wolf
2019Deleting Edges to Restrict the Size of an Epidemic in Temporal Networks.Jessica A. Enright, Kitty Meeks, George B. Mertzios, Viktor Zamaraev
2019Domination Above r-Independence: Does Sparseness Help?Carl Einarson, Felix Reidl
651675 of 3,347← PreviousNext →

Comparable venues

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