Urmăriți
Adriana Compagnoni
Adriana Compagnoni
Professor of Computer Science, Stevens Institute of Technology
Adresă de e-mail confirmată pe stevens.edu - Pagina de pornire
Titlu
Citat de
Citat de
Anul
Subtyping dependent types
D Aspinall, A Compagnoni
Logic in Computer Science, 1996. LICS'96. Proceedings., Eleventh Annual IEEE …, 1996
142*1996
Multipoint session types for a distributed calculus
E Bonelli, A Compagnoni
Trustworthy Global Computing 4912, 240-256, 2008
832008
Correspondence assertions for process synchronization in concurrent communications
E Bonelli, A Compagnoni, E Gunter
Journal of Functional Programming 15 (2), 219-247, 2005
822005
Higher-order intersection types and multiple inheritance
AB Compagnoni, BC Pierce
Mathematical Structures in Computer Science 6 (5), 469-501, 1996
711996
Higher-order subtyping with intersection types
AB Compagnoni
[Sl: sn], 1995
601995
Heap-bounded assembly language
D Aspinall, A Compagnoni
Journal of automated reasoning 31, 261-302, 2003
572003
Typed operational semantics for higher-order subtyping
A Compagnoni, H Goguen
Information and Computation 184 (2), 242-297, 2003
552003
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
361995
Role-based access control for boxed ambients
A Compagnoni, EL Gunter, P Bidinger
Theoretical Computer Science 398 (1-3), 203-216, 2008
252008
Typechecking safe process synchronization
E Bonelli, A Compagnoni, E Gunter
Electronic Notes in Theoretical Computer Science 138 (1), 3-22, 2005
252005
Multiple inheritance via intersection types
AB Compagnoni, BC Pierce
Computing Science Institute, Department of Informatics, Faculty of …, 1993
251993
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
152004
Subject reduction and minimal types for higher order subtyping
A Compagnoni
University of Edinburgh. Department of Computer Sc, 1997
131997
Non-interference for a typed assembly language
R Medel, A Compagnoni, E Bonelli
Foundations of Computer Security, 67, 2005
122005
Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.
Articole 1–20