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
2018Fast Entropy-Bounded String Dictionary Look-Up with Mismatches.Pawel Gawrychowski, Gad M. Landau, Tatiana Starikovskaya
2018Sliding Windows over Context-Free Languages.Moses Ganardi, Artur Jez, Markus Lohrey
2018Interactive Proofs with Polynomial-Time Quantum Prover for Computing the Order of Solvable Groups.Franois Le Gall, Tomoyuki Morimae, Harumichi Nishimura, Yuki Takeuchi
2018Recovering Sparse Graphs.Jakub Gajarsk, Daniel Krl
2018Testing Simon's congruence.Lukas Fleischer, Manfred Kufleitner
2018Hardness Results for Consensus-Halving.Aris Filos-Ratsikas, Sren Kristoffer Stiil Frederiksen, Paul W. Goldberg, Jie Zhang
2018A Two-Sided Error Distributed Property Tester For Conductance.Hendrik Fichtenberger, Yadu Vasudev
2018Quantum vs. Classical Proofs and Subset Verification.Bill Fefferman, Shelby Kimmel
2018The Complexity of Transducer Synthesis from Multi-Sequential Specifications.Lo Exibard, Emmanuel Filiot, Ismal Jecker
2018Faster Exploration of Degree-Bounded Temporal Graphs.Thomas Erlebach, Jakob T. Spooner
2018A Feferman-Vaught Decomposition Theorem for Weighted MSO Logic.Manfred Droste, Erik Paul
2018Largest Weight Common Subtree Embeddings with Distance Penalties.Andre Droschinsky, Nils M. Kriege, Petra Mutzel
2018Optimization over the Boolean Hypercube via Sums of Nonnegative Circuit Polynomials.Mareike Dressler, Adam Kurpisz, Timo de Wolff
2018Balance Problems for Integer Circuits.Titus Dose
2018Pairing heaps: the forward variant.Dani Dorfman, Haim Kaplan, Lszl Kozma, Uri Zwick
2018Treewidth-Two Graphs as a Free Algebra.Christian Doczkal, Damien Pous
2018On Pseudodeterministic Approximation Algorithms.Peter Dixon, Aduri Pavan, N. V. Vinodchandran
2018A Subquadratic Algorithm for 3XOR.Martin Dietzfelbinger, Philipp Schlag, Stefan Walzer
2018Directed Graph Minors and Serial-Parallel Width.Argyrios Deligkas, Reshef Meir
2018Probabilistic Secret Sharing.Paolo D'Arco, Roberto De Prisco, Alfredo De Santis, Angel L. Prez del Pozo, Ugo Vaccaro
2018Low Rank Approximation of Binary Matrices: Column Subset Selection and Generalizations.Chen Dan, Kristoffer Arnsfelt Hansen, He Jiang, Liwei Wang, Yuchen Zhou
2018On Hadamard Series and Rotating Q-Automata.Louis-Marie Dando, Sylvain Lombardy
2018On the Price of Independence for Vertex Cover, Feedback Vertex Set and Odd Cycle Transversal.Konrad K. Dabrowski, Matthew Johnson, Giacomo Paesani, Danil Paulusma, Viktor Zamaraev
2018Listing Subgraphs by Cartesian Decomposition.Alessio Conte, Roberto Grossi, Andrea Marino, Romeo Rizzi, Luca Versari
2018A Tight Analysis of the Parallel Undecided-State Dynamics with Two Colors.Andrea Clementi, Mohsen Ghaffari, Luciano Gual, Emanuele Natale, Francesco Pasquale, Giacomo Scornavacca
751775 of 3,347← PreviousNext →

Comparable venues

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