Artificial Intelligence in Maritime Navigation: A Human Factors Perspective. - Scott N. MacKinnon; Reto Weber; Fredrik Olindersson; Monica Lundh (AHFE (12), 2020)

Loop unrolling: formal definition and application to testing. - Li Huang 001; Bertrand Meyer 001; Reto Weber (CoRR, 2025)

Programming Really Is Simple Mathematics. - Bertrand Meyer 001; Reto Weber (CoRR, 2025)

Do AI models help produce verified bug fixes? - Li Huang 001; Ilgiz Mustafin; Marco Piccioni; Alessandro Schena; Reto Weber; Bertrand Meyer 001 (CoRR, 2025)