| 2004 | A Denotational Account of Untyped Normalization by Evaluation. Andrzej Filinski, Henning Korsholm Rohde |
| 2004 | A Game Semantics of Local Names and Good Variables. James Laird |
| 2004 | A Note on the Perfect Encryption Assumption in a Process Calculus. Roberto Zunino, Pierpaolo Degano |
| 2004 | Adhesive Categories. Stephen Lack, Pawel Sobocinski |
| 2004 | Angelic Semantics of Fine-Grained Concurrency. Dan R. Ghica, Andrzej S. Murawski |
| 2004 | Behavioral and Spatial Observations in a Logic for the pi-Calculus. Luís Caires |
| 2004 | Bisimulation on Speed: Lower Time Bounds. Gerald Lüttgen, Walter Vogler |
| 2004 | Canonical Models for Computational Effects. John Power |
| 2004 | Choice in Dynamic Linking. Martín Abadi, Georges Gonthier, Benjamin Werner |
| 2004 | Decidability of Freshness, Undecidability of Revelation. Giovanni Conforti, Giorgio Ghelli |
| 2004 | Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting. Hartmut Ehrig, Barbara König |
| 2004 | Distance Desert Automata and the Star Height One Problem. Daniel Kirsten |
| 2004 | Duality for Labelled Markov Processes. Michael W. Mislove, Joël Ouaknine, Dusko Pavlovic, James Worrell |
| 2004 | Election and Local Computations on Edges. Jérémie Chalopin, Yves Métivier |
| 2004 | Electoral Systems in Ambient Calculi. Iain Phillips, Maria Grazia Vigliotti |
| 2004 | Foundations of Software Science and Computation Structures, 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings Igor Walukiewicz |
| 2004 | Hypergraphs and Degrees of Parallelism: A Completeness Result. Antonio Bucciarelli, Benjamin Leperchey |
| 2004 | Intruder Theories (Ongoing Work). Hubert Comon-Lundh |
| 2004 | LTL over Integer Periodicity Constraints: (Extended Abstract). Stéphane Demri |
| 2004 | On Finite Alphabets and Infinite Bases: From Ready Pairs to Possible Worlds. Wan J. Fokkink, Sumit Nain |
| 2004 | On Recognizable Timed Languages. Oded Maler, Amir Pnueli |
| 2004 | On Term Rewriting Systems Having a Rational Derivation. Antoine Meyer |
| 2004 | On the Existence of an Effective and Complete Inference System for Cryptographic Protocols. Liana Bozga, Cristian Ene, Yassine Lakhnech |
| 2004 | On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi. Pablo Giambiagi, Gerardo Schneider, Frank D. Valencia |
| 2004 | Partial Correctness Assertions Provable in Dynamic Logics. Daniel Leivant |
| 2004 | Perfect-Information Stochastic Parity Games. Wieslaw Zielonka |
| 2004 | Polynomials for Proving Termination of Context-Sensitive Rewriting. Salvador Lucas |
| 2004 | Probabilistic Bisimulation and Equivalence for Security Analysis of Network Protocols. Ajith Ramanathan, John C. Mitchell, Andre Scedrov, Vanessa Teague |
| 2004 | Reasoning about Dynamic Policies. Riccardo Pucella, Vicky Weissman |
| 2004 | Soft lambda-Calculus: A Language for Polynomial Time Computation. Patrick Baillot, Virgile Mogbil |
| 2004 | Specifying and Verifying Partial Order Properties Using Template MSCs. Blaise Genest, Marius Minea, Anca Muscholl, Doron A. Peled |
| 2004 | Strong Bisimulation for the Explicit Fusion Calculus. Lucian Wischik, Philippa Gardner |
| 2004 | Strong Normalization of lambda-mu-mu/tilde-Calculus with Explicit Substitutions. Emmanuel Polonowski |
| 2004 | Theories for the Global Ubiquitous Computer. Robin Milner |
| 2004 | Tree Transducers and Tree Compressions. Sebastian Maneth, Giorgio Busatto |
| 2004 | Unifying Recursive and Co-recursive Definitions in Sheaf Categories. Pietro Di Gianantonio, Marino Miculan |
| 2004 | safeDpi: A Language for Controlling Mobile Code. Matthew Hennessy, Julian Rathke, Nobuko Yoshida |