The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Adriana B. Compagnoni: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.002secs, Finished in 0.003secs
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