| 2013 | Computational Hardness of Validity in Probability Logic. | Rutger Kuyper |
| 2013 | Quantified Differential Temporal Dynamic Logic for Verifying Properties of Distributed Hybrid Systems. | Ping Hou, Hao Zheng |
| 2013 | Subset Space vs Relational Semantics of Bimodal Logic: Bringing Out the Difference. | Bernhard Heinemann |
| 2013 | A Note on Extensions: Admissible Rules via Semantics. | Jeroen P. Goudsmit |
| 2013 | Iterated Contraction Based on Indistinguishability. | Konstantinos Georgatos |
| 2013 | The Wadge Hierarchy of Petri Nets | Jacques Duparc, Olivier Finkel, Jean-Pierre Ressayre |
| 2013 | Call-by-Value Non-determinism in a Linear Logic Type Discipline. | Alejandro Daz-Caro, Giulio Manzonetto, Michele Pagani |
| 2013 | Stuttering for Abstract Probabilistic Automata. | Benot Delahaye, Kim G. Larsen, Axel Legay |
| 2013 | A Modal BI Logic for Dynamic Resource Properties. | Jean-Ren Courtault, Didier Galmiche |
| 2013 | Automated Support for the Investigation of Paraconsistent and Other Logics. | Agata Ciabattoni, Ori Lahav, Lara Spendier, Anna Zamansky |
| 2013 | Sub-computable Bounded Pseudorandomness. | Douglas Cenzer, Jeffrey B. Remmel |
| 2013 | Effectivity Questions for Kleene's Recursion Theorem. | John Case, Sanjay Jain, Frank Stephan |
| 2013 | Forward Chaining for Hybrid ASP. | Alex Brik, Jeffrey B. Remmel |
| 2013 | Multiplayer Cost Games with Simple Nash Equilibria. | Thomas Brihaye, Julie De Pril, Sven Schewe |
| 2013 | Assignment Calculus: A Pure Imperative Language. | Marc Bender, Jeffery I. Zucker |
| 2013 | Beyond 2-Safety: Asymmetric Product Programs for Relational Program Verification. | Gilles Barthe, Juan Manuel Crespo, Csar Kunz |
| 2013 | Explicit Generic Common Knowledge. | Evangelia Antonakos |
| 2013 | Compositional Reasoning for Multi-modal Logics. | Luca Aceto, Anna Inglfsdttir, Cristian Prisacariu, Joshua Sack |
| 2009 | A Bialgebraic Approach to Automata and Formal Language Theory. | James Worthington |
| 2009 | Decidability and Undecidability in Probability Logic. | Sebastiaan Terwijn |
| 2009 | Fixed Point Theorems on Partial Randomness. | Kohtaro Tadaki |
| 2009 | Data Privacy for Knowledge Bases. | Phiniki Stouppa, Thomas Studer |
| 2009 | Games on Multi-stack Pushdown Systems. | Anil Seth |
| 2009 | Product-Free Lambek Calculus Is NP-Complete. | Yury Savateev |
| 2009 | Unifying Sets and Programs via Dependent Types. | Wojciech Moczydlowski |