Alberto Policriti
Alberto Policriti
Подтвержден адрес электронной почты в домене uniud.it - Главная страница
Название
Процитировано
Процитировано
Год
The grapevine genome sequence suggests ancestral hexaploidization in major angiosperm phyla
O Jaillon, JM Aury, B Noel, A Policriti, C Clepet, A Casagrande, ...
nature 449 (7161), 463, 2007
29872007
The high-quality draft genome of peach (Prunus persica) identifies unique patterns of genetic diversity, domestication and genome evolution
I Verde, AG Abbott, S Scalabrin, S Jung, S Shu, F Marroni, ...
Nature genetics 45 (5), 487-494, 2013
7422013
GapFiller: a de novo assembly approach to fill the gap within paired reads
F Nadalin, F Vezzi, A Policriti
BMC bioinformatics 13 (S14), S8, 2012
2312012
The SSR-based molecular profile of 1005 grapevine (Vitis vinifera L.) accessions uncovers new synonymy and parentages, and reveals a large admixture amongst varieties of …
G Cipriani, A Spadotto, I Jurman, G Di Gaspero, M Crespan, S Meneghetti, ...
Theoretical and Applied Genetics 121 (8), 1569-1585, 2010
1972010
An efficient algorithm for computing bisimulation equivalence
A Dovier, C Piazza, A Policriti
Theoretical Computer Science 311 (1-3), 221-256, 2004
1792004
Set theory for computing: from decision procedures to declarative programming with sets
D Cantone, E Omodeo, A Policriti
Springer Science & Business Media, 2013
1782013
Model building and model checking for biochemical processes
M Antoniotti, A Policriti, N Ugel, B Mishra
Cell biochemistry and biophysics 38 (3), 271-286, 2003
1412003
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), 558, 2009
119*2009
From bisimulation to simulation: Coarsest partition problems
R Gentilini, C Piazza, A Policriti
Journal of Automated Reasoning 31 (1), 73-103, 2003
1162003
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
952005
Computing strongly connected components in a linear number of symbolic steps.
R Gentilini, C Piazza, A Policriti
SODA 3, 573-582, 2003
952003
Modeling biological systems in stochastic concurrent constraint programming
L Bortolussi, A Policriti
Constraints 13 (1-2), 66-90, 2008
822008
A fast bisimulation algorithm
A Dovier, C Piazza, A Policriti
International Conference on Computer Aided Verification, 79-90, 2001
822001
GAM-NGS: genomic assemblies merger for next generation sequencing
R Vicedomini, F Vezzi, S Scalabrin, L Arvestad, A Policriti
BMC bioinformatics 14 (S7), S6, 2013
652013
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
572002
Stochastic concurrent constraint programming and differential equations
L Bortolussi, A Policriti
Electronic Notes in Theoretical Computer Science 190 (3), 27-42, 2007
562007
Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice
M Antoniotti, C Piazza, A Policriti, M Simeoni, B Mishra
Theoretical Computer Science 325 (1), 45-67, 2004
512004
Decidable Theories of ω-Layered Metric Temporal Structures
A Montanari, A Peron, A Policriti
Advances in Temporal Logic, 91-108, 2000
49*2000
A set-theoretic translation method for polymodal logics
G D'Agostino, A Montanari, A Policriti
Journal of Automated Reasoning 15 (3), 317-337, 1995
491995
rNA: a fast and accurate short reads numerical aligner
F Vezzi, C Del Fabbro, AI Tomescu, A Policriti
Bioinformatics 28 (1), 123-124, 2012
482012
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20