Using aetnanova to formally prove that the Davis-Putnam satisfiability test is correct

by Eugenio G. Omodeo, Alexandru I. Tomescu
Published 2008-05-01

A safe and complete algorithm for metagenomic assembly

by Nidia Obscura Acosta, Veli Mäkinen, Alexandru I. Tomescu
Published 2018-02-01

A rank-based sequence aligner with applications in phylogenetic analysis.

by Liviu P Dinu, Radu Tudor Ionescu, Alexandru I Tomescu
Published 2014-01-01