MATLANG: Matrix operations and their expressive power. - Robert Brijder; Floris Geerts; Jan Van den Bussche; Timmy Weerwag (SIGMOD Rec., 2019)

On the Expressive Power of Query Languages for Matrices. - Robert Brijder; Floris Geerts; Jan Van den Bussche; Timmy Weerwag (ACM Trans. Database Syst., 2019)

X86 instruction semantics and basic block symbolic execution. - Freek Verbeek; Abhijith Bharadwaj; Joshua A. Bockenek; Ian Roessle; Timmy Weerwag; Binoy Ravindran (Arch. Formal Proofs, 2021)

A Coq proof of the correctness of X25519 in TweetNaCl. - Peter Schwabe; Benoît Viguier; Timmy Weerwag; Freek Wiedijk (IACR Cryptol. ePrint Arch., 2021)