| A Social Network Simulation Game to Raise Awareness of Privacy among School Children | 1 | 0.36 | 2019 |
| Compliance patterns: harnessing value modeling and legal interpretation to manage regulatory conversations. | 1 | 0.38 | 2017 |
| Schooladvise: Designing a Reputation System for Educational Services through Service Design and Business Modeling. | 0 | 0.34 | 2015 |
| Typing access control and secure information flow in sessions. | 7 | 0.51 | 2014 |
| Reputation by Design: Using VDML and Service ML for Reputation Systems Modeling | 1 | 0.38 | 2014 |
| Deriving session and union types for objects. | 0 | 0.34 | 2013 |
| On flexible dynamic trait replacement for Java-like languages | 9 | 0.44 | 2013 |
| Information Flow Safety in Multiparty Sessions | 6 | 0.43 | 2011 |
| A reputation system for multirole sessions | 4 | 0.44 | 2011 |
| Global Escape in Multiparty Sessions | 27 | 1.24 | 2010 |
| Types For Bioambients | 2 | 0.39 | 2010 |
| Session types for access and information flow control | 14 | 0.63 | 2010 |
| A mechanism for flexible dynamic trait replacement | 2 | 0.40 | 2009 |
| Amalgamating sessions and methods in object-oriented languages with generics | 11 | 0.56 | 2009 |
| Featherweight Java with dynamic and static overloading | 8 | 0.82 | 2009 |
| Typing Asymmetric Client-Server Interaction | 2 | 0.38 | 2009 |
| A safe implementation of dynamic overloading in java-like languages | 0 | 0.34 | 2009 |
| Dynamic overloading with copy semantics in object-oriented languages: a formal account | 1 | 0.34 | 2009 |
| Featherweight Wrap Java: Wrapping Objects And Methods | 4 | 0.40 | 2008 |
| Session and Union Types for Object Oriented Programming | 6 | 0.45 | 2008 |
| Featherweight Java with multi-methods | 4 | 0.43 | 2007 |
| Featherweight wrap Java | 9 | 0.55 | 2007 |
| Double dispatch in C++ | 8 | 0.57 | 2006 |
| Translating Double Dispatch into Single Dispatch | 5 | 0.56 | 2005 |
| Extending Java to dynamic object behaviors | 12 | 0.82 | 2003 |
