Concepedia

Adriana Compagnoni

AC

Statistics

Publications

13

Citations

377

H-Index

11

Active since

1996

Affiliations

Stevens Institute of Technology(Current)

University of Edinburgh

University of Illinois Urbana-Champaign

University of Turin

Adriana Compagnoni is an author at Stevens Institute of Technology specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationMedicineVerificationData SecurityProgram AnalysisSoftware Analysis

Publications per year

1996–2013

13

Publications

13

Correspondence assertions for process synchronization in concurrent communications

Eduardo Bonelli, Adriana Compagnoni, Elsa L. Gunter · Journal of Functional Programming · 2005 · 59 citations · Full text

Engineering, Information Security, Verification +21

Subtyping dependent types

David Aspinall, Adriana Compagnoni · Theoretical Computer Science · 2001 · 52 citations

Dependent Types, Engineering, Automated Reasoning +4

Higher-order intersection types and multiple inheritance

Adriana Compagnoni, Benjamin C. Pierce · Mathematical Structures in Computer Science · 1996 · 44 citations

System F, Engineering, Generic Programming +11

Subtyping dependent types

David Aspinall, Adriana Compagnoni · 2002 · 42 citations

Dependent Types, Engineering, Substructural Logic +11

Pablo Garralda, Adriana Compagnoni, Mariangiola Dezani-Ciancaglini · 2006 · 35 citations

Mobile Calculus, Reachability Analysis, Engineering +12

1–5 of 13