| |
| * | 2008 | |
|---|---|---|
| 3 | EE | Mariano Ceccato, Thomas Roy Dean, Paolo Tonella, Davide Marchignoli: Data Model Reverse Engineering in Migrating a Legacy System to Java. WCRE 2008: 177-186 |
| 2003 | ||
| 2 | Piero Fariselli, Michele Finelli, Davide Marchignoli, Pier Luigi Martelli, Ivan Rossi, Rita Casadio: MaxSubSeq: an algorithm for segment-length optimization. The case study of the transmembrane spanning segments. Bioinformatics 19(4): 500-505 (2003) | |
| 1999 | ||
| 1 | EE | Davide Marchignoli, Fabio Martinelli: Automatic Verification of Cryptographic Protocols through Compositional Analysis Techniques. TACAS 1999: 148-162 |
| 1 | Rita Casadio | [2] |
| 2 | Mariano Ceccato | [3] |
| 3 | Thomas Roy Dean | [3] |
| 4 | Piero Fariselli | [2] |
| 5 | Michele Finelli | [2] |
| 6 | Pier Luigi Martelli | [2] |
| 7 | Fabio Martinelli | [1] |
| 8 | Ivan Rossi | [2] |
| 9 | Paolo Tonella | [3] |