- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 5 |      | Andrzej S. Murawski, Nikos Tzevelekos: Full Abstraction for Reduced ML. FOSSACS 2009: 32-47 |
| 4 | | C.-H. Luke Ong, Nikos Tzevelekos: Functional Reachability. LICS 2009: 286-295 |
| 3 | | Nikos Tzevelekos: Full abstraction for nominal general references Logical Methods in Computer Science 5(3): (2009) |
| 2007 | ||
| 2 | | Nikos Tzevelekos: Full abstraction for nominal general references. LICS 2007: 399-410 |
| 2006 | ||
| 1 | | Nikos Tzevelekos: Investigations on the Dual Calculus. Theor. Comput. Sci. 360(1-3): 289-326 (2006) |
| 1 | Andrzej S. Murawski | [5] |
| 2 | C.-H. Luke Ong | [4] |