Search the dblp DataBase
Roberto M. Amadio :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Roberto M. Amadio , Luca Cardelli Subtyping Recursive Types. [Citation Graph (1, 0)][DBLP ] POPL, 1991, pp:104-118 [Conf ] Roberto M. Amadio , Luca Cardelli Subtyping Recursive Types. [Citation Graph (1, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 1993, v:15, n:4, pp:575-631 [Journal ] Roberto M. Amadio , Sanjiva Prasad The Game of the Name in Cryptographic Tables. [Citation Graph (0, 0)][DBLP ] ASIAN, 1999, pp:15-26 [Conf ] Roberto M. Amadio On the Reduction of Chocs Bisimulation to pi-Calculus Bisimulation. [Citation Graph (0, 0)][DBLP ] CONCUR, 1993, pp:112-126 [Conf ] Roberto M. Amadio , Witold Charatonik On Name Generation and Set-Based Analysis in the Dolev-Yao Model. [Citation Graph (0, 0)][DBLP ] CONCUR, 2002, pp:499-514 [Conf ] Roberto M. Amadio , Ilaria Castellani , Davide Sangiorgi On Bisimulations for the Asynchronous pi-Calculus. [Citation Graph (0, 0)][DBLP ] CONCUR, 1996, pp:147-162 [Conf ] Roberto M. Amadio , Silvano Dal-Zilio Resource Control for Synchronous Cooperative Threads. [Citation Graph (0, 0)][DBLP ] CONCUR, 2004, pp:68-82 [Conf ] Roberto M. Amadio , Denis Lugiez On the Reachability Problem in Cryptographic Protocols. [Citation Graph (0, 0)][DBLP ] CONCUR, 2000, pp:380-394 [Conf ] Roberto M. Amadio , Sanjiva Prasad Modelling IP Mobility. [Citation Graph (0, 0)][DBLP ] CONCUR, 1998, pp:301-316 [Conf ] Roberto M. Amadio An Asynchronous Model of Locality, Failurem and Process Mobility. [Citation Graph (0, 0)][DBLP ] COORDINATION, 1997, pp:374-391 [Conf ] Roberto M. Amadio , Solange Coupet-Grimal , Silvano Dal-Zilio , Line Jakubiec A Functional Scenario for Bytecode Verification of Resource Bounds. [Citation Graph (0, 0)][DBLP ] CSL, 2004, pp:265-279 [Conf ] Roberto M. Amadio Bifinite Domains: Stable Case. [Citation Graph (0, 0)][DBLP ] Category Theory and Computer Science, 1991, pp:16-33 [Conf ] Roberto M. Amadio Typed Equivalence, Type Assignment, and Type Containment. [Citation Graph (0, 0)][DBLP ] CTRS, 1990, pp:372-382 [Conf ] Roberto M. Amadio , Lone Leth , Bent Thomsen From a Concurrent Lambda-Calculus to the Pi-Calculus. [Citation Graph (0, 0)][DBLP ] FCT, 1995, pp:106-115 [Conf ] Roberto M. Amadio , Solange Coupet-Grimal Analysis of a Guard Condition in Type Theory (Extended Abstract). [Citation Graph (0, 0)][DBLP ] FoSSaCS, 1998, pp:48-62 [Conf ] Roberto M. Amadio , Gérard Boudol , Cédric Lhoussaine The Receptive Distributed pi-Calculus (Extended Abstract). [Citation Graph (0, 0)][DBLP ] FSTTCS, 1999, pp:304-315 [Conf ] Roberto M. Amadio , Sanjiva Prasad Localities and Failures (Extended Abstract). [Citation Graph (0, 0)][DBLP ] FSTTCS, 1994, pp:205-216 [Conf ] Roberto M. Amadio , Mads Dam Toward a Modal Theory of Types for the pi-Calculus. [Citation Graph (0, 0)][DBLP ] FTRTFT, 1996, pp:347-365 [Conf ] Roberto M. Amadio A fixed point extension of the second order lambda-calculus: observable equivalences and models [Citation Graph (0, 0)][DBLP ] LICS, 1988, pp:51-60 [Conf ] Roberto M. Amadio , Kim B. Bruce , Giuseppe Longo The Finitary Projection Model for Second Order Lambda Calculus and Solutions to Higher Order Domain Equations [Citation Graph (0, 0)][DBLP ] LICS, 1986, pp:122-130 [Conf ] Roberto M. Amadio On the Adequacy of Per Models. [Citation Graph (0, 0)][DBLP ] MFCS, 1993, pp:222-231 [Conf ] Roberto M. Amadio Domains in a Realizability Framework. [Citation Graph (0, 0)][DBLP ] TAPSOFT, Vol.1, 1991, pp:241-263 [Conf ] Roberto M. Amadio , Mads Dam Reasoning about Higher-Order Processes. [Citation Graph (0, 0)][DBLP ] TAPSOFT, 1995, pp:202-216 [Conf ] Roberto M. Amadio Max-Plus Quasi-interpretations. [Citation Graph (0, 0)][DBLP ] TLCA, 2003, pp:31-45 [Conf ] Roberto M. Amadio , Charles Meyssonnier On the Decidability of Fragments of the Asynchronous pi-Calculus. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2001, v:52, n:1, pp:- [Journal ] Roberto M. Amadio On the symbolic reduction of processes with cryptographic functions. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2001, v:55, n:1, pp:- [Journal ] Roberto M. Amadio , Frédéric Dabrowski Feasible Reactivity for Synchronous Cooperative Threads. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2006, v:154, n:3, pp:33-43 [Journal ] Roberto M. Amadio , Gérard Boudol , Frédéric Boussinot , Ilaria Castellani Reactive Concurrent Programming Revisited. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2006, v:162, n:, pp:49-60 [Journal ] Roberto M. Amadio , Sanjiva Prasad Modelling IP Mobility. [Citation Graph (0, 0)][DBLP ] Formal Methods in System Design, 2000, v:17, n:1, pp:61-99 [Journal ] Roberto M. Amadio Synthesis of max-plus quasi-interpretations. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 2005, v:65, n:1-2, pp:29-60 [Journal ] Roberto M. Amadio , Gérard Boudol , Cédric Lhoussaine On message deliverability and non-uniform receptivity. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 2002, v:53, n:2, pp:105-129 [Journal ] Roberto M. Amadio Recursion over Realizability Structures [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1991, v:91, n:1, pp:55-85 [Journal ] Roberto M. Amadio A Quick Construction of a Retraction of All Retractions for Stable Bifinites [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1995, v:116, n:2, pp:272-274 [Journal ] Roberto M. Amadio Guest editor's introduction: Special issue on Modelling and Verification of Cryptographic Protocols. [Citation Graph (0, 0)][DBLP ] J. Log. Algebr. Program., 2005, v:64, n:2, pp:155- [Journal ] Roberto M. Amadio , Charles Meyssonnier On Decidability of the Control Reachability Problem in the Asynchronous pi-Calculus. [Citation Graph (0, 0)][DBLP ] Nord. J. Comput., 2002, v:9, n:1, pp:70-101 [Journal ] Roberto M. Amadio On modelling mobility. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2000, v:240, n:1, pp:147-176 [Journal ] Roberto M. Amadio , Ilaria Castellani , Davide Sangiorgi On Bisimulations for the Asynchronous pi-Calculus. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1998, v:195, n:2, pp:291-324 [Journal ] Roberto M. Amadio , Silvano Dal-Zilio Resource control for synchronous cooperative threads. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2006, v:358, n:2-3, pp:229-254 [Journal ] Roberto M. Amadio , Denis Lugiez , Vincent Vanackère On the symbolic reduction of processes with cryptographic functions. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2003, v:290, n:1, pp:695-740 [Journal ] Roberto M. Amadio , Gérard Boudol , Cédric Lhoussaine The receptive distributed pi-calculus. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 2003, v:25, n:5, pp:549-577 [Journal ] Roberto M. Amadio , Frédéric Dabrowski Feasible reactivity in a synchronous Pi-calculus. [Citation Graph (0, 0)][DBLP ] PPDP, 2007, pp:221-230 [Conf ] Roberto M. Amadio , Frederique Dabrowski Feasible reactivity in a synchronous pi-calculus [Citation Graph (0, 0)][DBLP ] CoRR, 2007, v:0, n:, pp:- [Journal ] Roberto M. Amadio A synchronous pi-calculus [Citation Graph (0, 0)][DBLP ] CoRR, 2006, v:0, n:, pp:- [Journal ] Roberto M. Amadio , Mehdi Dogguy Determinacy in a synchronous pi-calculus [Citation Graph (0, 0)][DBLP ] CoRR, 2007, v:0, n:, pp:- [Journal ] Roberto M. Amadio , Iain Phillips Preface. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2007, v:175, n:3, pp:1-2 [Journal ] Roberto M. Amadio A synchronous pi-calculus. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 2007, v:205, n:9, pp:1470-1490 [Journal ] Roberto M. Amadio The SL synchronous language, revisited. [Citation Graph (0, 0)][DBLP ] J. Log. Algebr. Program., 2007, v:70, n:2, pp:121-150 [Journal ] On Affine Usages in Signal-Based Communication. [Citation Graph (, )][DBLP ] On Stratified Regions. [Citation Graph (, )][DBLP ] The SL synchronous language, revisited [Citation Graph (, )][DBLP ] Resource Control for Synchronous Cooperative Threads [Citation Graph (, )][DBLP ] Reactive concurrent programming revisited [Citation Graph (, )][DBLP ] On affine usages in signal-based communication [Citation Graph (, )][DBLP ] On convergence-sensitive bisimulation and the embedding of CCS in timed CCS [Citation Graph (, )][DBLP ] On stratified regions [Citation Graph (, )][DBLP ] An affine-intuitionistic system of types and effects: confluence and termination [Citation Graph (, )][DBLP ] An affine-intuitionistic system of types and effects: confluence and termination [Citation Graph (, )][DBLP ] Preface. [Citation Graph (, )][DBLP ] On Convergence-sensitive Bisimulation and the Embedding of CCS in Timed CCS. [Citation Graph (, )][DBLP ] Search in 0.004secs, Finished in 0.308secs