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
2016Ackermannian Integer Compression and the Word Problem for Hydra Groups.Will Dison, Eduard Einstein, Timothy R. Riley
2016Space-Efficient Approximation Scheme for Maximum Matching in Sparse Graphs.Samir Datta, Raghav Kulkarni, Anish Mukherjee
2016Some Lower Bounds in Parameterized AC^0.Yijia Chen, Jrg Flum
2016FPT Algorithms for Plane Completion Problems.Dimitris Chatzidimitriou, Archontia C. Giannopoulou, Spyridon Maniatis, Clment Requil, Dimitrios M. Thilikos, Dimitris Zoros
2016Nested Weighted Limit-Average Automata of Bounded Width.Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
2016Conditionally Optimal Algorithms for Generalized Bchi Games.Krishnendu Chatterjee, Wolfgang Dvork, Monika Henzinger, Veronika Loitzenbauer
2016On the Implicit Graph Conjecture.Maurice Chandoo
2016A Formal Exploration of Nominal Kleene Algebra.Paul Brunet, Damien Pous
2016Optimal Reachability in Weighted Timed Automata and Games.Patricia Bouyer-Decitre
2016Using Contracted Solution Graphs for Solving Reconfiguration Problems.Paul S. Bonsma, Danil Paulusma
2016Decidable Extensions of MSO.Mikolaj Bojanczyk
2016On Degeneration of Tensors and Algebras.Markus Blser, Vladimir Lysikov
2016Stable States of Perturbed Markov Chains.Volker Betz, Stphane Le Roux
2016How Far Are We From Having a Satisfactory Theory of Clustering?Shai Ben-David
2016Graph Properties in Node-Query Setting: Effect of Breaking Symmetry.Nikhil Balaji, Samir Datta, Raghav Kulkarni, Supartha Podder
2016On the Sensitivity Conjecture for Read-k Formulas.Mitali Bafna, Satyanarayana V. Lokam, Sbastien Tavenas, Ameya Velingker
2016Synchronizing Data Words for Register Automata.Parvaneh Babari, Karin Quaas, Mahsa Shirmohammadi
2016Real Interactive Proofs for VPSPACE.Martijn Baartse, Klaus Meer
2016The Parameterized Complexity of Fixing Number and Vertex Individualization in Graphs.Vikraman Arvind, Frank Fuhlbrck, Johannes Kbler, Sebastian Kuhnert, Gaurav Rattan
2016On the Complexity of Probabilistic Trials for Hidden Satisfiability Problems.Itai Arad, Adam Bouland, Daniel Grier, Miklos Santha, Aarthi Sundaram, Shengyu Zhang
2016Families of DFAs as Acceptors of omega-Regular Languages.Dana Angluin, Udi Boker, Dana Fisman
2016Routing with Congestion in Acyclic Digraphs.Saeed Akhoondian Amiri, Stephan Kreutzer, Dniel Marx, Roman Rabinovich
2016Inequity Aversion Pricing over Social Networks: Approximation Algorithms and Hardness Results.Georgios Amanatidis, Evangelos Markakis, Krzysztof Sornat
2016Stochastic Timed Games Revisited.S. Akshay, Patricia Bouyer, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi
2016Integer Factoring Using Small Algebraic Dependencies.Manindra Agrawal, Nitin Saxena, Shubham Sahai Srivastava
951975 of 3,347← PreviousNext →

Comparable venues

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