Adriana B. Compagnoni
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1994–2006
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2006 | PPDP | BASS: boxed ambients with safe sessions. | Pablo Garralda, Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini |
| 2004 | MFCS | Boxed Ambients with Communication Interfaces. | Eduardo Bonelli, Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini, Pablo Garralda |
| 1999 | CSL | Anti-Symmetry of Higher-Order Subtyping. | Adriana B. Compagnoni, Healfdene Goguen |
| 1996 | LICS | Subtyping Dependent Types (Summary). | David Aspinall, Adriana B. Compagnoni |
| 1994 | CSL | Decidability of Higher-Order Subtyping with Intersection Types. | Adriana B. Compagnoni |