| SoK: unraveling Bitcoin smart contracts S Lande, R Zunino Principles of Security and Trust LNCS 10804, 217, 2018 | 97 | 2018 |
| A formal model of Bitcoin transactions N Atzei, M Bartoletti, S Lande, R Zunino Financial Cryptography and Data Security: 22nd International Conference, FC …, 2018 | 95 | 2018 |
| BitML: a calculus for Bitcoin smart contracts M Bartoletti, R Zunino Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications …, 2018 | 90 | 2018 |
| Semantics-based design for secure web services M Bartoletti, P Degano, GL Ferrari, R Zunino IEEE Transactions on Software Engineering 34 (1), 33-49, 2008 | 89 | 2008 |
| A calculus of contracting processes M Bartoletti, R Zunino 2010 25th Annual IEEE Symposium on Logic in Computer Science, 332-341, 2010 | 77 | 2010 |
| Local policies for resource usage analysis M Bartoletti, P Degano, GL Ferrari, R Zunino ACM Transactions on Programming Languages and Systems (TOPLAS) 31 (6), 1-43, 2009 | 68 | 2009 |
| Efficient rejection-based simulation of biochemical reactions with stochastic noise and delays VH Thanh, C Priami, R Zunino The Journal of chemical physics 141 (13), 2014 | 60 | 2014 |
| Types and effects for resource usage analysis M Bartoletti, P Degano, GL Ferrari, R Zunino Foundations of Software Science and Computational Structures: 10th …, 2007 | 59 | 2007 |
| Constant-deposit multiparty lotteries on Bitcoin M Bartoletti, R Zunino Financial Cryptography and Data Security: FC 2017 International Workshops …, 2017 | 49 | 2017 |
| Compliance in behavioural contracts: a brief survey M Bartoletti, T Cimoli, R Zunino Programming Languages with Applications to Biology and Security: Essays …, 2015 | 45 | 2015 |
| Verifying liquidity of Bitcoin contracts M Bartoletti, R Zunino International Conference on Principles of Security and Trust, 222-247, 2019 | 40 | 2019 |
| Contract-oriented computing in CO2 M Bartoletti, E Tuosto, R Zunino | 39 | 2012 |
| Contract-Oriented Computing in CO2 M Bartoletti, E Tuosto, R Zunino Scientific Annals of Computer Science" Alexandru Ioan Cuza" University of …, 2012 | 39 | 2012 |
| Secure service orchestration M Bartoletti, P Degano, GL Ferrari, R Zunino Foundations of Security Analysis and Design IV: FOSAD 2006/2007 Tutorial …, 2007 | 39 | 2007 |
| Developing secure Bitcoin contracts with BitML N Atzei, M Bartoletti, S Lande, N Yoshida, R Zunino Proceedings of the 2019 27th acm joint meeting on european software …, 2019 | 38 | 2019 |
| On the realizability of contracts in dishonest systems M Bartoletti, E Tuosto, R Zunino International Conference on Coordination Languages and Models, 245-260, 2012 | 35 | 2012 |
| Model checking usage policies M Bartoletti, P Degano, GL Ferrari, R Zunino Trustworthy Global Computing: 4th International Symposium, TGC 2008 …, 2009 | 35 | 2009 |
| Efficient constant-time complexity algorithm for stochastic simulation of large reaction networks VH Thanh, R Zunino, C Priami IEEE/ACM transactions on computational biology and bioinformatics 14 (3 …, 2016 | 33 | 2016 |
| On the rejection-based algorithm for simulation and analysis of large-scale reaction networks VH Thanh, R Zunino, C Priami The Journal of Chemical Physics 142 (24), 2015 | 33 | 2015 |
| Securing Java with local policies M Bartoletti, G Costa, P Degano, F Martinelli, R Zunino Journal of Object Technology 8 (4), 5-32, 2009 | 33* | 2009 |
