| 2008 | ||
|---|---|---|
| 3 | EE | Cheikh Ba, Mírian Halfeld Ferrari: Dependence graphs for verifications of web service compositions with PEWS. SAC 2008: 2387-2391 |
| 2006 | ||
| 2 | EE | Cheikh Ba, Mirian Halfeld Ferrari Alves, Martin A. Musicante: Composing Web Services with PEWS: A Trace-Theoretical Approach. ECOWS 2006: 65-74 |
| 2005 | ||
| 1 | EE | Cheikh Ba, Marcos Aurélio Carrero, Mirian Halfeld Ferrari Alves, Martin A. Musicante: PEWS: A New Language for Building Web Service Interfaces. J. UCS 11(7): 1215-1233 (2005) |
| 1 | Mirian Halfeld Ferrari Alves (Mírian Halfeld Ferrari) | [1] [2] [3] |
| 2 | Marcos Aurélio Carrero | [1] |
| 3 | Martin A. Musicante | [1] [2] |