Andrea Bracciali

Mieke Massink, Diego Latella, Andrea Bracciali, Michael D. Harrison, Jane Hillston: Scalable context-dependent analysis of emergency egress models. Formal Asp. Comput. 24(2): 267-302 (2012)

Mieke Massink, Diego Latella, Andrea Bracciali, Jane Hillston: Modelling Non-linear Crowd Dynamics in Bio-PEPA. FASE 2011: 96-110

Anil Sorathiya, Andrea Bracciali, Pietro Liò: Formal reasoning on qualitative models of coinfection of HIV and Tuberculosis and HAART therapy. BMC Bioinformatics 11(S-1): 67 (2010)

Marco Aldinucci, Andrea Bracciali, Pietro Liò: Formal Synthetic Immunology. ERCIM News 2010(82): 40-41 (2010)

Anil Sorathiya, Andrea Bracciali, Pietro Liò: An integrated modelling approach for R5-X4 mutation and HAART therapy assessment. Swarm Intelligence 4(4): 319-340 (2010)

Marco Aldinucci, Andrea Bracciali, Pietro Liò, Anil Sorathiya, Massimo Torquati: StochKit-FF: Efficient Systems Biology on Multicore Architectures. Euro-Par Workshops 2010: 167-175

Mieke Massink, Diego Latella, Andrea Bracciali, Michael D. Harrison: A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis. SEFM 2010: 169-180

Chiara Bodei, Andrea Bracciali, Davide Chiarugi, Roberta Gori: A Taxonomy of Causality-Based Biological Properties. FBTC 2010: 116-133

Marco Aldinucci, Andrea Bracciali, Pietro Liò, Anil Sorathiya, Massimo Torquati: StochKit-FF: Efficient Systems Biology on Multicore Architectures. CoRR abs/1007.1768 (2010)

Chiara Bodei, Andrea Bracciali, Davide Chiarugi: Control Flow Analysis for Brane Calculi. Electr. Notes Theor. Comput. Sci. 227: 59-75 (2009)

Andrea Bracciali, Roberto Bruni, Alberto Lluch-Lafuente: On Symbolic Semantics for Name-decorated Contexts. Electr. Notes Theor. Comput. Sci. 229(3): 37-58 (2009)

Chiara Bodei, Andrea Bracciali, Davide Chiarugi: On deducing causality in metabolic networks. BMC Bioinformatics 9(S-4) (2008)

Andrea Bracciali, Marcello Brunelli, Enrico Cataldo, Pierpaolo Degano: Stochastic models for the in silico simulation of synaptic processes. BMC Bioinformatics 9(S-4) (2008)

Andrea Bracciali, GianLuigi Ferrari, Emilio Tuosto: A symbolic framework for multi-faceted security protocol analysis. Int. J. Inf. Sec. 7(1): 55-84 (2008)

Andrea Bracciali, Marcello Brunelli, Enrico Cataldo, Pierpaolo Degano: Synapses as stochastic concurrent systems. Theor. Comput. Sci. 408(1): 66-82 (2008)

Paolo Baldan, Andrea Bracciali, Roberto Bruni: A semantic framework for open processes. Theor. Comput. Sci. 389(3): 446-483 (2007)

Paolo Baldan, Andrea Bracciali, Linda Brodo, Roberto Bruni: Deducing Interactions in Partially Unspecified Biological Systems. AB 2007: 262-276

Andrea Bracciali, Marcello Brunelli, Enrico Cataldo, Pierpaolo Degano: Expressive Models for Synaptic Plasticity. CMSB 2007: 152-167

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)

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)

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)

Andrea Bracciali, Antonio Brogi, Carlos Canal: A formal approach to component adaptation. Journal of Systems and Software 74(1): 45-54 (2005)

Andrea Bracciali, Paolo Torroni: A New Framework for Knowledge Revision of Abductive Agents Through Their Interaction. CLIMA 2004: 159-177

Andrea Bracciali, Paolo Mancarella, Kostas Stathis, Francesca Toni: On Modelling Multi-agent Systems Declaratively. DALT 2004: 53-68

Andrea Bracciali, Paolo Mancarella, Kostas Stathis, Francesca Toni: Engineering Stable Multi-agent Systems. ESAW 2004: 322-334

Paolo Baldan, Andrea Bracciali, Roberto Bruni: Symbolic Equivalences for Open Systems. Global Computing 2004: 1-17

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

Andrea Bracciali, Antonis C. Kakas: Frame consistency: computing with causal explanations. NMR 2004: 79-87

Andrea Bracciali, Antonio Brogi, Carlos Canal: Systematic Component Adaptation. Electr. Notes Theor. Comput. Sci. 66(4): 97-113 (2002)

Paolo Baldan, Andrea Bracciali, Roberto Bruni: Bisimulation by Unification. AMAST 2002: 254-270

Andrea Bracciali, Antonio Brogi, Carlos Canal: Adapting Components with Mismatching Behaviours. Component Deployment 2002: 185-199

Andrea Bracciali, Antonio Brogi, Carlos Canal: Dynamically Adapting the Behaviour of Software Components. COORDINATION 2002: 88-95

Andrea Bracciali, Antonio Brogi, Gian Luigi Ferrari, Emilio Tuosto: Security and Dynamic Compositions of Open Systems. PDPTA 2002: 1372-1377

Andrea Bracciali, Antonio Brogi, Gian Luigi Ferrari, Emilio Tuosto: Security Issues in Component-based Design. Electr. Notes Theor. Comput. Sci. 54: 49-57 (2001)

Andrea Bracciali, Antonio Brogi, Franco Turini: Coordinating interaction patterns. SAC 2001: 159-165

Tommaso Bolognesi, Andrea Bracciali: Formal specification of discrete systems by active predicates and dynamic constraints (Short Paper). FMOODS 1999