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
2010The Prize-Collecting Edge Dominating Set Problem in Trees.Naoyuki Kamiyama
2010Improved Simulation of Nondeterministic Turing Machines.Subrahmanyam Kalyanasundaram, Richard J. Lipton, Kenneth W. Regan, Farbod Shokrieh
2010Least and Greatest Solutions of Equations over Sets of Integers.Artur Jez, Alexander Okhotin
2010On the Topological Complexity of MSO+U and Related Automata Models.Szczepan Hummel, Michal Skrzypczak, Szymon Torunczyk
2010Information Complexity of Online Problems.Juraj Hromkovic, Rastislav Krlovic, Richard Krlovic
2010Limiting Negations in Bounded Treewidth and Upward Planar Circuits.Jing He, Hongyu Liang, Jayalal Sarma
2010Finding and Counting Vertex-Colored Subtrees.Sylvain Guillemot, Florian Sikora
2010The Multivariate Resultant Is NP-hard in Any Characteristic.Bruno Grenet, Pascal Koiran, Natacha Portier
2010Evaluating Non-square Sparse Bilinear Forms on Multiple Vector Pairs in the I/O-Model.Gero Greiner, Riko Jacob
2010Frame Definability for Classes of Trees in theGalle Fontaine, Thomas Place
2010Second-Order Algebraic Theories - (Extended Abstract).Marcelo P. Fiore, Ola Mahmoud
2010Properties of Visibly Pushdown Transducers.Emmanuel Filiot, Jean-Franois Raskin, Pierre-Alain Reynier, Frdric Servais, Jean-Marc Talbot
2010Iterated Regret Minimization in Game Graphs.Emmanuel Filiot, Tristan Le Gall, Jean-Franois Raskin
2010Describing Average- and Longtime-Behavior by Weighted MSO Logics.Manfred Droste, Ingmar Meinecke
2010Connected Searching of Weighted Trees.Dariusz Dereniowski
2010The Average Complexity of Moore's State Minimization Algorithm Is O(n log log n).Julien David
2010Counting Classes and the Fine Structure between NCSamir Datta, Meena Mahajan, B. V. Raghavendra Rao, Michael Thomas, Heribert Vollmer
2010Deterministic Rendezvous of Asynchronous Bounded-Memory Agents in Polygonal Terrains.Jurek Czyzowicz, Adrian Kosowski, Andrzej Pelc
2010Online Clustering with Variable Sized Clusters.Jnos Csirik, Leah Epstein, Csand Imreh, Asaf Levin
2010Mesh Deformation of Dynamic Smooth Manifolds with Surface Correspondences.Ho-Lun Cheng, Ke Yan
2010All Symmetric Predicates inIoannis Chatzigiannakis, Othon Michail, Stavros Nikolaou, Andreas Pavlogiannis, Paul G. Spirakis
2010Qualitative Analysis of Partially-Observable Markov Decision Processes.Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger
2010Randomness for Free.Krishnendu Chatterjee, Laurent Doyen, Hugo Gimbert, Thomas A. Henzinger
2010Resource Combinatory Algebras.Alberto Carraro, Thomas Ehrhard, Antonino Salibra
2010Toward a Deterministic Polynomial Time Algorithm with Optimal Additive Query Complexity.Nader H. Bshouty, Hanna Mazzawi
1,3761,400 of 3,347← PreviousNext →

Comparable venues

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