| 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 | 90 | 2008 |
| SoK: unraveling Bitcoin smart contracts S Lande, R Zunino Principles of Security and Trust LNCS 10804, 217, 2018 | 75 | 2018 |
| BitML: a calculus for Bitcoin smart contracts M Bartoletti, R Zunino Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications …, 2018 | 74 | 2018 |
| A calculus of contracting processes M Bartoletti, R Zunino 2010 25th Annual IEEE Symposium on Logic in Computer Science, 332-341, 2010 | 74 | 2010 |
| A formal model of Bitcoin transactions N Atzei, M Bartoletti, S Lande, R Zunino Financial Cryptography and Data Security: 22nd International Conference, FC …, 2018 | 71 | 2018 |
| 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 | 66 | 2009 |
| Types and effects for resource usage analysis M Bartoletti, P Degano, GL Ferrari, R Zunino Foundations of Software Science and Computational Structures: 10th …, 2007 | 58 | 2007 |
| 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), 10B602_1, 2014 | 51 | 2014 |
| Constant-deposit multiparty lotteries on Bitcoin M Bartoletti, R Zunino Financial Cryptography and Data Security: FC 2017 International Workshops …, 2017 | 43 | 2017 |
| Compliance in behavioural contracts: a brief survey M Bartoletti, T Cimoli, R Zunino Programming Languages with Applications to Biology and Security: Essays …, 2015 | 42 | 2015 |
| Contract-oriented computing in CO2 M Bartoletti, E Tuosto, R Zunino | 42 | 2012 |
| Contract-Oriented Computing in CO2 M Bartoletti, E Tuosto, R Zunino Scientific Annals of Computer Science" Alexandru Ioan Cuza" University of …, 2012 | 42 | 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 |
| On the realizability of contracts in dishonest systems M Bartoletti, E Tuosto, R Zunino Coordination Models and Languages: 14th International Conference …, 2012 | 37 | 2012 |
| Model checking usage policies M Bartoletti, P Degano, GL Ferrari, R Zunino Trustworthy Global Computing: 4th International Symposium, TGC 2008 …, 2009 | 36 | 2009 |
| Securing Java with local policies M Bartoletti, C Gabriele, D Pierpaolo, M Fabio, Z Roberto Journal of Object Technology 8 (4), 5-32, 2009 | 33* | 2009 |
| Verifying liquidity of Bitcoin contracts M Bartoletti, R Zunino Principles of Security and Trust: 8th International Conference, POST 2019 …, 2019 | 32 | 2019 |
| A semantic deconstruction of session types M Bartoletti, A Scalas, R Zunino CONCUR 2014–Concurrency Theory: 25th International Conference, CONCUR 2014 …, 2014 | 29 | 2014 |
| 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), 06B617_1, 2015 | 28 | 2015 |
| Honesty by typing M Bartoletti, A Scalas, E Tuosto, R Zunino Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International …, 2013 | 27 | 2013 |
