| 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 |
