| 191 | -- | 269 | Andrzej S. Murawski, Nikos Tzevelekos. Nominal Game Semantics |
| 71 | -- | 190 | Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival. Static Analysis and Verification of Aerospace Software by Abstract Interpretation |
| 1 | -- | 69 | Yannis Smaragdakis, George Balatsouras. Pointer Analysis |