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
2015On the Complexity of Speed Scaling.Neal Barcelo, Peter Kling, Michael Nugent, Kirk Pruhs, Michele Scquizzato
2015On the Complexity of Hub Labeling (Extended Abstract).Maxim A. Babenko, Andrew V. Goldberg, Haim Kaplan, Ruslan Savchenko, Mathias Weller
2015An Algebraic Proof of the Real Number PCP Theorem.Martijn Baartse, Klaus Meer
2015Stochastization of Weighted Automata.Guy Avni, Orna Kupferman
2015On the Complexity of Noncommutative Polynomial Factorization.Vikraman Arvind, Gaurav Rattan, Pushkar S. Joglekar
2015On Tinhofer's Linear Programming Approach to Isomorphism Testing.Vikraman Arvind, Johannes Kbler, Gaurav Rattan, Oleg Verbitsky
2015Dual VP Classes.Eric Allender, Anna Gl, Ian Mertz
2015When Are Prime Formulae Characteristic?Luca Aceto, Dario Della Monica, Ignacio Fbregas, Anna Inglfsdttir
2015Near-Optimal Asymmetric Binary Matrix Partitions.Fidaa Abed, Ioannis Caragiannis, Alexandros A. Voudouris
2015Uniform Generation in Trace Monoids.Samy Abbes, Jean Mairesse
2014The Dynamic Descriptive Complexity of k-Clique.Thomas Zeume
2014Choiceless Polynomial Time on Structures with Small Abelian Colour Classes.Faried Abu Zaid, Erich Grdel, Martin Grohe, Wied Pakusa
2014Tractability Frontier for Dually-Closed Ord-Horn Quantified Constraint Satisfaction Problems.Michal Wrona
2014A Unifying Approach for Multistack Pushdown Automata.Salvatore La Torre, Margherita Napoli, Gennaro Parlato
2014Approximation Algorithms for Bounded Color Matchings via Convex Decompositions.Georgios Stamoulis
2014What Does the Local Structure of a Planar Graph Tell Us About Its Global Structure?Christian Sohler
2014A Pumping Lemma for Two-Way Finite Transducers.Tim Smith
2014On Infinite Words Determined by Indexed Languages.Tim Smith
2014Communication Complexity Theory: Thirty-Five Years of Set Disjointness.Alexander A. Sherstov
2014Flexible Bandwidth Assignment with Application to Optical Networks - (Extended Abstract).Hadas Shachnai, Ariella Voloshin, Shmuel Zaks
2014The Two Queries Assumption and Arthur-Merlin Classes.Vyas Ram Selvam
2014Tight Bounds for Complementing Parity Automata.Sven Schewe, Thomas Varghese
2014Determinising Parity Automata.Sven Schewe, Thomas Varghese
2014A Generalization of the Łoś-Tarski Preservation Theorem over Classes of Finite Structures.Abhisekh Sankaran, Bharat Adsul, Supratik Chakraborty
2014Existence of Secure Equilibrium in Multi-player Games with Perfect Information.Julie De Pril, Jnos Flesch, Jeroen Kuipers, Gijs Schoenmakers, Koos Vrieze
1,0511,075 of 3,347← PreviousNext →

Comparable venues

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