BRACCIALI, Andrea
BRACCIALI, Andrea
INFORMATICA
"A Formal Approach to Component Adaptation".
2005-01-01 BRACCIALI A; A. BROGI; AND C. CANAL
"Security Issues in Component-based Design"
2001-01-01 BRACCIALI A; A. BROGI; G. FERRARI; E. TUOSTO
A Coordination-based Methodology for Security Protocol Verification
2005-01-01 Baldi G; Bracciali A; Ferrari G; Tuosto E
A Decentralized Marketing Model for the Online Accommodation Rental Market
2022-01-01 Broby, Daniel; Bracciali, Andrea; Lamssaoui, Siham
A Formal Model of Algorand Smart Contracts
2021-01-01 Bartoletti M.; Bracciali A.; Lepore C.; Scalas A.; Zunino R.
A Framework for Specifying and Verifying the Behavior of Open Systems
2005-01-01 BRACCIALI, ANDREA; BROGI, ANTONIO; TURINI, FRANCO
A general framework for blockchain analytics
2017-01-01 Bartoletti, Massimo; Lande, Stefano; Pompianu, Livio; BRACCIALI, ANDREA
A scalable fluid flow process algebraic approach to emergency egress analysis
2010-01-01 Massink M; Latella D; Bracciali A; Harrison MD
A Semantic Framework for Open Processes
2007-01-01 Baldan P; Bracciali A; Bruni R
A symbolic framework for multi-faceted security protocol analysis
2008-01-01 Bracciali A; Ferrari G; Tuosto E
A Taxonomy of Causality-Based Biological Properties
2010-01-01 Bodei C; Bracciali A; Chiarugi D; Gori R
Adversarial behaviours in mixing coins under incomplete information
2020-01-01 Wang Y; Bracciali A; Yang G; Li T; Yu X
An integrated modelling approach for R5-X4 mutation and HAART therapy assessment
2010-01-01 Sorathiya A; Bracciali A; Lio P
CIBB 2015 and 2016 Preface
2017-01-01 Bracciali A.; Caravagna G.; Gilbert D.; Tagliaferri R.
Citizens vote to act: Smart contracts for the management of water resources in smart cities
2019-01-01 Zecchini M; Bracciali A; Chatzigiannakis I; Vitaletti A
Control Flow Analysis for Brane Calculi
2009-01-01 Bodei C; Bracciali A; Chiarugi D
Crafting the Mind of PROSOCS Agents
2006-01-01 BRACCIALI A; U. ENDRISS; N. DEMETRIOU; T. KAKAS; W. LU; K. STATHIS
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
2017-01-01 Bracciali A.; Larsson E.
Decentralization in open quorum systems: Limitative results for ripple and stellar
2021-01-01 Bracciali A.; Grossi D.; de Haan R.
Deducing Interactions in Partially Unspecified Biological Systems
2007-01-01 P. BALDAN; BRACCIALI A; L.BRODO; R. BRUNI