Följ
Andrea Bracciali
Andrea Bracciali
Associate Professor, Computer Science, University of Turin, IT
Verifierad e-postadress på unito.it
Titel
Citeras av
Citeras av
År
A formal approach to component adaptation
A Bracciali, A Brogi, C Canal
Journal of Systems and Software 74 (1), 45-54, 2005
3612005
Smart contracts vulnerabilities: a call for blockchain software engineering?
G Destefanis, M Marchesi, M Ortu, R Tonelli, A Bracciali, R Hierons
2018 International Workshop on Blockchain Oriented Software Engineering …, 2018
3512018
Validation of decentralised smart contracts through game theory and formal methods
G Bigi, A Bracciali, G Meacci, E Tuosto
Programming Languages with Applications to Biology and Security: Essays …, 2015
1402015
A general framework for blockchain analytics
M Bartoletti, S Lande, L Pompianu, A Bracciali
Proceedings of the 1st Workshop on Scalable and Resilient Infrastructures …, 2017
1162017
The KGP model of agency for global computing: Computational model and prototype implementation
A Bracciali, N Demetriou, U Endriss, A Kakas, W Lu, P Mancarella, F Sadri, ...
Global Computing: IST/FET International Workshop, GC 2004 Rovereto, Italy …, 2005
652005
PROSOCS: a platform for programming software agents in computational logic
K Stathis
From Agent Theory to Agent Implementation, 2004, 2004
592004
Randomness invalidates criminal smart contracts
Y Wang, A Bracciali, T Li, F Li, X Cui, M Zhao
Information Sciences 477, 291-301, 2019
552019
Incentive compatible and anti-compounding of wealth in proof-of-stake
Y Wang, G Yang, A Bracciali, H Leung, H Tian, L Ke, X Yu
Information Sciences 530, 85-94, 2020
502020
Programming languages for data-Intensive HPC applications: A systematic mapping study
V Amaral, B Norberto, M Goulão, M Aldinucci, S Benkner, A Bracciali, ...
Parallel Computing 91, 102584, 2020
502020
Coordinating interaction patterns
A Bracciali, A Brogi, F Turini
Proceedings of the 2001 ACM symposium on Applied computing, 159-165, 2001
452001
Systematic component adaptation
A Bracciali, A Brogi, C Canal
Electronic Notes in Theoretical Computer Science 66 (4), 97-113, 2002
342002
Scalable context-dependent analysis of emergency egress models
M Massink, D Latella, A Bracciali, MD Harrison, J Hillston
Formal Aspects of Computing 24, 267-302, 2012
332012
Stochastic models for the in silico simulation of synaptic processes
A Bracciali, M Brunelli, E Cataldo, P Degano
BMC bioinformatics 9, 1-14, 2008
332008
Crafting the mind of PROSOCS agents
A Bracciali, U Endriss, N Demetriou, A Kakas, W Lu Stathis, K Stathis
Applied Artificial Intelligence 20 (2-4), 105-131, 2006
322006
Dynamically adapting the behaviour of software components
A Bracciali, A Brogi, C Canal
International Conference on Coordination Languages and Models, 88-95, 2002
272002
On Symbolic Verification of Bitcoin’s script Language
R Klomp, A Bracciali
International Workshop on Data Privacy Management, 38-56, 2018
262018
On the educational curriculum in finance and technology
T Karkkainen, GA Panos, D Broby, A Bracciali
International Conference on Internet Science, 7-20, 2017
262017
Modelling non-linear crowd dynamics in Bio-PEPA
M Massink, D Latella, A Bracciali, J Hillston
Fundamental Approaches to Software Engineering: 14th International …, 2011
222011
Bisimulation by Unification*
P Baldan, A Bracciali, R Bruni
Algebraic Methodology and Software Technology: 9th International Conference …, 2002
222002
On deducing causality in metabolic networks
C Bodei, A Bracciali, D Chiarugi
BMC bioinformatics 9, 1-10, 2008
212008
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20