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