| 2004 | Deciding Knowledge in Security Protocols Under Equational Theories. | Martn Abadi, Vronique Cortier |
| 2003 | A Solvable Class of Quadratic Diophantine Equations with Applications to Verification of Infinite-State Systems. | Gaoyan Xie, Zhe Dang, Oscar H. Ibarra |
| 2003 | Logic and Automata: A Match Made in Heaven. | Moshe Y. Vardi |
| 2003 | Hierarchical and Recursive State Machines with Context-Dependent Properties. | Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato |
| 2003 | A Testing Scenario for Probabilistic Automata. | Marille Stoelinga, Frits W. Vaandrager |
| 2003 | A Competitive Algorithm for the General 2-Server Problem. | Ren Sitters, Leen Stougie, Willem de Paepe |
| 2003 | The Equivalence Problem for t-Turn DPDA Is Co-NP. | Graud Snizergues |
| 2003 | Adaptive Raising Strategies Optimizing Relative Efficiency. | Arnold Schnhage |
| 2003 | Oracle Circuits for Branching-Time Model Checking. | Philippe Schnoebelen |
| 2003 | Upper Bounds for a Theory of Queues. | Tatiana Rybina, Andrei Voronkov |
| 2003 | Succinct Dynamic Dictionaries and Trees. | Rajeev Raman, S. Srinivasa Rao |
| 2003 | Quantitative Analysis of Probabilistic Lossy Channel Systems. | Alexander Moshe Rabinovich |
| 2003 | Optimal Coding and Sampling of Triangulations. | Dominique Poulalhon, Gilles Schaeffer |
| 2003 | Model Checking and Testing Combined. | Doron A. Peled |
| 2003 | Decision Problems for Language Equations with Boolean Operations. | Alexander Okhotin |
| 2003 | Real-Time Scheduling with a Budget. | Joseph Naor, Hadas Shachnai, Tami Tamir |
| 2003 | The SPQR-Tree Data Structure in Graph Drawing. | Petra Mutzel |
| 2003 | Succinct Representations of Permutations. | J. Ian Munro, Rajeev Raman, Venkatesh Raman, S. Srinivasa Rao |
| 2003 | Bisimulation Proof Methods for Mobile Ambients. | Massimo Merro, Francesco Zappa Nardelli |
| 2003 | Undecidability of Weak Bisimulation Equivalence for 1-Counter Processes. | Richard Mayr |
| 2003 | Efficient Pebbling for List Traversal Synopses. | Yossi Matias, Ely Porat |
| 2003 | Π | Orna Kupferman, Moshe Y. Vardi |
| 2003 | Labeling Schemes for Weighted Dynamic Trees. | Amos Korman, David Peleg |
| 2003 | Monadic Second-Order Logics with Cardinalities. | Felix Klaedtke, Harald Rue |
| 2003 | Simple Linear Work Suffix Array Construction. | Juha Krkkinen, Peter Sanders |