Rafal Stefanski

According to our database, Rafal Stefanski authored at least 6 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Monads, Comonads, and Transducers.

Rafal Stefanski

CoRR, 2024

The single-use restriction for register automata and transducers over infinite alphabets.

Rafal Stefanski

CoRR, 2024

Function Spaces for Orbit-Finite Sets.

Mikolaj Bojanczyk, Lê Thành Dung Nguyên, Rafal Stefanski

Proceedings of the 51st International Colloquium on Automata, Languages, and Programming, 2024

2020

Extensions of ω-Regular Languages.

Mikolaj Bojanczyk, Edon Kelmendi, Rafal Stefanski, Georg Zetzsche

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

Single-Use Automata and Transducers for Infinite Alphabets.

Mikolaj Bojanczyk, Rafal Stefanski

Proceedings of the 47th International Colloquium on Automata, Languages, and Programming, 2020

2019

Single use register automata for data words.

Mikolaj Bojanczyk, Rafal Stefanski

CoRR, 2019