Adriana Compagnoni
Adriana Compagnoni
Professor of Computer Science, Stevens Institute of Technology
Dirección de correo verificada de stevens.edu - Página principal
Título
Citado por
Citado por
Año
Subtyping dependent types
D Aspinall, A Compagnoni
Theoretical computer science 266 (1-2), 273-309, 2001
133*2001
Multipoint session types for a distributed calculus
E Bonelli, A Compagnoni
Trustworthy Global Computing 4912, 240-256, 2008
872008
Correspondence assertions for process synchronization in concurrent communications
E Bonelli, A Compagnoni, E Gunter
Journal of Functional Programming 15 (2), 219-247, 2005
832005
Subtyping dependent types
D Aspinall, A Compagnoni
Logic in Computer Science, 1996. LICS'96. Proceedings., Eleventh Annual IEEE …, 1996
811996
Higher-order intersection types and multiple inheritance
AB Compagnoni, BC Pierce
Mathematical Structures in Computer Science 6 (5), 469-501, 1996
631996
Higher-order subtyping with intersection types
AB Compagnoni
[Sl: sn], 1995
561995
Heap-bounded assembly language
D Aspinall, A Compagnoni
Journal of automated reasoning 31 (3), 261-302, 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
502006
A typed assembly language for non-interference
R Medel, A Compagnoni, E Bonelli
Italian Conference on Theoretical Computer Science, 360-374, 2005
372005
Typed operational semantics for higher-order subtyping
A Compagnoni, H Goguen
Information and Computation 184 (2), 242-297, 2003
352003
Decidability of higher-order subtyping with intersection types
AB Compagnoni
International Workshop on Computer Science Logic, 46-60, 1994
321994
Role-based access control for boxed ambients
A Compagnoni, EL Gunter, P Bidinger
Theoretical Computer Science 398 (1-3), 203-216, 2008
262008
Typechecking safe process synchronization
E Bonelli, A Compagnoni, E Gunter
Electronic Notes in Theoretical Computer Science 138 (1), 3-22, 2005
262005
Multiple inheritance via intersection types
AB Compagnoni, BC Pierce
Computing Science Institute, Department of Informatics, Faculty of …, 1993
261993
Typed operational semantics for higher order subtyping
A Compagnoni, H Goguen
Information and Computation, 1997
231997
Subtyping for object type constructors
D Duggan, A Compagnoni
Workshop On Foundations Of Object-Oriented Languages 7, 4, 1999
211999
Subtyping in F is Decidable
AB Compagnoni
University of Edinburgh. Department of Computer Science. Laboratory for …, 1994
191994
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
152004
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20