Adriana B. Compagnoni

Publication Activity (10 Years)

Years Active: 1994-2016
Publications (10 Years): 1

Top Topics

Mathematical Models

Computational Modeling

Biological Pathways

Transcriptional Regulatory

Top Venues

IEEE ACM Trans. Comput. Biol. Bioinform.

Electron. Notes Theor. Comput. Sci.

Publications

Narayan Ganesan, Jie Li, Vishakha Sharma, Hanyu Jiang, Adriana B. Compagnoni
Process Simulation of Complex Biological Pathways in Physical Reactive Space and Reformulated for Massively Parallel Computing Platforms. IEEE ACM Trans. Comput. Biol. Bioinform. 13 (2) (2016)
Adriana B. Compagnoni, Paola Giannini, Christopher Kelley
A computational modeling language for complex laboratory experiments. Nano Commun. Networks 6 (3) (2015)
Adriana B. Compagnoni, Paola Giannini, Christopher Kelley
State-Sensitive Computational Modeling. BICT (2014)
Vishakha Sharma, Adriana B. Compagnoni, Jose Emmanuel Ramirez-Marquez
Computational modeling of the effects of counterfeit components. SummerSim (2014)
Vishakha Sharma, Adriana B. Compagnoni
Computational and mathematical models of the JAK-STAT signal transduction pathway. SummerSim (2013)
Vishakha Sharma, Adriana B. Compagnoni, Matthew Libera, Agnieszka K. Muszanska, Henk J. Busscher, Henny C. van der Mei
Simulating Anti-adhesive and Antibacterial Bifunctional Polymers for Surface Coating using BioScape. BCB (2013)
Adriana B. Compagnoni, Vishakha Sharma, Yifei Bao, Matthew Libera, Svetlana Sukhishvili, Philippe Bidinger, Livio Bioglio, Eduardo Bonelli
BioScape: A Modeling and Simulation Language for Bacteria-Materials Interactions. Electron. Notes Theor. Comput. Sci. 293 (2013)
Adriana B. Compagnoni, Paola Giannini, Catherine Kim, Matthew Milideo, Vishakha Sharma
A Calculus of Located Entities. DCM (2013)
Jie Li, Vishakha Sharma, Narayan Ganesan, Adriana B. Compagnoni
Simulation and study of large-scale bacteria-materials interactions via BioScape enabled by GPUs. BCB (2012)
Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini, Paola Giannini, Karin Sauer, Vishakha Sharma, Angelo Troina
Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial Interactions MeCBIC (2012)
Adriana B. Compagnoni, Healfdene Goguen
Relating Church-Style and Curry-Style Subtyping ITRS (2010)
Yifei Bao, Adriana B. Compagnoni, Joseph Glavy, Tommy White
Computational Modeling for the Activation Cycle of G-proteins by G-protein-coupled Receptors MeCBIC (2010)
Philippe Bidinger, Adriana B. Compagnoni
Pict correctness revisited. Theor. Comput. Sci. 410 (2-3) (2009)
Adriana B. Compagnoni, Elsa L. Gunter, Philippe Bidinger
Role-based access control for boxed ambients. Theor. Comput. Sci. 398 (1-3) (2008)
Adriana B. Compagnoni, Healfdene Goguen
Theory and applications of subtyping: Introduction. Math. Struct. Comput. Sci. 18 (5) (2008)
Philippe Bidinger, Adriana B. Compagnoni
Pict Correctness Revisited. FMOODS (2007)
Pablo Garralda, Eduardo Bonelli, Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini
Boxed ambients with communication interfaces. Math. Struct. Comput. Sci. 17 (4) (2007)
Eduardo Bonelli, Adriana B. Compagnoni
Multipoint Session Types for a Distributed Calculus. TGC (2007)
Pablo Garralda, Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini
BASS: boxed ambients with safe sessions. PPDP (2006)
Pablo Garralda, Adriana B. Compagnoni
Splitting Mobility and Communication in Boxed Ambients. Electron. Notes Theor. Comput. Sci. 135 (3) (2006)
Adriana B. Compagnoni, Healfdene Goguen
Anti-symmetry of higher-order subtyping and equality by subtyping. Math. Struct. Comput. Sci. 16 (1) (2006)
Eduardo Bonelli, Adriana B. Compagnoni, Elsa L. Gunter
Correspondence assertions for process synchronization in concurrent communications. J. Funct. Program. 15 (2) (2005)
Ricardo Medel, Adriana B. Compagnoni, Eduardo Bonelli
A Typed Assembly Language for Non-interference. ICTCS (2005)
Adriana B. Compagnoni, Elsa L. Gunter
Types for Security in a Mobile World. TGC (2005)
Eduardo Bonelli, Adriana B. Compagnoni, Ricardo Medel
Information Flow Analysis for a Typed Assembly Language with Polymorphic Stacks. CASSIS (2005)
Eduardo Bonelli, Adriana B. Compagnoni, Elsa L. Gunter
Typechecking Safe Process Synchronization. Electron. Notes Theor. Comput. Sci. 138 (1) (2005)
Eduardo Bonelli, Adriana B. Compagnoni, Elsa L. Gunter
Correspondence Assertions for Process Synchronization in Concurrent Communications. Electron. Notes Theor. Comput. Sci. 97 (2004)
Eduardo Bonelli, Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini, Pablo Garralda
Boxed Ambients with Communication Interfaces. MFCS (2004)
Adriana B. Compagnoni
Higher-order subtyping and its decidability. Inf. Comput. 191 (1) (2004)
Adriana B. Compagnoni, Healfdene Goguen
Typed operational semantics for higher-order subtyping. Inf. Comput. 184 (2) (2003)
David Aspinall, Adriana B. Compagnoni
Heap-Bounded Assembly Language. J. Autom. Reason. 31 (3-4) (2003)
Giuseppe Castagna, Adriana B. Compagnoni
Seventh International Workshop on Foundations of Object-Oriented Languages. Inf. Comput. 177 (1) (2002)
David Aspinall, Adriana B. Compagnoni
Subtyping dependent types. Theor. Comput. Sci. 266 (1-2) (2001)
Adriana B. Compagnoni, Healfdene Goguen
Anti-Symmetry of Higher-Order Subtyping. CSL (1999)
Adriana B. Compagnoni, Maribel Fernández
On Object Calculus with Algebraic Rewriting. PLILP (1997)
Adriana B. Compagnoni, Benjamin C. Pierce
Higher-Order Intersection Types and Multiple Inheritance. Math. Struct. Comput. Sci. 6 (5) (1996)
David Aspinall, Adriana B. Compagnoni
Subtyping Dependent Types (Summary). LICS (1996)
Adriana B. Compagnoni
Decidability of Higher-Order Subtyping with Intersection Types. CSL (1994)