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
2022On the Binary and Boolean Rank of Regular Matrices.Ishay Haviv, Michal Parnas
2022Dispersing Obnoxious Facilities on Graphs by Rounding Distances.Tim A. Hartmann, Stefan Lendl
2022The Hamilton Compression of Highly Symmetric Graphs.Petr Gregor, Arturo Merino, Torsten Mtze
2022Approximation Algorithms for Covering Vertices by Long Paths.Mingyang Gong, Jing Fan, Guohui Lin, Eiji Miyano
2022Graph Similarity Based on Matrix Norms.Timo Gervens, Martin Grohe
2022Metric Dimension Parameterized by Feedback Vertex Set and Other Structural Parameters.Esther Galby, Liana Khazaliya, Fionn Mc Inerney, Roohani Sharma, Prafullkumar Tale
2022A Robust Class of Languages of 2-Nested Words.Sverine Fratani, Guillaume Maurras, Pierre-Alain Reynier
2022Long Cycles in Graphs: Extremal Combinatorics Meets Parameterized Algorithms (Invited Talk).Fedor V. Fomin, Petr A. Golovach, Danil Sagunov, Kirill Simonov
2022Non-Determinism in Lindenmayer Systems and Global Transformations.Alexandre Fernandez, Luidnel Maignan, Antoine Spicher
2022On the Number of Quantifiers as a Complexity Measure.Ronald Fagin, Jonathan Lenchner, Nikhil Vyas, R. Ryan Williams
2022CNF Encodings of Parity.Gregory Emdin, Alexander S. Kulikov, Ivan Mihajlin, Nikita Slezkin
2022Oracle with P = NP ∩ coNP, but No Many-One Completeness in UP, DisjNP, and DisjCoNP.Anton Ehrmanntraut, Fabian Egidy, Christian Glaer
2022Regular Monoidal Languages.Matthew Earnshaw, Pawel Sobocinski
2022On the Identity Problem for Unitriangular Matrices of Dimension Four.Ruiwen Dong
2022Constant-Factor Approximation Algorithm for Binary Search in Trees with Monotonic Query Times.Dariusz Dereniowski, Izajasz P. Wrosz
2022New Lower Bounds and Upper Bounds for Listing Avoidable Vertices.Mingyang Deng, Virginia Vassilevska Williams, Ziqian Zhong
2022Bounding the Escape Time of a Linear Dynamical System over a Compact Semialgebraic Set.Julian D'Costa, Engel Lefaucheux, Eike Neumann, Jol Ouaknine, James Worrell
2022The Pseudo-Reachability Problem for Diagonalisable Linear Dynamical Systems.Julian D'Costa, Toghrul Karimov, Rupak Majumdar, Jol Ouaknine, Mahmoud Salamati, James Worrell
2022Enumeration Classes Defined by Circuits.Nadia Creignou, Arnaud Durand, Heribert Vollmer
2022Cohomology in Constraint Satisfaction and Structure Isomorphism.Adam Conghaile
2022A Complexity Approach to Tree Algebras: the Polynomial Case.Thomas Colcombet, Arthur Jaquard
2022Resource Optimisation of Coherently Controlled Quantum Computations with the PBS-Calculus.Alexandre Clment, Simon Perdrix
2022LO_v-Calculus: A Graphical Language for Linear Optical Quantum Circuits.Alexandre Clment, Nicolas Heurtel, Shane Mansfield, Simon Perdrix, Benot Valiron
2022On Dynamic α + 1 Arboricity Decomposition and Out-Orientation.Aleksander B. G. Christiansen, Jacob Holm, Eva Rotenberg, Carsten Thomassen
2022Higher-Order Quantified Boolean Satisfiability.Dmitry Chistikov, Christoph Haase, Zahra Hadizadeh, Alessio Mansutti
401425 of 3,347← PreviousNext →

Comparable venues

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