Search the dblp DataBase

Publications of Author

1. Eduardo Bonelli, Adriana B. Compagnoni, Ricardo Medel
   Information Flow Analysis for a Typed Assembly Language with Polymorphic Stacks. [Citation Graph (0, 0)][DBLP]
   CASSIS, 2005, pp:37-56 [Conf]
   
2. Adriana B. Compagnoni
   Decidability of Higher-Order Subtyping with Intersection Types. [Citation Graph (0, 0)][DBLP]
   CSL, 1994, pp:46-60 [Conf]
   
3. Adriana B. Compagnoni, Healfdene Goguen
   Anti-Symmetry of Higher-Order Subtyping. [Citation Graph (0, 0)][DBLP]
   CSL, 1999, pp:420-438 [Conf]
   
4. Ricardo Medel, Adriana B. Compagnoni, Eduardo Bonelli
   A Typed Assembly Language for Non-interference. [Citation Graph (0, 0)][DBLP]
   ICTCS, 2005, pp:360-374 [Conf]
   
5. David Aspinall, Adriana B. Compagnoni
   Subtyping Dependent Types (Summary). [Citation Graph (0, 0)][DBLP]
   LICS, 1996, pp:86-97 [Conf]
   
6. Eduardo Bonelli, Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini, Pablo Garralda
   Boxed Ambients with Communication Interfaces. [Citation Graph (0, 0)][DBLP]
   MFCS, 2004, pp:119-148 [Conf]
   
7. Adriana B. Compagnoni, Maribel Fernández
   On Object Calculus with Algebraic Rewriting. [Citation Graph (0, 0)][DBLP]
   PLILP, 1997, pp:17-31 [Conf]
   
8. Pablo Garralda, Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini
   BASS: boxed ambients with safe sessions. [Citation Graph (0, 0)][DBLP]
   PPDP, 2006, pp:61-72 [Conf]
   
9. Adriana B. Compagnoni, Elsa L. Gunter
   Types for Security in a Mobile World. [Citation Graph (0, 0)][DBLP]
   TGC, 2005, pp:75-97 [Conf]
   
10. Eduardo Bonelli, Adriana B. Compagnoni, Elsa L. Gunter
    Correspondence Assertions for Process Synchronization in Concurrent Communications. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:97, n:, pp:175-195 [Journal]
    
11. Eduardo Bonelli, Adriana B. Compagnoni, Elsa L. Gunter
    Typechecking Safe Process Synchronization. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:138, n:1, pp:3-22 [Journal]
    
12. Pablo Garralda, Adriana B. Compagnoni
    Splitting Mobility and Communication in Boxed Ambients. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:135, n:3, pp:61-71 [Journal]
    
13. Giuseppe Castagna, Adriana B. Compagnoni
    Seventh International Workshop on Foundations of Object-Oriented Languages. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2002, v:177, n:1, pp:1- [Journal]
    
14. Adriana B. Compagnoni
    Higher-order subtyping and its decidability. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2004, v:191, n:1, pp:41-103 [Journal]
    
15. Adriana B. Compagnoni, Healfdene Goguen
    Typed operational semantics for higher-order subtyping. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2003, v:184, n:2, pp:242-297 [Journal]
    
16. David Aspinall, Adriana B. Compagnoni
    Heap-Bounded Assembly Language. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2003, v:31, n:3-4, pp:261-302 [Journal]
    
17. Eduardo Bonelli, Adriana B. Compagnoni, Elsa L. Gunter
    Correspondence assertions for process synchronization in concurrent communications. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2005, v:15, n:2, pp:219-247 [Journal]
    
18. Adriana B. Compagnoni, Benjamin C. Pierce
    Higher-Order Intersection Types and Multiple Inheritance. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1996, v:6, n:5, pp:469-501 [Journal]
    
19. David Aspinall, Adriana B. Compagnoni
    Subtyping dependent types. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:266, n:1-2, pp:273-309 [Journal]
    
20. Philippe Bidinger, Adriana B. Compagnoni
    Pict Correctness Revisited. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2007, pp:206-220 [Conf]
    
21. 
    Multipoint Session Types for a Distributed Calculus. [Citation Graph (, )][DBLP]