default search action

combined dblp search
author search
venue search
publication search

ask others

Andrea Bracciali

> Home > Persons

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

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2003
[b1]
- view
  - electronic edition @ sbn.it
  - no references & citations available
- export record
  dblp key:
  - phd/it/Bracciali03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/it/Bracciali03
Andrea Bracciali:
Behavioural patterns and software composition. University of Pisa, Italy, 2003

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2021
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/concurrency/SchifanellaB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/concurrency/SchifanellaB21
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)
2020
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/asc/WangBYLY20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/asc/WangBYLY20
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]
- view
  authority control:
- export record
  dblp key:
  - journals/isci/WangYBLTKY20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isci/WangYBLTKY20
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]
- view
  authority control:
- export record
  dblp key:
  - journals/pc/AmaralNGABBCCCG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pc/AmaralNGABBCCCG20
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)
2019
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/isci/WangBLLCZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isci/WangBLLCZ19
Yilei Wang, Andrea Bracciali, Tao Li, Fengyin Li, Xinchun Cui, Minghao Zhao:
Randomness invalidates criminal smart contracts. Inf. Sci. 477: 291-301 (2019)
2018
[j14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/bmcbi/AngeliniBGR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bmcbi/AngeliniBGR18
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)
2017
[j13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/dase/BraccialiL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dase/BraccialiL17
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)
2016
[j12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/bmcbi/BraccialiAPMPMT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bmcbi/BraccialiAPMPMT16
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)
2012
[j11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/MassinkLBHH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/MassinkLBHH12
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)
2010
[j10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/bmcbi/SorathiyaBL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bmcbi/SorathiyaBL10
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]
- view
  authority control:
