| 1999 | On Bunched Predicate Logic. | David J. Pym |
| 1999 | Proving Security Protocols Correct. | Lawrence C. Paulson |
| 1999 | Entailment of Atomic Set Constraints is PSPACE-Complete. | Joachim Niehren, Martin Mller, Jean-Marc Talbot |
| 1999 | On the Expressive Power of CTL. | Faron Moller, Alexander Moshe Rabinovich |
| 1999 | Full Abstraction and Universality via Realisability. | Michael Marz, Alexander Rohr, Thomas Streicher |
| 1999 | Non-Deterministic Games and Program Analysis: An Application to Security. | Pasquale Malacaria, Chris Hankin |
| 1999 | Logics with Counting, Auxiliary Relations, and Lower Bounds for Invariant Queries. | Leonid Libkin |
| 1999 | On Hoare Logic and Kleene Algebra with Tests. | Dexter Kozen |
| 1999 | Type Inference for Recursive Definitions. | A. J. Kfoury, Santiago M. Perics-Geertsen |
| 1999 | The Higher-Order Recursive Path Ordering. | Jean-Pierre Jouannaud, Albert Rubio |
| 1999 | Weak Bounded Arithmetic, the Diffie-Hellman Problem and Constable's Class K. | Jan Johannsen |
| 1999 | Towards a Theory of Bisimulation for Local Names. | Alan Jeffrey, Julian Rathke |
| 1999 | Parikh's Theorem in Commutative Kleene Algebra. | Mark W. Hopkins, Dexter Kozen |
| 1999 | Linear Types and Non-Size-Increasing Polynomial Time Computation. | Martin Hofmann |
| 1999 | Semantical Analysis of Higher-Order Abstract Syntax. | Martin Hofmann |
| 1999 | Logics with Aggregate Operators. | Lauri Hella, Leonid Libkin, Juha Nurmonen, Limsoon Wong |
| 1999 | A Fully Abstract Game Semantics for Finite Nondeterminism. | Russell Harmer, Guy McCusker |
| 1999 | Reasoning about Common Knowledge with Infinitely Many Agents. | Joseph Y. Halpern, Richard A. Shore |
| 1999 | Plausibility Measures and Default Reasoning: An Overview. | Joseph Y. Halpern, Nir Friedman |
| 1999 | Correctness of Multiplicative Proof Nets Is Linear. | Stefano Guerrini |
| 1999 | Guarded Fixed Point Logic. | Erich Grdel, Igor Walukiewicz |
| 1999 | Two-Variable Descriptions of Regularity. | Erich Grdel, Eric Rosen |
| 1999 | Working with Arms: Complexity Results on Atomic Representations of Herbrand Models. | Georg Gottlob, Reinhard Pichler |
| 1999 | A Superposition Decision Procedure for the Guarded Fragment with Equality. | Harald Ganzinger, Hans de Nivelle |
| 1999 | The Two-Variable Guarded Fragment with Transitive Relations. | Harald Ganzinger, Christoph Meyer, Margus Veanes |