Volgen
Sara Capecchi
Sara Capecchi
Dipartimento di Informatica
Geverifieerd e-mailadres voor unito.it - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
542010
Global escape in multiparty sessions
S Capecchi, E Giachino, N Yoshida
IARCS Annual Conference on Foundations of Software Technology and …, 2010
522010
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
472018
Information flow safety in multiparty sessions
S Capecchi, I Castellani, M Dezani-Ciancaglini
Mathematical Structures in Computer Science 26 (8), 1352-1394, 2016
462016
Global escape in multiparty sessions
S Capecchi, E Giachino, N Yoshida
Mathematical Structures in Computer Science 26 (2), 156-205, 2016
412016
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
Double dispatch in C++
L Bettini, S Capecchi, B Venneri
Software: Practice and Experience 36 (6), 581-613, 2006
272006
Extending Java to dynamic object behaviors
L Bettini, S Capecchi, B Venneri
Electronic Notes in Theoretical Computer Science 82 (8), 33-52, 2003
262003
Typing access control and secure information flow in sessions
S Capecchi, I Castellani, M Dezani-Ciancaglini
Information and Computation 238, 68-105, 2014
232014
Featherweight Java with dynamic and static overloading
L Bettini, S Capecchi, B Venneri
Science of Computer Programming 74 (5-6), 261-278, 2009
212009
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
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
182008
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
122017
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
92008
Service-aware interactive presentation of items for decision-making
N Mauro, L Ardissono, S Capecchi, R Galioto
Applied Sciences 10 (16), 5599, 2020
72020
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
Trustworthy Global Computing: 6th International Symposium, TGC 2011, Aachen …, 2012
72012
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20