| 2009 |
|---|
| 7 | EE | Iman Narasamdya,
Michaël Périn:
Certification of Smart-Card Applications in Common Criteria.
FASE 2009: 309-324 |
| 6 | EE | Iman Narasamdya,
Michaël Périn:
Certification of smart-card applications in common criteria.
SAC 2009: 601-608 |
| 2008 |
|---|
| 5 | EE | Karthikeyan Bhargavan,
Andrew D. Gordon,
Iman Narasamdya:
Service Combinators for Farming Virtual Machines.
COORDINATION 2008: 33-49 |
| 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 |
