Follow
Adriana Compagnoni
Adriana Compagnoni
Professor of Computer Science, Stevens Institute of Technology
Verified email at stevens.edu - Homepage
Title
Cited by
Cited by
Year
Subtyping dependent types
D Aspinall, A Compagnoni
Theoretical Computer Science 266 (1-2), 273-309, 2001
138*2001
Subtyping dependent types
D Aspinall, A Compagnoni
Logic in Computer Science, 1996. LICS'96. Proceedings., Eleventh Annual IEEE …, 1996
851996
Multipoint session types for a distributed calculus
E Bonelli, A Compagnoni
Trustworthy Global Computing 4912, 240-256, 2008
822008
Correspondence assertions for process synchronization in concurrent communications
E Bonelli, A Compagnoni, E Gunter
Journal of Functional Programming 15 (2), 219-247, 2005
812005
Higher-order intersection types and multiple inheritance
AB Compagnoni, BC Pierce
Mathematical Structures in Computer Science 6 (5), 469-501, 1996
701996
Higher-order subtyping with intersection types
AB Compagnoni
[Sl: sn], 1995
581995
Heap-bounded assembly language
D Aspinall, A Compagnoni
Journal of automated reasoning 31, 261-302, 2003
562003
Typed operational semantics for higher-order subtyping
A Compagnoni, H Goguen
Information and Computation 184 (2), 242-297, 2003
532003
BASS: Boxed ambients with safe sessions
P Garralda, A Compagnoni, M Dezani-Ciancaglini
Proceedings of the 8th ACM SIGPLAN international conference on Principles …, 2006
512006
A typed assembly language for non-interference
R Medel, A Compagnoni, E Bonelli
Italian Conference on Theoretical Computer Science, 360-374, 2005
372005
Decidability of higher-order subtyping with intersection types
AB Compagnoni
Computer Science Logic: 8th Workshop, CSL'94 Kazimierz, Poland, September 25 …, 1995
371995
Multiple inheritance via intersection types
AB Compagnoni, BC Pierce
Computing Science Institute, Department of Informatics, Faculty of …, 1993
251993
Role-based access control for boxed ambients
A Compagnoni, EL Gunter, P Bidinger
Theoretical Computer Science 398 (1-3), 203-216, 2008
242008
Typechecking safe process synchronization
E Bonelli, A Compagnoni, E Gunter
Electronic Notes in Theoretical Computer Science 138 (1), 3-22, 2005
242005
Subtyping for object type constructors
D Duggan, A Compagnoni
Workshop On Foundations Of Object-Oriented Languages 7, 4, 1999
221999
Subtyping in F is Decidable
AB Compagnoni
University of Edinburgh. Department of Computer Science. Laboratory for …, 1994
201994
Bioscape: A modeling and simulation language for bacteria-materials interactions
A Compagnoni, V Sharma, Y Bao, M Libera, S Sukhishvili, P Bidinger, ...
Electronic Notes in Theoretical Computer Science 293, 35-49, 2013
152013
Information flow analysis for a typed assembly language with polymorphic stacks
E Bonelli, A Compagnoni, R Medel
International Workshop on Construction and Analysis of Safe, Secure, and …, 2005
152005
Boxed ambients with communication interfaces
E Bonelli, A Compagnoni, M Dezani-Ciancaglini, P Garralda
International Symposium on Mathematical Foundations of Computer Science, 119-148, 2004
142004
Non-interference for a typed assembly language
R Medel, A Compagnoni, E Bonelli
Foundations of Computer Security, 67, 2005
122005
The system can't perform the operation now. Try again later.
Articles 1–20