Andrea Bracciali

Cited by

	All	Since 2019
Citations	1907	907
h-index	20	12
i10-index	35	14

200

100

150

2002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202410 26 46 85 65 84 94 69 74 51 52 63 49 37 40 30 88 140 156 183 180 152 95

Public access

View all

13 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
Michele MarchesiProfessor of Software Engineering (retired), DMI, Cagliari UniversityVerified email at unica.it
Kostas StathisRoyal Holloway, University of LondonVerified email at rhul.ac.uk
Emilio TuostoGran Sasso Science InstituteVerified email at gssi.it
Giuseppe DestefanisAssociate Professor, Brunel University, LondonVerified email at brunel.ac.uk
Carlos CanalUniversity of MalagaVerified email at lcc.uma.es
Marco OrtuAssistant Professor (RTT), Department of Business and Economics Sciences, University of CagliariVerified email at unica.it
Marco AldinucciFull Professor in Computer Science, University of TorinoVerified email at unito.it
Massimo BartolettiUniversità degli Studi di CagliariVerified email at unica.it
Massimiliano SalaProfessor of Mathematics, University of TrentoVerified email at unitn.it
Mieke MassinkCNR-ISTIVerified email at isti.cnr.it
Diego LatellaSenior Researcher - CNR-ISTI (Pisa)Verified email at cnr.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
Antonis KakasUniversity of CyprusVerified email at ucy.ac.cy
Franco TuriniProfessor of Computer Science, University of Pisa, ItalyVerified email at di.unipi.it

Andrea Bracciali

Associate Professor, Computer Science, University of Turin, IT

Verified email at unito.it

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	362	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	327	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	135	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	114	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	64	2005
PROSOCS: a platform for programming software agents in computational logic K Stathis From Agent Theory to Agent Implementation, 2004, 2004	57	2004
Randomness invalidates criminal smart contracts Y Wang, A Bracciali, T Li, F Li, X Cui, M Zhao Information Sciences 477, 291-301, 2019	51	2019
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	45	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	45	2020
Coordinating interaction patterns A Bracciali, A Brogi, F Turini Proceedings of the 2001 ACM symposium on Applied computing, 159-165, 2001	45	2001
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	39	2017
Systematic component adaptation A Bracciali, A Brogi, C Canal Electronic Notes in Theoretical Computer Science 66 (4), 97-113, 2002	34	2002
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	33	2012
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
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	29	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
On Symbolic Verification of Bitcoin’s script Language R Klomp, A Bracciali Data Privacy Management, Cryptocurrencies and Blockchain Technology: ESORICS …, 2018	24	2018
On the educational curriculum in finance and technology T Karkkainen, GA Panos, D Broby, A Bracciali Internet Science: INSCI 2017 International Workshops, IFIN, DATA ECONOMY …, 2018	23	2018
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	21	2002

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