Sara Capecchi
Sara Capecchi
Dipartimento di Informatica
Verified email at unito.it - Homepage
Title
Cited by
Cited by
Year
Global escape in multiparty sessions
S Capecchi, E Giachino, N Yoshida
IARCS Annual Conference on Foundations of Software Technology and …, 2010
532010
Session types for access and information flow control
S Capecchi, I Castellani, M Dezani-Ciancaglini, T Rezk
International Conference on Concurrency Theory, 237-252, 2010
462010
Information flow safety in multiparty sessions
S Capecchi, I Castellani, M Dezani-Ciancaglini
Mathematical Structures in Computer Science 26 (8), 1352-1394, 2016
422016
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
392009
Global escape in multiparty sessions
S Capecchi, E Giachino, N Yoshida
Mathematical Structures in Computer Science 26 (2), 156-205, 2016
342016
Double dispatch in C++
L Bettini, S Capecchi, B Venneri
Software: Practice and Experience 36 (6), 581-613, 2006
252006
Extending Java to dynamic object behaviors
L Bettini, S Capecchi, B Venneri
Electronic Notes in Theoretical Computer Science 82 (8), 33-52, 2003
242003
Session and union types for object oriented programming
L Bettini, S Capecchi, M Dezani-Ciancaglini, E Giachino, B Venneri
Concurrency, Graphs and Models, 659-680, 2008
212008
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
202018
Typing access control and secure information flow in sessions
S Capecchi, I Castellani, M Dezani-Ciancaglini
Information and Computation 238, 68-105, 2014
202014
Featherweight Java with dynamic and static overloading
L Bettini, S Capecchi, B Venneri
Science of Computer Programming 74 (5-6), 261-278, 2009
192009
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
162007
Featherweight Java with multi-methods
L Bettini, S Capecchi, B Venneri
Proceedings of the 5th International Symposium on Principles and Practice of …, 2007
122007
Featherweight Wrap Java: wrapping objects and methods.
L Bettini, S Capecchi, E Giachino
J. Object Technol. 7 (2), 5-29, 2008
112008
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
102017
Translating double dispatch into single dispatch
L Bettini, S Capecchi, B Venneri
Electronic Notes in Theoretical Computer Science 138 (2), 59-78, 2005
102005
Types for BioAmbients
S Capecchi, A Troina
arXiv preprint arXiv:1002.4066, 2010
82010
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
72014
A reputation system for multirole sessions
V Bono, S Capecchi, I Castellani, M Dezani-Ciancaglini
International Symposium on Trustworthy Global Computing, 1-24, 2011
72011
The system can't perform the operation now. Try again later.
Articles 1–20