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

Coordinating interaction patterns. - Andrea Bracciali; Antonio Brogi; Franco Turini (SAC, 2001)

Security Issues in Component-based Design. - Andrea Bracciali; Antonio Brogi; Gian-Luigi Ferrari 002; Emilio Tuosto (ConCoord, 2001)

Bisimulation by Unification. - Paolo Baldan; Andrea Bracciali; Roberto Bruni 001 (AMAST, 2002)

Adapting Components with Mismatching Behaviours. - Andrea Bracciali; Antonio Brogi; Carlos Canal (Component Deployment, 2002)

Dynamically Adapting the Behaviour of Software Components. - Andrea Bracciali; Antonio Brogi; Carlos Canal (COORDINATION, 2002)

Security and Dynamic Compositions of Open Systems. - Andrea Bracciali; Antonio Brogi; Gian-Luigi Ferrari 002; Emilio Tuosto (PDPTA, 2002)

Systematic Component Adaptation. - Andrea Bracciali; Antonio Brogi; Carlos Canal (Formal Methods and Component Interaction @ ICALP, 2002)

Behavioural patterns and software composition. - Andrea Bracciali (2003)

A New Framework for Knowledge Revision of Abductive Agents Through Their Interaction. - Andrea Bracciali; Paolo Torroni (CLIMA, 2004)

On Modelling Multi-agent Systems Declaratively. - Andrea Bracciali; Paolo Mancarella; Kostas Stathis; Francesca Toni (DALT, 2004)

Engineering Stable Multi-agent Systems. - Andrea Bracciali; Paolo Mancarella; Kostas Stathis; Francesca Toni (ESAW, 2004)

Symbolic Equivalences for Open Systems. - Paolo Baldan; Andrea Bracciali; Roberto Bruni 001 (Global Computing, 2004)

The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation. - Andrea Bracciali; Neophytos Demetriou; Ulrich Endriss; Antonis C. Kakas; Wenjin Lu; Paolo Mancarella; Fariba Sadri; Kostas Stathis; Giacomo Terreni; Francesca Toni (Global Computing, 2004)

Frame consistency: computing with causal explanations. - Andrea Bracciali; Antonis C. Kakas (NMR, 2004)

A Coordination-based Methodology for Security Protocol Verification. - Giacomo Baldi; Andrea Bracciali; Gian-Luigi Ferrari 002; Emilio Tuosto (WISP@ICATPN, 2004)

A framework for specifying and verifying the behaviour of open systems. - Andrea Bracciali; Antonio Brogi; Franco Turini (J. Log. Algebraic Methods Program., 2005)

A formal approach to component adaptation. - Andrea Bracciali; Antonio Brogi; Carlos Canal (J. Syst. Softw., 2005)

Crafting the mind of PROSOCS agents. - Andrea Bracciali; Ulle Endriss; Neophytos Demetriou; Antonis C. Kakas; Wenjin Lu; Kostas Stathis (Appl. Artif. Intell., 2006)

Deducing Interactions in Partially Unspecified Biological Systems. - Paolo Baldan; Andrea Bracciali; Linda Brodo; Roberto Bruni 001 (AB, 2007)

Expressive Models for Synaptic Plasticity. - Andrea Bracciali; Marcello Brunelli; Enrico Cataldo; Pierpaolo Degano (CMSB, 2007)

A semantic framework for open processes. - Paolo Baldan; Andrea Bracciali; Roberto Bruni 001 (Theor. Comput. Sci., 2007)

Abduction and legal reasoning. - Giada Maggenti; Andrea Bracciali; Paolo Mancarella (e-Forensics, 2008)

On deducing causality in metabolic networks. - Chiara Bodei; Andrea Bracciali; Davide Chiarugi (BMC Bioinform., 2008)

Stochastic models for the in silico simulation of synaptic processes. - Andrea Bracciali; Marcello Brunelli; Enrico Cataldo; Pierpaolo Degano (BMC Bioinform., 2008)

Control Flow Analysis for Brane Calculi. - Chiara Bodei; Andrea Bracciali; Davide Chiarugi (MeCBIC, 2008)

On Symbolic Semantics for Name-decorated Contexts. - Andrea Bracciali; Roberto Bruni 001; Alberto Lluch-Lafuente (ICE@ICALP, 2008)

A symbolic framework for multi-faceted security protocol analysis. - Andrea Bracciali; Gianluigi Ferrari 002; Emilio Tuosto (Int. J. Inf. Sec., 2008)

