Single use register automata for data words. - Mikolaj Bojanczyk; Rafal Stefanski (CoRR, 2019)

Single-Use Automata and Transducers for Infinite Alphabets. - Mikolaj Bojanczyk; Rafal Stefanski (ICALP, 2020)

Extensions of ω-Regular Languages. - Mikolaj Bojanczyk; Edon Kelmendi; Rafal Stefanski; Georg Zetzsche (LICS, 2020)

Function Spaces for Orbit-Finite Sets. - Mikolaj Bojanczyk; Lê Thành Dung Nguyên; Rafal Stefanski (ICALP, 2024)

The single-use restriction for register automata and transducers over infinite alphabets. - Rafal Stefanski (CoRR, 2024)

Monads, Comonads, and Transducers. - Rafal Stefanski (CoRR, 2024)

Polyregular Model Checking. - Aliaume Lopez; Rafal Stefanski (CAV (3), 2025)

A Formally Verified Lightning Network. - Grzegorz Fabianski; Rafal Stefanski; Orfeas Stefanos Thyfronitis Litos (CoRR, 2025)