Adriana B. Compagnoni

According to our database, Adriana B. Compagnoni authored at least 35 papers between 1994 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Process Simulation of Complex Biological Pathways in Physical Reactive Space and Reformulated for Massively Parallel Computing Platforms.

Narayan Ganesan, Jie Li, Vishakha Sharma, Hanyu Jiang, Adriana B. Compagnoni

IEEE ACM Trans. Comput. Biol. Bioinform., 2016

2015

A computational modeling language for complex laboratory experiments.

Adriana B. Compagnoni, Paola Giannini, Christopher Kelley

Nano Commun. Networks, 2015

2014

Computational modeling of the effects of counterfeit components.

Vishakha Sharma, Adriana B. Compagnoni, Jose Emmanuel Ramirez-Marquez

Proceedings of the 2014 Summer Simulation Multiconference, 2014

State-Sensitive Computational Modeling.

Adriana B. Compagnoni, Paola Giannini, Christopher Kelley

Proceedings of the 8th International Conference on Bio-inspired Information and Communications Technologies, 2014

2013

A Calculus of Located Entities.

Adriana B. Compagnoni, Paola Giannini, Catherine Kim, Matthew Milideo, Vishakha Sharma

Proceedings of the Proceedings 9th International Workshop on Developments in Computational Models, 2013

Computational and mathematical models of the JAK-STAT signal transduction pathway.

Vishakha Sharma, Adriana B. Compagnoni

Proceedings of the 2013 Summer Simulation Multiconference, 2013

Simulating Anti-adhesive and Antibacterial Bifunctional Polymers for Surface Coating using BioScape.

Vishakha Sharma, Adriana B. Compagnoni, Matthew Libera, Agnieszka K. Muszanska, Henk J. Busscher, Henny C. van der Mei

Proceedings of the ACM Conference on Bioinformatics, 2013

2012

BioScape: A Modeling and Simulation Language for Bacteria-Materials Interactions.

Adriana B. Compagnoni, Vishakha Sharma, Yifei Bao, Matthew Libera, Svetlana Sukhishvili, Philippe Bidinger, Livio Bioglio, Eduardo Bonelli

Proceedings of the Third International Workshop on Interactions Between Computer Science and Biology, 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, Angelo Troina

Proceedings of the Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2012

Simulation and study of large-scale bacteria-materials interactions via BioScape enabled by GPUs.

Jie Li, Vishakha Sharma, Narayan Ganesan, Adriana B. Compagnoni

Proceedings of the ACM International Conference on Bioinformatics, 2012

2010

Relating Church-Style and Curry-Style Subtyping

Adriana B. Compagnoni, Healfdene Goguen

Proceedings of the Proceedings Fifth Workshop on Intersection Types and Related Systems, 2010

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

Yifei Bao, Adriana B. Compagnoni, Joseph Glavy, Tommy White

Proceedings of the Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2010

2009

Pict correctness revisited.

Philippe Bidinger, Adriana B. Compagnoni

Theor. Comput. Sci., 2009

2008

Role-based access control for boxed ambients.

Adriana B. Compagnoni, Elsa L. Gunter, Philippe Bidinger

Theor. Comput. Sci., 2008

Theory and applications of subtyping: Introduction.

Adriana B. Compagnoni, Healfdene Goguen

Math. Struct. Comput. Sci., 2008

2007

Boxed ambients with communication interfaces.

Pablo Garralda, Eduardo Bonelli, Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini

Math. Struct. Comput. Sci., 2007

Multipoint Session Types for a Distributed Calculus.

Eduardo Bonelli, Adriana B. Compagnoni

Proceedings of the Trustworthy Global Computing, Third Symposium, 2007

2006

Anti-symmetry of higher-order subtyping and equality by subtyping.

Adriana B. Compagnoni, Healfdene Goguen

Math. Struct. Comput. Sci., 2006

BASS: boxed ambients with safe sessions.

Pablo Garralda, Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini

Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2006

2005

Correspondence assertions for process synchronization in concurrent communications.

Eduardo Bonelli, Adriana B. Compagnoni, Elsa L. Gunter

J. Funct. Program., 2005

Splitting Mobility and Communication in Boxed Ambients.

Pablo Garralda, Adriana B. Compagnoni

Proceedings of the First International Workshop on Developments in Computational Models, 2005

Types for Security in a Mobile World.

Adriana B. Compagnoni, Elsa L. Gunter

Proceedings of the Trustworthy Global Computing, International Symposium, 2005

A Typed Assembly Language for Non-interference.

Ricardo H. Medel, Adriana B. Compagnoni, Eduardo Bonelli

Proceedings of the Theoretical Computer Science, 9th Italian Conference, 2005

Information Flow Analysis for a Typed Assembly Language with Polymorphic Stacks.

Eduardo Bonelli, Adriana B. Compagnoni, Ricardo H. Medel

Proceedings of the Construction and Analysis of Safe, 2005

2004

Higher-order subtyping and its decidability.

Adriana B. Compagnoni

Inf. Comput., 2004

Typechecking Safe Process Synchronization.

Eduardo Bonelli, Adriana B. Compagnoni, Elsa L. Gunter

Proceedings of the Workshop 3rd on the Foundations of Global Ubiquitous Computing, 2004

2003

Heap-Bounded Assembly Language.

David Aspinall, Adriana B. Compagnoni

J. Autom. Reason., 2003

Typed operational semantics for higher-order subtyping.

Adriana B. Compagnoni, Healfdene Goguen

Inf. Comput., 2003

2002

Seventh International Workshop on Foundations of Object-Oriented Languages.

Giuseppe Castagna, Adriana B. Compagnoni

Inf. Comput., 2002

2001

Subtyping dependent types.

David Aspinall, Adriana B. Compagnoni

Theor. Comput. Sci., 2001

1999

Anti-Symmetry of Higher-Order Subtyping.

Adriana B. Compagnoni, Healfdene Goguen

Proceedings of the Computer Science Logic, 13th International Workshop, 1999

1997

On Object Calculus with Algebraic Rewriting.

Adriana B. Compagnoni, Maribel Fernández

Proceedings of the Programming Languages: Implementations, 1997

1996

Higher-Order Intersection Types and Multiple Inheritance.

Adriana B. Compagnoni, Benjamin C. Pierce

Math. Struct. Comput. Sci., 1996

Subtyping Dependent Types (Summary).

David Aspinall, Adriana B. Compagnoni

Proceedings of the Proceedings, 1996

1994

Decidability of Higher-Order Subtyping with Intersection Types.

Adriana B. Compagnoni

Proceedings of the Computer Science Logic, 8th International Workshop, 1994