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
2019From Regular Expression Matching to Parsing.Philip Bille, Inge Li Grtz
2019An Improved Online Algorithm for the Traveling Repairperson Problem on a Line.Marcin Bienkowski, Hsiang-Hsuan Liu
2019Better Bounds for Online Line Chasing.Marcin Bienkowski, Jaroslaw Byrka, Marek Chrobak, Christian Coester, Lukasz Jez, Elias Koutsoupias
2019Packing Arc-Disjoint Cycles in Tournaments.Stphane Bessy, Marin Bougeret, R. Krithika, Abhishek Sahu, Saket Saurabh, Jocelyn Thiebaut, Meirav Zehavi
2019Constant Delay Enumeration with FPT-Preprocessing for Conjunctive Queries of Bounded Submodular Width.Christoph Berkholz, Nicole Schweikardt
2019On the Mortality Problem: From Multiplicative Matrix Equations to Linear Recurrence Sequences and Beyond.Paul C. Bell, Igor Potapov, Pavel Semukhin
2019Acceptance Ambiguity for Quantum Automata.Paul C. Bell, Mika Hirvensalo
2019Fault Tolerant and Fully Dynamic DFS in Undirected Graphs: Simple Yet Efficient.Surender Baswana, Shiv Kumar Gupta, Ayush Tulsyan
2019Multistage Knapsack.Evripidis Bampis, Bruno Escoffier, Alexandre Teiller
2019Bidding Mechanisms in Graph Games.Guy Avni, Thomas A. Henzinger, Dorde Zikelic
2019The Domino Problem is Undecidable on Surface Groups.Nathalie Aubrun, Sebastin Barbieri, Etienne Moutot
2019Solving Systems of Equations in Supernilpotent Algebras.Erhard Aichinger
2019Parameterized Complexity of Conflict-Free Matchings and Paths.Akanksha Agrawal, Pallavi Jain, Lawqueen Kanesh, Saket Saurabh
2019Trustworthy Graph Algorithms (Invited Talk).Mohammad Abdulaziz, Kurt Mehlhorn, Tobias Nipkow
2018The Complexity of Finding Small Separators in Temporal Graphs.Philipp Zschoche, Till Fluschnik, Hendrik Molter, Rolf Niedermeier
2018Front Matter, Table of Contents, Preface, Conference Organization.
2018Results on the Dimension Spectra of Planar Lines.Donald M. Stull
2018Finding Short Synchronizing Words for Prefix Codes.Andrew Ryzhikov, Marek Szykula
2018Concurrent Games and Semi-Random Determinacy.Stphane Le Roux
2018Deterministically Counting Satisfying Assignments for Constant-Depth Circuits with Parity Gates, with Implications for Lower Bounds.Ninad Rajgopal, Rahul Santhanam, Srikanth Srinivasan
2018Tight Bounds for Deterministic h-Shot Broadcast in Ad-Hoc Directed Radio Networks.Aris Pagourtzis, Tomasz Radzik
2018Polynomial-Time Equivalence Testing for Deterministic Fresh-Register Automata.Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos
2018Reconfiguration of Graph Minors.Benjamin R. Moore, Naomi Nishimura, Vijay Subramanya
2018Tree Tribes and Lower Bounds for Switching Lemmas.Jenish C. Mehta
2018Lagrange's Theorem for Binary Squares.P. Madhusudan, Dirk Nowotka, Aayush Rajasekaran, Jeffrey O. Shallit
701725 of 3,347← PreviousNext →

Comparable venues

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