☰

Adriana Compagnoni

Affiliations: 
Stevens Institute of Technology 
Area:
Computer Science
Google:
"Adriana Compagnoni"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor

Children

Sign in to add trainee
Pablo A. Garralda grad student 2007 Stevens Institute of Technology
Ricardo H. Medel grad student 2007 Stevens Institute of Technology

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Compagnoni A, Gunter EL, Bidinger P. (2008) Role-based access control for boxed ambients Theoretical Computer Science. 398: 203-216
Bonelli E, Compagnoni A. (2008) Multipoint session types for a distributed calculus Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4912: 240-256
Compagnoni A, Goguen H. (2006) Anti-symmetry of higher-order subtyping and equality by subtyping Mathematical Structures in Computer Science. 16: 41-65
Garralda P, Compagnoni A. (2006) Splitting mobility and communication in boxed ambients Electronic Notes in Theoretical Computer Science. 135: 61-71
Garralda P, Compagnoni A, Dezani-Ciancaglini M. (2006) BASS: Boxed ambiente with safe sessions Ppdp'06 - Proceedings of the Eight Acm Sigplan Symposium On Principles and Practice of Declarative Programming. 2006: 61-72
Bonelli E, Compagnoni A, Gunter E. (2005) Correspondence assertions for process synchronization in concurrent communications Journal of Functional Programming. 15: 219-247
Bonelli E, Compagnoni A, Gunter E. (2005) Typechecking safe process synchronization Electronic Notes in Theoretical Computer Science. 138: 3-22
Compagnoni AB, Gunter EL. (2005) Types for security in a mobile world Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3705: 75-97
Bonelli E, Compagnoni A, Dezani-Ciancaglini M, et al. (2004) Boxed ambients with communication interfaces Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3153: 119-148
Compagnoni A. (2004) Higher-order subtyping and its decidability Information and Computation. 191: 41-103
See more...