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 | 58 | 2018 |
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 | 58 | 2010 |
Global escape in multiparty sessions S Capecchi, E Giachino, N Yoshida IARCS Annual Conference on Foundations of Software Technology and …, 2010 | 54 | 2010 |
Information flow safety in multiparty sessions S Capecchi, I Castellani, M Dezani-Ciancaglini Mathematical Structures in Computer Science 26 (8), 1352-1394, 2016 | 51 | 2016 |
Global escape in multiparty sessions S Capecchi, E Giachino, N Yoshida Mathematical Structures in Computer Science 26 (2), 156-205, 2016 | 43 | 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 |
Process mining on students’ web learning traces: a case study with an ethnographic analysis R Nai, E Sulis, E Marengo, M Vinai, S Capecchi European Conference on Technology Enhanced Learning, 599-604, 2023 | 7 | 2023 |
Integrating value modeling and legal risk management: an IT case study R Muthuri, S Capecchi, E Sulis, IA Amantea, G Boella Information Systems and e-Business Management, 1-29, 2022 | 7 | 2022 |