Adriana B. Compagnoni

41 papers A* 1B 3C 1Journal 15Unranked 19

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