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
2024Monotonicity of the Cops and Robber Game for Bounded Depth Treewidth.Isolde Adler, Eva Fluck
2024Faster Approximation Schemes for (Constrained) k-Means with Outliers.Zhen Zhang, Junyu Huang, Qilong Feng
2024Breaking the Barrier 2^k for Subset Feedback Vertex Set in Chordal Graphs.Tian Bai, Mingyu Xiao
2024Edit and Alphabet-Ordering Sensitivity of Lex-Parse.Yuto Nakashima, Dominik Kppl, Mitsuru Funakoshi, Shunsuke Inenaga, Hideo Bannai
2024Randomness Versus Superspeedability.Rupert Hlzl, Philip Janicki, Wolfgang Merkle, Frank Stephan
2024On Fourier Analysis of Sparse Boolean Functions over Certain Abelian Groups.Sourav Chakraborty, Swarnalipa Datta, Pranjal Dutta, Arijit Ghosh, Swagato Sanyal
2023Front Matter, Table of Contents, Preface, Conference Organization.
2023Checking Presence Reachability Properties on Parameterized Shared-Memory Systems.Nicolas Waldburger
2023Ordinal Measures of the Set of Finite Multisets.Isa Vialard
2023Exponential Lower Bounds for Threshold Circuits of Sub-Linear Depth and Energy.Kei Uchizawa, Haruki Abe
2023Dependent k-Set Packing on Polynomoids.Meng-Tsung Tsai, Shi-Chun Tsai, Tsung-Ta Wu
2023Decomposing Finite Languages.Daniel Alexander Spenner
2023Logical Equivalences, Homomorphism Indistinguishability, and Forbidden Minors.Tim Seppelt
2023Counting Homomorphisms from Hypergraphs of Bounded Generalised Hypertree Width: A Logical Characterisation.Benjamin Scheidt, Nicole Schweikardt
2023Realizing Finitely Presented Groups as Projective Fundamental Groups of SFTs.Lo Paviet Salomon, Pascal Vanier
2023Probabilistic Input-Driven Pushdown Automata.Alex Rose, Alexander Okhotin
2023A Polynomial-Time Algorithm for MCS Partial Search Order on Chordal Graphs.Guozhen Rong, Yongjie Yang, Wenjun Li
2023Deciding Predicate Logical Theories Of Real-Valued Functions.Stefan Ratschan
2023A Super-Polynomial Separation Between Resolution and Cut-Free Sequent Calculus.Theodoros Papamakarios
2023Lower Bounds for Choiceless Polynomial Time via Symmetric XOR-Circuits.Benedikt Pago
2023OBDD(Join) Proofs Cannot Be Balanced.Sergei Ovcharov
2023On the Expressive Power of Regular Expressions with Backreferences.Taisei Nogami, Tachio Terauchi
2023Effective Continued Fraction Dimension Versus Effective Hausdorff Dimension of Reals.Satyadev Nandakumar, Akhil S, Prateek Vishnoi
2023Spartan Bipartite Graphs Are Essentially Elementary.Neeldhara Misra, Saraswati Girish Nanoti
2023Parallel Enumeration of Parse Trees.Margarita Mikhelson, Alexander Okhotin
276300 of 3,347← PreviousNext →

Comparable venues

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