- export record
  dblp key:
  - journals/swarm/SorathiyaBL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/swarm/SorathiyaBL10
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)
2008
[j8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/bmcbi/BodeiBC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bmcbi/BodeiBC08
Chiara Bodei, Andrea Bracciali, Davide Chiarugi:
On deducing causality in metabolic networks. BMC Bioinform. 9(S-4) (2008)
[j7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/bmcbi/BraccialiBCD08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bmcbi/BraccialiBCD08
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ijisec/BraccialiFT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijisec/BraccialiFT08
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BraccialiBCD08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BraccialiBCD08
Andrea Bracciali, Marcello Brunelli, Enrico Cataldo, Pierpaolo Degano:
Synapses as stochastic concurrent systems. Theor. Comput. Sci. 408(1): 66-82 (2008)
2007
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BaldanBB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BaldanBB07
Paolo Baldan, Andrea Bracciali, Roberto Bruni:
A semantic framework for open processes. Theor. Comput. Sci. 389(3): 446-483 (2007)
2006
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/aai/BraccialiEDKLS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aai/BraccialiEDKLS06
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/BraccialiBT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/BraccialiBT05
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]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/BraccialiBC05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/BraccialiBC05
Andrea Bracciali, Antonio Brogi, Carlos Canal:
A formal approach to component adaptation. J. Syst. Softw. 74(1): 45-54 (2005)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/wcre/TonelliBR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcre/TonelliBR24
Roberto Tonelli, Andrea Bracciali, Henrique Rocha:
Results of Blockchain-Oriented Software Engineering 2024 Workshop: Speculations on Blockchain for Energy Communities management. SANER-C 2024: 1-5
2023
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/BistarelliBKM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/BistarelliBKM23
Stefano Bistarelli, Andrea Bracciali, Rick Klomp, Ivan Mercanti:
Towards automated verification of Bitcoin-based decentralised applications. SAC 2023: 262-269
2021
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/fc/BartolettiBLSZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fc/BartolettiBLSZ21
Massimo Bartoletti, Andrea Bracciali, Cristian Lepore, Alceste Scalas, Roberto Zunino:
A Formal Model of Algorand Smart Contracts. Financial Cryptography (1) 2021: 93-114
2020
[c37]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tokenomics/BraccialiGH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tokenomics/BraccialiGH20
Andrea Bracciali, Davide Grossi, Ronald de Haan:
Decentralization in Open Quorum Systems: Limitative Results for Ripple and Stellar. Tokenomics 2020: 5:1-5:20
2019
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/europar/ZecchiniBCV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/europar/ZecchiniBCV19
Marco Zecchini, Andrea Bracciali, Ioannis Chatzigiannakis, Andrea Vitaletti:
On Refining Design Patterns for Smart Contracts. Euro-Par Workshops 2019: 228-239
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/sa/BraccialiCVZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sa/BraccialiCVZ19
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
2018
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/esorics/KlompB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esorics/KlompB18
Rick Klomp, Andrea Bracciali:
On Symbolic Verification of Bitcoin's script Language. DPM/CBT@ESORICS 2018: 38-56
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/wcre/DestefanisMOTBH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcre/DestefanisMOTBH18
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
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/insci/KarkkainenPBB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/insci/KarkkainenPBB17
Tatja Karkkainen, Georgios A. Panos, Daniel Broby, Andrea Bracciali:
On the Educational Curriculum in Finance and Technology. INSCI Workshops 2017: 7-20
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/middleware/BartolettiLPB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/middleware/BartolettiLPB17
Massimo Bartoletti, Stefano Lande, Livio Pompianu, Andrea Bracciali:
A general framework for blockchain analytics. SERIAL@Middleware 2017: 7:1-7:6
2015
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/BigiBMT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BigiBMT15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/hapoc/BraccialiCDFMS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hapoc/BraccialiCDFMS15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/cibb/AldinucciBMPPT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cibb/AldinucciBMPPT14
Marco Aldinucci, Andrea Bracciali, Tobias Marschall, Murray Patterson, Nadia Pisanti, Massimo Torquati:
High-Performance Haplotype Assembly. CIBB 2014: 245-258
2013
[c27]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/springsim/BraccialiCU13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/springsim/BraccialiCU13
Andrea Bracciali, Giulio Caravagna, Amjad Ullah:
Survival vs. revenue: modelling and reasoning on population dynamics (WIP). SpringSim (TMS-DEVS) 2013: 29
2011
[c26]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fase/MassinkLBH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/MassinkLBH11
Mieke Massink, Diego Latella, Andrea Bracciali, Jane Hillston:
Modelling Non-linear Crowd Dynamics in Bio-PEPA. FASE 2011: 96-110
2010
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/europar/AldinucciBLST10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/europar/AldinucciBLST10
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/lics/BraccialiHLM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/BraccialiHLM10
Andrea Bracciali, Jane Hillston, Diego Latella, Mieke Massink:
Reconciling Population and Agent Models for Crowd Dynamics. LAM@LICS 2010: 3-18
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/MassinkLBH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/MassinkLBH10
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]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1002-4067
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1002-4067
Chiara Bodei, Andrea Bracciali, Davide Chiarugi, Roberta Gori:
A Taxonomy of Causality-Based Biological Properties. FBTC 2010: 116-133
2009
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/BraccialiBCD09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BraccialiBCD09
Andrea Bracciali, Marcello Brunelli, Enrico Cataldo, Pierpaolo Degano:
Formal Models of the Calyx of Held. Algorithmic Bioprocesses 2009: 331-366
2008
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/eforensics/MaggentiBM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eforensics/MaggentiBM08
Giada Maggenti, Andrea Bracciali, Paolo Mancarella:
Abduction and legal reasoning. e-Forensics 2008: 33
[c19]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BraccialiBL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BraccialiBL09
Andrea Bracciali, Roberto Bruni, Alberto Lluch-Lafuente:
On Symbolic Semantics for Name-decorated Contexts. ICE@ICALP 2008: 37-58
[c18]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BodeiBC09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BodeiBC09
Chiara Bodei, Andrea Bracciali, Davide Chiarugi:
Control Flow Analysis for Brane Calculi. MeCBIC 2008: 59-75
2007
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/ab/BaldanBBB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ab/BaldanBBB07
Paolo Baldan, Andrea Bracciali, Linda Brodo, Roberto Bruni:
Deducing Interactions in Partially Unspecified Biological Systems. AB 2007: 262-276
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/BraccialiBCD07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/BraccialiBCD07
Andrea Bracciali, Marcello Brunelli, Enrico Cataldo, Pierpaolo Degano:
Expressive Models for Synaptic Plasticity. CMSB 2007: 152-167
2004
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/clima/BraccialiT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/BraccialiT04
Andrea Bracciali, Paolo Torroni:
A New Framework for Knowledge Revision of Abductive Agents Through Their Interaction. CLIMA 2004: 159-177
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/dalt/BraccialiMST04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dalt/BraccialiMST04
Andrea Bracciali, Paolo Mancarella, Kostas Stathis, Francesca Toni:
On Modelling Multi-agent Systems Declaratively. DALT 2004: 53-68
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/esaw/BraccialiMST04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esaw/BraccialiMST04
Andrea Bracciali, Paolo Mancarella, Kostas Stathis, Francesca Toni:
Engineering Stable Multi-agent Systems. ESAW 2004: 322-334
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/gc/BaldanBB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gc/BaldanBB04
Paolo Baldan, Andrea Bracciali, Roberto Bruni:
Symbolic Equivalences for Open Systems. Global Computing 2004: 1-17
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/gc/BraccialiDEKLMSSTT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gc/BraccialiDEKLMSSTT04
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]
- view
  - electronic edition @ math.ca
  - no references & citations available
- export record
  dblp key:
  - conf/nmr/BraccialiK04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nmr/BraccialiK04
