Andrea Bracciali

82 papers B 2C 1Misc 3Journal 24Unranked 35
YearRankTypeTitle / Venue / Authors
2026 — ed.
Financial Cryptography and Data Security. FC 2025 International Workshops - CAAW 2025 and WTSC 2025, Miyakojima, Japan, April 18, 2025, Revised Selected Papers, Part I
FC (Workshops 1)
Bernhard Haslhofer, Java Xu, Friedhelm Victor, Massimo Bartoletti, Andrea Bracciali, Kanta Matsuura, Jarek Nabrzyski, Vero Estrada-Galiñanes, Claudio J. Tessone, Jurlind Budurushi, Karola Marky
2025 — ed.
Financial Cryptography and Data Security. FC 2024 International Workshops - Voting, DeFI, WTSC, CoDecFin, Willemstad, Curaçao, March 4-8, 2024, Revised Selected Papers
FC Workshops
Jurlind Budurushi, Oksana Kulyk, Sarah Allen, Theo Diamandis, Ariah Klages-Mundt, Andrea Bracciali, Geoffrey Goodell, Shin'ichiro Matsuo
2025 — conf
Finding Vulnerabilities in Solidity Smart Contracts with In-Context Learning.
ITASEC/SERICS
Badaruddin Chachar, Marc Cavazza, Andrea Bracciali, Pietro Ferrara, Agostino Cortesi
2024 — ed.
Financial Cryptography and Data Security. FC 2023 International Workshops - Voting, CoDecFin, DeFi, WTSC, Bol, Brač, Croatia, May 5, 2023, Revised Selected Papers
FC Workshops
Aleksander Essex, Shin'ichiro Matsuo, Oksana Kulyk, Lewis Gudgeon, Ariah Klages-Mundt, Daniel Perez, Sam Werner, Andrea Bracciali, Geoff Goodell
2024 — conf
Results of Blockchain-Oriented Software Engineering 2024 Workshop: Speculations on Blockchain for Energy Communities management.
SANER (Companion)
Roberto Tonelli, Andrea Bracciali, Henrique Rocha
2023 — ed.
Financial Cryptography and Data Security. FC 2022 International Workshops - CoDecFin, DeFi, Voting, WTSC, Grenada, May 6, 2022, Revised Selected Papers
Financial Cryptography Workshops
Shin'ichiro Matsuo, Lewis Gudgeon, Ariah Klages-Mundt, Daniel Perez Hernandez, Sam Werner, Thomas Haines, Aleksander Essex, Andrea Bracciali, Massimiliano Sala
2023 Misc conf
Towards automated verification of Bitcoin-based decentralised applications.
SAC
Stefano Bistarelli, Andrea Bracciali, Rick Klomp, Ivan Mercanti
2022 — ed.
Euro-Par 2021: Parallel Processing Workshops - Euro-Par 2021 International Workshops, Lisbon, Portugal, August 30-31, 2021, Revised Selected Papers
Euro-Par Workshops
Ricardo Chaves, Dora B. Heras, Aleksandar Ilic, Didem Unat, Rosa M. Badia, Andrea Bracciali, Patrick Diehl, Anshu Dubey, Oh Sangyoon, Stephen L. Scott, Laura Ricci
2021 — conf
A Formal Model of Algorand Smart Contracts.
Financial Cryptography (1)
Massimo Bartoletti, Andrea Bracciali, Cristian Lepore, Alceste Scalas, Roberto Zunino
2021 — ed.
Euro-Par 2020: Parallel Processing Workshops - Euro-Par 2020 International Workshops, Warsaw, Poland, August 24-25, 2020, Revised Selected Papers
Euro-Par Workshops
Bartosz Balis, Dora B. Heras, Laura Antonelli, Andrea Bracciali, Thomas Gruber, Jin Hyun-Wook, Michael Kuhn, Stephen L. Scott, Didem Unat, Roman Wyrzykowski
2021 — ed.
Financial Cryptography and Data Security. FC 2021 International Workshops - CoDecFin, DeFi, VOTING, and WTSC, Virtual Event, March 5, 2021, Revised Selected Papers
Financial Cryptography Workshops
Matthew Bernhard, Andrea Bracciali, Lewis Gudgeon, Thomas Haines, Ariah Klages-Mundt, Shin'ichiro Matsuo, Daniel Perez, Massimiliano Sala, Sam Werner
2021 J jnl
Special Issue of Concurrency and Computation: Practice and experience "FPDAPP, Future Perspectives on Decentralized Applications".
Concurr. Comput. Pract. Exp.
Claudio Schifanella, Andrea Bracciali
2020 J jnl
A formal model of Algorand smart contracts.
CoRR
Massimo Bartoletti, Andrea Bracciali, Cristian Lepore, Alceste Scalas, Roberto Zunino
2020 J jnl
Adversarial behaviours in mixing coins under incomplete information.
Appl. Soft Comput.
Yilei Wang, Andrea Bracciali, Guoyu Yang, Tao Li, Xiaomei Yu
2020 — conf
Decentralization in Open Quorum Systems: Limitative Results for Ripple and Stellar.
Tokenomics
Andrea Bracciali, Davide Grossi, Ronald de Haan
2020 — ed.
Financial Cryptography and Data Security - FC 2019 International Workshops, VOTING and WTSC, St. Kitts, St. Kitts and Nevis, February 18-22, 2019, Revised Selected Papers
Financial Cryptography Workshops
Andrea Bracciali, Jeremy Clark, Federico Pintore, Peter B. Rønne, Massimiliano Sala
2020 — ed.
Financial Cryptography and Data Security - FC 2020 International Workshops, AsiaUSEC, CoDeFi, VOTING, and WTSC, Kota Kinabalu, Malaysia, February 14, 2020, Revised Selected Papers
Financial Cryptography Workshops
Matthew Bernhard, Andrea Bracciali, L. Jean Camp, Shin'ichiro Matsuo, Alana Maurushat, Peter B. Rønne, Massimiliano Sala
2020 J jnl
Incentive compatible and anti-compounding of wealth in proof-of-stake.
Inf. Sci.
Yilei Wang, Guoyu Yang, Andrea Bracciali, Ho-fung Leung, Haibo Tian, Lishan Ke, Xiaomei Yu
2020 J jnl
Programming languages for data-Intensive HPC applications: A systematic mapping study.
Parallel Comput.
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
2019 — conf
Citizens Vote to Act: smart contracts for the management of water resources in smart cities.
SA
Andrea Bracciali, Ioannis Chatzigiannakis, Andrea Vitaletti, Marco Zecchini
2019 — ed.
Computational Intelligence Methods for Bioinformatics and Biostatistics - 14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers
CIBB
Massimo Bartoletti, Annalisa Barla, Andrea Bracciali, Gunnar W. Klau, Leif E. Peterson, Alberto Policriti, Roberto Tagliaferri
2019 J jnl
Decentralization in Open Quorum Systems.
CoRR
Andrea Bracciali, Davide Grossi, Ronald de Haan
2019 — ed.
Financial Cryptography and Data Security - FC 2018 International Workshops, BITCOIN, VOTING, and WTSC, Nieuwpoort, Curaçao, March 2, 2018, Revised Selected Papers
Financial Cryptography Workshops
Aviv Zohar, Ittay Eyal, Vanessa Teague, Jeremy Clark, Andrea Bracciali, Federico Pintore, Massimiliano Sala
2019 — ch.
Forecasting Cryptocurrency Value by Sentiment Analysis: An HPC-Oriented Survey of the State-of-the-Art in the Cloud Era.
High-Performance Modelling and Simulation for Big Data Applications
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
2019 — conf
On Refining Design Patterns for Smart Contracts.
Euro-Par Workshops
Marco Zecchini, Andrea Bracciali, Ioannis Chatzigiannakis, Andrea Vitaletti
2019 J jnl
Randomness invalidates criminal smart contracts.
Inf. Sci.
Yilei Wang, Andrea Bracciali, Tao Li, Fengyin Li, Xinchun Cui, Minghao Zhao
2019 — ch.
Why High-Performance Modelling and Simulation for Big Data Applications Matters.
High-Performance Modelling and Simulation for Big Data Applications
Clemens Grelck, Ewa Niewiadomska-Szynkiewicz, Marco Aldinucci, Andrea Bracciali, Elisabeth Larsson
2018 — conf
On Symbolic Verification of Bitcoin's script Language.
DPM/CBT@ESORICS
Rick Klomp, Andrea Bracciali
2018 J jnl
Preface to the BMC-CIBB 2015-16 special issue.
BMC Bioinform.
Claudia Angelini, Andrea Bracciali, David Gilbert, Riccardo Rizzo
2018 — conf
Smart contracts vulnerabilities: a call for blockchain software engineering?
IWBOSE@SANER
Giuseppe Destefanis, Michele Marchesi, Marco Ortu, Roberto Tonelli, Andrea Bracciali, Robert M. Hierons
2017 J jnl
A general framework for Bitcoin analytics.
CoRR
Massimo Bartoletti, Andrea Bracciali, Stefano Lande, Livio Pompianu
2017 — conf
A general framework for blockchain analytics.
SERIAL@Middleware
Massimo Bartoletti, Stefano Lande, Livio Pompianu, Andrea Bracciali
2017 — ed.
Computational Intelligence Methods for Bioinformatics and Biostatistics - 13th International Meeting, CIBB 2016, Stirling, UK, September 1-3, 2016, Revised Selected Papers
CIBB
Andrea Bracciali, Giulio Caravagna, David Gilbert, Roberto Tagliaferri
2017 J jnl
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.
Andrea Bracciali, Elisabeth Larsson
2017 — ed.
Financial Cryptography and Data Security - FC 2017 International Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Sliema, Malta, April 7, 2017, Revised Selected Papers
Financial Cryptography Workshops
Michael Brenner, Kurt Rohloff, Joseph Bonneau, Andrew Miller, Peter Y. A. Ryan, Vanessa Teague, Andrea Bracciali, Massimiliano Sala, Federico Pintore, Markus Jakobsson
2017 — conf
On the Educational Curriculum in Finance and Technology.
INSCI Workshops
Tatja Karkkainen, Georgios A. Panos, Daniel Broby, Andrea Bracciali
2016 J jnl
PWHATSHAP: efficient haplotyping for future generation sequencing.
BMC Bioinform.
Andrea Bracciali, Marco Aldinucci, Murray Patterson, Tobias Marschall, Nadia Pisanti, Ivan Merelli, Massimo Torquati
2015 — conf
From Cells as Computation to Cells as Apps.
HaPoC
Andrea Bracciali, Enrico Cataldo, Luisa Damiano, Claudio Felicioli, Roberto Marangoni, Pasquale Stano
2015 — conf
Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods.
Programming Languages with Applications to Biology and Security
Giancarlo Bigi, Andrea Bracciali, Giovanni Meacci, Emilio Tuosto
2014 — conf
High-Performance Haplotype Assembly.
CIBB
Marco Aldinucci, Andrea Bracciali, Tobias Marschall, Murray Patterson, Nadia Pisanti, Massimo Torquati
2013 — conf
Survival vs. revenue: modelling and reasoning on population dynamics (WIP).
SpringSim (TMS-DEVS)
Andrea Bracciali, Giulio Caravagna, Amjad Ullah
2012 — ch.
Process Calculi, Systems Biology and Artificial Chemistry.
Handbook of Natural Computing
Pierpaolo Degano, Andrea Bracciali
2012 J jnl
Scalable context-dependent analysis of emergency egress models.
Formal Aspects Comput.
Mieke Massink, Diego Latella, Andrea Bracciali, Michael D. Harrison, Jane Hillston
2011 B conf
Modelling Non-linear Crowd Dynamics in Bio-PEPA.
FASE
Mieke Massink, Diego Latella, Andrea Bracciali, Jane Hillston
2010 B conf
A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis.
SEFM
Mieke Massink, Diego Latella, Andrea Bracciali, Michael D. Harrison
2010 — conf
A Taxonomy of Causality-Based Biological Properties
FBTC
Chiara Bodei, Andrea Bracciali, Davide Chiarugi, Roberta Gori
2010 J jnl
An integrated modelling approach for R5-X4 mutation and HAART therapy assessment.
Swarm Intell.
Anil Sorathiya, Andrea Bracciali, Pietro Liò
2010 J jnl
Formal Synthetic Immunology.
ERCIM News
Marco Aldinucci, Andrea Bracciali, Pietro Liò
2010 J jnl
Formal reasoning on qualitative models of coinfection of HIV and Tuberculosis and HAART therapy.
BMC Bioinform.
Anil Sorathiya, Andrea Bracciali, Pietro Liò
2010 — conf
Reconciling Population and Agent Models for Crowd Dynamics.
LAM@LICS
Andrea Bracciali, Jane Hillston, Diego Latella, Mieke Massink
2010 J jnl
StochKit-FF: Efficient Systems Biology on Multicore Architectures
CoRR
Marco Aldinucci, Andrea Bracciali, Pietro Liò, Anil Sorathiya, Massimo Torquati
2010 — conf
StochKit-FF: Efficient Systems Biology on Multicore Architectures.
Euro-Par Workshops
Marco Aldinucci, Andrea Bracciali, Pietro Liò, Anil Sorathiya, Massimo Torquati
2009 — conf
Formal Models of the Calyx of Held.
Algorithmic Bioprocesses
Andrea Bracciali, Marcello Brunelli, Enrico Cataldo, Pierpaolo Degano
2008 J jnl
A symbolic framework for multi-faceted security protocol analysis.
Int. J. Inf. Sec.
Andrea Bracciali, Gianluigi Ferrari, Emilio Tuosto
2008 — conf
Abduction and legal reasoning.
e-Forensics
Giada Maggenti, Andrea Bracciali, Paolo Mancarella
2008 — conf
Control Flow Analysis for Brane Calculi.
MeCBIC
Chiara Bodei, Andrea Bracciali, Davide Chiarugi
2008 — conf
On Symbolic Semantics for Name-decorated Contexts.
ICE@ICALP
Andrea Bracciali, Roberto Bruni, Alberto Lluch-Lafuente
2008 J jnl
On deducing causality in metabolic networks.
BMC Bioinform.
Chiara Bodei, Andrea Bracciali, Davide Chiarugi
2008 J jnl
Stochastic models for the in silico simulation of synaptic processes.
BMC Bioinform.
Andrea Bracciali, Marcello Brunelli, Enrico Cataldo, Pierpaolo Degano
2008 J jnl
Synapses as stochastic concurrent systems.
Theor. Comput. Sci.
Andrea Bracciali, Marcello Brunelli, Enrico Cataldo, Pierpaolo Degano
2007 J jnl
A semantic framework for open processes.
Theor. Comput. Sci.
Paolo Baldan, Andrea Bracciali, Roberto Bruni
2007 — conf
Deducing Interactions in Partially Unspecified Biological Systems.
AB
Paolo Baldan, Andrea Bracciali, Linda Brodo, Roberto Bruni
2007 — conf
Expressive Models for Synaptic Plasticity.
CMSB
Andrea Bracciali, Marcello Brunelli, Enrico Cataldo, Pierpaolo Degano
2006 J jnl
Crafting the mind of PROSOCS agents.
Appl. Artif. Intell.
Andrea Bracciali, Ulle Endriss, Neophytos Demetriou, Antonis C. Kakas, Wenjin Lu, Kostas Stathis
2005 J jnl
A formal approach to component adaptation.
J. Syst. Softw.
Andrea Bracciali, Antonio Brogi, Carlos Canal
2005 J jnl
A framework for specifying and verifying the behaviour of open systems.
J. Log. Algebraic Methods Program.
Andrea Bracciali, Antonio Brogi, Franco Turini
2004 — conf
A Coordination-based Methodology for Security Protocol Verification.
WISP@ICATPN
Giacomo Baldi, Andrea Bracciali, Gian-Luigi Ferrari, Emilio Tuosto
2004 — conf
A New Framework for Knowledge Revision of Abductive Agents Through Their Interaction.
CLIMA
Andrea Bracciali, Paolo Torroni
2004 — conf
Engineering Stable Multi-agent Systems.
ESAW
Andrea Bracciali, Paolo Mancarella, Kostas Stathis, Francesca Toni
2004 — conf
Frame consistency: computing with causal explanations.
NMR
Andrea Bracciali, Antonis C. Kakas
2004 — conf
On Modelling Multi-agent Systems Declaratively.
DALT
Andrea Bracciali, Paolo Mancarella, Kostas Stathis, Francesca Toni
2004 — conf
Symbolic Equivalences for Open Systems.
Global Computing
Paolo Baldan, Andrea Bracciali, Roberto Bruni
2004 — conf
The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation.
Global Computing
Andrea Bracciali, Neophytos Demetriou, Ulrich Endriss, Antonis C. Kakas, Wenjin Lu, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Giacomo Terreni, Francesca Toni
2003 — —
Behavioural patterns and software composition.
Andrea Bracciali
2002 — conf
Adapting Components with Mismatching Behaviours.
Component Deployment
Andrea Bracciali, Antonio Brogi, Carlos Canal
2002 — conf
Bisimulation by Unification.
AMAST
Paolo Baldan, Andrea Bracciali, Roberto Bruni
2002 C conf
Dynamically Adapting the Behaviour of Software Components.
COORDINATION
Andrea Bracciali, Antonio Brogi, Carlos Canal
2002 Misc conf
Security and Dynamic Compositions of Open Systems.
PDPTA
Andrea Bracciali, Antonio Brogi, Gian-Luigi Ferrari, Emilio Tuosto
2002 — conf
Systematic Component Adaptation.
Formal Methods and Component Interaction @ ICALP
Andrea Bracciali, Antonio Brogi, Carlos Canal
2001 Misc conf
Coordinating interaction patterns.
SAC
Andrea Bracciali, Antonio Brogi, Franco Turini
2001 — conf
Security Issues in Component-based Design.
ConCoord
Andrea Bracciali, Antonio Brogi, Gian-Luigi Ferrari, Emilio Tuosto
1999 — conf
Formal specification of discrete systems by active predicates and dynamic constraints (Short Paper).
FMOODS
Tommaso Bolognesi, Andrea Bracciali