Alberto Policriti - Concepedia

Author

Alberto Policriti

Also Known As

A Policriti, A. POLICRITI, A. Policriti, ALBERTO POLICRITI, Aberto Policriti, Alberto Policriti, B. MISHRA, Dag Spicer, POLICRITI, SLANINA, Peterson, Leif

257

Publications

8.4K

Citations

H-Index

Concepts

All Affiliations

University of Udine Istituto di Genomica Applicata University of Trieste Courant Institute of Mathematical Sciences Ca' Foscari University of Venice

About

Alberto Policriti is an author at University of Udine specializing in engineering, automated reasoning, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	19	32	1.1K
2	Medicine	7	7	466
3	Language Studies	4	4	90
4	Business	2	2	65
5	Education	1	1	31

Alberto Policriti

Publications

2.4K

Citations

H-Index

Page 1

	Year	Citations
GapFiller: a de novo assembly approach to fill the gap within paired reads Francesca Nadalin, Francesco Vezzi, Alberto Policriti BMC Bioinformatics	2012	362
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 different geographic origin G. Cipriani, Alessandro Spadotto, Irena Jurman, Theoretical and Applied Genetics BiologyPlant BiologyPlant GeneticsPhylogeneticsBotany	2010	250
An efficient algorithm for computing bisimulation equivalence Agostino Dovier, Carla Piazza, Alberto Policriti Theoretical Computer Science EngineeringMechanical VerificationComputer EngineeringFormal MethodsComputer-aided Verification	2003	143
Model Building and Model Checking for Biochemical Processes Marco Antoniotti, Alberto Policriti, Nadia Ugel, Cell Biochemistry and Biophysics EngineeringBiochemistryBioenergeticsBioanalysisBiochemical Engineering	2003	109
From Bisimulation to Simulation: Coarsest Partition Problems Raffaella Gentilini, Carla Piazza, Alberto Policriti Journal of Automated Reasoning	2003	108
Computing strongly connected components in a linear number of symbolic steps Raffaella Gentilini, Carla Piazza, Alberto Policriti Symposium on Discrete Algorithms Numerical AnalysisMathematical ProgrammingDirected GraphEngineeringComputational Complexity	2003	94
High throughput approaches reveal splicing of primary microRNA transcripts and tissue specific expression of mature microRNAs in Vitis vinifera Erica Mica, Viviana Piccolo, Massimo Delledonne, BMC Genomics	2009	93
GAM-NGS: genomic assemblies merger for next generation sequencing Riccardo Vicedomini, Francesco Vezzi, Simone Scalabrin, BMC Bioinformatics	2013	90
Modeling Biological Systems in Stochastic Concurrent Constraint Programming Luca Bortolussi, Alberto Policriti Constraints Mathematical ProgrammingConstraint SolvingEngineeringConstraint SatisfactionBiological Systems	2008	64
Structured Motifs Search Michele Morgante, Alberto Policriti, Nicola Vitacolonna, Journal of Computational Biology EngineeringStructural Pattern RecognitionPattern DiscoveryGraph MatchingString-searching Algorithm	2005	49

Page 1