Davide Marchignoli

	2010
4		Mariano Ceccato, Thomas Roy Dean, Paolo Tonella, Davide Marchignoli: Migrating legacy data structures based on variable overlay to Java. Journal of Software Maintenance 22(3): 211-237 (2010)
	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] [4]
3	Thomas R. Dean (Thomas Roy Dean)	[3] [4]
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] [4]

Colors in the list of coauthors

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page