Decidability of Higher-Order Subtyping with Intersection Types. - Adriana B. Compagnoni (CSL, 1994)

Subtyping Dependent Types (Summary). - David Aspinall 001; Adriana B. Compagnoni (LICS, 1996)

Higher-Order Intersection Types and Multiple Inheritance. - Adriana B. Compagnoni; Benjamin C. Pierce (Math. Struct. Comput. Sci., 1996)

On Object Calculus with Algebraic Rewriting. - Adriana B. Compagnoni; Maribel Fernández (PLILP, 1997)

Anti-Symmetry of Higher-Order Subtyping. - Adriana B. Compagnoni; Healfdene Goguen (CSL, 1999)

Subtyping dependent types. - David Aspinall 001; Adriana B. Compagnoni (Theor. Comput. Sci., 2001)

Seventh International Workshop on Foundations of Object-Oriented Languages. - Giuseppe Castagna; Adriana B. Compagnoni (Inf. Comput., 2002)

Typed operational semantics for higher-order subtyping. - Adriana B. Compagnoni; Healfdene Goguen (Inf. Comput., 2003)

Heap-Bounded Assembly Language. - David Aspinall 001; Adriana B. Compagnoni (J. Autom. Reason., 2003)

Boxed Ambients with Communication Interfaces. - Eduardo Bonelli; Adriana B. Compagnoni; Mariangiola Dezani-Ciancaglini; Pablo Garralda (MFCS, 2004)

Typechecking Safe Process Synchronization. - Eduardo Bonelli; Adriana B. Compagnoni; Elsa L. Gunter (FGUC, 2004)

Higher-order subtyping and its decidability. - Adriana B. Compagnoni (Inf. Comput., 2004)

Information Flow Analysis for a Typed Assembly Language with Polymorphic Stacks. - Eduardo Bonelli; Adriana B. Compagnoni; Ricardo H. Medel (CASSIS, 2005)

A Typed Assembly Language for Non-interference. - Ricardo H. Medel; Adriana B. Compagnoni; Eduardo Bonelli (ICTCS, 2005)

Types for Security in a Mobile World. - Adriana B. Compagnoni; Elsa L. Gunter (TGC, 2005)

Splitting Mobility and Communication in Boxed Ambients. - Pablo Garralda; Adriana B. Compagnoni (DCM@ICALP, 2005)

Correspondence assertions for process synchronization in concurrent communications. - Eduardo Bonelli; Adriana B. Compagnoni; Elsa L. Gunter (J. Funct. Program., 2005)

BASS: boxed ambients with safe sessions. - Pablo Garralda; Adriana B. Compagnoni; Mariangiola Dezani-Ciancaglini (PPDP, 2006)

Anti-symmetry of higher-order subtyping and equality by subtyping. - Adriana B. Compagnoni; Healfdene Goguen (Math. Struct. Comput. Sci., 2006)

Pict Correctness Revisited. - Philippe Bidinger; Adriana B. Compagnoni (FMOODS, 2007)

Multipoint Session Types for a Distributed Calculus. - Eduardo Bonelli; Adriana B. Compagnoni (TGC, 2007)

Theory and applications of subtyping: Introduction. - Adriana B. Compagnoni; Healfdene Goguen (Math. Struct. Comput. Sci., 2008)

Role-based access control for boxed ambients. - Adriana B. Compagnoni; Elsa L. Gunter; Philippe Bidinger (Theor. Comput. Sci., 2008)

Computational Modeling for the Activation Cycle of G-proteins by G-protein-coupled Receptors - Yifei Bao; Adriana B. Compagnoni; Joseph Glavy; Tommy White (MeCBIC, 2010)

Relating Church-Style and Curry-Style Subtyping - Adriana B. Compagnoni; Healfdene Goguen (ITRS, 2010)

Simulation and study of large-scale bacteria-materials interactions via BioScape enabled by GPUs. - Jie Li 004; Vishakha Sharma 001; Narayan Ganesan; Adriana B. Compagnoni (BCB, 2012)

Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial Interactions - Adriana B. Compagnoni; Mariangiola Dezani-Ciancaglini; Paola Giannini; Karin Sauer; Vishakha Sharma 001; Angelo Troina (MeCBIC, 2012)

BioScape: A Modeling and Simulation Language for Bacteria-Materials Interactions. - Adriana B. Compagnoni; Vishakha Sharma 001; Yifei Bao; Matthew Libera; Svetlana Sukhishvili; Philippe Bidinger; Livio Bioglio; Eduardo Bonelli (CS2Bio, 2012)

Simulating Anti-adhesive and Antibacterial Bifunctional Polymers for Surface Coating using BioScape. - Vishakha Sharma 001; Adriana B. Compagnoni; Matthew Libera; Agnieszka K. Muszanska; Henk J. Busscher; Henny C. van der Mei (BCB, 2013)

Computational and mathematical models of the JAK-STAT signal transduction pathway. - Vishakha Sharma 001; Adriana B. Compagnoni (SummerSim, 2013)

A Calculus of Located Entities. - Adriana B. Compagnoni; Paola Giannini; Catherine Kim; Matthew Milideo; Vishakha Sharma 001 (DCM, 2013)

State-Sensitive Computational Modeling. - Adriana B. Compagnoni; Paola Giannini; Christopher Kelley (BICT, 2014)

Computational modeling of the effects of counterfeit components. - Vishakha Sharma 001; Adriana B. Compagnoni; Jose Emmanuel Ramirez-Marquez (SummerSim, 2014)

A computational modeling language for complex laboratory experiments. - Adriana B. Compagnoni; Paola Giannini; Christopher Kelley (Nano Commun. Networks, 2015)

Process Simulation of Complex Biological Pathways in Physical Reactive Space and Reformulated for Massively Parallel Computing Platforms. - Narayan Ganesan; Jie Li 004; Vishakha Sharma 001; Hanyu Jiang; Adriana B. Compagnoni (IEEE ACM Trans. Comput. Biol. Bioinform., 2016)