The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Roberto M. Amadio: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Roberto M. Amadio, Luca Cardelli
    Subtyping Recursive Types. [Citation Graph (1, 0)][DBLP]
    POPL, 1991, pp:104-118 [Conf]
  2. 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]
  3. Roberto M. Amadio, Sanjiva Prasad
    The Game of the Name in Cryptographic Tables. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1999, pp:15-26 [Conf]
  4. Roberto M. Amadio
    On the Reduction of Chocs Bisimulation to pi-Calculus Bisimulation. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1993, pp:112-126 [Conf]
  5. 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]
  6. 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]
  7. Roberto M. Amadio, Silvano Dal-Zilio
    Resource Control for Synchronous Cooperative Threads. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2004, pp:68-82 [Conf]
  8. Roberto M. Amadio, Denis Lugiez
    On the Reachability Problem in Cryptographic Protocols. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2000, pp:380-394 [Conf]
  9. Roberto M. Amadio, Sanjiva Prasad
    Modelling IP Mobility. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1998, pp:301-316 [Conf]
  10. Roberto M. Amadio
    An Asynchronous Model of Locality, Failurem and Process Mobility. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 1997, pp:374-391 [Conf]
  11. 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]
  12. Roberto M. Amadio
    Bifinite Domains: Stable Case. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1991, pp:16-33 [Conf]
  13. Roberto M. Amadio
    Typed Equivalence, Type Assignment, and Type Containment. [Citation Graph (0, 0)][DBLP]
    CTRS, 1990, pp:372-382 [Conf]
  14. 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]
  15. 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]
  16. 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]
  17. Roberto M. Amadio, Sanjiva Prasad
    Localities and Failures (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1994, pp:205-216 [Conf]
  18. 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]
  19. 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]
  20. 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]
  21. Roberto M. Amadio
    On the Adequacy of Per Models. [Citation Graph (0, 0)][DBLP]
    MFCS, 1993, pp:222-231 [Conf]
  22. Roberto M. Amadio
    Domains in a Realizability Framework. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.1, 1991, pp:241-263 [Conf]
  23. Roberto M. Amadio, Mads Dam
    Reasoning about Higher-Order Processes. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1995, pp:202-216 [Conf]
  24. Roberto M. Amadio
    Max-Plus Quasi-interpretations. [Citation Graph (0, 0)][DBLP]
    TLCA, 2003, pp:31-45 [Conf]
  25. 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]
  26. 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]
  27. 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]
  28. 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]
  29. 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]
  30. 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]
  31. 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]
  32. Roberto M. Amadio
    Recursion over Realizability Structures [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1991, v:91, n:1, pp:55-85 [Journal]
  33. 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]
  34. 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]
  35. 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]
  36. Roberto M. Amadio
    On modelling mobility. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:240, n:1, pp:147-176 [Journal]
  37. 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]
  38. 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]
  39. 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]
  40. 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]
  41. 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]
  42. Roberto M. Amadio, Frederique Dabrowski
    Feasible reactivity in a synchronous pi-calculus [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  43. Roberto M. Amadio
    A synchronous pi-calculus [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  44. Roberto M. Amadio, Mehdi Dogguy
    Determinacy in a synchronous pi-calculus [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  45. 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]
  46. Roberto M. Amadio
    A synchronous pi-calculus. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2007, v:205, n:9, pp:1470-1490 [Journal]
  47. 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]

  48. On Affine Usages in Signal-Based Communication. [Citation Graph (, )][DBLP]


  49. On Stratified Regions. [Citation Graph (, )][DBLP]


  50. The SL synchronous language, revisited [Citation Graph (, )][DBLP]


  51. Resource Control for Synchronous Cooperative Threads [Citation Graph (, )][DBLP]


  52. Reactive concurrent programming revisited [Citation Graph (, )][DBLP]


  53. On affine usages in signal-based communication [Citation Graph (, )][DBLP]


  54. On convergence-sensitive bisimulation and the embedding of CCS in timed CCS [Citation Graph (, )][DBLP]


  55. On stratified regions [Citation Graph (, )][DBLP]


  56. An affine-intuitionistic system of types and effects: confluence and termination [Citation Graph (, )][DBLP]


  57. An affine-intuitionistic system of types and effects: confluence and termination [Citation Graph (, )][DBLP]


  58. Preface. [Citation Graph (, )][DBLP]


  59. On Convergence-sensitive Bisimulation and the Embedding of CCS in Timed CCS. [Citation Graph (, )][DBLP]


Search in 0.143secs, Finished in 0.145secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002