| 2010 | A Hierarchy for Delimited Continuations in Call-by-Name. Alexis Saurin |
| 2010 | A Semantic Foundation for Hidden State. Jan Schwinghammer, Hongseok Yang, Lars Birkedal, François Pottier, Bernhard Reus |
| 2010 | Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems. Anthony Widjaja To, Leonid Libkin |
| 2010 | An Easy Completeness Proof for the Modal Balder ten Cate, Gaëlle Fontaine |
| 2010 | Block Structure vs. Scope Extrusion: Between Innocence and Omniscience. Andrzej S. Murawski, Nikos Tzevelekos |
| 2010 | CIA Structures and the Semantics of Recursion. Stefan Milius, Lawrence S. Moss, Daniel Schwencke |
| 2010 | Coalgebraic Correspondence Theory. Lutz Schröder, Dirk Pattinson |
| 2010 | Completeness for Algebraic Theories of Local State. Sam Staton |
| 2010 | Counting CTL. François Laroussinie, Antoine Meyer, Eudes Petonnet |
| 2010 | Degrees of Lookahead in Regular Infinite Games. Michael Holtmann, Lukasz Kaiser, Wolfgang Thomas |
| 2010 | Fair Adversaries and Randomization in Two-Player Games. Eugene Asarin, Raphaël Chane-Yack-Fa, Daniele Varacca |
| 2010 | Forward Analysis of Depth-Bounded Processes. Thomas Wies, Damien Zufferey, Thomas A. Henzinger |
| 2010 | Foundations of Software Science and Computational Structures, 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings C.-H. Luke Ong |
| 2010 | Incremental Pattern-Based Coinduction for Process Algebra and Its Isabelle Formalization. Andrei Popescu, Elsa L. Gunter |
| 2010 | Introduction to Decidability of Higher-Order Matching. Colin Stirling |
| 2010 | Linearly-Used Continuations in the Enriched Effect Calculus. Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson |
| 2010 | Model Checking Flemming Nielson, Hanne Riis Nielson |
| 2010 | Monads Need Not Be Endofunctors. Thorsten Altenkirch, James Chapman, Tarmo Uustalu |
| 2010 | On the Relationship between Spatial Logics and Behavioral Simulations. Lucia Acciai, Michele Boreale, Gianluigi Zavattaro |
| 2010 | Parameterised Multiparty Session Types. Nobuko Yoshida, Pierre-Malo Deniélou, Andi Bejleri, Raymond Hu |
| 2010 | Reachability Analysis of Communicating Pushdown Systems. Alexander Heußner, Jérôme Leroux, Anca Muscholl, Grégoire Sutre |
| 2010 | Retaining the Probabilities in Probabilistic Testing Theory. Sonja Georgievska, Suzana Andova |
| 2010 | Solvability in Resource Lambda-Calculus. Michele Pagani, Simona Ronchi Della Rocca |
| 2010 | The Complexity of Synchronous Notions of Information Flow Security. Franck Cassez, Ron van der Meyden, Chenyi Zhang |
| 2010 | Toward a Compositional Theory of Leftist Grammars and Transformations. Pierre Chambart, Philippe Schnoebelen |
| 2010 | Untyped Recursion Schemes and Infinite Intersection Types. Takeshi Tsukada, Naoki Kobayashi |
| 2010 | When Model-Checking Freeze LTL over Counter Machines Becomes Decidable. Stéphane Demri, Arnaud Sangnier |