| 2010 | Symbolic OBDD-Based Reachability Analysis Needs Exponential Space. | Beate Bollig |
| 2010 | Automated Deadlock Detection in Synchronized Reentrant Multithreaded Call-Graphs. | Frank S. de Boer, Immo Grabe |
| 2010 | A Kernel for Convex Recoloring of Weighted Forests. | Hans L. Bodlaender, Marc Comas |
| 2010 | Fast Arc-Annotated Subsequence Matching in Linear Space. | Philip Bille, Inge Li Grtz |
| 2010 | R-Programs: A Framework for Distributing XML Structural Joins across Function Calls. | David Bednrek |
| 2010 | A Linear Time Algorithm for Finding Three Edge-Disjoint Paths in Eulerian Networks. | Maxim A. Babenko, Ignat I. Kolesnichenko, Ilya P. Razenshteyn |
| 2010 | Approximability of Edge Matching Puzzles. | Antonios Antoniadis, Andrzej Lingas |
| 2010 | A Rule Format for Unit Elements. | Luca Aceto, Anna Inglfsdttir, Mohammad Reza Mousavi, Michel A. Reniers |
| 2010 | Forcing Monotonicity in Parameterized Verification: From Multisets to Words. | Parosh Aziz Abdulla |
| 2009 | On Toda's Theorem in Structural Communication Complexity. | Henning Wunderlich |
| 2009 | A Formal Model of Business Application Integration from Web Services (Position Paper). | Kaiyu Wan, Mubarak Mohammad, Vasu S. Alagar |
| 2009 | Symbolic Reachability Analysis of Integer Timed Petri Nets. | Min Wan, Gianfranco Ciardo |
| 2009 | Symbolic State-Space Generation of Asynchronous Systems Using Extensible Decision Diagrams. | Min Wan, Gianfranco Ciardo |
| 2009 | A Machine Checked Soundness Proof for an Intermediate Verification Language. | Frdric Vogels, Bart Jacobs, Frank Piessens |
| 2009 | Improved Algorithms for the 2-Vertex Disjoint Paths Problem. | Torsten Tholey |
| 2009 | From Outermost Termination to Innermost Termination. | Ren Thiemann |
| 2009 | -Hardness of Pure Nash Equilibrium in Scheduling and Connection Games. | Kim Thang Nguyen |
| 2009 | Group Input Machine. | Ruslans Tarasovs, Rusins Freivalds |
| 2009 | Event-Clock Visibly Pushdown Automata. | Nguyen Van Tang, Mizuhito Ogawa |
| 2009 | Design Validation by Symbolic Simulation and Equivalence Checking: A Case Study in Memory Optimization for Image Manipulation. | Kong Woei Susanto, Tim Todman, Jos Gabriel F. Coutinho, Wayne Luk |
| 2009 | Asynchronous Deterministic Rendezvous on the Line. | Grzegorz Stachowiak |
| 2009 | Unambiguous Erasing Morphisms in Free Monoids. | Johannes C. Schneider |
| 2009 | The Simple Reachability Problem in Switch Graphs. | Klaus Reinhardt |
| 2009 | On Some SAT-Variants over Linear Formulas. | Stefan Porschen, Tatjana Schmidt |
| 2009 | Modelling and Verifying Mobile Systems Using pi-Graphs. | Frdric Peschanski, Jol-Alexis Bialkiewicz |