| |
| 2008 | ||
|---|---|---|
| 3 | EE | João Abreu, José Luiz Fiadeiro: A Coordination Model for Service-Oriented Interactions. COORDINATION 2008: 1-16 |
| 2007 | ||
| 2 | EE | João Abreu, Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes: Specifying and Composing Interaction Protocols for Service-Oriented System Modelling. FORTE 2007: 358-373 |
| 2006 | ||
| 1 | EE | Isabel Nunes, Antónia Lopes, Vasco Thudichum Vasconcelos, João Abreu, Luís S. Reis: Checking the Conformance of Java Classes Against Algebraic Specifications. ICFEM 2006: 494-513 |
| 1 | Laura Bocchi | [2] |
| 2 | José Luiz Fiadeiro | [2] [3] |
| 3 | Antónia Lopes | [1] [2] |
| 4 | Isabel Nunes | [1] |
| 5 | Luís S. Reis | [1] |
| 6 | Vasco Thudichum Vasconcelos | [1] |