Andrea Bracciali

Cited by

	All	Since 2018
Citations	1681	788
h-index	19	11
i10-index	31	13

200

100

150

200220032004200520062007200820092010201120122013201420152016201720182019202020212022202311 25 41 78 66 82 98 71 72 51 53 61 50 36 38 24 86 137 153 184 174 49

Public access

View all

12 articles

1 article

available

not available

Based on funding mandates

Co-authors

Antonio BrogiUniversity of Pisa, ItalyVerified email at di.unipi.it
Roberto TonelliUniversity of CagliariVerified email at dsf.unica.it
Kostas StathisProfessor of Computer ScienceVerified email at rhul.ac.uk
Emilio TuostoGran Sasso Science InstituteVerified email at gssi.it
Michele MarchesiProfessor of Software Engineering (retired), DMI, Cagliari UniversityVerified email at unica.it
Carlos CanalUniversity of MalagaVerified email at lcc.uma.es
Giuseppe DestefanisAssociate Professor, Brunel University, LondonVerified email at brunel.ac.uk
Marco AldinucciFull Professor in Computer Science, University of TorinoVerified email at unito.it
Marco OrtuResearcher PhD, Department of Business and Economics Sciences, University of CagliariVerified email at unica.it
Mieke MassinkCNR-ISTIVerified email at isti.cnr.it
Diego LatellaSenior Researcher - CNR-ISTI (Pisa)Verified email at cnr.it
Massimo BartolettiUniversità degli Studi di CagliariVerified email at unica.it
Massimiliano SalaProfessor of Mathematics, University of TrentoVerified email at unitn.it
Francesca ToniImperial College LondonVerified email at imperial.ac.uk
Roberto BruniUniversity of PisaVerified email at di.unipi.it
Robert HieronsProfessor, The University of SheffieldVerified email at sheffield.ac.uk
Paolo BaldanProfessor of Computer Science, University of PadovaVerified email at math.unipd.it
Jane HillstonProfessor of Quantitative Modelling, University of EdinburghVerified email at ed.ac.uk
Antonis KakasUniversity of CyprusVerified email at ucy.ac.cy
yilei wangSchool of Computer Science and Technology,Shandong UniversityVerified email at ldu.edu.cn

Andrea Bracciali

SICSA Lecturer, Stirling University

Verified email at cs.stir.ac.uk

Formal modelling of interactive and complex systems.


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
A formal approach to component adaptation A Bracciali, A Brogi, C Canal Journal of Systems and Software 74 (1), 45-54, 2005	360	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	249	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: Essays …, 2015	121	2015
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	89	2017
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	61	2005
PROSOCS: a platform for programming software agents in computational logic K Stathis From Agent Theory to Agent Implementation, 2004, 2004	54	2004
Randomness invalidates criminal smart contracts Y Wang, A Bracciali, T Li, F Li, X Cui, M Zhao Information Sciences 477, 291-301, 2019	43	2019
Coordinating interaction patterns A Bracciali, A Brogi, F Turini Proceedings of the 2001 ACM symposium on Applied computing, 159-165, 2001	43	2001
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	38	2020
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	34	2020
Systematic component adaptation A Bracciali, A Brogi, C Canal Electronic Notes in Theoretical Computer Science 66 (4), 97-113, 2002	33	2002
Stochastic models for the in silico simulation of synaptic processes A Bracciali, M Brunelli, E Cataldo, P Degano BMC bioinformatics 9, 1-14, 2008	32	2008
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	30	2012
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
Dynamically adapting the behaviour of software components A Bracciali, A Brogi, C Canal Coordination 2315, 88-95, 2002	28	2002
Financial Cryptography and Data Security: FC 2017 International Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Sliema, Malta, April 7, 2017, Revised Selected Papers M Brenner, K Rohloff, J Bonneau, A Miller, PYA Ryan, V Teague, ... Springer, 2017	27	2017
Bisimulation by Unification^* P Baldan, A Bracciali, R Bruni Algebraic Methodology and Software Technology: 9th International Conference …, 2002	23	2002
Modelling non-linear crowd dynamics in Bio-PEPA M Massink, D Latella, A Bracciali, J Hillston Fundamental Approaches to Software Engineering: 14th International …, 2011	22	2011
On Symbolic Verification of Bitcoin’s script Language R Klomp, A Bracciali Data Privacy Management, Cryptocurrencies and Blockchain Technology: ESORICS …, 2018	20	2018
StochKit-FF: Efficient systems biology on multicore architectures M Aldinucci, A Bracciali, P Lio, A Sorathiya, M Torquati Euro-Par 2010 Parallel Processing Workshops: HeteroPar, HPCC, HiBB, CoreGrid …, 2011	18	2011

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors