Davide Marchignoli

According to our database, Davide Marchignoli authored at least 6 papers between 1998 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2010

Migrating legacy data structures based on variable overlay to Java.

Mariano Ceccato, Thomas Roy Dean, Paolo Tonella, Davide Marchignoli

J. Softw. Maintenance Res. Pract., 2010

2008

Data Model Reverse Engineering in Migrating a Legacy System to Java.

Mariano Ceccato, Thomas Roy Dean, Paolo Tonella, Davide Marchignoli

Proceedings of the WCRE 2008, 2008

2003

MaxSubSeq: an algorithm for segment-length optimization. The case study of the transmembrane spanning segments.

Piero Fariselli, Michele Finelli, Davide Marchignoli, Pier Luigi Martelli, Ivan Rossi, Rita Casadio

Bioinform., 2003

2002

Natural deduction systems for temporal logics.

Davide Marchignoli

PhD thesis, 2002

1999

Automatic Verification of Cryptographic Protocols through Compositional Analysis Techniques.

Davide Marchignoli, Fabio Martinelli

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999

1998

Towards parallelization of concurrent systems.

Flavio Corradini, Roberto Gorrieri, Davide Marchignoli

RAIRO Theor. Informatics Appl., 1998