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
2023Relaxed Core Stability for Hedonic Games with Size-Dependent Utilities.Tom Demeulemeester, Jannik Peters
2023Universality and Forall-Exactness of Cost Register Automata with Few Registers.Laure Daviaud, Andrew Ryzhikov
2023Dynamic Planar Embedding Is in DynFO.Samir Datta, Asif Khan, Anish Mukherjee
2023Approximating the Value of Energy-Parity Objectives in Simple Stochastic Games.Mohan Dantam, Richard Mayr
2023Modern Parallel Algorithms (Invited Talk).Artur Czumaj
2023Tight Algorithmic Applications of Clique-Width Generalizations.Vera Chekan, Stefan Kratsch
2023Query Complexity of Search Problems.Arkadev Chattopadhyay, Yogesh Dahiya, Meena Mahajan
2023Support Size Estimation: The Power of Conditioning.Diptarka Chakraborty, Gunjan Kumar, Kuldeep S. Meel
2023Isometric Path Complexity of Graphs.Dibyayan Chakraborty, Jrmie Chalopin, Florent Foucaud, Yann Vaxs
2023Recognizing H-Graphs - Beyond Circular-Arc Graphs.Deniz Agaoglu agirici, Onur agirici, Jan Derbisz, Tim A. Hartmann, Petr Hlinen, Jan Kratochvl, Tomasz Krawczyk, Peter Zeman
2023Parikh One-Counter Automata.Michal Cadilhac, Arka Ghosh, Guillermo A. Prez, Ritam Raha
2023The Online Simple Knapsack Problem with Reservation and Removability.Elisabet Burjons, Matthias Gehnen, Henri Lotze, Daniel Mock, Peter Rossmanith
2023Short Definitions in Constraint Languages.Jakub Buln, Michael Kompatscher
2023On Property Testing of the Binary Rank.Nader H. Bshouty
2023Rational Verification for Nash and Subgame-Perfect Equilibria in Graph Games.Lonard Brice, Jean-Franois Raskin, Marie van den Bogaard
2023Deterministic Constrained Multilinear Detection.Cornelius Brand, Viktoriia Korchemna, Michael Skotnica
2023The Compositional Structure of Bayesian Inference.Dylan Braithwaite, Jules Hedges, Toby St Clere Smithe
2023Online Algorithms with Predictions (Invited Talk).Joan Boyar
2023Cryptanalysis of a Generalized Subset-Sum Pseudorandom Generator.Charles Bouillaguet, Florette Martinez, Damien Vergnaud
2023Exploring the Space of Colourings with Kempe Changes (Invited Talk).Marthe Bonamy
2023MaxCut Above Guarantee.Ivan Bliznets, Vladislav Epifanov
2023A Characterisation of Functions Computable in Polynomial Time and Space over the Reals with Discrete Ordinary Differential Equations: Simulation of Turing Machines with Analytic Discrete ODEs.Manon Blanc, Olivier Bournez
2023Locality Theorems in Semiring Semantics.Clotilde Bizire, Erich Grdel, Matthias Naaf
2023Distributed CONGEST Algorithm for Finding Hamiltonian Paths in Dirac Graphs and Generalizations.Noy Biton, Reut Levi, Moti Medina
2023On the Parameterized Complexity of Computing st-Orientations with Few Transitive Edges.Carla Binucci, Giuseppe Liotta, Fabrizio Montecchiani, Giacomo Ortali, Tommaso Piselli
326350 of 3,347← PreviousNext →

Comparable venues

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