Rafal Stefanski

According to our database, Rafal Stefanski authored at least 3 papers between 2019 and 2020.

Collaborative distances:

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

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