Relating Church-Style and Curry-Style Subtyping

by Adriana Compagnoni, Healfdene Goguen
Published 2011-01-01

Computational Modeling for the Activation Cycle of G-proteins by G-protein-coupled Receptors

by Yifei Bao, Adriana Compagnoni, Joseph Glavy, Tommy White
Published 2010-10-01

A Calculus of Located Entities

by Adriana Compagnoni, Paola Giannini, Catherine Kim, Matthew Milideo, Vishakha Sharma
Published 2014-03-01

Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial Interactions

by Adriana Compagnoni, Mariangiola Dezani-Ciancaglini, Paola Giannini, Karin Sauer, Vishakha Sharma, Angelo Troina
Published 2012-11-01