Modelling Arbitrary Computations in the Symbolic Model using an Equational Theory for Bounded Binary Circuits. - Michiel Marcus; Frank Westers; Anne Nijsten (CoRR, 2025)

Knot theory and error-correcting codes. - Altan Berdan Kilic; Anne Nijsten; Ruud Pellikaan; Alberto Ravagnani (Des. Codes Cryptogr., 2025)