dblp.uni-trier.dewww.uni-trier.de

Davide Marchignoli

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
3EEMariano 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
1EEDavide Marchignoli, Fabio Martinelli: Automatic Verification of Cryptographic Protocols through Compositional Analysis Techniques. TACAS 1999: 148-162

Coauthor Index

1Rita Casadio [2]
2Mariano Ceccato [3]
3Thomas Roy Dean [3]
4Piero Fariselli [2]
5Michele Finelli [2]
6Pier Luigi Martelli [2]
7Fabio Martinelli [1]
8Ivan Rossi [2]
9Paolo Tonella [3]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)