Andrea Bracciali

Publication Activity (10 Years)

Years Active: 1999-2023
Publications (10 Years): 20

Top Topics

Script Language

Top Venues

Publications

Stefano Bistarelli, Andrea Bracciali, Rick Klomp, Ivan Mercanti
Towards automated verification of Bitcoin-based decentralised applications. SAC (2023)
Massimo Bartoletti, Andrea Bracciali, Cristian Lepore, Alceste Scalas, Roberto Zunino
A Formal Model of Algorand Smart Contracts. Financial Cryptography (1) (2021)
Claudio Schifanella, Andrea Bracciali
Special Issue of Concurrency and Computation: Practice and experience "FPDAPP, Future Perspectives on Decentralized Applications". Concurr. Comput. Pract. Exp. 33 (1) (2021)
Andrea Bracciali, Davide Grossi, Ronald de Haan
Decentralization in Open Quorum Systems: Limitative Results for Ripple and Stellar. Tokenomics (2020)
Vasco Amaral, Beatriz Norberto, Miguel Goulão, Marco Aldinucci, Siegfried Benkner, Andrea Bracciali, Paulo Carreira, Edgars Celms, Luís Correia, Clemens Grelck, Helen D. Karatza, Christoph W. Kessler, Peter Kilpatrick, Hugo F. M. C. Martiniano, Ilias Mavridis, Sabri Pllana, Ana Respício, José Simão, Luís Veiga, Ari Visa
Programming languages for data-Intensive HPC applications: A systematic mapping study. Parallel Comput. 91 (2020)
Yilei Wang, Andrea Bracciali, Guoyu Yang, Tao Li, Xiaomei Yu
Adversarial behaviours in mixing coins under incomplete information. Appl. Soft Comput. 96 (2020)
Yilei Wang, Guoyu Yang, Andrea Bracciali, Ho-fung Leung, Haibo Tian, Lishan Ke, Xiaomei Yu
Incentive compatible and anti-compounding of wealth in proof-of-stake. Inf. Sci. 530 (2020)
Massimo Bartoletti, Andrea Bracciali, Cristian Lepore, Alceste Scalas, Roberto Zunino
A formal model of Algorand smart contracts. CoRR (2020)
Marco Zecchini, Andrea Bracciali, Ioannis Chatzigiannakis, Andrea Vitaletti
On Refining Design Patterns for Smart Contracts. Euro-Par Workshops (2019)
Andrea Bracciali, Ioannis Chatzigiannakis, Andrea Vitaletti, Marco Zecchini
Citizens Vote to Act: smart contracts for the management of water resources in smart cities. SA (2019)
Andrea Bracciali, Davide Grossi, Ronald de Haan
Decentralization in Open Quorum Systems. CoRR (2019)
Yilei Wang, Andrea Bracciali, Tao Li, Fengyin Li, Xinchun Cui, Minghao Zhao
Randomness invalidates criminal smart contracts. Inf. Sci. 477 (2019)
Rick Klomp, Andrea Bracciali
On Symbolic Verification of Bitcoin's script Language. DPM/CBT@ESORICS (2018)
Claudia Angelini, Andrea Bracciali, David Gilbert, Riccardo Rizzo
Preface to the BMC-CIBB 2015-16 special issue. BMC Bioinform. (7) (2018)
Giuseppe Destefanis, Michele Marchesi, Marco Ortu, Roberto Tonelli, Andrea Bracciali, Robert M. Hierons
Smart contracts vulnerabilities: a call for blockchain software engineering? IWBOSE@SANER (2018)
Massimo Bartoletti, Andrea Bracciali, Stefano Lande, Livio Pompianu
A general framework for Bitcoin analytics. CoRR (2017)
Tatja Karkkainen, Georgios A. Panos, Daniel Broby, Andrea Bracciali
On the Educational Curriculum in Finance and Technology. INSCI Workshops (2017)
Andrea Bracciali, Elisabeth Larsson
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. Data Sci. Eng. 2 (3) (2017)
Massimo Bartoletti, Stefano Lande, Livio Pompianu, Andrea Bracciali
A general framework for blockchain analytics. SERIAL@Middleware (2017)
Andrea Bracciali, Marco Aldinucci, Murray Patterson, Tobias Marschall, Nadia Pisanti, Ivan Merelli, Massimo Torquati
PWHATSHAP: efficient haplotyping for future generation sequencing. BMC Bioinform. 17 (S-11) (2016)
Giancarlo Bigi, Andrea Bracciali, Giovanni Meacci, Emilio Tuosto
Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods. Programming Languages with Applications to Biology and Security (2015)
Andrea Bracciali, Enrico Cataldo, Luisa Damiano, Claudio Felicioli, Roberto Marangoni, Pasquale Stano
From Cells as Computation to Cells as Apps. HaPoC (2015)
Marco Aldinucci, Andrea Bracciali, Tobias Marschall, Murray Patterson, Nadia Pisanti, Massimo Torquati
High-Performance Haplotype Assembly. CIBB (2014)
Andrea Bracciali, Giulio Caravagna, Amjad Ullah
Survival vs. revenue: modelling and reasoning on population dynamics (WIP). SpringSim (TMS-DEVS) (2013)
Mieke Massink, Diego Latella, Andrea Bracciali, Michael D. Harrison, Jane Hillston
Scalable context-dependent analysis of emergency egress models. Formal Aspects Comput. 24 (2) (2012)
Mieke Massink, Diego Latella, Andrea Bracciali, Jane Hillston
Modelling Non-linear Crowd Dynamics in Bio-PEPA. FASE (2011)
Chiara Bodei, Andrea Bracciali, Davide Chiarugi, Roberta Gori
A Taxonomy of Causality-Based Biological Properties FBTC (2010)
Marco Aldinucci, Andrea Bracciali, Pietro Liò, Anil Sorathiya, Massimo Torquati
StochKit-FF: Efficient Systems Biology on Multicore Architectures. Euro-Par Workshops (2010)
Marco Aldinucci, Andrea Bracciali, Pietro Liò
Formal Synthetic Immunology. ERCIM News 2010 (82) (2010)
Marco Aldinucci, Andrea Bracciali, Pietro Liò, Anil Sorathiya, Massimo Torquati
StochKit-FF: Efficient Systems Biology on Multicore Architectures CoRR (2010)
Anil Sorathiya, Andrea Bracciali, Pietro Liò
An integrated modelling approach for R5-X4 mutation and HAART therapy assessment. Swarm Intell. 4 (4) (2010)
Andrea Bracciali, Jane Hillston, Diego Latella, Mieke Massink
Reconciling Population and Agent Models for Crowd Dynamics. LAM@LICS (2010)
Mieke Massink, Diego Latella, Andrea Bracciali, Michael D. Harrison
A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis. SEFM (2010)
Anil Sorathiya, Andrea Bracciali, Pietro Liò
Formal reasoning on qualitative models of coinfection of HIV and Tuberculosis and HAART therapy. BMC Bioinform. 11 (S-1) (2010)
Chiara Bodei, Andrea Bracciali, Davide Chiarugi
Control Flow Analysis for Brane Calculi. Electron. Notes Theor. Comput. Sci. 227 (2009)
Andrea Bracciali, Roberto Bruni, Alberto Lluch-Lafuente
On Symbolic Semantics for Name-decorated Contexts. Electron. Notes Theor. Comput. Sci. 229 (3) (2009)
Andrea Bracciali, Marcello Brunelli, Enrico Cataldo, Pierpaolo Degano
Formal Models of the Calyx of Held. Algorithmic Bioprocesses (2009)
Andrea Bracciali, Marcello Brunelli, Enrico Cataldo, Pierpaolo Degano
Stochastic models for the in silico simulation of synaptic processes. BMC Bioinform. 9 (S-4) (2008)
Chiara Bodei, Andrea Bracciali, Davide Chiarugi
On deducing causality in metabolic networks. BMC Bioinform. 9 (S-4) (2008)
Giada Maggenti, Andrea Bracciali, Paolo Mancarella
Abduction and legal reasoning. e-Forensics (2008)
Andrea Bracciali, GianLuigi Ferrari, Emilio Tuosto
A symbolic framework for multi-faceted security protocol analysis. Int. J. Inf. Sec. 7 (1) (2008)
Andrea Bracciali, Marcello Brunelli, Enrico Cataldo, Pierpaolo Degano
Synapses as stochastic concurrent systems. Theor. Comput. Sci. 408 (1) (2008)
Andrea Bracciali, Marcello Brunelli, Enrico Cataldo, Pierpaolo Degano
Expressive Models for Synaptic Plasticity. CMSB (2007)
Paolo Baldan, Andrea Bracciali, Roberto Bruni
A semantic framework for open processes. Theor. Comput. Sci. 389 (3) (2007)
Paolo Baldan, Andrea Bracciali, Linda Brodo, Roberto Bruni
Deducing Interactions in Partially Unspecified Biological Systems. AB (2007)
Andrea Bracciali, Ulle Endriss, Neophytos Demetriou, Antonis C. Kakas, Wenjin Lu, Kostas Stathis
Crafting the mind of PROSOCS agents. Appl. Artif. Intell. 20 (2-4) (2006)
Andrea Bracciali, Antonio Brogi, Carlos Canal
A formal approach to component adaptation. J. Syst. Softw. 74 (1) (2005)
Giacomo Baldi, Andrea Bracciali, Gian Luigi Ferrari, Emilio Tuosto
A Coordination-based Methodology for Security Protocol Verification. Electron. Notes Theor. Comput. Sci. 121 (2005)
Andrea Bracciali, Antonio Brogi, Franco Turini
A framework for specifying and verifying the behaviour of open systems. J. Log. Algebraic Methods Program. 63 (2) (2005)
Andrea Bracciali, Paolo Torroni
A New Framework for Knowledge Revision of Abductive Agents Through Their Interaction. CLIMA (2004)
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)
Andrea Bracciali, Paolo Mancarella, Kostas Stathis, Francesca Toni
Engineering Stable Multi-agent Systems. ESAW (2004)
Paolo Baldan, Andrea Bracciali, Roberto Bruni
Symbolic Equivalences for Open Systems. Global Computing (2004)
Andrea Bracciali, Antonis C. Kakas
Frame consistency: computing with causal explanations. NMR (2004)
Andrea Bracciali, Paolo Mancarella, Kostas Stathis, Francesca Toni
On Modelling Multi-agent Systems Declaratively. DALT (2004)
Paolo Baldan, Andrea Bracciali, Roberto Bruni
Bisimulation by Unification. AMAST (2002)
Andrea Bracciali, Antonio Brogi, Gian Luigi Ferrari, Emilio Tuosto
Security and Dynamic Compositions of Open Systems. PDPTA (2002)
Andrea Bracciali, Antonio Brogi, Carlos Canal
Systematic Component Adaptation. Electron. Notes Theor. Comput. Sci. 66 (4) (2002)
Andrea Bracciali, Antonio Brogi, Carlos Canal
Dynamically Adapting the Behaviour of Software Components. COORDINATION (2002)
Andrea Bracciali, Antonio Brogi, Carlos Canal
Adapting Components with Mismatching Behaviours. Component Deployment (2002)
Andrea Bracciali, Antonio Brogi, Gian Luigi Ferrari, Emilio Tuosto
Security Issues in Component-based Design. Electron. Notes Theor. Comput. Sci. 54 (2001)
Andrea Bracciali, Antonio Brogi, Franco Turini
Coordinating interaction patterns. SAC (2001)
Tommaso Bolognesi, Andrea Bracciali
Formal specification of discrete systems by active predicates and dynamic constraints (Short Paper). FMOODS (1999)