Synapses as stochastic concurrent systems. - Andrea Bracciali; Marcello Brunelli; Enrico Cataldo; Pierpaolo Degano (Theor. Comput. Sci., 2008)

Formal Models of the Calyx of Held. - Andrea Bracciali; Marcello Brunelli; Enrico Cataldo; Pierpaolo Degano (Algorithmic Bioprocesses, 2009)

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

Reconciling Population and Agent Models for Crowd Dynamics. - Andrea Bracciali; Jane Hillston; Diego Latella; Mieke Massink (LAM@LICS, 2010)

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

Formal reasoning on qualitative models of coinfection of HIV and Tuberculosis and HAART therapy. - Anil Sorathiya; Andrea Bracciali; Pietro Liò (BMC Bioinform., 2010)

A Taxonomy of Causality-Based Biological Properties - Chiara Bodei; Andrea Bracciali; Davide Chiarugi; Roberta Gori (FBTC, 2010)

Formal Synthetic Immunology. - Marco Aldinucci; Andrea Bracciali; Pietro Liò (ERCIM News, 2010)

An integrated modelling approach for R5-X4 mutation and HAART therapy assessment. - Anil Sorathiya; Andrea Bracciali; Pietro Liò (Swarm Intell., 2010)

Modelling Non-linear Crowd Dynamics in Bio-PEPA. - Mieke Massink; Diego Latella; Andrea Bracciali; Jane Hillston (FASE, 2011)

Scalable context-dependent analysis of emergency egress models. - Mieke Massink; Diego Latella; Andrea Bracciali; Michael D. Harrison; Jane Hillston (Formal Aspects Comput., 2012)

Process Calculi, Systems Biology and Artificial Chemistry. - Pierpaolo Degano; Andrea Bracciali (Handbook of Natural Computing, 2012)

Survival vs. revenue: modelling and reasoning on population dynamics (WIP). - Andrea Bracciali; Giulio Caravagna; Amjad Ullah (SpringSim (TMS-DEVS), 2013)

High-Performance Haplotype Assembly. - Marco Aldinucci; Andrea Bracciali; Tobias Marschall; Murray Patterson; Nadia Pisanti; Massimo Torquati (CIBB, 2014)

Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods. - Giancarlo Bigi; Andrea Bracciali; Giovanni Meacci; Emilio Tuosto (Programming Languages with Applications to Biology and Security, 2015)

From Cells as Computation to Cells as Apps. - Andrea Bracciali; Enrico Cataldo; Luisa Damiano; Claudio Felicioli; Roberto Marangoni; Pasquale Stano (HaPoC, 2015)

PWHATSHAP: efficient haplotyping for future generation sequencing. - Andrea Bracciali; Marco Aldinucci; Murray Patterson; Tobias Marschall; Nadia Pisanti; Ivan Merelli; Massimo Torquati (BMC Bioinform., 2016)

On the Educational Curriculum in Finance and Technology. - Tatja Karkkainen; Georgios A. Panos; Daniel Broby; Andrea Bracciali (INSCI Workshops, 2017)

A general framework for blockchain analytics. - Massimo Bartoletti; Stefano Lande; Livio Pompianu; Andrea Bracciali (SERIAL@Middleware, 2017)

A general framework for Bitcoin analytics. - Massimo Bartoletti; Andrea Bracciali; Stefano Lande; Livio Pompianu (CoRR, 2017)

Data-Intensive Modelling and Simulation in Life Sciences and Socio-economical and Physical Sciences - Contributions from the Coordinated Work in cHiPSet, the COST Action on High-Performance Modelling and Simulation for Big Data Applications. - Andrea Bracciali; Elisabeth Larsson (Data Sci. Eng., 2017)

On Symbolic Verification of Bitcoin's script Language. - Rick Klomp; Andrea Bracciali (DPM/CBT@ESORICS, 2018)

Smart contracts vulnerabilities: a call for blockchain software engineering? - Giuseppe Destefanis; Michele Marchesi; Marco Ortu; Roberto Tonelli; Andrea Bracciali; Robert M. Hierons (IWBOSE@SANER, 2018)

Preface to the BMC-CIBB 2015-16 special issue. - Claudia Angelini; Andrea Bracciali; David Gilbert; Riccardo Rizzo (BMC Bioinform., 2018)

On Refining Design Patterns for Smart Contracts. - Marco Zecchini; Andrea Bracciali; Ioannis Chatzigiannakis; Andrea Vitaletti (Euro-Par Workshops, 2019)

