| 269 | -- | 381 | Ravichandhran Madhavan, G. Ramalingam, Kapil Vaswani. A Framework For Efficient Modular Heap Analysis |
| 151 | -- | 267 | Véronique Cortier, Steve Kremer. Formal Models and Techniques for Analyzing Security Protocols: A Tutorial |
| 1 | -- | 150 | Sebastian Burckhardt. Principles of Eventual Consistency |