|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| Sara Capecchi | |
|---|---|
| Personal Home Page Type-Hierarchical Overview | |
| Chronological Overview | |
| 2016 | |
| Capecchi, Castellani and Dezani-Ciancaglini | "Information Flow Safety in Multiparty Sessions" Article. |
| 2014 | |
| Capecchi, Giachino and Yoshida | "Global Escape in Multiparty Sessions " Article. |
| Capecchi and Pisano | "Reputation by design: using VDML and ServiceML for reputation systems modeling" In proceedings. |
| Capecchi, Castellani and Dezani-Ciancaglini | "Typing Access Control and Secure Information Flow in Sessions" Article. |
| 2013 | |
| Bettini, Capecchi, Dezani-Ciancaglini, Giachino and Venneri | " Deriving Session and Union Types for Objects " Article. |
| Bettini, Capecchi and Damiani | "On flexible dynamic trait replacement for Java-like languages" Article. |
| 2012 | |
| Bono, Capecchi, Castellani and Dezani-Ciancaglini | " A Reputation System for Multirole Sessions" In proceedings. |
| 2011 | |
| Capecchi, Castellani and Dezani-Ciancaglini | "Information Flow Safety in Multiparty Sessions" In proceedings. |
| 2010 | |
| Barbanera, Capecchi and de' Liguoro | "Typing Asymmetric Client-Server Interaction" In proceedings: FSEN'09. |
| Capecchi, Giachino and Yoshida | "Global Escape in Multiparty Sessions" In proceedings. |
| Capecchi, Castellani, Dezani-Ciancaglini and Rezk | "Session Types for Access and Information Flow Control" In proceedings. |
| Capecchi and Troina | "Types for BioAmbients" In proceedings. |
| 2009 | |
| Bettini, Capecchi and Damiani | "A Mechanisms for Flexible Dynamic Trait Replacement" In proceedings: electronic proceedings of Workshop FTfJP'09 (http://www.cs.ru.nl/ftfjp/), ACM Digital Library (http://portal.acm.org/toc.cfm?id=SERIES12774&idx=SERIES12774&type=series&coll=portal&dl=ACM&part=series&WantType=Proceedings&title=ECOOP). |
| Bettini, Capecchi and Venneri | "A safe implementation of dynamic overloading in Java-like languages" In proceedings. |
| Bettini, Capecchi and Venneri | "Dynamic Overloading with Copy Semantics in Object-Oriented Languages: a Formal Account" Article. |
| Bettini, Capecchi and Venneri | "Featherweight Java with Dynamic and StaticOverloading " Article. |
| Capecchi, Coppo, Dezani-Ciancaglini, Drossopoulou and Giachino | "Amalgamating Sessions and Methods in Object Oriented Languages with Generics" Article. |
| 2008 | |
| Bettini, Capecchi and Giachino | "Featherweight Wrap Java: wrapping objects and methods" Article. |
| Bettini, Capecchi, Dezani-Ciancaglini, Giachino and Venneri | "Session and Union Types for Object Oriented Programming" In proceedings. |
| 2007 | |
| Bettini, Capecchi and Venneri | "Featherweight Java with Multi-Methods" In proceedings. |
| Bettini, Capecchi and Giachino | "Featherweight Wrap Java" In proceedings. |
| 2006 | |
| Bettini, Capecchi and Venneri | "Double Dispatch in C++" Article. |
| 2005 | |
| Bettini, Capecchi and Venneri | "Translating Double-Dispatch into Single-Dispatch" In proceedings. |
| 2003 | |
| Bettini, Capecchi and Venneri | "Extending Java to dynamic object behaviors" In proceedings. |
|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)