 | 2009 |
|---|
| 8 |       | Iman Narasamdya,
Michaël Périn:
Certification of Smart-Card Applications in Common Criteria.
FASE 2009: 309-324 |
| 7 | | Iman Narasamdya,
Michaël Périn:
Certification of smart-card applications in common criteria.
SAC 2009: 601-608 |
| 6 | | Andrei Voronkov,
Iman Narasamdya:
Inter-program Properties.
SAS 2009: 343-359 |
| 2008 |
|---|
| 5 | | Karthikeyan Bhargavan,
Andrew D. Gordon,
Iman Narasamdya:
Service Combinators for Farming Virtual Machines.
COORDINATION 2008: 33-49 |
| 2007 |
|---|
| 4 | | Karthikeyan Bhargavan,
Andrew D. Gordon,
Iman Narasamdya:
Service Combinators for Farming Virtual Machines.
TGC 2007: 22 |
| 2005 |
|---|
| 3 | | 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 |
