| |
| 2008 | ||
|---|---|---|
| 4 | EE | Nora Szasz, Pedro Vilanova: Statecharts and Variabilities. VaMoS 2008: 131-140 |
| 2003 | ||
| 3 | EE | Maribel Fernández, Ian Mackie, Paula Severi, Nora Szasz: Reduction Strategies for Program Extraction. CLEI Electron. J. 6(1): (2003) |
| 2001 | ||
| 2 | Paula Severi, Nora Szasz: Studies of a Theory of Specifications with Built-in Program Extraction. J. Autom. Reasoning 27(1): 61-87 (2001) | |
| 1999 | ||
| 1 | EE | Gustavo Betarte, Cristina Cornes, Nora Szasz, Alvaro Tasistro: Specification of a Smart Card Operating System. TYPES 1999: 77-93 |
| 1 | Gustavo Betarte | [1] |
| 2 | Cristina Cornes | [1] |
| 3 | Maribel Fernández | [3] |
| 4 | Ian Mackie | [3] |
| 5 | Paula Severi | [2] [3] |
| 6 | Alvaro Tasistro | [1] |
| 7 | Pedro Vilanova | [4] |