Rafal Stefanski
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2020–2025
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CAV | Polyregular Model Checking. | Aliaume Lopez, Rafal Stefanski |
| 2025 | FC | A Formally Verified Lightning Network. | Grzegorz Fabianski, Rafal Stefanski, Orfeas Stefanos Thyfronitis Litos |
| 2024 | ICALP | Function Spaces for Orbit-Finite Sets. | Mikolaj Bojanczyk, L Thnh Dung Nguyn, Rafal Stefanski |
| 2020 | ICALP | Single-Use Automata and Transducers for Infinite Alphabets. | Mikolaj Bojanczyk, Rafal Stefanski |
| 2020 | LICS | Extensions of ω-Regular Languages. | Mikolaj Bojanczyk, Edon Kelmendi, Rafal Stefanski, Georg Zetzsche |