The Reactive Engine for Modular Transducers. - Gérard P. Huet; Benoît Razet (Essays Dedicated to Joseph A. Goguen, 2006)

Finite Eilenberg Machines. - Benoît Razet (CIAA, 2008)

Simulating Finite Eilenberg Machines with a Reactive Engine. - Benoît Razet (MSFP@ICALP, 2008)

Machines d'Eilenberg Effectives. - Benoît Razet (2009)

Average Analysis of Glushkov Automata under a BST-Like Model. - Cyril Nicaud; Carine Pivoteau; Benoît Razet (FSTTCS, 2010)

Computing with relational machines. - Gérard P. Huet; Benoît Razet (Math. Struct. Comput. Sci., 2017)

Inter-family Communication in Hyperledger Sawtooth and Its Application to a Crypto-Asset Framework. - Luke Owens; Benoît Razet; W. Bryan Smith; Theodore C. Tanner Jr. (ICDCIT, 2019)

Weird Machines as Insecure Compilation. - Jennifer Paykin; Eric Mertens; Mark Tullsen; Luke Maurer; Benoît Razet; Alexander Bakst; Scott Moore 001 (CoRR, 2019)

Appenzeller to Brie: Efficient Zero-Knowledge Proofs for Mixed-Mode Arithmetic and Z2k. - Carsten Baum; Lennart Braun; Alexander Munch-Hansen; Benoît Razet; Peter Scholl (CCS, 2021)

Daedalus: Safer Document Parsing. - Iavor S. Diatchki; Mike Dodds; Harrison Goldstein; Bill Harris; David A. Holland; Benoît Razet; Cole Schlesinger; Simon Winwood (Proc. ACM Program. Lang., 2024)