Tripzoom: an app to improve your mobility behavior. - Gregor Broll; Hu Cao; Peter Ebben; Paul Holleis; Koen Jacobs; Johan Koolwaaij; Marko Luther; Bertrand Souville (MUM, 2012)

How to do proofs: practically proving properties about effectful programs' results (functional pearl). - Koen Jacobs; Andreas Nuyts; Dominique Devriese (TyDe@ICFP, 2019)

Fully abstract from static to gradual. - Koen Jacobs; Amin Timany; Dominique Devriese (Proc. ACM Program. Lang., 2021)

Purity of an ST monad: full abstraction by semantically typed back-translation. - Koen Jacobs; Dominique Devriese; Amin Timany (Proc. ACM Program. Lang., 2022)