Concepedia

Roberto M. Amadio

RM

Statistics

Publications

20

Citations

1.3K

H-Index

15

Active since

1986

Affiliations

Université Paris Cité(Current)

Laboratoire d’Informatique Fondamentale de Marseille

Centre National de la Recherche Scientifique

Aix-Marseille Université

Institut national de recherche en sciences et technologies du numérique

Roberto M. Amadio is an author at Université Paris Cité specializing in computer science, computing, and theory of computation.

Publications per year

1986–2024

20

Publications

20

Subtyping recursive types

Roberto M. Amadio, Luca Cardelli · ACM Transactions on Programming Languages and Systems · 1993 · 353 citations · Full text

, , +14

On bisimulations for the asynchronous π-calculus

Roberto M. Amadio, Ilaria Castellani, Davide Sangiorgi · Theoretical Computer Science · 1998 · 255 citations

, , +4

On the symbolic reduction of processes with cryptographic functions

Roberto M. Amadio, Denis Lugiez, Vincent Vanackère · Theoretical Computer Science · 2002 · 94 citations

, , +14

Subtyping recursive types

Roberto M. Amadio, Luca Cardelli · 1991 · 75 citations

, , +14

Recursion over realizability structures

Roberto M. Amadio · Information and Computation · 1991 · 62 citations

, , +5

1–5 of 20