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
2019Measuring what Matters: A Hybrid Approach to Dynamic Programming with Treewidth.Eduard Eiben, Robert Ganian, Thekla Hamm, O-joung Kwon
2019Aperiodic Weighted Automata and Weighted First-Order Logic.Manfred Droste, Paul Gastin
2019P-Optimal Proof Systems for Each NP-Set but no Complete Disjoint NP-Pairs Relative to an Oracle.Titus Dose
2019Counting Induced Subgraphs: An Algebraic Approach to #W[1]-hardness.Julian Drfler, Marc Roth, Johannes Schmitt, Philip Wellnitz
2019Additive Cellular Automata Over Finite Abelian Groups: Topological and Measure Theoretic Properties.Alberto Dennunzio, Enrico Formenti, Darij Grinberg, Luciano Margara
2019Upper Bounds on the Length of Minimal Solutions to Certain Quadratic Word Equations.Joel D. Day, Florin Manea, Dirk Nowotka
2019Finite Satisfiability of Unary Negation Fragment with Transitivity.Daniel Danielski, Emanuel Kieronski
2019New Pumping Technique for 2-Dimensional VASS.Wojciech Czerwinski, Slawomir Lasota, Christof Lding, Radoslaw Pirkowski
2019Listing Induced Steiner Subgraphs as a Compact Way to Discover Steiner Trees in Graphs.Alessio Conte, Roberto Grossi, Mamadou Moustapha Kant, Andrea Marino, Takeaki Uno, Kunihiro Wasa
2019RLE Edit Distance in Near Optimal Time.Raphal Clifford, Pawel Gawrychowski, Tomasz Kociumaka, Daniel P. Martin, Przemyslaw Uznanski
2019On the Expressivity of Linear Recursion Schemes.Pierre Clairambault, Andrzej S. Murawski
2019Distance Labeling Schemes for Cube-Free Median Graphs.Victor Chepoi, Arnaud Labourel, Sbastien Ratel
2019On the Stretch Factor of Polygonal Chains.Ke Chen, Adrian Dumitrescu, Wolfgang Mulzer, Csaba D. Tth
2019Indexing Graph Search Trees and Applications.Sankardeep Chakraborty, Kunihiko Sadakane
2019Faster FPT Algorithm for 5-Path Vertex Cover.Radovan Cerven, Ondrej Such
2019Spectral Aspects of Symmetric Matrix Signings.Charles Carlson, Karthekeyan Chandrasekaran, Hsien-Chih Chang, Naonori Kakimura, Alexandra Kolla
2019SZX-Calculus: Scalable Graphical Quantum Reasoning.Titouan Carette, Dominic Horsman, Simon Perdrix
2019Finding Optimal Solutions With Neighborly Help.Elisabet Burjons, Fabian Frei, Edith Hemaspaandra, Dennis Komm, David Wehner
2019Approximate Counting CSP Seen from the Other Side.Andrei A. Bulatov, Stanislav Zivn
2019Nash Equilibria in Games over Graphs Equipped with a Communication Mechanism.Patricia Bouyer, Nathan Thomasset
2019Recursion Schemes, Discrete Differential Equations and Characterization of Polynomial Time Computations.Olivier Bournez, Arnaud Durand
2019On Synthesis of Resynchronizers for Transducers.Sougata Bose, Shankara Narayanan Krishna, Anca Muscholl, Vincent Penelle, Gabriele Puppis
2019On the Coalgebra of Partial Differential Equations.Michele Boreale
2019The Perfect Matching Reconfiguration Problem.Marthe Bonamy, Nicolas Bousquet, Marc Heinrich, Takehiro Ito, Yusuke Kobayashi, Arnaud Mary, Moritz Mhlenthaler, Kunihiro Wasa
2019The Complexity of Homomorphism Indistinguishability.Jan Bker, Yijia Chen, Martin Grohe, Gaurav Rattan
676700 of 3,347← PreviousNext →

Comparable venues

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