| The grapevine genome sequence suggests ancestral hexaploidization in major angiosperm phyla nature 449 (7161), 463-467, 2007 | 4092 | 2007 |
| The high-quality draft genome of peach (Prunus persica) identifies unique patterns of genetic diversity, domestication and genome evolution International Peach Genome Initiative, I Verde, AG Abbott, S Scalabrin, ... Nature genetics 45 (5), 487-494, 2013 | 1213 | 2013 |
| GapFiller: a de novo assembly approach to fill the gap within paired reads F Nadalin, F Vezzi, A Policriti BMC bioinformatics 13, 1-16, 2012 | 380 | 2012 |
| The SSR-based molecular profile of 1005 grapevine (Vitis vinifera L.) accessions uncovers new synonymy and parentages, and reveals a large admixture amongst … G Cipriani, A Spadotto, I Jurman, G Di Gaspero, M Crespan, S Meneghetti, ... Theoretical and applied genetics 121, 1569-1585, 2010 | 314 | 2010 |
| An efficient algorithm for computing bisimulation equivalence A Dovier, C Piazza, A Policriti Theoretical Computer Science 311 (1-3), 221-256, 2004 | 217 | 2004 |
| Set theory for computing: from decision procedures to declarative programming with sets D Cantone, E Omodeo, A Policriti Springer Science & Business Media, 2013 | 199 | 2013 |
| High throughput approaches reveal splicing of primary microRNA transcripts and tissue specific expression of mature microRNAs in Vitis vinifera E Mica, V Piccolo, M Delledonne, A Ferrarini, M Pezzotti, C Casati, ... BMC genomics 10, 1-19, 2009 | 150* | 2009 |
| Model building and model checking for biochemical processes M Antoniotti, A Policriti, N Ugel, B Mishra Cell biochemistry and biophysics 38, 271-286, 2003 | 143 | 2003 |
| From bisimulation to simulation: Coarsest partition problems R Gentilini, C Piazza, A Policriti Journal of Automated Reasoning 31, 73-103, 2003 | 140 | 2003 |
| Computing strongly connected components in a linear number of symbolic steps. R Gentilini, C Piazza, A Policriti SODA 3, 573-582, 2003 | 112 | 2003 |
| Algorithmic algebraic model checking I: Challenges from systems biology C Piazza, M Antoniotti, V Mysore, A Policriti, F Winkler, B Mishra International Conference on Computer Aided Verification, 5-19, 2005 | 96 | 2005 |
| GAM-NGS: genomic assemblies merger for next generation sequencing R Vicedomini, F Vezzi, S Scalabrin, L Arvestad, A Policriti BMC bioinformatics 14, 1-18, 2013 | 88 | 2013 |
| Modeling biological systems in stochastic concurrent constraint programming L Bortolussi, A Policriti Constraints 13, 66-90, 2008 | 88 | 2008 |
| A fast bisimulation algorithm A Dovier, C Piazza, A Policriti International Conference on Computer Aided Verification, 79-90, 2001 | 87 | 2001 |
| Stochastic concurrent constraint programming and differential equations L Bortolussi, A Policriti Electronic Notes in Theoretical Computer Science 190 (3), 27-42, 2007 | 63 | 2007 |
| LZ77 computation based on the run-length encoded BWT A Policriti, N Prezza Algorithmica 80 (7), 1986-2011, 2018 | 58 | 2018 |
| Structured motifs search M Morgante, A Policriti, N Vitacolonna, A Zuccolo Journal of Computational Biology 12 (8), 1065-1082, 2005 | 57 | 2005 |
| Foundations of a query and simulation system for the modeling of biochemical and biological processes M Antoniotti, F Park, A Policriti, N Ugel, B Mishra Biocomputing 2003, 116-127, 2002 | 57 | 2002 |
| rNA: a fast and accurate short reads numerical aligner F Vezzi, C Del Fabbro, AI Tomescu, A Policriti Bioinformatics 28 (1), 123-124, 2012 | 55 | 2012 |
| A uniform axiomatic view of lists, multisets, and sets, and the relevant unification algorithms A Dovier, A Policriti, G Rossi Fundamenta Informaticae 36 (2-3), 201-234, 1998 | 53 | 1998 |
Eugenio OmodeoUniversità degli Studi di Trieste, formerly professor in Computer Science, today 'senior scholar'確認したメール アドレス: units.it