Andrea Bracciali

	2009
26		Chiara Bodei, Andrea Bracciali, Davide Chiarugi: Control Flow Analysis for Brane Calculi. Electr. Notes Theor. Comput. Sci. 227: 59-75 (2009)
	2008
25		Chiara Bodei, Andrea Bracciali, Davide Chiarugi: On deducing causality in metabolic networks. BMC Bioinformatics 9(S-4): (2008)
24		Andrea Bracciali, Marcello Brunelli, Enrico Cataldo, Pierpaolo Degano: Stochastic models for the in silico simulation of synaptic processes. BMC Bioinformatics 9(S-4): (2008)
23		Andrea Bracciali, GianLuigi Ferrari, Emilio Tuosto: A symbolic framework for multi-faceted security protocol analysis. Int. J. Inf. Sec. 7(1): 55-84 (2008)
22		Andrea Bracciali, Marcello Brunelli, Enrico Cataldo, Pierpaolo Degano: Synapses as stochastic concurrent systems. Theor. Comput. Sci. 408(1): 66-82 (2008)
	2007
21		Paolo Baldan, Andrea Bracciali, Linda Brodo, Roberto Bruni: Deducing Interactions in Partially Unspecified Biological Systems. AB 2007: 262-276
20		Andrea Bracciali, Marcello Brunelli, Enrico Cataldo, Pierpaolo Degano: Expressive Models for Synaptic Plasticity. CMSB 2007: 152-167
19		Paolo Baldan, Andrea Bracciali, Roberto Bruni: A semantic framework for open processes. Theor. Comput. Sci. 389(3): 446-483 (2007)
	2006
18		Andrea Bracciali, Ulle Endriss, Neophytos Demetriou, Antonis C. Kakas, Wenjin Lu, Kostas Stathis: Crafting the mind of PROSOCS agents. Applied Artificial Intelligence 20(2-4): 105-131 (2006)
	2005
17		Giacomo Baldi, Andrea Bracciali, Gian Luigi Ferrari, Emilio Tuosto: A Coordination-based Methodology for Security Protocol Verification. Electr. Notes Theor. Comput. Sci. 121: 23-46 (2005)
16		Andrea Bracciali, Antonio Brogi, Franco Turini: A framework for specifying and verifying the behaviour of open systems. J. Log. Algebr. Program. 63(2): 215-240 (2005)
15		Andrea Bracciali, Antonio Brogi, Carlos Canal: A formal approach to component adaptation. Journal of Systems and Software 74(1): 45-54 (2005)
	2004
14		Andrea Bracciali, Paolo Torroni: A New Framework for Knowledge Revision of Abductive Agents Through Their Interaction. CLIMA IV 2004: 159-177
13		Andrea Bracciali, Paolo Mancarella, Kostas Stathis, Francesca Toni: On Modelling Multi-agent Systems Declaratively. DALT 2004: 53-68
12		Andrea Bracciali, Paolo Mancarella, Kostas Stathis, Francesca Toni: Engineering Stable Multi-agent Systems. ESAW 2004: 322-334
11		Paolo Baldan, Andrea Bracciali, Roberto Bruni: Symbolic Equivalences for Open Systems. Global Computing 2004: 1-17
10		Andrea Bracciali, Neophytos Demetriou, Ulrich Endriss, Antonis C. Kakas, Wenjin Lu, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Giacomo Terreni, Francesca Toni: The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation. Global Computing 2004: 340-367
9		Andrea Bracciali, Antonis C. Kakas: Frame consistency: computing with causal explanations. NMR 2004: 79-87
	2002
8		Paolo Baldan, Andrea Bracciali, Roberto Bruni: Bisimulation by Unification. AMAST 2002: 254-270
7		Andrea Bracciali, Antonio Brogi, Carlos Canal: Dynamically Adapting the Behaviour of Software Components. COORDINATION 2002: 88-95
6		Andrea Bracciali, Antonio Brogi, Carlos Canal: Adapting Components with Mismatching Behaviours. Component Deployment 2002: 185-199
5		Andrea Bracciali, Antonio Brogi, Gian Luigi Ferrari, Emilio Tuosto: Security and Dynamic Compositions of Open Systems. PDPTA 2002: 1372-1377
4		Andrea Bracciali, Antonio Brogi, Carlos Canal: Systematic Component Adaptation. Electr. Notes Theor. Comput. Sci. 66(4): (2002)
	2001
3		Andrea Bracciali, Antonio Brogi, Franco Turini: Coordinating interaction patterns. SAC 2001: 159-165
2		Andrea Bracciali, Antonio Brogi, Gian Luigi Ferrari, Emilio Tuosto: Security Issues in Component-based Design. Electr. Notes Theor. Comput. Sci. 54: (2001)
	1999
1		Tommaso Bolognesi, Andrea Bracciali: Formal specification of discrete systems by active predicates and dynamic constraints (Short Paper). FMOODS 1999

Coauthor Index

1	Paolo Baldan	[8] [11] [19] [21]
2	Giacomo Baldi	[17]
3	Chiara Bodei	[25] [26]
4	Tommaso Bolognesi	[1]
5	Linda Brodo	[21]
6	Antonio Brogi	[2] [3] [4] [5] [6] [7] [15] [16]
7	Marcello Brunelli	[20] [22] [24]
8	Roberto Bruni	[8] [11] [19] [21]
9	Carlos Canal (Carlos Canal Velasco)	[4] [6] [7] [15]
10	Enrico Cataldo	[20] [22] [24]
11	Davide Chiarugi	[25] [26]
12	Pierpaolo Degano	[20] [22] [24]
13	Neophytos Demetriou	[10] [18]
14	Ulrich Endriss (Ulle Endriss)	[10] [18]
15	Gian Luigi Ferrari (GianLuigi Ferrari)	[2] [5] [17] [23]
16	Antonis C. Kakas	[9] [10] [18]
17	Wenjin Lu	[10] [18]
18	Paolo Mancarella	[10] [12] [13]
19	Fariba Sadri	[10]
20	Kostas Stathis	[10] [12] [13] [18]
21	Giacomo Terreni	[10]
22	Francesca Toni	[10] [12] [13]
23	Paolo Torroni	[14]
24	Emilio Tuosto	[2] [5] [17] [23]
25	Franco Turini	[3] [16]

Colors in the list of coauthors