Andrea Bracciali

Cited by

	All	Since 2018
Citations	1755	852
h-index	19	11
i10-index	34	16

200

100

150

200220032004200520062007200820092010201120122013201420152016201720182019202020212022202310 25 44 82 61 85 95 70 75 51 52 60 50 37 40 30 84 138 156 183 175 111

Public access

View all

12 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Antonio BrogiUniversity of Pisa, ItalyVerified email at di.unipi.it
Roberto TonelliFull Professor, University of CagliariVerified email at unica.it
Kostas StathisRoyal Holloway, University of LondonVerified 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
Massimo BartolettiUniversità degli Studi di CagliariVerified email at unica.it
Mieke MassinkCNR-ISTIVerified email at isti.cnr.it
Diego LatellaSenior Researcher - CNR-ISTI (Pisa)Verified email at cnr.it
Massimiliano SalaProfessor of Mathematics, University of TrentoVerified email at unitn.it
Francesca ToniImperial College LondonVerified email at imperial.ac.uk
Robert HieronsProfessor, The University of SheffieldVerified email at sheffield.ac.uk
Roberto BruniUniversity of PisaVerified email at di.unipi.it
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
yilei wangSchool of Computer Science and Technology,Shandong UniversityVerified email at ldu.edu.cn
Antonis KakasUniversity of CyprusVerified email at ucy.ac.cy

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	361	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	266	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	133	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	102	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	55	2004
Randomness invalidates criminal smart contracts Y Wang, A Bracciali, T Li, F Li, X Cui, M Zhao Information Sciences 477, 291-301, 2019	49	2019
Coordinating interaction patterns A Bracciali, A Brogi, F Turini Proceedings of the 2001 ACM symposium on Applied computing, 159-165, 2001	44	2001
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	40	2020
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
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	31	2008
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	30	2017
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 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 Fundamental Approaches to Software Engineering: 14th International …, 2011	22	2011
Bisimulation by Unification^* P Baldan, A Bracciali, R Bruni Algebraic Methodology and Software Technology: 9th International Conference …, 2002	22	2002
On Symbolic Verification of Bitcoin’s script Language R Klomp, A Bracciali Data Privacy Management, Cryptocurrencies and Blockchain Technology: ESORICS …, 2018	21	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