| |
| 2007 | ||
|---|---|---|
| 4 | EE | Karthikeyan Bhargavan, Andrew D. Gordon, Iman Narasamdya: Service Combinators for Farming Virtual Machines. TGC 2007: 22 |
| 2005 | ||
| 3 | EE | Iman Narasamdya, Andrei Voronkov: Finding Basic Block and Variable Correspondence. SAS 2005: 251-267 |
| 2004 | ||
| 2 | Yves Martin, Iman Narasamdya, Michael Thielscher: Knowledge of Other Agents and Communicative Actions in the Fluent Calculus. ICAPS 2004: 12-22 | |
| 1 | Yves Martin, Iman Narasamdya, Michael Thielscher: Knowledge of Other Agents and Communicative Actions in the Fluent Calculus. KR 2004: 623-633 | |
| 1 | Karthikeyan Bhargavan | [4] |
| 2 | Andrew D. Gordon | [4] |
| 3 | Yves Martin | [1] [2] |
| 4 | Michael Thielscher | [1] [2] |
| 5 | Andrei Voronkov | [3] |