Citizens Vote to Act: smart contracts for the management of water resources in smart cities. - Andrea Bracciali; Ioannis Chatzigiannakis; Andrea Vitaletti; Marco Zecchini (SA, 2019)

Decentralization in Open Quorum Systems. - Andrea Bracciali; Davide Grossi; Ronald de Haan (CoRR, 2019)

Randomness invalidates criminal smart contracts. - Yilei Wang; Andrea Bracciali; Tao Li 043; Fengyin Li; Xinchun Cui; Minghao Zhao 001 (Inf. Sci., 2019)

Why High-Performance Modelling and Simulation for Big Data Applications Matters. - Clemens Grelck; Ewa Niewiadomska-Szynkiewicz; Marco Aldinucci; Andrea Bracciali; Elisabeth Larsson (High-Performance Modelling and Simulation for Big Data Applications, 2019)

Forecasting Cryptocurrency Value by Sentiment Analysis: An HPC-Oriented Survey of the State-of-the-Art in the Cloud Era. - Ales Zamuda; Vincenzo Crescimanna; Juan C. Burguillo; Joana Matos Dias; Katarzyna Wegrzyn-Wolska; Imen Rached; Horacio González-Vélez; Roman Senkerik; Claudia Pop; Tudor Cioara; Ioan Salomie; Andrea Bracciali (High-Performance Modelling and Simulation for Big Data Applications, 2019)

Companion data of a Systematic Mapping Study of Programming Languages for Data-Intensive HPC Applications. - Vasco Amaral 001; Beatriz Norberto; Miguel Goulão; Marco Aldinucci; Siegfried Benkner; Andrea Bracciali; Paulo Carreira 001; Edgars Celms; Luís Correia 001; Clemens Grelck; Helen D. Karatza; Christoph W. Kessler; et al. (Zenodo, 2019)

Companion data of a Systematic Mapping Study of Programming Languages for Data-Intensive HPC Applications. - Vasco Amaral 001; Beatriz Norberto; Miguel Goulão; Marco Aldinucci; Siegfried Benkner; Andrea Bracciali; Paulo Carreira 001; Edgars Celms; Luís Correia 001; Clemens Grelck; Helen D. Karatza; Christoph W. Kessler; et al. (Zenodo, 2019)

Decentralization in Open Quorum Systems: Limitative Results for Ripple and Stellar. - Andrea Bracciali; Davide Grossi; Ronald de Haan (Tokenomics, 2020)

Adversarial behaviours in mixing coins under incomplete information. - Yilei Wang; Andrea Bracciali; Guoyu Yang; Tao Li 043; Xiaomei Yu (Appl. Soft Comput., 2020)

Incentive compatible and anti-compounding of wealth in proof-of-stake. - Yilei Wang; Guoyu Yang; Andrea Bracciali; Ho-fung Leung; Haibo Tian; Lishan Ke; Xiaomei Yu (Inf. Sci., 2020)

Programming languages for data-Intensive HPC applications: A systematic mapping study. - Vasco Amaral 001; Beatriz Norberto; Miguel Goulão; Marco Aldinucci; Siegfried Benkner; Andrea Bracciali; Paulo Carreira 001; Edgars Celms; Luís Correia 001; Clemens Grelck; Helen D. Karatza; Christoph W. Kessler; et al. (Parallel Comput., 2020)

A Formal Model of Algorand Smart Contracts. - Massimo Bartoletti; Andrea Bracciali; Cristian Lepore; Alceste Scalas; Roberto Zunino (Financial Cryptography (1), 2021)

Special Issue of Concurrency and Computation: Practice and experience "FPDAPP, Future Perspectives on Decentralized Applications". - Claudio Schifanella; Andrea Bracciali (Concurr. Comput. Pract. Exp., 2021)

Towards automated verification of Bitcoin-based decentralised applications. - Stefano Bistarelli; Andrea Bracciali; Rick Klomp; Ivan Mercanti (SAC, 2023)

Results of Blockchain-Oriented Software Engineering 2024 Workshop: Speculations on Blockchain for Energy Communities management. - Roberto Tonelli; Andrea Bracciali; Henrique Rocha (SANER (Companion), 2024)

Finding Vulnerabilities in Solidity Smart Contracts with In-Context Learning. - Badaruddin Chachar; Marc Cavazza; Andrea Bracciali; Pietro Ferrara 001; Agostino Cortesi (ITASEC/SERICS, 2025)