Adriana Compagnoni

Cited by

	All	Since 2020
Citations	1021	72
h-index	15	5
i10-index	23	2

199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420254 16 17 34 23 53 17 15 23 19 26 60 74 78 76 68 51 39 29 36 40 47 32 22 16 21 14 16 17 12 12 1

Public access

View all

1 article

available

not available

Based on funding mandates

Co-authors

Eduardo BonelliStevens Institute of TechnologyVerified email at stevens.edu
Elsa L GunterResearch Associate Professor, University of Illinois at Urbana - ChampaignVerified email at illinois.edu
Healfdene GoguenGoogleVerified email at google.com
David AspinallProfessor in Computer Science, University of EdinburghVerified email at ed.ac.uk
Mariangiola Dezani-CiancagliniEmeritus Professor of Computer Science, Torino UniversityVerified email at di.unito.it
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Matthew LiberaStevens InstituteVerified email at stevens.edu
Narayan GanesanAssistant Professor of Electrical and Computer Engineering, Stevens Institute of Technology, NJVerified email at stevens.edu
Svetlana SukhishviliProfessor of Polymer Science, Texas A&M UniversityVerified email at tamu.edu
Henny C. van der MeiUniversity of GroningenVerified email at umcg.nl
Giuseppe CastagnaDirecteur de Recherche CNRS, Université Paris CitéVerified email at irif.fr
Angelo TroinaDipartimento di Informatica - Scienza e Ingegneria, Università di BolognaVerified email at unibo.it
Karin SauerBinghamton UniversityVerified email at binghamton.edu
Maribel FernandezProfessor of Computer Science, King's College LondonVerified email at kcl.ac.uk

Adriana Compagnoni

Professor of Computer Science, Stevens Institute of Technology

Verified email at stevens.edu - Homepage

Computational Biology Computer Security Concurrency Type Systems


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Subtyping dependent types D Aspinall, A Compagnoni Logic in Computer Science, 1996. LICS'96. Proceedings., Eleventh Annual IEEE …, 1996	144*	1996
Multipoint session types for a distributed calculus E Bonelli, A Compagnoni Trustworthy Global Computing 4912, 240-256, 2008	85	2008
Correspondence assertions for process synchronization in concurrent communications E Bonelli, A Compagnoni, E Gunter Journal of Functional Programming 15 (2), 219-247, 2005	82	2005
Higher-order intersection types and multiple inheritance AB Compagnoni, BC Pierce Mathematical Structures in Computer Science 6 (5), 469-501, 1996	72	1996
Higher-order subtyping with intersection types AB Compagnoni [Sl: sn], 1995	60	1995
Heap-bounded assembly language D Aspinall, A Compagnoni Journal of automated reasoning 31, 261-302, 2003	58	2003
Typed operational semantics for higher-order subtyping A Compagnoni, H Goguen Information and Computation 184 (2), 242-297, 2003	55	2003
BASS: Boxed ambients with safe sessions P Garralda, A Compagnoni, M Dezani-Ciancaglini Proceedings of the 8th ACM SIGPLAN international conference on Principles …, 2006	51	2006
A typed assembly language for non-interference R Medel, A Compagnoni, E Bonelli Italian Conference on Theoretical Computer Science, 360-374, 2005	38	2005
Decidability of higher-order subtyping with intersection types AB Compagnoni Computer Science Logic: 8th Workshop, CSL'94 Kazimierz, Poland, September 25 …, 1995	36	1995
Role-based access control for boxed ambients A Compagnoni, EL Gunter, P Bidinger Theoretical Computer Science 398 (1-3), 203-216, 2008	25	2008
Typechecking safe process synchronization E Bonelli, A Compagnoni, E Gunter Electronic Notes in Theoretical Computer Science 138 (1), 3-22, 2005	25	2005
Multiple inheritance via intersection types AB Compagnoni, BC Pierce Computing Science Institute, Department of Informatics, Faculty of …, 1993	25	1993
Subtyping for object type constructors D Duggan, A Compagnoni Workshop On Foundations Of Object-Oriented Languages 7, 4, 1999	22	1999
Subtyping in F is Decidable AB Compagnoni University of Edinburgh. Department of Computer Science. Laboratory for …, 1994	20	1994
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	15	2013
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	15	2005
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	15	2004
Subject reduction and minimal types for higher order subtyping A Compagnoni University of Edinburgh. Department of Computer Sc, 1997	13	1997
Non-interference for a typed assembly language R Medel, A Compagnoni, E Bonelli Foundations of Computer Security, 67, 2005	12	2005

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors