Relating Church-Style and Curry-Style Subtyping
Compagnoni, Adriana, Goguen, Healfdene
Published in Electronic proceedings in theoretical computer science (01.01.2011)
Published in Electronic proceedings in theoretical computer science (01.01.2011)
Get full text
Journal Article
Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial Interactions
Compagnoni, Adriana, Dezani-Ciancaglini, Mariangiola, Giannini, Paola, Sauer, Karin, Sharma, Vishakha, Troina, Angelo
Published in Electronic proceedings in theoretical computer science (15.11.2012)
Published in Electronic proceedings in theoretical computer science (15.11.2012)
Get full text
Journal Article
A computational modeling language for complex laboratory experiments
Compagnoni, Adriana, Giannini, Paola, Kelley, Christopher
Published in Nano communication networks (01.09.2015)
Published in Nano communication networks (01.09.2015)
Get full text
Journal Article
Process Simulation of Complex Biological Pathways in Physical Reactive Space and Reformulated for Massively Parallel Computing Platforms
Ganesan, Narayan, Jie Li, Sharma, Vishakha, Hanyu Jiang, Compagnoni, Adriana
Published in IEEE/ACM transactions on computational biology and bioinformatics (01.03.2016)
Published in IEEE/ACM transactions on computational biology and bioinformatics (01.03.2016)
Get full text
Journal Article
107. A Computational Model of Adenovirus Infection
Leopold, Philip L., Petersen, Conor, Ridings, Brian, Cocineva-Lenge, Elena, Rautenberg, Emily, Freed, Kelly, Compagnoni, Adriana B.
Published in Molecular therapy (01.05.2015)
Published in Molecular therapy (01.05.2015)
Get full text
Journal Article
Theory and applications of subtyping: Introduction
COMPAGNONI, ADRIANA, GOGUEN, HEALFDENE
Published in Mathematical structures in computer science (01.10.2008)
Published in Mathematical structures in computer science (01.10.2008)
Get full text
Journal Article
Information Flow Analysis for a Typed Assembly Language with Polymorphic Stacks
Bonelli, Eduardo, Compagnoni, Adriana, Medel, Ricardo
Published in Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (2006)
Published in Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (2006)
Get full text
Book Chapter
Conference Proceeding
Anti-symmetry of higher-order subtyping and equality bysubtyping
Compagnoni, Adriana, Goguen, Healfdene
Published in Mathematical structures in computer science (01.02.2006)
Published in Mathematical structures in computer science (01.02.2006)
Get full text
Journal Article
A Typed Assembly Language for Non-interference
Medel, Ricardo, Compagnoni, Adriana, Bonelli, Eduardo
Published in Lecture notes in computer science (2005)
Published in Lecture notes in computer science (2005)
Get full text
Book Chapter
Conference Proceeding
Correspondence assertions for process synchronization in concurrent communications
BONELLI, EDUARDO, COMPAGNONI, ADRIANA, GUNTER, ELSA
Published in Journal of functional programming (01.03.2005)
Published in Journal of functional programming (01.03.2005)
Get full text
Journal Article