default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAdriana B. Compagnoni
Person information
- affiliation: Stevens Institute of Technology, NJ, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2019
[e1]Adriana B. Compagnoni, William Casey, Yang Cai, Bud Mishra:
Bio-inspired Information and Communication Technologies - 11th EAI International Conference, BICT 2019, Pittsburgh, PA, USA, March 13-14, 2019, Proceedings. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 289, Springer 2019, ISBN 978-3-030-24201-5 [contents]- 2016
- [j14]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): 365-379 (2016) - 2015
- [j13]Adriana B. Compagnoni, Paola Giannini
, Christopher Kelley:
A computational modeling language for complex laboratory experiments. Nano Commun. Networks 6(3): 103-117 (2015) - 2014
- [c24]Adriana B. Compagnoni, Paola Giannini, Christopher Kelley:
State-Sensitive Computational Modeling. BICT 2014 - [c23]Vishakha Sharma, Adriana B. Compagnoni, Jose Emmanuel Ramirez-Marquez:
Computational modeling of the effects of counterfeit components. SummerSim 2014: 50 - 2013
- [c22]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: 613 - [c21]Vishakha Sharma, Adriana B. Compagnoni:
Computational and mathematical models of the JAK-STAT signal transduction pathway. SummerSim 2013: 15 - [c20]Adriana B. Compagnoni, Paola Giannini, Catherine Kim, Matthew Milideo, Vishakha Sharma:
A Calculus of Located Entities. DCM 2013: 41-56 - 2012
- [c19]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: 610-612 - [c18]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: 101-106 - [c17]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. CS2Bio 2012: 35-49 - 2010
- [c16]Adriana B. Compagnoni, Healfdene Goguen:
Relating Church-Style and Curry-Style Subtyping. ITRS 2010: 1-15 - [c15]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: 39-53
2000 – 2009
- 2009
- [j12]Philippe Bidinger, Adriana B. Compagnoni:
Pict correctness revisited. Theor. Comput. Sci. 410(2-3): 114-127 (2009) - 2008
- [j11]Adriana B. Compagnoni, Healfdene Goguen:
Theory and applications of subtyping: Introduction. Math. Struct. Comput. Sci. 18(5): 795-796 (2008) - [j10]Adriana B. Compagnoni, Elsa L. Gunter, Philippe Bidinger:
Role-based access control for boxed ambients. Theor. Comput. Sci. 398(1-3): 203-216 (2008) - 2007
- [j9]Pablo Garralda, Eduardo Bonelli, Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini:
Boxed ambients with communication interfaces. Math. Struct. Comput. Sci. 17(4): 587-645 (2007) - [c14]Philippe Bidinger, Adriana B. Compagnoni:
Pict Correctness Revisited. FMOODS 2007: 206-220 - [c13]Eduardo Bonelli, Adriana B. Compagnoni:
Multipoint Session Types for a Distributed Calculus. TGC 2007: 240-256 - 2006
- [j8]Adriana B. Compagnoni, Healfdene Goguen:
Anti-symmetry of higher-order subtyping and equality by subtyping. Math. Struct. Comput. Sci. 16(1): 41-65 (2006) - [c12]Pablo Garralda, Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini:
BASS: boxed ambients with safe sessions. PPDP 2006: 61-72 - 2005
- [j7]Eduardo Bonelli, Adriana B. Compagnoni, Elsa L. Gunter:
Correspondence assertions for process synchronization in concurrent communications. J. Funct. Program. 15(2): 219-247 (2005) - [c11]Eduardo Bonelli, Adriana B. Compagnoni, Ricardo H. Medel:
Information Flow Analysis for a Typed Assembly Language with Polymorphic Stacks. CASSIS 2005: 37-56 - [c10]Ricardo H. Medel, Adriana B. Compagnoni, Eduardo Bonelli:
A Typed Assembly Language for Non-interference. ICTCS 2005: 360-374 - [c9]Adriana B. Compagnoni, Elsa L. Gunter:
Types for Security in a Mobile World. TGC 2005: 75-97 - [c8]Pablo Garralda, Adriana B. Compagnoni:
Splitting Mobility and Communication in Boxed Ambients. DCM@ICALP 2005: 61-71 - 2004
- [j6]Adriana B. Compagnoni:
Higher-order subtyping and its decidability. Inf. Comput. 191(1): 41-103 (2004) - [c7]Eduardo Bonelli, Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini, Pablo Garralda:
Boxed Ambients with Communication Interfaces. MFCS 2004: 119-148 - [c6]Eduardo Bonelli, Adriana B. Compagnoni, Elsa L. Gunter:
Typechecking Safe Process Synchronization. FGUC 2004: 3-22 - 2003
- [j5]Adriana B. Compagnoni, Healfdene Goguen:
Typed operational semantics for higher-order subtyping. Inf. Comput. 184(2): 242-297 (2003) - [j4]David Aspinall, Adriana B. Compagnoni:
Heap-Bounded Assembly Language. J. Autom. Reason. 31(3-4): 261-302 (2003) - [c5]Eduardo Bonelli, Adriana B. Compagnoni, Elsa L. Gunter:
Correspondence Assertions for Process Synchronization in Concurrent Communications. FOCLASA 2003: 175-195 - 2002
- [j3]Giuseppe Castagna, Adriana B. Compagnoni:
Seventh International Workshop on Foundations of Object-Oriented Languages. Inf. Comput. 177(1): 1 (2002) - 2001
- [j2]David Aspinall, Adriana B. Compagnoni:
Subtyping dependent types. Theor. Comput. Sci. 266(1-2): 273-309 (2001)
1990 – 1999
- 1999
- [c4]Adriana B. Compagnoni, Healfdene Goguen:
Anti-Symmetry of Higher-Order Subtyping. CSL 1999: 420-438 - 1997
- [c3]Adriana B. Compagnoni, Maribel Fernández:
On Object Calculus with Algebraic Rewriting. PLILP 1997: 17-31 - 1996
- [j1]Adriana B. Compagnoni, Benjamin C. Pierce:
Higher-Order Intersection Types and Multiple Inheritance. Math. Struct. Comput. Sci. 6(5): 469-501 (1996) - [c2]David Aspinall, Adriana B. Compagnoni:
Subtyping Dependent Types (Summary). LICS 1996: 86-97 - 1994
- [c1]Adriana B. Compagnoni:
Decidability of Higher-Order Subtyping with Intersection Types. CSL 1994: 46-60
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:53 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
