| 2010 | Lower Bounds for the Complexity of Monadic Second-Order Logic. | Stephan Kreutzer, Siamak Tazari |
| 2010 | Parikh Images of Grammars: Complexity and Applications. | Eryk Kopczynski, Anthony Widjaja To |
| 2010 | Complexity of LTL Model-Checking for Safe Object Nets. | Michael Khler-Bumeier, Frank Heitmann |
| 2010 | A Survey of Elementary Object Systems. | Michael Khler-Bumeier |
| 2010 | Weak Equivalences in Psi-Calculi. | Magnus Johansson, Jesper Bengtson, Joachim Parrow, Bjrn Victor |
| 2010 | A Generic Operational Metatheory for Algebraic Effects. | Patricia Johann, Alex Simpson, Janis Voigtlnder |
| 2010 | Alternating Timed Automata over Bounded Time. | Mark Jenkins, Jol Ouaknine, Alexander Rabinovich, James Worrell |
| 2010 | An Intuitionistic Logic that Proves Markov's Principle. | Hugo Herbelin |
| 2010 | On the Strictness of the First-Order Quantifier Structure Hierarchy over Finite Structures. | Yuguo He |
| 2010 | Amir Pnueli: A Gentle Giant, Lord of the Phi's and the Psi's. | David Harel |
| 2010 | Breaking Paths in Atomic Flows for Classical Logic. | Alessio Guglielmi, Tom Gundersen, Lutz Straburger |
| 2010 | Fixed-Point Definability and Polynomial Time on Graphs with Excluded Minors. | Martin Grohe |
| 2010 | omega-QRB-Domains and the Probabilistic Powerdomain. | Jean Goubault-Larrecq |
| 2010 | A Developer-oriented Hoare Logic. | Holger Gast |
| 2010 | Modular Construction of Fixed Point Combinators and Clocked Bohm Trees. | Jrg Endrullis, Dimitri Hendriks, Jan Willem Klop |
| 2010 | On Probabilistic Automata in Continuous Time. | Christian Eisentraut, Holger Hermanns, Lijun Zhang |
| 2010 | A Finiteness Structure on Resource Terms. | Thomas Ehrhard |
| 2010 | Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction. | Vincent Danos, Jrme Feret, Walter Fontana, Russell Harmer, Jean Krivine |
| 2010 | Regular Cost Functions over Finite Trees. | Thomas Colcombet, Christof Lding |
| 2010 | Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications. | Andrea Cal, Georg Gottlob, Thomas Lukasiewicz, Bruno Marnette, Andreas Pieris |
| 2010 | A simple proof system for lock-free concurrency. | Lus Caires, Carla Ferreira, Antnio Ravara |
| 2010 | Undecidability of Propositional Separation Logic and Its Neighbours. | James Brotherston, Max I. Kanovich |
| 2010 | Recursion Schemes and Logical Reflection. | Christopher H. Broadbent, Arnaud Carayol, C.-H. Luke Ong, Olivier Serre |
| 2010 | Reconciling Population and Agent Models for Crowd Dynamics. | Andrea Bracciali, Jane Hillston, Diego Latella, Mieke Massink |
| 2010 | An Extension of Data Automata that Captures XPath. | Mikolaj Bojanczyk, Slawomir Lasota |