| 1999 | A Complete Coinductive Logical System for Bisimulation Equivalence on Circular Objects. Marina Lenisa |
| 1999 | A Nondeterministic Polynomial-Time Unification Algorithm for Bags, Sets and Trees. Evgeny Dantsin, Andrei Voronkov |
| 1999 | A Strong Logic Programming View for Static Embedded Implications. Rosa Arruabarrena, Paqui Lucio, Marisa Navarro |
| 1999 | A Theory of "May" Testing for Asynchronous Languages. Michele Boreale, Rocco De Nicola, Rosario Pugliese |
| 1999 | A WP-calculus for OO. Frank S. de Boer |
| 1999 | A pi-calculus Process Semantics of Concurrent Idealised ALGOL. Christine Röckl, Davide Sangiorgi |
| 1999 | An Algebraic Characterization of Typability in ML with Subtyping. Marcin Benke |
| 1999 | An Automata-Theoretic Approach to Interprocedural Data-Flow Analysis. Javier Esparza, Jens Knoop |
| 1999 | Categorical Models of Explicit Substitutions. Neil Ghani, Valeria de Paiva, Eike Ritter |
| 1999 | Equational Properties of Mobile Ambients. Andrew D. Gordon, Luca Cardelli |
| 1999 | Expanding the Cube. Gilles Barthe |
| 1999 | Foundations of Software Science and Computation Structure, Second International Conference, FoSSaCS'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings Wolfgang Thomas |
| 1999 | Matching Specifications for Message Sequence Charts. Anca Muscholl |
| 1999 | Model Checking Logics for Communicating Sequential Agents. Michaela Huhn, Peter Niebert, Frank Wallner |
| 1999 | Probabilistic Temporal Logics via the Modal Mu-Calculus. Murali Narasimha, Rance Cleaveland, S. Purushothaman Iyer |
| 1999 | Reasoning About Concurrent Systems Using Types. Davide Sangiorgi |
| 1999 | Security Protocols and Specifications. Martín Abadi |
| 1999 | Static Analysis of Processes for No and Read-Up nad No Write-Down. Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson |
| 1999 | String Languages Generated by Total Deterministic Macro Tree Transducers. Sebastian Maneth |
| 1999 | Testing Hennessy-Milner Logic with Recursion. Luca Aceto, Anna Ingólfsdóttir |
| 1999 | The Recognizability Problem for Tree Automata with Comparisons between Brothers. Bruno Bogaert, Franck Seynhaeve, Sophie Tison |
| 1999 | Unfolding and Event Structure Semantics for Graph Grammars. Paolo Baldan, Andrea Corradini, Ugo Montanari |