Adriana B. Compagnoni Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2013
j16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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. Electr. Notes Theor. Comput. Sci. 293: 35-49 (2013)
2012
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
2010
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Adriana B. Compagnoni, Healfdene Goguen: Relating Church-Style and Curry-Style Subtyping. ITRS 2010: 1-15
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
2009
j15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Philippe Bidinger, Adriana B. Compagnoni: Pict correctness revisited. Theor. Comput. Sci. 410(2-3): 114-127 (2009)
2008
j14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Adriana B. Compagnoni, Healfdene Goguen: Theory and applications of subtyping: Introduction. Mathematical Structures in Computer Science 18(5): 795-796 (2008)
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pablo Garralda, Eduardo Bonelli, Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini: Boxed ambients with communication interfaces. Mathematical Structures in Computer Science 17(4): 587-645 (2007)
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Philippe Bidinger, Adriana B. Compagnoni: Pict Correctness Revisited. FMOODS 2007: 206-220
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eduardo Bonelli, Adriana B. Compagnoni: Multipoint Session Types for a Distributed Calculus. TGC 2007: 240-256
2006
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pablo Garralda, Adriana B. Compagnoni: Splitting Mobility and Communication in Boxed Ambients. Electr. Notes Theor. Comput. Sci. 135(3): 61-71 (2006)
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Adriana B. Compagnoni, Healfdene Goguen: Anti-symmetry of higher-order subtyping and equality by subtyping. Mathematical Structures in Computer Science 16(1): 41-65 (2006)
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pablo Garralda, Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini: BASS: boxed ambients with safe sessions. PPDP 2006: 61-72
2005
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eduardo Bonelli, Adriana B. Compagnoni, Elsa L. Gunter: Typechecking Safe Process Synchronization. Electr. Notes Theor. Comput. Sci. 138(1): 3-22 (2005)
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eduardo Bonelli, Adriana B. Compagnoni, Elsa L. Gunter: Correspondence assertions for process synchronization in concurrent communications. J. Funct. Program. 15(2): 219-247 (2005)
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eduardo Bonelli, Adriana B. Compagnoni, Ricardo Medel: Information Flow Analysis for a Typed Assembly Language with Polymorphic Stacks. CASSIS 2005: 37-56
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ricardo Medel, Adriana B. Compagnoni, Eduardo Bonelli: A Typed Assembly Language for Non-interference. ICTCS 2005: 360-374
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Adriana B. Compagnoni, Elsa L. Gunter: Types for Security in a Mobile World. TGC 2005: 75-97
2004
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eduardo Bonelli, Adriana B. Compagnoni, Elsa L. Gunter: Correspondence Assertions for Process Synchronization in Concurrent Communications. Electr. Notes Theor. Comput. Sci. 97: 175-195 (2004)
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Adriana B. Compagnoni: Higher-order subtyping and its decidability. Inf. Comput. 191(1): 41-103 (2004)
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eduardo Bonelli, Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini, Pablo Garralda: Boxed Ambients with Communication Interfaces. MFCS 2004: 119-148
2003
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Adriana B. Compagnoni, Healfdene Goguen: Typed operational semantics for higher-order subtyping. Inf. Comput. 184(2): 242-297 (2003)
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
David Aspinall, Adriana B. Compagnoni: Heap-Bounded Assembly Language. J. Autom. Reasoning 31(3-4): 261-302 (2003)
2002
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Giuseppe Castagna, Adriana B. Compagnoni: Seventh International Workshop on Foundations of Object-Oriented Languages. Inf. Comput. 177(1): 1 (2002)
2001
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
David Aspinall, Adriana B. Compagnoni: Subtyping dependent types. Theor. Comput. Sci. 266(1-2): 273-309 (2001)
1999
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Adriana B. Compagnoni, Healfdene Goguen: Anti-Symmetry of Higher-Order Subtyping. CSL 1999: 420-438
1997
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Adriana B. Compagnoni, Maribel Fernández: On Object Calculus with Algebraic Rewriting. PLILP 1997: 17-31
1996
j1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Adriana B. Compagnoni, Benjamin C. Pierce: Higher-Order Intersection Types and Multiple Inheritance. Mathematical Structures in Computer Science 6(5): 469-501 (1996)
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
David Aspinall, Adriana B. Compagnoni: Subtyping Dependent Types (Summary). LICS 1996: 86-97
1994
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Adriana B. Compagnoni: Decidability of Higher-Order Subtyping with Intersection Types. CSL 1994: 46-60

Coauthor Index

1David Aspinall
[j4] [j2] [c2]
2Yifei Bao
[j16] [c12]
3Philippe Bidinger
[j16] [j15] [j13] [c11]
4Livio Bioglio
[j16]
5Eduardo Bonelli
[j16] [j12] [c10] [j9] [j8] [c8] [c7] [j7] [c5]
6Giuseppe Castagna
[j3]
7Mariangiola Dezani-Ciancaglini (Mariangiola Dezani)
[c14] [j12] [c9] [c5]
8Maribel Fernández
[c3]
9Narayan Ganesan
[c15]
10Pablo Garralda
[j12] [j11] [c9] [c5]
11Paola Giannini
[c14]
12Joseph Glavy
[c12]
13Healfdene Goguen
[c13] [j14] [j10] [j5] [c4]
14Elsa L. Gunter
[j13] [j9] [j8] [c6] [j7]
15Jie Li
[c15]
16Matthew Libera
[j16]
17Ricardo Medel
[c8] [c7]
18Benjamin C. Pierce
[j1]
19Karin Sauer
[c14]
20Vishakha Sharma
[j16] [c15] [c14]
21Svetlana Sukhishvili
[j16]
22Angelo Troina
[c14]
23Tommy White
[c12]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sat May 18 09:38:57 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page