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
Most published authors
MFCS papers
3,347 records sourced from DBLP. Search titles, filter by year, sort by recency.
| Year | Title | Authors |
|---|---|---|
| 2004 | Optimal Preemptive Scheduling for General Target Functions. | Leah Epstein, Tamir Tassa |
| 2004 | Agent-Based Information Handling in Large Networks. | Robert Elssser, Ulf Lorenz, Thomas Sauerwald |
| 2004 | Some Recent Progress in Algorithmic Randomness. | Rodney G. Downey |
| 2004 | Decidability of Trajectory-Based Equations. | Michael Domaratzki, Kai Salomaa |
| 2004 | Improved Bounds and Schemes for the Declustering Problem. | Benjamin Doerr, Nils Hebbinghaus, Sren Werth |
| 2004 | The Bidimensional Theory of Bounded-Genus Graphs. | Erik D. Demaine, Mohammad Taghi Hajiaghayi, Dimitrios M. Thilikos |
| 2004 | A Protocol for Serializing Unique Strategies. | Marcel Crsmaru, Christian Glaer, Kenneth W. Regan, Samik Sengupta |
| 2004 | On Approximation Hardness of the Minimum 2SAT-DELETION Problem. | Miroslav Chlebk, Janka Chlebkov |
| 2004 | Optimization, Games, and Quantified Constraint Satisfaction. | Hubie Chen, Martin Pl |
| 2004 | Polynomial Time Approximation Schemes and Parameterized Complexity. | Jianer Chen, Xiuzhen Huang, Iyad A. Kanj, Ge Xia |
| 2004 | Online Algorithms for Disk Graphs. | Ioannis Caragiannis, Aleksei V. Fishkin, Christos Kaklamanis, Evi Papaioannou |
| 2004 | Parallel Knock-Out Schemes in Networks. | Hajo Broersma, Fedor V. Fomin, Gerhard J. Woeginger |
| 2004 | Theory and Applied Computing: Observations and Anecdotes. | Matthew Brand, Sarah F. Frisken Gibson, Neal Lesh, Joe Marks, Daniel Nikovski, Ronald N. Perry, Jonathan S. Yedidia |
| 2004 | Schema Evolution for XML: A Consistency-Preserving Approach. | Batrice Bouchou, Denio Duarte, Mirian Halfeld Ferrari Alves, Dominique Laurent, Martin A. Musicante |
| 2004 | Generating Paths and Cuts in Multi-pole (Di)graphs. | Endre Boros, Khaled M. Elbassioni, Vladimir Gurvich, Leonid Khachiyan, Kazuhisa Makino |
| 2004 | Boxed Ambients with Communication Interfaces. | Eduardo Bonelli, Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini, Pablo Garralda |
| 2004 | Generation Problems. | Elmar Bhler, Christian Glaer, Bernhard Schwarz, Klaus W. Wagner |
| 2004 | Equitable Colorings of Bounded Treewidth Graphs. | Hans L. Bodlaender, Fedor V. Fomin |
| 2004 | Protein Folding in the HP Model on Grid Lattices with Diagonals (Extended Abstract). | Hans-Joachim Bckenhauer, Dirk Bongartz |
| 2004 | A Combinatorial Strongly Subexponential Strategy Improvement Algorithm for Mean Payoff Games. | Henrik Bjrklund, Sven Sandberg, Sergei G. Vorobyov |
| 2004 | Angles and Lengths in Reconfigurations of Polygons and Polyhedra. | Therese Biedl, Anna Lubiw, Michael J. Spriggs |
| 2004 | Efficient View Point Selection for Silhouettes of Convex Polyhedra. | Therese Biedl, Masud Hasan, Alejandro Lpez-Ortiz |
| 2004 | The Enumerability of P Collapses P to NC. | Alina Beygelzimer, Mitsunori Ogihara |
| 2004 | A New Dimension Sensitive Property for Cellular Automata. | Vincent Bernardi, Bruno Durand, Enrico Formenti, Jarkko Kari |
| 2004 | A Common Algebraic Description for Probabilistic and Quantum Computations (Extended Abstract). | Martin Beaudry, Jos M. Fernandez, Markus Holzer |
1,776–1,800 of 3,347← PreviousNext →
Comparable venues
Other A*/A conferences filed under the same field of research.
- A*SODAACM/SIAM Symposium on Discrete Algorithms
- A*ICALPInternational Colloquium on Automata Languages and Programming
- A*STOCACM Symposium on Theory of Computing
- A*FOCSIEEE Symposium on Foundations of Computer Science
- AESAEuropean Symposium on Algorithms
- ASTACSInternational Symposium on Theoretical Aspects of Computer Science
- A*LICSIEEE Symposium on Logic in Computer Science
- AGDGraph Drawing