Davide Marchignoli

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

Coauthor Index

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]

Colors in the list of coauthors