Davide Marchignoli

Publication Activity (10 Years)

Years Active: 1998-2010
Publications (10 Years): 0

Publications

Mariano Ceccato, Thomas Roy Dean, Paolo Tonella, Davide Marchignoli
Migrating legacy data structures based on variable overlay to Java. J. Softw. Maintenance Res. Pract. 22 (3) (2010)
Mariano Ceccato, Thomas Roy Dean, Paolo Tonella, Davide Marchignoli
Data Model Reverse Engineering in Migrating a Legacy System to Java. WCRE (2008)
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. Bioinform. 19 (4) (2003)
Davide Marchignoli, Fabio Martinelli
Automatic Verification of Cryptographic Protocols through Compositional Analysis Techniques. TACAS (1999)
Flavio Corradini, Roberto Gorrieri, Davide Marchignoli
Towards parallelization of concurrent systems. RAIRO Theor. Informatics Appl. 32 (4-6) (1998)