Cinzia Di Giusto

	2012
13		Cinzia Di Giusto, Maurizio Gabbrielli, Maria Chiara Meo: On the Expressive Power of Multiple Heads in CHR. ACM Trans. Comput. Log. 13(1): 6 (2012)
	2011
12		Cinzia Di Giusto, Jean-Bernard Stefani: Revisiting Glue Expressiveness in Component-Based Systems. COORDINATION 2011: 16-30
11		Mila Dalla Preda, Cinzia Di Giusto: Hunting Distributed Malware with the κ-Calculus. FCT 2011: 102-113
10		Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro: Adaptable Processes (Extended Abstract). FMOODS/FORTE 2011: 90-105
	2010
9		Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro: Steps on the Road to Component Evolvability. FACS 2010: 295-299
	2009
8		Giorgio Delzanno, Cinzia Di Giusto, Maurizio Gabbrielli, Cosimo Laneve, Gianluigi Zavattaro: The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages. CMSB 2009: 158-172
7		Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro: On the Expressiveness of Forwarding in Higher-Order Communication. ICTAC 2009: 155-169
6		Cinzia Di Giusto, Jorge A. Pérez: Move vs Copy: Towards a Formal Comparison of Ambients and Higher-Order Process Calculi. ICTCS 2009: 107-112
5		Cinzia Di Giusto, Maurizio Gabbrielli, Maria Chiara Meo: Expressiveness of Multiple Heads in CHR. SOFSEM 2009: 205-216
	2008
4		Cinzia Di Giusto, Maurizio Gabbrielli: Full Abstraction for Linda. ESOP 2008: 78-92
3		Cinzia Di Giusto, Maurizio Gabbrielli, Maria Chiara Meo: Expressiveness of multiple heads in CHR CoRR abs/0804.3351: (2008)
	2007
2		Jesús Aranda, Cinzia Di Giusto, Mogens Nielsen, Frank D. Valencia: CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence. APLAS 2007: 383-398
	2006
1		Jesús Aranda, Cinzia Di Giusto, Catuscia Palamidessi, Frank D. Valencia: On Recursion, Replication and Scope Mechanisms in Process Calculi. FMCO 2006: 185-206

Coauthor Index

1	Jesús Aranda	[1] [2]
2	Mario Bravetti	[9] [10]
3	Giorgio Delzanno	[8]
4	Maurizio Gabbrielli	[3] [4] [5] [8] [13]
5	Cosimo Laneve	[8]
6	Maria Chiara Meo	[3] [5] [13]
7	Mogens Nielsen	[2]
8	Catuscia Palamidessi	[1]
9	Jorge A. Pérez (Jorge Andrés Pérez)	[6] [7] [9] [10]
10	Mila Dalla Preda	[11]
11	Jean-Bernard Stefani	[12]
12	Frank D. Valencia (Frank Valencia)	[1] [2]
13	Gianluigi Zavattaro	[7] [8] [9] [10]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page