Follow
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
542010
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
482010
Information flow safety in multiparty sessions
S Capecchi, I Castellani, M Dezani-Ciancaglini
Mathematical Structures in Computer Science 26 (8), 1352-1394, 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
412009
Global escape in multiparty sessions
S Capecchi, E Giachino, N Yoshida
Mathematical Structures in Computer Science 26 (2), 156-205, 2016
402016
Double dispatch in C++
L Bettini, S Capecchi, B Venneri
Software: Practice and Experience 36 (6), 581-613, 2006
252006
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
242018
Extending Java to dynamic object behaviors
L Bettini, S Capecchi, B Venneri
Electronic Notes in Theoretical Computer Science 82 (8), 33-52, 2003
242003
Typing access control and secure information flow in sessions
S Capecchi, I Castellani, M Dezani-Ciancaglini
Information and Computation 238, 68-105, 2014
212014
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
Featherweight Java with dynamic and static overloading
L Bettini, S Capecchi, B Venneri
Science of Computer Programming 74 (5-6), 261-278, 2009
202009
On flexible dynamic trait replacement for Java-like languages
L Bettini, S Capecchi, F Damiani
Science of Computer Programming 78 (7), 907-932, 2013
192013
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
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
112017
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
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 mechanism for flexible dynamic trait replacement
L Bettini, S Capecchi, F Damiani
Proceedings of the 11th International Workshop on Formal Techniques for Java …, 2009
72009
The system can't perform the operation now. Try again later.
Articles 1–20