Andrea Bracciali

Citado por

	Todos	Desde 2020
Citações	1965	817
Índice h	20	12
Índice i10	35	13

200

100

150

20022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202511 26 55 80 64 86 93 68 76 53 53 61 50 38 42 27 82 144 153 186 172 141 138 27

Acesso público

Ver tudo

13 artigos

0 artigos

disponível

não disponível

Com base em autorizações de financiamento

Coautores

Antonio BrogiUniversity of Pisa, ItalyEmail confirmado em di.unipi.it
Roberto TonelliFull Professor, University of CagliariEmail confirmado em unica.it
Michele MarchesiProfessor of Software Engineering (retired), DMI, Cagliari UniversityEmail confirmado em unica.it
Kostas StathisRoyal Holloway, University of LondonEmail confirmado em rhul.ac.uk
Emilio TuostoGran Sasso Science InstituteEmail confirmado em gssi.it
Giuseppe DestefanisAssociate Professor, Brunel University, LondonEmail confirmado em brunel.ac.uk
Carlos CanalUniversity of MalagaEmail confirmado em lcc.uma.es
Marco AldinucciFull Professor in Computer Science, University of TorinoEmail confirmado em unito.it
Marco OrtuAssistant Professor (RTT), Department of Business and Economics Sciences, University of CagliariEmail confirmado em unica.it
Massimo BartolettiUniversità degli Studi di CagliariEmail confirmado em unica.it
Mieke MassinkCNR-ISTIEmail confirmado em isti.cnr.it
Diego LatellaSenior Researcher - CNR-ISTI Pisa (ret.)Email confirmado em cnr.it
Francesca ToniImperial College LondonEmail confirmado em imperial.ac.uk
Robert HieronsProfessor, The University of SheffieldEmail confirmado em sheffield.ac.uk
Massimiliano SalaProfessor of Mathematics, University of TrentoEmail confirmado em unitn.it
Roberto BruniUniversity of PisaEmail confirmado em di.unipi.it
Paolo BaldanProfessor of Computer Science, University of PadovaEmail confirmado em math.unipd.it
Jane HillstonProfessor of Quantitative Modelling, University of EdinburghEmail confirmado em ed.ac.uk
Antonis KakasUniversity of CyprusEmail confirmado em ucy.ac.cy
CHIARA BODEIComputer Science Associate Professor, University of PisaEmail confirmado em unipi.it

Seguir

Andrea Bracciali

Associate Professor, Computer Science, University of Turin, IT

Email confirmado em unito.it

Formal modelling of interactive and complex systems.


Título Ordenar por citações Ordenar por ano Ordenar por título	Citado por Citado por	Ano
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	351	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	140	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	116	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	65	2005
PROSOCS: a platform for programming software agents in computational logic K Stathis From Agent Theory to Agent Implementation, 2004, 2004	59	2004
Randomness invalidates criminal smart contracts Y Wang, A Bracciali, T Li, F Li, X Cui, M Zhao Information Sciences 477, 291-301, 2019	55	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	50	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	50	2020
Coordinating interaction patterns A Bracciali, A Brogi, F Turini Proceedings of the 2001 ACM symposium on Applied computing, 159-165, 2001	45	2001
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	33	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	32	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 International Workshop on Data Privacy Management, 38-56, 2018	26	2018
On the educational curriculum in finance and technology T Karkkainen, GA Panos, D Broby, A Bracciali International Conference on Internet Science, 7-20, 2017	26	2017
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 deducing causality in metabolic networks C Bodei, A Bracciali, D Chiarugi BMC bioinformatics 9, 1-10, 2008	21	2008

O sistema não pode efectuar a operação agora. Tente mais tarde.

Artigos 1–20

Citações por ano

Citações duplicadas

Citações unidas

Adicionar coautoresCoautores

Seguir

Citado por

Coautores