The Finitary Projection Model for Second Order Lambda Calculus and Solutions to Higher Order Domain Equations - Roberto M. Amadio; Kim B. Bruce; Giuseppe Longo (LICS, 1986)

Type-free compiling of parametric types. - Roberto M. Amadio; Giuseppe Longo (Formal Description of Programming Concepts, 1987)

A fixed point extension of the second order lambda-calculus: observable equivalences and models - Roberto M. Amadio (LICS, 1988)

Typed Equivalence, Type Assignment, and Type Containment. - Roberto M. Amadio (CTRS, 1990)

Bifinite Domains: Stable Case. - Roberto M. Amadio (Category Theory and Computer Science, 1991)

Domains in a Realizability Framework. - Roberto M. Amadio (TAPSOFT, Vol.1, 1991)

Recursion over Realizability Structures - Roberto M. Amadio (Inf. Comput., 1991)

On the Reduction of Chocs Bisimulation to pi-Calculus Bisimulation. - Roberto M. Amadio (CONCUR, 1993)

On the Adequacy of Per Models. - Roberto M. Amadio (MFCS, 1993)

Subtyping Recursive Types. - Roberto M. Amadio; Luca Cardelli (ACM Trans. Program. Lang. Syst., 1993)

Localities and Failures (Extended Abstract). - Roberto M. Amadio; Sanjiva Prasad (FSTTCS, 1994)

From a Concurrent Lambda-Calculus to the Pi-Calculus. - Roberto M. Amadio; Lone Leth Thomsen; Bent Thomsen (FCT, 1995)

Reasoning about Higher-Order Processes. - Roberto M. Amadio; Mads Dam (TAPSOFT, 1995)

A Quick Construction of a Retraction of All Retractions for Stable Bifinites - Roberto M. Amadio (Inf. Comput., 1995)

Toward a Modal Theory of Types for the pi-Calculus. - Roberto M. Amadio; Mads Dam (FTRTFT, 1996)

An Asynchronous Model of Locality, Failure and Process Mobility. - Roberto M. Amadio (COORDINATION, 1997)

Domains and lambda-calculi. - Roberto M. Amadio; Pierre-Louis Curien (Cambridge University Press, 1998)

Analysis of a Guard Condition in Type Theory (Extended Abstract). - Roberto M. Amadio; Solange Coupet-Grimal (FoSSaCS, 1998)

On Bisimulations for the Asynchronous pi-Calculus. - Roberto M. Amadio; Ilaria Castellani; Davide Sangiorgi (Theor. Comput. Sci., 1998)

The Game of the Name in Cryptographic Tables. - Roberto M. Amadio; Sanjiva Prasad (ASIAN, 1999)

The Receptive Distributed pi-Calculus (Extended Abstract). - Roberto M. Amadio; Gérard Boudol; Cédric Lhoussaine (FSTTCS, 1999)

On the Reachability Problem in Cryptographic Protocols. - Roberto M. Amadio; Denis Lugiez (CONCUR, 2000)

Modelling IP Mobility. - Roberto M. Amadio; Sanjiva Prasad (Formal Methods Syst. Des., 2000)

On modelling mobility. - Roberto M. Amadio (Theor. Comput. Sci., 2000)

On the symbolic reduction of processes with cryptographic functions. - Roberto M. Amadio (LACPV@CAV, 2001)

On the Decidability of Fragments of the Asynchronous pi-Calculus. - Roberto M. Amadio; Charles Meyssonnier (EXPRESS, 2001)

On Name Generation and Set-Based Analysis in the Dolev-Yao Model. - Roberto M. Amadio; Witold Charatonik (CONCUR, 2002)

On message deliverability and non-uniform receptivity. - Roberto M. Amadio; Gérard Boudol; Cédric Lhoussaine (Fundam. Informaticae, 2002)

On Decidability of the Control Reachability Problem in the Asynchronous pi-Calculus. - Roberto M. Amadio; Charles Meyssonnier (Nord. J. Comput., 2002)

