default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAndrea Bracciali
Person information
- affiliation: University of Pisa, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c40]Roberto Tonelli, Andrea Bracciali, Henrique Rocha:
Results of Blockchain-Oriented Software Engineering 2024 Workshop: Speculations on Blockchain for Energy Communities management. SANER (Companion) 2024: 1-5- [e11]Aleksander Essex
, Shin'ichiro Matsuo, Oksana Kulyk, Lewis Gudgeon, Ariah Klages-Mundt, Daniel Perez, Sam Werner, Andrea Bracciali, Geoff Goodell:
Financial Cryptography and Data Security. FC 2023 International Workshops - Voting, CoDecFin, DeFi, WTSC, Bol, Brač, Croatia, May 5, 2023, Revised Selected Papers. Lecture Notes in Computer Science 13953, Springer 2024, ISBN 978-3-031-48805-4 [contents] - 2023
- [c39]Stefano Bistarelli, Andrea Bracciali, Rick Klomp, Ivan Mercanti:
Towards automated verification of Bitcoin-based decentralised applications. SAC 2023: 262-269 - [e10]Shin'ichiro Matsuo, Lewis Gudgeon, Ariah Klages-Mundt, Daniel Perez Hernandez, Sam Werner, Thomas Haines, Aleksander Essex, Andrea Bracciali, Massimiliano Sala:
Financial Cryptography and Data Security. FC 2022 International Workshops - CoDecFin, DeFi, Voting, WTSC, Grenada, May 6, 2022, Revised Selected Papers. Lecture Notes in Computer Science 13412, Springer 2023, ISBN 978-3-031-32414-7 [contents] - 2022
- [e9]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:
Euro-Par 2021: Parallel Processing Workshops - Euro-Par 2021 International Workshops, Lisbon, Portugal, August 30-31, 2021, Revised Selected Papers. Lecture Notes in Computer Science 13098, Springer 2022, ISBN 978-3-031-06155-4 [contents] - 2021
- [j19]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) - [c38]Massimo Bartoletti, Andrea Bracciali, Cristian Lepore, Alceste Scalas, Roberto Zunino:
A Formal Model of Algorand Smart Contracts. Financial Cryptography (1) 2021: 93-114 - [e8]Bartosz Balis, Dora B. Heras, Laura Antonelli, Andrea Bracciali, Thomas Gruber, Jin Hyun-Wook, Michael Kuhn, Stephen L. Scott, Didem Unat, Roman Wyrzykowski:
Euro-Par 2020: Parallel Processing Workshops - Euro-Par 2020 International Workshops, Warsaw, Poland, August 24-25, 2020, Revised Selected Papers. Lecture Notes in Computer Science 12480, Springer 2021, ISBN 978-3-030-71592-2 [contents] - [e7]Matthew Bernhard, Andrea Bracciali, Lewis Gudgeon, Thomas Haines, Ariah Klages-Mundt, Shin'ichiro Matsuo, Daniel Perez, Massimiliano Sala, Sam Werner:
Financial Cryptography and Data Security. FC 2021 International Workshops - CoDecFin, DeFi, VOTING, and WTSC, Virtual Event, March 5, 2021, Revised Selected Papers. Lecture Notes in Computer Science 12676, Springer 2021, ISBN 978-3-662-63957-3 [contents] - 2020
- [j18]Yilei Wang, Andrea Bracciali, Guoyu Yang, Tao Li, Xiaomei Yu:
Adversarial behaviours in mixing coins under incomplete information. Appl. Soft Comput. 96: 106605 (2020) - [j17]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: 85-94 (2020) - [j16]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) - [c37]Andrea Bracciali, Davide Grossi, Ronald de Haan:
Decentralization in Open Quorum Systems: Limitative Results for Ripple and Stellar. Tokenomics 2020: 5:1-5:20 - [e6]Andrea Bracciali, Jeremy Clark, Federico Pintore, Peter B. Rønne, Massimiliano Sala:
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. Lecture Notes in Computer Science 11599, Springer 2020, ISBN 978-3-030-43724-4 [contents] - [e5]Matthew Bernhard, Andrea Bracciali, L. Jean Camp, Shin'ichiro Matsuo, Alana Maurushat, Peter B. Rønne, Massimiliano Sala:
Financial Cryptography and Data Security - FC 2020 International Workshops, AsiaUSEC, CoDeFi, VOTING, and WTSC, Kota Kinabalu, Malaysia, February 14, 2020, Revised Selected Papers. Lecture Notes in Computer Science 12063, Springer 2020, ISBN 978-3-030-54454-6 [contents] - [i5]Massimo Bartoletti, Andrea Bracciali, Cristian Lepore, Alceste Scalas, Roberto Zunino:
A formal model of Algorand smart contracts. CoRR abs/2009.12140 (2020)
2010 – 2019
- 2019
- [j15]Yilei Wang, Andrea Bracciali, Tao Li, Fengyin Li, Xinchun Cui, Minghao Zhao:
Randomness invalidates criminal smart contracts. Inf. Sci. 477: 291-301 (2019) - [c36]Marco Zecchini, Andrea Bracciali, Ioannis Chatzigiannakis, Andrea Vitaletti:
On Refining Design Patterns for Smart Contracts. Euro-Par Workshops 2019: 228-239 - [c35]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: 1-8 - [p3]Clemens Grelck, Ewa Niewiadomska-Szynkiewicz, Marco Aldinucci, Andrea Bracciali, Elisabeth Larsson:
Why High-Performance Modelling and Simulation for Big Data Applications Matters. High-Performance Modelling and Simulation for Big Data Applications 2019: 1-35 - [p2]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:
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 2019: 325-349 - [e4]Massimo Bartoletti, Annalisa Barla, Andrea Bracciali, Gunnar W. Klau, Leif E. Peterson, Alberto Policriti, Roberto Tagliaferri:
Computational Intelligence Methods for Bioinformatics and Biostatistics - 14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers. Lecture Notes in Computer Science 10834, Springer 2019, ISBN 978-3-030-14159-2 [contents] - [e3]Aviv Zohar, Ittay Eyal, Vanessa Teague, Jeremy Clark, Andrea Bracciali, Federico Pintore, Massimiliano Sala:
Financial Cryptography and Data Security - FC 2018 International Workshops, BITCOIN, VOTING, and WTSC, Nieuwpoort, Curaçao, March 2, 2018, Revised Selected Papers. Lecture Notes in Computer Science 10958, Springer 2019, ISBN 978-3-662-58819-2 [contents] - [d2]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:
Companion data of a Systematic Mapping Study of Programming Languages for Data-Intensive HPC Applications. Zenodo, 2019
- [d1]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:
Companion data of a Systematic Mapping Study of Programming Languages for Data-Intensive HPC Applications. Zenodo, 2019 - [i4]Andrea Bracciali, Davide Grossi, Ronald de Haan:
Decentralization in Open Quorum Systems. CoRR abs/1911.08182 (2019) - 2018
- [j14]Claudia Angelini, Andrea Bracciali, David Gilbert, Riccardo Rizzo:
Preface to the BMC-CIBB 2015-16 special issue. BMC Bioinform. 19-S(7): 201:1-201:2 (2018) - [c34]Rick Klomp, Andrea Bracciali:
On Symbolic Verification of Bitcoin's script Language. DPM/CBT@ESORICS 2018: 38-56 - [c33]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: 19-25 - 2017
- [j13]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): 197-198 (2017) - [c32]Tatja Karkkainen, Georgios A. Panos, Daniel Broby, Andrea Bracciali:
On the Educational Curriculum in Finance and Technology. INSCI Workshops 2017: 7-20 - [c31]Massimo Bartoletti, Stefano Lande, Livio Pompianu, Andrea Bracciali:
A general framework for blockchain analytics. SERIAL@Middleware 2017: 7:1-7:6 - [e2]Andrea Bracciali, Giulio Caravagna, David Gilbert, Roberto Tagliaferri:
Computational Intelligence Methods for Bioinformatics and Biostatistics - 13th International Meeting, CIBB 2016, Stirling, UK, September 1-3, 2016, Revised Selected Papers. Lecture Notes in Computer Science 10477, Springer 2017, ISBN 978-3-319-67833-7 [contents] - [e1]Michael Brenner, Kurt Rohloff, Joseph Bonneau, Andrew Miller, Peter Y. A. Ryan, Vanessa Teague, Andrea Bracciali, Massimiliano Sala, Federico Pintore, Markus Jakobsson:
Financial Cryptography and Data Security - FC 2017 International Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Sliema, Malta, April 7, 2017, Revised Selected Papers. Lecture Notes in Computer Science 10323, Springer 2017, ISBN 978-3-319-70277-3 [contents] - [i3]Massimo Bartoletti, Andrea Bracciali, Stefano Lande, Livio Pompianu:
A general framework for Bitcoin analytics. CoRR abs/1707.01021 (2017) - 2016
- [j12]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): 342 (2016) - 2015
- [c30]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: 142-161 - [c29]Andrea Bracciali, Enrico Cataldo, Luisa Damiano, Claudio Felicioli, Roberto Marangoni, Pasquale Stano:
From Cells as Computation to Cells as Apps. HaPoC 2015: 116-130 - 2014
- [c28]Marco Aldinucci, Andrea Bracciali, Tobias Marschall, Murray Patterson, Nadia Pisanti, Massimo Torquati:
High-Performance Haplotype Assembly. CIBB 2014: 245-258 - 2013
- [c27]Andrea Bracciali, Giulio Caravagna, Amjad Ullah:
Survival vs. revenue: modelling and reasoning on population dynamics (WIP). SpringSim (TMS-DEVS) 2013: 29 - 2012
- [j11]Mieke Massink, Diego Latella, Andrea Bracciali, Michael D. Harrison, Jane Hillston:
Scalable context-dependent analysis of emergency egress models. Formal Aspects Comput. 24(2): 267-302 (2012) - [p1]Pierpaolo Degano, Andrea Bracciali:
Process Calculi, Systems Biology and Artificial Chemistry. Handbook of Natural Computing 2012: 1863-1896 - 2011
- [c26]Mieke Massink, Diego Latella, Andrea Bracciali, Jane Hillston:
Modelling Non-linear Crowd Dynamics in Bio-PEPA. FASE 2011: 96-110 - 2010
- [j10]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): 67 (2010) - [j9]Anil Sorathiya, Andrea Bracciali, Pietro Liò:
An integrated modelling approach for R5-X4 mutation and HAART therapy assessment. Swarm Intell. 4(4): 319-340 (2010) - [c25]Marco Aldinucci, Andrea Bracciali, Pietro Liò, Anil Sorathiya, Massimo Torquati:
StochKit-FF: Efficient Systems Biology on Multicore Architectures. Euro-Par Workshops 2010: 167-175 - [c24]Andrea Bracciali, Jane Hillston, Diego Latella, Mieke Massink:
Reconciling Population and Agent Models for Crowd Dynamics. LAM@LICS 2010: 3-18 - [c23]Mieke Massink, Diego Latella, Andrea Bracciali, Michael D. Harrison:
A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis. SEFM 2010: 169-180 - [c22]Chiara Bodei, Andrea Bracciali, Davide Chiarugi, Roberta Gori:
A Taxonomy of Causality-Based Biological Properties. FBTC 2010: 116-133 - [i2]Marco Aldinucci, Andrea Bracciali, Pietro Liò, Anil Sorathiya, Massimo Torquati:
StochKit-FF: Efficient Systems Biology on Multicore Architectures. CoRR abs/1007.1768 (2010) - [i1]Marco Aldinucci, Andrea Bracciali, Pietro Liò:
Formal Synthetic Immunology. ERCIM News 2010(82): 40-41 (2010)
2000 – 2009
- 2009
- [c21]Andrea Bracciali, Marcello Brunelli, Enrico Cataldo, Pierpaolo Degano:
Formal Models of the Calyx of Held. Algorithmic Bioprocesses 2009: 331-366 - 2008
- [j8]Chiara Bodei, Andrea Bracciali, Davide Chiarugi:
On deducing causality in metabolic networks. BMC Bioinform. 9(S-4) (2008) - [j7]Andrea Bracciali, Marcello Brunelli, Enrico Cataldo, Pierpaolo Degano:
Stochastic models for the in silico simulation of synaptic processes. BMC Bioinform. 9(S-4) (2008) - [j6]Andrea Bracciali, Gianluigi Ferrari, Emilio Tuosto:
A symbolic framework for multi-faceted security protocol analysis. Int. J. Inf. Sec. 7(1): 55-84 (2008) - [j5]Andrea Bracciali, Marcello Brunelli, Enrico Cataldo, Pierpaolo Degano:
Synapses as stochastic concurrent systems. Theor. Comput. Sci. 408(1): 66-82 (2008) - [c20]Giada Maggenti, Andrea Bracciali, Paolo Mancarella:
Abduction and legal reasoning. e-Forensics 2008: 33 - [c19]Andrea Bracciali, Roberto Bruni, Alberto Lluch-Lafuente:
On Symbolic Semantics for Name-decorated Contexts. ICE@ICALP 2008: 37-58 - [c18]Chiara Bodei, Andrea Bracciali, Davide Chiarugi:
Control Flow Analysis for Brane Calculi. MeCBIC 2008: 59-75 - 2007
- [j4]Paolo Baldan, Andrea Bracciali, Roberto Bruni:
A semantic framework for open processes. Theor. Comput. Sci. 389(3): 446-483 (2007) - [c17]Paolo Baldan, Andrea Bracciali, Linda Brodo, Roberto Bruni:
Deducing Interactions in Partially Unspecified Biological Systems. AB 2007: 262-276 - [c16]Andrea Bracciali, Marcello Brunelli, Enrico Cataldo, Pierpaolo Degano:
Expressive Models for Synaptic Plasticity. CMSB 2007: 152-167 - 2006
- [j3]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): 105-131 (2006) - 2005
- [j2]Andrea Bracciali, Antonio Brogi, Franco Turini:
A framework for specifying and verifying the behaviour of open systems. J. Log. Algebraic Methods Program. 63(2): 215-240 (2005) - [j1]Andrea Bracciali, Antonio Brogi, Carlos Canal:
A formal approach to component adaptation. J. Syst. Softw. 74(1): 45-54 (2005) - 2004
- [c15]Andrea Bracciali, Paolo Torroni:
A New Framework for Knowledge Revision of Abductive Agents Through Their Interaction. CLIMA 2004: 159-177 - [c14]Andrea Bracciali, Paolo Mancarella, Kostas Stathis, Francesca Toni:
On Modelling Multi-agent Systems Declaratively. DALT 2004: 53-68 - [c13]Andrea Bracciali, Paolo Mancarella, Kostas Stathis, Francesca Toni:
Engineering Stable Multi-agent Systems. ESAW 2004: 322-334 - [c12]Paolo Baldan, Andrea Bracciali, Roberto Bruni:
Symbolic Equivalences for Open Systems. Global Computing 2004: 1-17 - [c11]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 - [c10]Andrea Bracciali, Antonis C. Kakas:
Frame consistency: computing with causal explanations. NMR 2004: 79-87 - [c9]Giacomo Baldi, Andrea Bracciali, Gian-Luigi Ferrari, Emilio Tuosto:
A Coordination-based Methodology for Security Protocol Verification. WISP@ICATPN 2004: 23-46 - 2003
- [b1]Andrea Bracciali:
Behavioural patterns and software composition. University of Pisa, Italy, 2003 - 2002
- [c8]Paolo Baldan, Andrea Bracciali, Roberto Bruni:
Bisimulation by Unification. AMAST 2002: 254-270 - [c7]Andrea Bracciali, Antonio Brogi, Carlos Canal:
Adapting Components with Mismatching Behaviours. Component Deployment 2002: 185-199 - [c6]Andrea Bracciali, Antonio Brogi, Carlos Canal:
Dynamically Adapting the Behaviour of Software Components. COORDINATION 2002: 88-95 - [c5]Andrea Bracciali, Antonio Brogi, Gian-Luigi Ferrari, Emilio Tuosto:
Security and Dynamic Compositions of Open Systems. PDPTA 2002: 1372-1377 - [c4]Andrea Bracciali, Antonio Brogi, Carlos Canal:
Systematic Component Adaptation. Formal Methods and Component Interaction @ ICALP 2002: 97-113 - 2001
- [c3]Andrea Bracciali, Antonio Brogi, Franco Turini:
Coordinating interaction patterns. SAC 2001: 159-165 - [c2]Andrea Bracciali, Antonio Brogi, Gian-Luigi Ferrari, Emilio Tuosto:
Security Issues in Component-based Design. ConCoord 2001: 49-57
1990 – 1999
- 1999
- [c1]Tommaso Bolognesi, Andrea Bracciali:
Formal specification of discrete systems by active predicates and dynamic constraints (Short Paper). FMOODS 1999
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-28 02:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
