Giuseppe Castagna

2007
53	EE	Giuseppe Castagna, Nils Gesbert, Luca Padovani: A Theory of Contracts for Web Services. PLAN-X 2007: 37-48
2006
52	EE	Giuseppe Castagna, Mukund Raghavachari: PLAN-X 2006 Informal Proceedings, Charleston, South Carolina, January 14, 2006 BRICS, Department of Computer Science, University of Aarhus 2006
51		Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen: Type-Based XML Projection. BDA 2006
50	EE	Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Daniele Varacca: Encoding CDuce in the Cpi-Calculus. CONCUR 2006: 310-326
49	EE	Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen: Type-Based XML Projection. VLDB 2006: 271-282
48	EE	Samuele Carpineti, Giuseppe Castagna, Cosimo Laneve, Luca Padovani: A Formal Account of Contracts for Web Services. WS-FM 2006: 148-162
47	EE	Andrew Phillips, Luca Cardelli, Giuseppe Castagna: A Graphical Representation for Biological Processes in the Stochastic pi-Calculus. T. Comp. Sys. Biology: 123-152 (2006)
2005
46	EE	Giuseppe Castagna: Patterns and Types for Querying XML Documents. DBPL 2005: 1-26
45	EE	Giuseppe Castagna, Alain Frisch: A Gentle Introduction to Semantic Subtyping. ICALP 2005: 30-34
44	EE	Giuseppe Castagna: Semantic Subtyping: Challenges, Perspectives, and Open Problems. ICTCS 2005: 1-20
43	EE	Giuseppe Castagna, Dario Colazzo, Alain Frisch: Error Mining for Regular Expression Patterns. ICTCS 2005: 160-172
42	EE	Giuseppe Castagna, Rocco De Nicola, Daniele Varacca: Semantic Subtyping for the p-Calculus. LICS 2005: 92-101
41	EE	Véronique Benzaken, Giuseppe Castagna, Cédric Miachon: A Full Pattern-Based Paradigm for XML Query Processing. PADL 2005: 235-252
40	EE	Haruo Hosoya, Alain Frisch, Giuseppe Castagna: Parametric polymorphism for XML. POPL 2005: 50-62
39	EE	Giuseppe Castagna, Alain Frisch: A gentle introduction to semantic subtyping. PPDP 2005: 198-199
38	EE	Giuseppe Castagna: Patterns and Types for Querying XML Documents. XSym 2005: 1-3
37	EE	Giuseppe Castagna, Jan Vitek, Francesco Zappa Nardelli: The Seal Calculus. Inf. Comput. 201(1): 1-54 (2005)
2004
36		Véronique Benzaken, Giuseppe Castagna, Cédric Miachon: CQL: a pattern-based query language for XML. BDA 2004: 469-490
35	EE	Michele Bugliesi, Giuseppe Castagna, Silvia Crafa: Access control for mobile agents: The calculus of boxed ambients. ACM Trans. Program. Lang. Syst. 26(1): 57-124 (2004)
2003
34	EE	Véronique Benzaken, Marwan Burelle, Giuseppe Castagna: Information Flow Security for XML Transformations. ASIAN 2003: 33-53
33	EE	Véronique Benzaken, Giuseppe Castagna, Alain Frisch: CDuce: an XML-centric general-purpose language. ICFP 2003: 51-63
2002
32	EE	Michele Bugliesi, Giuseppe Castagna, Silvia Crafa, Riccardo Focardi, Vladimiro Sassone: A Survey of Name-Passing Calculi and Crypto-Primitives. FOSAD 2002: 91-138
31	EE	Giuseppe Castagna, Francesco Zappa Nardelli: The Seal Calculus Revisited: Contextual Equivalence and Bisimilarity. FSTTCS 2002: 85-96
30	EE	Alain Frisch, Giuseppe Castagna, Véronique Benzaken: Semantic Subtyping. LICS 2002: 137-146
29		Michele Bugliesi, Giuseppe Castagna: Behavioural typing for safe ambients. Comput. Lang. 28(1): 61-99 (2002)
28	EE	Silvia Crafa, Michele Bugliesi, Giuseppe Castagna: Information Flow Security for Boxed Ambients. Electr. Notes Theor. Comput. Sci. 66(3): (2002)
27	EE	Giuseppe Castagna, Adriana B. Compagnoni: Seventh International Workshop on Foundations of Object-Oriented Languages. Inf. Comput. 177(1): 1 (2002)
2001
26	EE	Michele Bugliesi, Giuseppe Castagna, Silvia Crafa: Reasoning about Security in Mobile Ambients. CONCUR 2001: 102-120
25	EE	Giuseppe Castagna, Giorgio Ghelli, Francesco Zappa Nardelli: Typing Mobility in the Seal Calculus. CONCUR 2001: 82-101
24	EE	Michele Bugliesi, Giuseppe Castagna, Silvia Crafa: Subtyping and Matching for Mobile Objects. ICTCS 2001: 235-255
23	EE	Michele Bugliesi, Giuseppe Castagna: Secure safe ambients. POPL 2001: 222-235
22	EE	Michele Bugliesi, Giuseppe Castagna, Silvia Crafa: Boxed Ambients. TACS 2001: 38-63
21	EE	Giuseppe Castagna, Michele Bugliesi, Silvia Crafa: An overview of Boxed Ambients. Electr. Notes Theor. Comput. Sci. 62: (2001)
20		Giuseppe Castagna, Gang Chen: Dependent Types with Subtyping and Late-Bound Overloading. Inf. Comput. 168(1): 1-67 (2001)
2000
19	EE	Michele Bugliesi, Giuseppe Castagna, Silvia Crafa: Typed Mobile Objects. CONCUR 2000: 504-520
1998
18	EE	Jan Vitek, Giuseppe Castagna: Seal: A Framework for Secure Mobile Computations. ICCL Workshop: Internet Programming Languages 1998: 47-77
1997
17		John Boyland, Giuseppe Castagna: Parasitic Methods: An Implementation of Multi-Methods for Java. OOPSLA 1997: 66-76
16	EE	Giuseppe Castagna: Unifying Overloading and lambda-Abstraction: lambda{}. Theor. Comput. Sci. 176(1-2): 337-345 (1997)
1996
15		Luigi Liquori, Giuseppe Castagna: A Typed Lambda Calculus of Objects (Extended Abstract). ASIAN 1996: 129-141
14	EE	John Boyland, Giuseppe Castagna: Type-Safe Compilation of Covariant Specialization: A Practical Case. ECOOP 1996: 3-25
13		Giuseppe Castagna: Integration of Parametric and "ad hoc" Second Order Polymorphism in a Calculus with Subtyping. Formal Asp. Comput. 8(3): 247-293 (1996)
1995
12		Giuseppe Castagna: A proposal for making 02 more type-safe. BDA 1995: 61-
11		Giuseppe Castagna, Benjamin C. Pierce: Corrigendum: Decidable Bounded Quantification. POPL 1995: 408
10	EE	Giuseppe Castagna: Covariance and Contravariance: Conflict without a Cause. ACM Trans. Program. Lang. Syst. 17(3): 431-447 (1995)
9		Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo: A Calculus for Overloaded Functions with Subtyping Inf. Comput. 117(1): 115-135 (1995)
8		Giuseppe Castagna, Gary T. Leavens: Foundation of Object-Oriented Languages, 2nd Workshop Report. SIGPLAN Notices 30(2): 5-11 (1995)
7		Kim B. Bruce, Luca Cardelli, Giuseppe Castagna, Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Gary T. Leavens, Benjamin C. Pierce: On Binary Methods. TAPOS 1(3): 221-242 (1995)
6	EE	Giuseppe Castagna: A Meta-Language for Typed Object-Oriented Languages. Theor. Comput. Sci. 151(2): 297-352 (1995)
1994
5		Giuseppe Castagna, Benjamin C. Pierce: Decidable Bounded Quantification. POPL 1994: 151-162
1993
4	EE	Giuseppe Castagna: F&<=: integrating parametric and "ad hoc" second order polymorphism. DBPL 1993: 338-358
3		Giuseppe Castagna: A Meta-Language for Typed Object-Oriented Languages. FSTTCS 1993: 52-71
2		Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo: A Semantics for Lambda&-early: A Calculus with Overloading and Early Binding. TLCA 1993: 107-123
1992
1	EE	Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo: A Calculus for Overloaded Functions with Subtyping. LISP and Functional Programming 1992: 182-192

