Adriana B. Compagnoni

	2010
28		Adriana B. Compagnoni, Healfdene Goguen: Relating Church-Style and Curry-Style Subtyping ITRS 2010: 1-15
27		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
26		Philippe Bidinger, Adriana B. Compagnoni: Pict correctness revisited. Theor. Comput. Sci. 410(2-3): 114-127 (2009)
	2008
25		Adriana B. Compagnoni, Healfdene Goguen: Theory and applications of subtyping: Introduction. Mathematical Structures in Computer Science 18(5): 795-796 (2008)
24		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
23		Philippe Bidinger, Adriana B. Compagnoni: Pict Correctness Revisited. FMOODS 2007: 206-220
22		Eduardo Bonelli, Adriana B. Compagnoni: Multipoint Session Types for a Distributed Calculus. TGC 2007: 240-256
21		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)
	2006
20		Pablo Garralda, Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini: BASS: boxed ambients with safe sessions. PPDP 2006: 61-72
19		Pablo Garralda, Adriana B. Compagnoni: Splitting Mobility and Communication in Boxed Ambients. Electr. Notes Theor. Comput. Sci. 135(3): 61-71 (2006)
18		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)
	2005
17		Eduardo Bonelli, Adriana B. Compagnoni, Ricardo Medel: Information Flow Analysis for a Typed Assembly Language with Polymorphic Stacks. CASSIS 2005: 37-56
16		Ricardo Medel, Adriana B. Compagnoni, Eduardo Bonelli: A Typed Assembly Language for Non-interference. ICTCS 2005: 360-374
15		Adriana B. Compagnoni, Elsa L. Gunter: Types for Security in a Mobile World. TGC 2005: 75-97
14		Eduardo Bonelli, Adriana B. Compagnoni, Elsa L. Gunter: Typechecking Safe Process Synchronization. Electr. Notes Theor. Comput. Sci. 138(1): 3-22 (2005)
13		Eduardo Bonelli, Adriana B. Compagnoni, Elsa L. Gunter: Correspondence assertions for process synchronization in concurrent communications. J. Funct. Program. 15(2): 219-247 (2005)
	2004
12		Eduardo Bonelli, Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini, Pablo Garralda: Boxed Ambients with Communication Interfaces. MFCS 2004: 119-148
11		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)
10		Adriana B. Compagnoni: Higher-order subtyping and its decidability. Inf. Comput. 191(1): 41-103 (2004)
	2003
9		Adriana B. Compagnoni, Healfdene Goguen: Typed operational semantics for higher-order subtyping. Inf. Comput. 184(2): 242-297 (2003)
8		David Aspinall, Adriana B. Compagnoni: Heap-Bounded Assembly Language. J. Autom. Reasoning 31(3-4): 261-302 (2003)
	2002
7		Giuseppe Castagna, Adriana B. Compagnoni: Seventh International Workshop on Foundations of Object-Oriented Languages. Inf. Comput. 177(1): 1 (2002)
	2001
6		David Aspinall, Adriana B. Compagnoni: Subtyping dependent types. Theor. Comput. Sci. 266(1-2): 273-309 (2001)
	1999
5		Adriana B. Compagnoni, Healfdene Goguen: Anti-Symmetry of Higher-Order Subtyping. CSL 1999: 420-438
	1997
4		Adriana B. Compagnoni, Maribel Fernández: On Object Calculus with Algebraic Rewriting. PLILP 1997: 17-31
	1996
3		David Aspinall, Adriana B. Compagnoni: Subtyping Dependent Types (Summary). LICS 1996: 86-97
2		Adriana B. Compagnoni, Benjamin C. Pierce: Higher-Order Intersection Types and Multiple Inheritance. Mathematical Structures in Computer Science 6(5): 469-501 (1996)
	1994
1		Adriana B. Compagnoni: Decidability of Higher-Order Subtyping with Intersection Types. CSL 1994: 46-60

Coauthor Index

1	David Aspinall	[3] [6] [8]
2	Yifei Bao	[27]
3	Philippe Bidinger	[23] [24] [26]
4	Eduardo Bonelli	[11] [12] [13] [14] [16] [17] [21] [22]
5	Giuseppe Castagna	[7]
6	Mariangiola Dezani-Ciancaglini (Mariangiola Dezani)	[12] [20] [21]
7	Maribel Fernández	[4]
8	Pablo Garralda	[12] [19] [20] [21]
9	Joseph Glavy	[27]
10	Healfdene Goguen	[5] [9] [18] [25] [28]
11	Elsa L. Gunter	[11] [13] [14] [15] [24]
12	Ricardo Medel	[16] [17]
13	Benjamin C. Pierce	[2]
14	Tommy White	[27]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page