Max-Plus Quasi-interpretations. - Roberto M. Amadio (TLCA, 2003)

On the symbolic reduction of processes with cryptographic functions. - Roberto M. Amadio; Denis Lugiez; Vincent Vanackère (Theor. Comput. Sci., 2003)

The receptive distributed pi-calculus. - Roberto M. Amadio; Gérard Boudol; Cédric Lhoussaine (ACM Trans. Program. Lang. Syst., 2003)

A Functional Scenario for Bytecode Verification of Resource Bounds. - Roberto M. Amadio; Solange Coupet-Grimal; Silvano Dal-Zilio; Line Jakubiec (CSL, 2004)

Reactive Concurrent Programming Revisited. - Roberto M. Amadio; Gérard Boudol; Frédéric Boussinot; Ilaria Castellani (APC 25, 2005)

Feasible Reactivity for Synchronous Cooperative Threads. - Roberto M. Amadio; Frédéric Dabrowski (EXPRESS, 2005)

Synthesis of max-plus quasi-interpretations. - Roberto M. Amadio (Fundam. Informaticae, 2005)

Guest editor's introduction: Special issue on Modelling and Verification of Cryptographic Protocols. - Roberto M. Amadio (J. Log. Algebraic Methods Program., 2005)

Preface. - Roberto M. Amadio; Iain Phillips 001 (EXPRESS, 2006)

Resource control for synchronous cooperative threads. - Roberto M. Amadio; Silvano Dal-Zilio (Theor. Comput. Sci., 2006)

Feasible reactivity in a synchronous Pi-calculus. - Roberto M. Amadio; Frédéric Dabrowski (PPDP, 2007)

Determinacy in a synchronous pi-calculus - Roberto M. Amadio; Mehdi Dogguy (CoRR, 2007)

Preface. - Roberto M. Amadio; Thomas T. Hildebrandt (EXPRESS, 2007)

A synchronous pi-calculus. - Roberto M. Amadio (Inf. Comput., 2007)

The SL synchronous language, revisited. - Roberto M. Amadio (J. Log. Algebraic Methods Program., 2007)

On Affine Usages in Signal-Based Communication. - Roberto M. Amadio; Mehdi Dogguy (APLAS, 2008)

On Convergence-sensitive Bisimulation and the Embedding of CCS in Timed CCS. - Roberto M. Amadio (EXPRESS, 2008)

On Stratified Regions. - Roberto M. Amadio (APLAS, 2009)

An affine-intuitionistic system of types and effects: confluence and termination - Roberto M. Amadio; Patrick Baillot; Antoine Madet (CoRR, 2009)

Preface. - Roberto M. Amadio; Giuseppe Castagna; Andrea Asperti (Inf. Comput., 2009)

Certifying cost annotations in compilers - Roberto M. Amadio; Nicholas Ayache; Yann Régis-Gianas; Ronan Saillard (CoRR, 2010)

Certifying and Reasoning on Cost Annotations of Functional Programs. - Roberto M. Amadio; Yann Régis-Gianas (FOPARA, 2011)

An Elementary Affine λ-Calculus with Multithreading and Side Effects. - Antoine Madet; Roberto M. Amadio (TLCA, 2011)

A decompilation of the pi-calculus and its application to termination - Roberto M. Amadio (CoRR, 2011)

Elementary affine λ-calculus with multithreading and side effects - Antoine Madet; Roberto M. Amadio (CoRR, 2011)

Certifying and Reasoning on Cost Annotations in C Programs. - Nicholas Ayache; Roberto M. Amadio; Yann Régis-Gianas (FMICS, 2012)

Certified Complexity (CerCo). - Roberto M. Amadio; Nicholas Ayache; François Bobot; Jaap Boender; Brian Campbell 001; Ilias Garnier; Antoine Madet; James McKinna; Dominic P. Mulligan; Mauro Piccolo; Randy Pollack; Yann Régis-Gianas; et al. (FOPARA, 2013)