Roberto M. Amadio

76 papers A* 3B 14C 3Journal 32Unranked 20
YearRankTypeTitle / Venue / Authors
2027 — book
Operational Methods in Semantics
Roberto M. Amadio, Giovanni Bernardi
2025 J jnl
Operational methods in semantics.
CoRR
Roberto M. Amadio
2013 — conf
Certified Complexity (CerCo).
FOPARA
Roberto M. Amadio, Nicholas Ayache, François Bobot, Jaap Boender, Brian Campbell, Ilias Garnier, Antoine Madet, James McKinna, Dominic P. Mulligan, Mauro Piccolo, Randy Pollack, Yann Régis-Gianas, Claudio Sacerdoti Coen, Ian Stark, Paolo Tranquilli
2012 C conf
Certifying and Reasoning on Cost Annotations in C Programs.
FMICS
Nicholas Ayache, Roberto M. Amadio, Yann Régis-Gianas
2011 J jnl
A decompilation of the pi-calculus and its application to termination
CoRR
Roberto M. Amadio
2011 — conf
An Elementary Affine
TLCA
Antoine Madet, Roberto M. Amadio
2011 — conf
Certifying and Reasoning on Cost Annotations of Functional Programs.
FOPARA
Roberto M. Amadio, Yann Régis-Gianas
2011 J jnl
Certifying and reasoning on cost annotations of functional programs
CoRR
Roberto M. Amadio, Yann Régis-Gianas
2011 J jnl
Elementary affine λ-calculus with multithreading and side effects
CoRR
Antoine Madet, Roberto M. Amadio
2010 J jnl
An affine-intuitionistic system of types and effects: confluence and termination
CoRR
Roberto M. Amadio, Patrick Baillot, Antoine Madet
2010 J jnl
Certifying cost annotations in compilers
CoRR
Roberto M. Amadio, Nicholas Ayache, Yann Régis-Gianas, Ronan Saillard
2009 J jnl
An affine-intuitionistic system of types and effects: confluence and termination
CoRR
Roberto M. Amadio, Patrick Baillot, Antoine Madet
2009 B conf
On Stratified Regions.
APLAS
Roberto M. Amadio
2009 J jnl
On stratified regions
CoRR
Roberto M. Amadio
2009 J jnl
Preface.
Inf. Comput.
Roberto M. Amadio, Giuseppe Castagna, Andrea Asperti
2008 B ed.
Foundations of Software Science and Computational Structures, 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings
FoSSaCS
Roberto M. Amadio
2008 B conf
On Affine Usages in Signal-Based Communication.
APLAS
Roberto M. Amadio, Mehdi Dogguy
2008 — conf
On Convergence-sensitive Bisimulation and the Embedding of CCS in Timed CCS.
EXPRESS
Roberto M. Amadio
2008 J jnl
On affine usages in signal-based communication
CoRR
Roberto M. Amadio, Mehdi Dogguy
2008 J jnl
On convergence-sensitive bisimulation and the embedding of CCS in timed CCS
CoRR
Roberto M. Amadio
2008 — ed.
Proceedings of the 14th International Workshop on Expressiveness in Concurrency, EXPRESS 2007, Lisbon, Portugal, September 3, 2007
EXPRESS
Roberto M. Amadio, Thomas T. Hildebrandt
2007 J jnl
A synchronous pi-calculus.
Inf. Comput.
Roberto M. Amadio
2007 J jnl
Determinacy in a synchronous pi-calculus
CoRR
Roberto M. Amadio, Mehdi Dogguy
2007 C conf
Feasible reactivity in a synchronous Pi-calculus.
PPDP
Roberto M. Amadio, Frédéric Dabrowski
2007 J jnl
Feasible reactivity in a synchronous pi-calculus
CoRR
Roberto M. Amadio, Frédéric Dabrowski
2007 — conf
Preface.
EXPRESS
Roberto M. Amadio, Thomas T. Hildebrandt
2007 — ed.
Proceedings of the 13th International Workshop on Expressiveness in Concurrency, EXPRESS 2006, Bonn, Germany, August 26, 2006
EXPRESS
Roberto M. Amadio, Iain Phillips
2007 J jnl
The SL synchronous language, revisited.
J. Log. Algebraic Methods Program.
Roberto M. Amadio
2006 J jnl
A synchronous pi-calculus
CoRR
Roberto M. Amadio
2006 — conf
Preface.
EXPRESS
Roberto M. Amadio, Iain Phillips
2006 J jnl
Resource control for synchronous cooperative threads.
Theor. Comput. Sci.
Roberto M. Amadio, Silvano Dal-Zilio
2005 — conf
Feasible Reactivity for Synchronous Cooperative Threads.
EXPRESS
Roberto M. Amadio, Frédéric Dabrowski
2005 J jnl
Guest editor's introduction: Special issue on Modelling and Verification of Cryptographic Protocols.
J. Log. Algebraic Methods Program.
Roberto M. Amadio
2005 — conf
Reactive Concurrent Programming Revisited.
APC 25
Roberto M. Amadio, Gérard Boudol, Frédéric Boussinot, Ilaria Castellani
2005 J jnl
Reactive concurrent programming revisited
CoRR
Roberto M. Amadio, Gérard Boudol, Ilaria Castellani, Frédéric Boussinot
2005 J jnl
Resource Control for Synchronous Cooperative Threads
CoRR
Roberto M. Amadio, Silvano Dal-Zilio
2005 J jnl
Synthesis of max-plus quasi-interpretations.
Fundam. Informaticae
Roberto M. Amadio
2005 J jnl
The SL synchronous language, revisited
CoRR
Roberto M. Amadio
2004 B conf
A Functional Scenario for Bytecode Verification of Resource Bounds.
CSL
Roberto M. Amadio, Solange Coupet-Grimal, Silvano Dal-Zilio, Line Jakubiec
2004 B conf
Resource Control for Synchronous Cooperative Threads.
CONCUR
Roberto M. Amadio, Silvano Dal-Zilio
2003 B ed.
CONCUR 2003 - Concurrency Theory, 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings
CONCUR
Roberto M. Amadio, Denis Lugiez
2003 — conf
Max-Plus Quasi-interpretations.
TLCA
Roberto M. Amadio
2003 J jnl
On the symbolic reduction of processes with cryptographic functions.
Theor. Comput. Sci.
Roberto M. Amadio, Denis Lugiez, Vincent Vanackère
2003 J jnl
The receptive distributed pi-calculus.
ACM Trans. Program. Lang. Syst.
Roberto M. Amadio, Gérard Boudol, Cédric Lhoussaine
2002 J jnl
On Decidability of the Control Reachability Problem in the Asynchronous pi-Calculus.
Nord. J. Comput.
Roberto M. Amadio, Charles Meyssonnier
2002 B conf
On Name Generation and Set-Based Analysis in the Dolev-Yao Model.
CONCUR
Roberto M. Amadio, Witold Charatonik
2002 J jnl
On message deliverability and non-uniform receptivity.
Fundam. Informaticae
Roberto M. Amadio, Gérard Boudol, Cédric Lhoussaine
2001 — conf
On the Decidability of Fragments of the Asynchronous pi-Calculus.
EXPRESS
Roberto M. Amadio, Charles Meyssonnier
2001 — conf
On the symbolic reduction of processes with cryptographic functions.
LACPV@CAV
Roberto M. Amadio
2000 J jnl
Modelling IP Mobility.
Formal Methods Syst. Des.
Roberto M. Amadio, Sanjiva Prasad
2000 J jnl
On modelling mobility.
Theor. Comput. Sci.
Roberto M. Amadio
2000 B conf
On the Reachability Problem in Cryptographic Protocols.
CONCUR
Roberto M. Amadio, Denis Lugiez
1999 — conf
The Game of the Name in Cryptographic Tables.
ASIAN
Roberto M. Amadio, Sanjiva Prasad
1999 — conf
The Receptive Distributed pi-Calculus (Extended Abstract).
FSTTCS
Roberto M. Amadio, Gérard Boudol, Cédric Lhoussaine
1998 B conf
Analysis of a Guard Condition in Type Theory (Extended Abstract).
FoSSaCS
Roberto M. Amadio, Solange Coupet-Grimal
1998 — book
Domains and lambda-calculi.
Roberto M. Amadio, Pierre-Louis Curien
1998 B conf
Modelling IP Mobility.
CONCUR
Roberto M. Amadio, Sanjiva Prasad
1998 J jnl
On Bisimulations for the Asynchronous pi-Calculus.
Theor. Comput. Sci.
Roberto M. Amadio, Ilaria Castellani, Davide Sangiorgi
1997 C conf
An Asynchronous Model of Locality, Failure and Process Mobility.
COORDINATION
Roberto M. Amadio
1996 B conf
On Bisimulations for the Asynchronous pi-Calculus.
CONCUR
Roberto M. Amadio, Ilaria Castellani, Davide Sangiorgi
1996 — conf
Toward a Modal Theory of Types for the pi-Calculus.
FTRTFT
Roberto M. Amadio, Mads Dam
1995 J jnl
A Quick Construction of a Retraction of All Retractions for Stable Bifinites
Inf. Comput.
Roberto M. Amadio
1995 B conf
From a Concurrent Lambda-Calculus to the Pi-Calculus.
FCT
Roberto M. Amadio, Lone Leth Thomsen, Bent Thomsen
1995 — conf
Reasoning about Higher-Order Processes.
TAPSOFT
Roberto M. Amadio, Mads Dam
1994 — conf
Localities and Failures (Extended Abstract).
FSTTCS
Roberto M. Amadio, Sanjiva Prasad
1993 B conf
On the Adequacy of Per Models.
MFCS
Roberto M. Amadio
1993 B conf
On the Reduction of Chocs Bisimulation to pi-Calculus Bisimulation.
CONCUR
Roberto M. Amadio
1993 J jnl
Subtyping Recursive Types.
ACM Trans. Program. Lang. Syst.
Roberto M. Amadio, Luca Cardelli
1991 — conf
Bifinite Domains: Stable Case.
Category Theory and Computer Science
Roberto M. Amadio
1991 — conf
Domains in a Realizability Framework.
TAPSOFT, Vol.1
Roberto M. Amadio
1991 J jnl
Recursion over Realizability Structures
Inf. Comput.
Roberto M. Amadio
1991 A* conf
Subtyping Recursive Types.
POPL
Roberto M. Amadio, Luca Cardelli
1990 — conf
Typed Equivalence, Type Assignment, and Type Containment.
CTRS
Roberto M. Amadio
1988 A* conf
A fixed point extension of the second order lambda-calculus: observable equivalences and models
LICS
Roberto M. Amadio
1987 — conf
Type-free compiling of parametric types.
Formal Description of Programming Concepts
Roberto M. Amadio, Giuseppe Longo
1986 A* conf
The Finitary Projection Model for Second Order Lambda Calculus and Solutions to Higher Order Domain Equations
LICS
Roberto M. Amadio, Kim B. Bruce, Giuseppe Longo