Pétur Helgi Einarsson

2PUBLICATIONS
10CO-AUTHORS
Formal methods for softwareComputational complexity and computability
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (2)

|Apr 15, 2024
The impact of package selection and versioning on single-cell RNA-seq analysis.

Joseph M Rich, Lambda Moses, Pétur Helgi Einarsson

|May 02, 2023
BUSZ: compressed BUS files.

Pétur Helgi Einarsson, Páll Melsted

Pageof 1