| A formal approach to component adaptation A Bracciali, A Brogi, C Canal Journal of Systems and Software 74 (1), 45-54, 2005 | 352 | 2005 |
| 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 | 119 | 2018 |
| 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, 142-161, 2015 | 73 | 2015 |
| 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, ... International Workshop on Global Computing, 340-367, 2004 | 61 | 2004 |
| PROSOCS: a platform for programming software agents in computational logic K Stathis, W Lu, A Kakas, N Demetriou, U Endriss, A Bracciali | 51 | 2004 |
| Component-based software engineering GTHI Crnkovic, HWSJA Stafford, CSK Wallnau J. of Systems and Software 74 (1), 1-3, 2005 | 49 | 2005 |
| 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 | 45 | 2017 |
| Coordinating interaction patterns A Bracciali, A Brogi, F Turini Proceedings of the 2001 ACM symposium on Applied computing, 159-165, 2001 | 43 | 2001 |
| Systematic component adaptation A Bracciali, A Brogi, C Canal Electronic Notes in Theoretical Computer Science 66 (4), 97-113, 2002 | 33 | 2002 |
| Scalable context-dependent analysis of emergency egress models M Massink, D Latella, A Bracciali, MD Harrison, J Hillston Formal Aspects of Computing 24 (2), 267-302, 2012 | 30 | 2012 |
| Randomness invalidates criminal smart contracts Y Wang, A Bracciali, T Li, F Li, X Cui, M Zhao Information Sciences 477, 291-301, 2019 | 28 | 2019 |
| 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 | 28 | 2006 |
| Stochastic models for the in silico simulation of synaptic processes A Bracciali, M Brunelli, E Cataldo, P Degano BMC bioinformatics 9 (4), 1-14, 2008 | 27 | 2008 |
| Dynamically adapting the behaviour of software components A Bracciali, A Brogi, C Canal International Conference on Coordination Languages and Models, 88-95, 2002 | 27 | 2002 |
| Modelling non-linear crowd dynamics in Bio-PEPA M Massink, D Latella, A Bracciali, J Hillston International Conference on Fundamental Approaches to Software Engineering …, 2011 | 23 | 2011 |
| Bisimulation by Unification* P Baldan, A Bracciali, R Bruni International Conference on Algebraic Methodology and Software Technology …, 2002 | 21 | 2002 |
| StochKit-FF: Efficient systems biology on multicore architectures M Aldinucci, A Bracciali, P Lio, A Sorathiya, M Torquati European Conference on Parallel Processing, 167-175, 2010 | 16 | 2010 |
| On deducing causality in metabolic networks C Bodei, A Bracciali, D Chiarugi BMC bioinformatics 9 (4), 1-10, 2008 | 15 | 2008 |
| Adapting components with mismatching behaviours A Bracciali, A Brogi, C Canal International Working Conference on Component Deployment, 185-199, 2002 | 15 | 2002 |
| A scalable fluid flow process algebraic approach to emergency egress analysis M Massink, D Latella, A Bracciali, MD Harrison 2010 8th IEEE International Conference on Software Engineering and Formal …, 2010 | 14 | 2010 |
Antonio BrogiUniversity of Pisa, ItalyVerified email at di.unipi.it