Coauthor Index

1	Véronique Benzaken	[30] [33] [34] [36] [41] [49] [51]
2	John Tang Boyland (John Boyland)	[14] [17]
3	Kim B. Bruce	[7]
4	Michele Bugliesi	[19] [21] [22] [23] [24] [26] [28] [29] [32] [35]
5	Marwan Burelle	[34]
6	Luca Cardelli	[7] [47]
7	Samuele Carpineti	[48]
8	Gang Chen	[20]
9	Dario Colazzo	[43] [49] [51]
10	Adriana B. Compagnoni	[27]
11	Silvia Crafa	[19] [21] [22] [24] [26] [28] [32] [35]
12	Mariangiola Dezani-Ciancaglini	[50]
13	Jonathan Eifrig	[7]
14	Riccardo Focardi	[32]
15	Alain Frisch	[30] [33] [39] [40] [43] [45]
16	Nils Gesbert	[53]
17	Giorgio Ghelli	[1] [2] [9] [25]
18	Haruo Hosoya	[40]
19	Cosimo Laneve	[48]
20	Gary T. Leavens	[7] [8]
21	Luigi Liquori	[15]
22	Giuseppe Longo	[1] [2] [9]
23	Cédric Miachon	[36] [41]
24	Francesco Zappa Nardelli	[25] [31] [37]
25	Kim Nguyen	[49] [51]
26	Rocco De Nicola	[42]
27	Luca Padovani	[48] [53]
28	Andrew Phillips	[47]
29	Benjamin C. Pierce	[5] [7] [11]
30	Mukund Raghavachari	[52]
31	Vladimiro Sassone	[32]
32	Scott F. Smith	[7]
33	Valery Trifonov	[7]
34	Daniele Varacca	[42] [50]
35	Jan Vitek	[18] [37]

Colors in the list of coauthors