| 2012 | FMICS | Certifying and Reasoning on Cost Annotations in C Programs. | Nicholas Ayache, Roberto M. Amadio, Yann Rgis-Gianas |
| 2009 | APLAS | On Stratified Regions. | Roberto M. Amadio |
| 2008 | APLAS | On Affine Usages in Signal-Based Communication. | Roberto M. Amadio, Mehdi Dogguy |
| 2007 | PPDP | Feasible reactivity in a synchronous Pi-calculus. | Roberto M. Amadio, Frdric Dabrowski |
| 2004 | CONCUR | Resource Control for Synchronous Cooperative Threads. | Roberto M. Amadio, Silvano Dal-Zilio |
| 2004 | CSL | A Functional Scenario for Bytecode Verification of Resource Bounds. | Roberto M. Amadio, Solange Coupet-Grimal, Silvano Dal-Zilio, Line Jakubiec |
| 2002 | CONCUR | On Name Generation and Set-Based Analysis in the Dolev-Yao Model. | Roberto M. Amadio, Witold Charatonik |
| 2000 | CONCUR | On the Reachability Problem in Cryptographic Protocols. | Roberto M. Amadio, Denis Lugiez |
| 1998 | CONCUR | Modelling IP Mobility. | Roberto M. Amadio, Sanjiva Prasad |
| 1998 | FOSSACS | Analysis of a Guard Condition in Type Theory (Extended Abstract). | Roberto M. Amadio, Solange Coupet-Grimal |
| 1997 | Coordination | An Asynchronous Model of Locality, Failure and Process Mobility. | Roberto M. Amadio |
| 1996 | CONCUR | On Bisimulations for the Asynchronous pi-Calculus. | Roberto M. Amadio, Ilaria Castellani, Davide Sangiorgi |
| 1995 | FCT | From a Concurrent Lambda-Calculus to the Pi-Calculus. | Roberto M. Amadio, Lone Leth Thomsen, Bent Thomsen |
| 1993 | CONCUR | On the Reduction of Chocs Bisimulation to pi-Calculus Bisimulation. | Roberto M. Amadio |
| 1993 | MFCS | On the Adequacy of Per Models. | Roberto M. Amadio |
| 1991 | POPL | Subtyping Recursive Types. | Roberto M. Amadio, Luca Cardelli |
| 1988 | LICS | A fixed point extension of the second order lambda-calculus: observable equivalences and models | Roberto M. Amadio |
| 1986 | LICS | The Finitary Projection Model for Second Order Lambda Calculus and Solutions to Higher Order Domain Equations | Roberto M. Amadio, Kim B. Bruce, Giuseppe Longo |