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
2018Generalized Budgeted Submodular Set Function Maximization.Francesco Cellinese, Gianlorenzo D'Angelo, Gianpiero Monaco, Yllka Velaj
2018On Randomized Generation of Slowly Synchronizing Automata.Costanza Catalano, Raphal M. Jungers
2018Optimal Strategies in Pushdown Reachability Games.Arnaud Carayol, Matthew Hague
2018Linking Focusing and Resolution with Selection.Guillaume Burel
2018Consensus Strings with Small Maximum Distance and Small Distance Sum.Laurent Bulteau, Markus L. Schmid
2018On W[1]-Hardness as Evidence for Intractability.Ralph Christian Bottesch
2018The Complexity of Disjunctive Linear Diophantine Constraints.Manuel Bodirsky, Barnaby Martin, Marcello Mamino, Antoine Mottet
2018Pricing Problems with Buyer Preselection.Vittorio Bil, Michele Flammini, Gianpiero Monaco, Luca Moscardelli
2018Complexity of Preimage Problems for Deterministic Finite Automata.Mikhail V. Berlinkov, Robert Ferens, Marek Szykula
2018Balanced Connected Partitioning of Unweighted Grid Graphs.Cedric Berenger, Peter Niebert, Kvin Perrot
2018Average Case Analysis of Leaf-Centric Binary Tree Sources.Louisa Seelbach Benkner, Markus Lohrey
2018Give Me Some Slack: Efficient Network Measurements.Ran Ben-Basat, Gil Einziger, Roy Friedman
2018New Results on Directed Edge Dominating Set.Rmy Belmonte, Tesshu Hanaka, Ioannis Katsikarelis, Eun Jung Kim, Michael Lampis
2018Collective Fast Delivery by Energy-Efficient Agents.Andreas Brtschi, Daniel Graf, Mats Mihalk
2018Approximating Dominating Set on Intersection Graphs of Rectangles and L-frames.Sayan Bandyapadhyay, Anil Maheshwari, Saeed Mehrabi, Subhash Suri
2018Timed Network Games with Clocks.Guy Avni, Shibashis Guha, Orna Kupferman
2018Plain Stopping Time and Conditional Complexities Revisited.Mikhail Andreev, Gleb Posobin, Alexander Shen
2018Depth Two Majority Circuits for Majority and List Expanders.Kazuyuki Amano
2018On Efficiently Solvable Cases of Quantum k-SAT.Marco Aldi, Niel de Beaudrap, Sevag Gharibian, Seyran Saeedi
2018Maximum Area Axis-Aligned Square Packings.Hugo A. Akitaya, Matthew D. Jones, David Stalfa, Csaba D. Tth
2018Conflict Free Feedback Vertex Set: A Parameterized Dichotomy.Akanksha Agrawal, Pallavi Jain, Lawqueen Kanesh, Daniel Lokshtanov, Saket Saurabh
2018Error-Tolerant Non-Adaptive Learning of a Hidden Hypergraph.Hasan Abasi
2018Counting Homomorphisms to Trees Modulo a Prime.Andreas Gbel, J. A. Gregor Lagodzinski, Karen Seidel
2018Online Maximum Matching with Recourse.Spyros Angelopoulos, Christoph Drr, Shendan Jin
2017The 2CNF Boolean Formula Satisfiability Problem and the Linear Space Hypothesis.Tomoyuki Yamakami
776800 of 3,347← PreviousNext →

Comparable venues

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