Rafal Stefanski

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 8

Top Topics

Equivalence Queries

Finite Automata

Regular Languages

Linearly Separable

Top Venues

Publications

Mikolaj Bojanczyk, Lê Thành Dung Nguyên, Rafal Stefanski
Function Spaces for Orbit-Finite Sets. ICALP (2024)
Rafal Stefanski
Monads, Comonads, and Transducers. CoRR (2024)
Rafal Stefanski
The single-use restriction for register automata and transducers over infinite alphabets. CoRR (2024)
Mikolaj Bojanczyk, Lê Thành Dung Nguyên, Rafal Stefanski
Function spaces for orbit-finite sets. CoRR (2024)
Mikolaj Bojanczyk, Edon Kelmendi, Rafal Stefanski, Georg Zetzsche
Extensions of ω-Regular Languages. CoRR (2020)
Mikolaj Bojanczyk, Edon Kelmendi, Rafal Stefanski, Georg Zetzsche
Extensions of ω-Regular Languages. LICS (2020)
Mikolaj Bojanczyk, Rafal Stefanski
Single-Use Automata and Transducers for Infinite Alphabets. ICALP (2020)
Mikolaj Bojanczyk, Rafal Stefanski
Single use register automata for data words. CoRR (2019)