Concepedia

Alberto Policriti

AP

61

Publications

2.4K

Citations

24

H-Index

1988

Active since

Affiliations

University of Udine(Current)

Istituto di Genomica Applicata

University of Trieste

Courant Institute of Mathematical Sciences

Ca' Foscari University of Venice

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

Top concepts

EngineeringAutomated ReasoningComputer ScienceFormal MethodsFormal VerificationGraph TheoryMedicineMathematical ProgrammingSemanticsSystems Biology

Publications per year

1988–2023

61

Publications

61

GapFiller: a de novo assembly approach to fill the gap within paired reads

Francesca Nadalin, Francesco Vezzi, Alberto Policriti · BMC Bioinformatics · 2012 · 362 citations · Full text

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 et al. · Theoretical and Applied Genetics · 2010 · 250 citations

Biology, Plant Biology, Plant Genetics +13

An efficient algorithm for computing bisimulation equivalence

Agostino Dovier, Carla Piazza, Alberto Policriti · Theoretical Computer Science · 2003 · 143 citations · Full text

Engineering, Mechanical Verification, Computer Engineering +8

Model Building and Model Checking for Biochemical Processes

Marco Antoniotti, Alberto Policriti, Nadia Ugel et al. · Cell Biochemistry and Biophysics · 2003 · 109 citations · Full text

Engineering, Biochemistry, Bioenergetics +9

From Bisimulation to Simulation: Coarsest Partition Problems

Raffaella Gentilini, Carla Piazza, Alberto Policriti · Journal of Automated Reasoning · 2003 · 108 citations · Full text

Rows per page

1–5 of 61