International Symposium on Mathematical Foundations of Computer Science

MFCS

CORE rank

CORE rank (raw)

Fields of research

Theory of Computation

Papers indexed

3,347

1973–2026

Best Theory of Computation conferences

Papers per year

1973101 peak2026

Most published authors

MFCS papers

3,347 records sourced from DBLP. Search titles, filter by year, sort by recency.

Year	Title	Authors
2020	Improved Explicit Data Structures in the Bit-Probe Model Using Error-Correcting Codes.	Palash Dey, Jaikumar Radhakrishnan, Santhoshini Velusamy
2020	Exact and Approximate Algorithms for Computing a Second Hamiltonian Cycle.	Argyrios Deligkas, George B. Mertzios, Paul G. Spirakis, Viktor Zamaraev
2020	Span Programs and Quantum Time Complexity.	Arjan Cornelissen, Stacey Jeffery, Maris Ozols, Alvaro Piedrafita
2020	Enumeration of s-d Separators in DAGs with Application to Reliability Analysis in Temporal Graphs.	Alessio Conte, Pierluigi Crescenzi, Andrea Marino, Giulia Punzi
2020	PBS-Calculus: A Graphical Language for Coherent Control of Quantum Computations.	Alexandre Clment, Simon Perdrix
2020	Quantum-Inspired Sublinear Algorithm for Solving Low-Rank Semidefinite Programming.	Nai-Hui Chia, Tongyang Li, Han-Hsuan Lin, Chunhao Wang
2020	Simplified Game of Life: Algorithms and Complexity.	Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Ismal Jecker, Jakub Svoboda
2020	Some Open Problems in Computational Geometry (Invited Talk).	Sergio Cabello
2020	On a Temporal Logic of Prefixes and Infixes.	Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala
2020	List Homomorphism Problems for Signed Graphs.	Jan Bok, Richard C. Brewster, Toms Feder, Pavol Hell, Nikola Jedlickov
2020	Some Remarks on Deciding Equivalence for Graph-To-Graph Transducers.	Mikolaj Bojanczyk, Janusz Schmude
2020	Computing a Minimum-Cost k-Hop Steiner Tree in Tree-Like Metrics.	Martin Bhm, Ruben Hoeksma, Nicole Megow, Lukas Nlke, Bertrand Simon
2020	Slice Rank of Block Tensors and Irreversibility of Structure Tensors of Algebras.	Markus Blser, Vladimir Lysikov
2020	Topological Influence and Locality in Swap Schelling Games.	Davide Bil, Vittorio Bil, Pascal Lenzner, Louise Molitor
2020	Layered Fan-Planar Graph Drawings.	Therese Biedl, Steven Chaplick, Michael Kaufmann, Fabrizio Montecchiani, Martin Nllenburg, Chrysanthi N. Raftopoulou
2020	Ideal Membership Problem and a Majority Polymorphism over the Ternary Domain.	Arpitha P. Bharathi, Monaldo Mastrolilli
2020	Decidability in Group Shifts and Group Cellular Automata.	Pierre Baur, Jarkko Kari
2020	Solving Packing Problems with Few Small Items Using Rainbow Matchings.	Max Bannach, Sebastian Berndt, Marten Maack, Matthias Mnich, Alexandra Lassota, Malin Rau, Malte Skambath
2020	A Special Case of Rational Identity Testing and the Brešar-Klep Theorem.	Vikraman Arvind, Abhranil Chatterjee, Rajit Datta, Partha Mukhopadhyay
2020	Dynamic Time Warping-Based Proximity Problems.	Boris Aronov, Matthew J. Katz, Elad Sulami
2020	Complexity of Computing the Anti-Ramsey Numbers for Paths.	Saeed Akhoondian Amiri, Alexandru Popa, Mohammad Roghani, Golnoosh Shahkarami, Reza Soltani, Hossein Vahidi
2020	Quantum Lower and Upper Bounds for 2D-Grid and Dyck Language.	Andris Ambainis, Kaspars Balodis, Janis Iraids, Kamil Khadiev, Vladislavs Klevickis, Krisjanis Prusis, Yixin Shen, Juris Smotrovs, Jevgenijs Vihrovs
2020	Best Fit Bin Packing with Random Order Revisited.	Susanne Albers, Arindam Khan, Leon Ladewig
2020	A Polynomial Kernel for 3-Leaf Power Deletion.	Jungho Ahn, Eduard Eiben, O-joung Kwon, Sang-il Oum
2020	Isomorphism Problem for S_d-Graphs.	Deniz Agaoglu, Petr Hlinen

601–625 of 3,347← Previous Next →

Comparable venues

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