| Session types for access and information flow control S Capecchi, I Castellani, M Dezani-Ciancaglini, T Rezk CONCUR 2010-Concurrency Theory: 21th International Conference, CONCUR 2010 …, 2010 | 57 | 2010 |
| A social network simulation game to raise awareness of privacy among school children L Bioglio, S Capecchi, F Peiretti, D Sayed, A Torasso, RG Pensa IEEE Transactions on Learning Technologies 12 (4), 456-469, 2018 | 54 | 2018 |
| Global escape in multiparty sessions S Capecchi, E Giachino, N Yoshida IARCS Annual Conference on Foundations of Software Technology and …, 2010 | 53 | 2010 |
| Information flow safety in multiparty sessions S Capecchi, I Castellani, M Dezani-Ciancaglini Mathematical Structures in Computer Science 26 (8), 1352-1394, 2016 | 50 | 2016 |
| Global escape in multiparty sessions S Capecchi, E Giachino, N Yoshida Mathematical Structures in Computer Science 26 (2), 156-205, 2016 | 42 | 2016 |
| Amalgamating sessions and methods in object-oriented languages with generics S Capecchi, M Coppo, M Dezani-Ciancaglini, S Drossopoulou, ... Theoretical Computer Science 410 (2-3), 142-167, 2009 | 42 | 2009 |
| Double dispatch in C++ L Bettini, S Capecchi, B Venneri Software: Practice and Experience 36 (6), 581-613, 2006 | 27 | 2006 |
| Typing access control and secure information flow in sessions S Capecchi, I Castellani, M Dezani-Ciancaglini Information and Computation 238, 68-105, 2014 | 26 | 2014 |
| Extending Java to dynamic object behaviors L Bettini, S Capecchi, B Venneri Electronic Notes in Theoretical Computer Science 82 (8), 33-52, 2003 | 26 | 2003 |
| Featherweight Java with dynamic and static overloading L Bettini, S Capecchi, B Venneri Science of Computer Programming 74 (5-6), 261-278, 2009 | 21 | 2009 |
| Session and union types for object oriented programming L Bettini, S Capecchi, M Dezani-Ciancaglini, E Giachino, B Venneri Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the …, 2008 | 19 | 2008 |
| On flexible dynamic trait replacement for Java-like languages L Bettini, S Capecchi, F Damiani Science of Computer Programming 78 (7), 907-932, 2013 | 18 | 2013 |
| Featherweight wrap java L Bettini, S Capecchi, E Giachino Proceedings of the 2007 ACM symposium on Applied computing, 1094-1100, 2007 | 17 | 2007 |
| Compliance patterns: harnessing value modeling and legal interpretation to manage regulatory conversations R Muthuri, G Boella, J Hulstijn, S Capecchi, L Humphreys Proceedings of the 16th edition of the International Conference on Articial …, 2017 | 13 | 2017 |
| Featherweight Java with multi-methods L Bettini, S Capecchi, B Venneri Proceedings of the 5th International Symposium on Principles and Practice of …, 2007 | 12 | 2007 |
| Translating double dispatch into single dispatch L Bettini, S Capecchi, B Venneri Electronic Notes in Theoretical Computer Science 138 (2), 59-78, 2005 | 11 | 2005 |
| Featherweight Wrap Java: wrapping objects and methods. L Bettini, S Capecchi, E Giachino J. Object Technol. 7 (2), 5-29, 2008 | 10 | 2008 |
| Service-aware interactive presentation of items for decision-making N Mauro, L Ardissono, S Capecchi, R Galioto Applied Sciences 10 (16), 5599, 2020 | 8 | 2020 |
| Reputation by design: Using VDML and service ML for reputation systems modeling S Capecchi, P Pisano 2014 IEEE 11th International Conference on e-Business Engineering, 191-198, 2014 | 7 | 2014 |
| A reputation system for multirole sessions V Bono, S Capecchi, I Castellani, M Dezani-Ciancaglini Trustworthy Global Computing: 6th International Symposium, TGC 2011, Aachen …, 2012 | 7 | 2012 |
