A Tensor Formalism for Computer Science. - Jon Bratseth; Håvard Pettersen; Lester Solbakken (ISEEIE, 2021)

Supporting School Aged Children to Train Their Vision by Using Serious Games. - Ilona Heldal; Carsten Helgesen; Qasim Ali 006; Daniel Patel; Atle Birger Geitung; Håvard Pettersen (Comput., 2021)

Call graph discovery in binary programs from unknown instruction set architectures. - Håvard Pettersen; Donn Morrison (CoRR, 2024)