| 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 | 85 | 2008 |
| A calculus of contracting processes M Bartoletti, R Zunino 2010 25th Annual IEEE Symposium on Logic in Computer Science, 332-341, 2010 | 72 | 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 | 63 | 2009 |
| Types and effects for resource usage analysis M Bartoletti, P Degano, GL Ferrari, R Zunino International Conference on Foundations of Software Science and …, 2007 | 56 | 2007 |
| SoK: unraveling Bitcoin smart contracts S Lande, R Zunino Principles of Security and Trust LNCS 10804, 217, 2018 | 45 | 2018 |
| 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 | 42 | 2014 |
| 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 |
| A formal model of Bitcoin transactions N Atzei, M Bartoletti, S Lande, R Zunino International Conference on Financial Cryptography and Data Security, 541-560, 2018 | 41 | 2018 |
| Secure service orchestration M Bartoletti, P Degano, GL Ferrari, R Zunino Foundations of Security Analysis and Design IV, 24-74, 2007 | 38 | 2007 |
| BitML: a calculus for Bitcoin smart contracts M Bartoletti, R Zunino Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications …, 2018 | 37 | 2018 |
| On the realizability of contracts in dishonest systems M Bartoletti, E Tuosto, R Zunino International Conference on Coordination Languages and Models, 245-260, 2012 | 37 | 2012 |
| Constant-deposit multiparty lotteries on Bitcoin M Bartoletti, R Zunino International Conference on Financial Cryptography and Data Security, 231-247, 2017 | 33 | 2017 |
| Compliance in behavioural contracts: a brief survey M Bartoletti, T Cimoli, R Zunino Programming languages with applications to biology and security, 103-121, 2015 | 33 | 2015 |
| Securing Java with local policies M Bartoletti, C Gabriele, M Fabio, Z Roberto | 33* | 2009 |
| Model checking usage policies M Bartoletti, P Degano, GL Ferrari, R Zunino International Symposium on Trustworthy Global Computing, 19-35, 2008 | 32 | 2008 |
| Honesty by typing M Bartoletti, A Scalas, E Tuosto, R Zunino Formal Techniques for Distributed Systems, 305-320, 2013 | 28 | 2013 |
| A semantic deconstruction of session types M Bartoletti, A Scalas, R Zunino International Conference on Concurrency Theory, 402-418, 2014 | 26 | 2014 |
| A theory of agreements and protection M Bartoletti, T Cimoli, R Zunino International Conference on Principles of Security and Trust, 186-205, 2013 | 26 | 2013 |
| Contracts as games on event structures M Bartoletti, T Cimoli, GM Pinna, R Zunino Journal of logical and algebraic methods in programming 85 (3), 399-424, 2016 | 25 | 2016 |
