pid type title authors mentors source_title published_date url doi isbn issn eissn pmf:10339 dissertation "Combinatorial optimization algorithms for (pseudo)alignment in bioinformatics" "Borozan, Luka"