Andrea Bracciali, Antonis C. Kakas:
Frame consistency: computing with causal explanations. NMR 2004: 79-87
[c9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BaldiBFT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BaldiBFT05
Giacomo Baldi, Andrea Bracciali, Gian-Luigi Ferrari, Emilio Tuosto:
A Coordination-based Methodology for Security Protocol Verification. WISP@ICATPN 2004: 23-46
2002
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/amast/BaldanBB02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/BaldanBB02
Paolo Baldan, Andrea Bracciali, Roberto Bruni:
Bisimulation by Unification. AMAST 2002: 254-270
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/cd/BraccialiBC02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cd/BraccialiBC02
Andrea Bracciali, Antonio Brogi, Carlos Canal:
Adapting Components with Mismatching Behaviours. Component Deployment 2002: 185-199
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/BraccialiBC02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/BraccialiBC02
Andrea Bracciali, Antonio Brogi, Carlos Canal:
Dynamically Adapting the Behaviour of Software Components. COORDINATION 2002: 88-95
[c5]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/pdpta/BraccialiBFT02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdpta/BraccialiBFT02
Andrea Bracciali, Antonio Brogi, Gian-Luigi Ferrari, Emilio Tuosto:
Security and Dynamic Compositions of Open Systems. PDPTA 2002: 1372-1377
[c4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BraccialiBC02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BraccialiBC02
Andrea Bracciali, Antonio Brogi, Carlos Canal:
Systematic Component Adaptation. Formal Methods and Component Interaction @ ICALP 2002: 97-113
2001
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/BraccialiBT01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/BraccialiBT01
Andrea Bracciali, Antonio Brogi, Franco Turini:
Coordinating interaction patterns. SAC 2001: 159-165
[c2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BraccialiBFT01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BraccialiBFT01
Andrea Bracciali, Antonio Brogi, Gian-Luigi Ferrari, Emilio Tuosto:
Security Issues in Component-based Design. ConCoord 2001: 49-57
1999
[c1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/fmoods/BolognesiB99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmoods/BolognesiB99
Tommaso Bolognesi, Andrea Bracciali:
Formal specification of discrete systems by active predicates and dynamic constraints (Short Paper). FMOODS 1999

Parts in Books or Collections

see FAQ

What is the meaning of the colors in the publication lists?

2019
[p3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - series/lncs/GrelckNABL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/GrelckNABL19
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - series/lncs/ZamudaCBDWRGSPCSB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/ZamudaCBDWRGSPCSB19
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
2012
[p1]
- view
  authority control:
- export record
  dblp key:
  - reference/nc/DeganoB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/nc/DeganoB12
Pierpaolo Degano, Andrea Bracciali:
Process Calculi, Systems Biology and Artificial Chemistry. Handbook of Natural Computing 2012: 1863-1896

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2024
[e11]
- view
  authority control:
- export record
  dblp key:
  - conf/fc/2023w
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fc/2023w
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
[e10]
- view
  authority control:
- export record
  dblp key:
  - conf/fc/2022w
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fc/2022w
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]
- view
  authority control:
- export record
  dblp key:
  - conf/europar/2021w
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/europar/2021w
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
[e8]
- view
  authority control:
- export record
  dblp key:
  - conf/europar/2020w
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/europar/2020w
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]
- view
  authority control:
- export record
  dblp key:
  - conf/fc/2021w
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fc/2021w
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
[e6]
- view
  authority control:
- export record
  dblp key:
  - conf/fc/2019w
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fc/2019w
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]
- view
  authority control:
- export record
  dblp key:
  - conf/fc/2020w
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fc/2020w
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]
2019
[e4]
- view
  authority control:
- export record
  dblp key:
  - conf/cibb/2017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cibb/2017
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]
- view
  authority control:
- export record
  dblp key:
  - conf/fc/2018w
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fc/2018w
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]
2017
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/cibb/2016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cibb/2016
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]
- view
  authority control:
- export record
  dblp key:
  - conf/fc/2017w
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fc/2017w
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]

Data and Artifacts

see FAQ

What is the meaning of the colors in the publication lists?

2019
[d2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - data/10/AmaralNGABBCCCGKKKMMPRS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/AmaralNGABBCCCGKKKMMPRS19
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - data/10/AmaralNGABBCCCGKKKMMPRS19a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/AmaralNGABBCCCGKKKMMPRS19a
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

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2020
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2009-12140
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-12140
Massimo Bartoletti, Andrea Bracciali, Cristian Lepore, Alceste Scalas, Roberto Zunino:
A formal model of Algorand smart contracts. CoRR abs/2009.12140 (2020)
2019
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1911-08182
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1911-08182
Andrea Bracciali, Davide Grossi, Ronald de Haan:
Decentralization in Open Quorum Systems. CoRR abs/1911.08182 (2019)
2017
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BartolettiBLP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BartolettiBLP17
Massimo Bartoletti, Andrea Bracciali, Stefano Lande, Livio Pompianu:
A general framework for Bitcoin analytics. CoRR abs/1707.01021 (2017)
2010
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1007-1768
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1007-1768
Marco Aldinucci, Andrea Bracciali, Pietro Liò, Anil Sorathiya, Massimo Torquati:
StochKit-FF: Efficient Systems Biology on Multicore Architectures. CoRR abs/1007.1768 (2010)
[i1]
- view
  - electronic edition @ ercim.eu (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/ercim/AldinucciBL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ercim/AldinucciBL10
Marco Aldinucci, Andrea Bracciali, Pietro Liò:
Formal Synthetic Immunology. ERCIM News 2010(82): 40-41 (2010)

Coauthor Index

see FAQ

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.