Follow
Sara Capecchi
Sara Capecchi
Dipartimento di Informatica
Verified email at unito.it - Homepage
Title
Cited by
Cited by
Year
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
582018
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
582010
Global escape in multiparty sessions
S Capecchi, E Giachino, N Yoshida
IARCS Annual Conference on Foundations of Software Technology and …, 2010
542010
Information flow safety in multiparty sessions
S Capecchi, I Castellani, M Dezani-Ciancaglini
Mathematical Structures in Computer Science 26 (8), 1352-1394, 2016
512016
Global escape in multiparty sessions
S Capecchi, E Giachino, N Yoshida
Mathematical Structures in Computer Science 26 (2), 156-205, 2016
432016
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
422009
Double dispatch in C++
L Bettini, S Capecchi, B Venneri
Software: Practice and Experience 36 (6), 581-613, 2006
272006
Typing access control and secure information flow in sessions
S Capecchi, I Castellani, M Dezani-Ciancaglini
Information and Computation 238, 68-105, 2014
262014
Extending Java to dynamic object behaviors
L Bettini, S Capecchi, B Venneri
Electronic Notes in Theoretical Computer Science 82 (8), 33-52, 2003
262003
Featherweight Java with dynamic and static overloading
L Bettini, S Capecchi, B Venneri
Science of Computer Programming 74 (5-6), 261-278, 2009
212009
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
192008
On flexible dynamic trait replacement for Java-like languages
L Bettini, S Capecchi, F Damiani
Science of Computer Programming 78 (7), 907-932, 2013
182013
Featherweight wrap java
L Bettini, S Capecchi, E Giachino
Proceedings of the 2007 ACM symposium on Applied computing, 1094-1100, 2007
172007
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
132017
Featherweight Java with multi-methods
L Bettini, S Capecchi, B Venneri
Proceedings of the 5th International Symposium on Principles and Practice of …, 2007
122007
Translating double dispatch into single dispatch
L Bettini, S Capecchi, B Venneri
Electronic Notes in Theoretical Computer Science 138 (2), 59-78, 2005
112005
Featherweight Wrap Java: wrapping objects and methods.
L Bettini, S Capecchi, E Giachino
J. Object Technol. 7 (2), 5-29, 2008
102008
Service-aware interactive presentation of items for decision-making
N Mauro, L Ardissono, S Capecchi, R Galioto
Applied Sciences 10 (16), 5599, 2020
82020
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
72023
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
72022
The system can't perform the operation now. Try again later.
Articles 1–20