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
2020Palindromic k-Factorization in Pure Linear Time.Mikhail Rubinchik, Arseny M. Shur
2020Ambiguity Hierarchy of Regular Infinite Tree Languages.Alexander Rabinovich, Doron Tiferet
2020All Growth Rates of Abelian Exponents Are Attained by Infinite Binary Words.Jarkko Peltomki, Markus A. Whiteland
2020VC Density of Set Systems Definable in Tree-Like Graphs.Adam Paszke, Michal Pilipczuk
2020Preservation of Equations by Monoidal Monads.Louis Parlant, Jurriaan Rot, Alexandra Silva, Bas Westerbaan
2020Synchronous Boolean Finite Dynamical Systems on Directed Graphs over XOR Functions.Mitsunori Ogihara, Kei Uchizawa
2020On the Parameterized Complexity of Deletion to ℋ-Free Strong Components.Rian Neogi, M. S. Ramanujan, Saket Saurabh, Roohani Sharma
2020Optimally Resilient Strategies in Pushdown Safety Games.Daniel Neider, Patrick Totzke, Martin Zimmermann
2020Randomness and Effective Dimension of Continued Fractions.Satyadev Nandakumar, Prateek Vishnoi
2020Randomized Polynomial-Time Equivalence Between Determinant and Trace-IMM Equivalence Tests.Janaky Murthy, Vineet Nair, Chandan Saha
2020A Timecop's Work Is Harder Than You Think.Nils Morawietz, Carolin Rehs, Mathias Weller
2020Quick Separation in Chordal and Split Graphs.Pranabendu Misra, Fahad Panolan, Ashutosh Rai, Saket Saurabh, Roohani Sharma
2020Regular Choice Functions and Uniformisations For countable Domains.Vincent Michielini, Michal Skrzypczak
2020Knapsack and the Power Word Problem in Solvable Baumslag-Solitar Groups.Markus Lohrey, Georg Zetzsche
2020Analysing Spatial Properties on Neighbourhood Spaces.Sven Linker, Fabio Papacchini, Michele Sevegnani
2020Elimination Distance to Bounded Degree on Planar Graphs.Alexander Lindermayr, Sebastian Siebertz, Alexandre Vigny
2020Reducing Graph Transversals via Edge Contractions.Paloma T. Lima, Vincius Fernandes dos Santos, Ignasi Sau, Uverton S. Souza
2020Algorithms for the Rainbow Vertex Coloring Problem on Graph Classes.Paloma T. Lima, Erik Jan van Leeuwen, Marieke van der Wegen
2020Sensitivity Lower Bounds from Linear Dependencies.Sophie Laplante, Reza Naserasr, Anupa Sunny
2020Complexity of Counting First-Order Logic for the Subword Order.Dietrich Kuske, Christian Schwarz
2020Efficient Enumerations for Minimal Multicuts and Multiway Cuts.Kazuhiro Kurita, Yasuaki Kobayashi
2020On Repetition Languages.Orna Kupferman, Ofer Leshkowitz
2020Regular Resynchronizability of Origin Transducers Is Undecidable.Denis Kuperberg, Jan Martens
2020U-Bubble Model for Mixed Unit Interval Graphs and Its Applications: The MaxCut Problem Revisited.Jan Kratochvl, Toms Masark, Jana Novotn
2020Continuous and Monotone Machines.Michal Konecn, Florian Steinberg, Holger Thies
551575 of 3,347← PreviousNext →

Comparable venues

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