Rafal Stefanski

13 papers A* 3A 1Journal 8Unranked 1
YearRankTypeTitle / Venue / Authors
2025 A conf
A Formally Verified Lightning Network.
FC
Grzegorz Fabianski, Rafal Stefanski, Orfeas Stefanos Thyfronitis Litos
2025 J jnl
A Formally Verified Lightning Network.
CoRR
Grzegorz Fabianski, Rafal Stefanski, Orfeas Stefanos Thyfronitis Litos
2025 J jnl
Computationally-Sound Symbolic Cryptography in Lean.
IACR Cryptol. ePrint Arch.
Stefan Dziembowski, Grzegorz Fabianski, Daniele Micciancio, Rafal Stefanski
2025 — conf
Polyregular Model Checking.
CAV (3)
Aliaume Lopez, Rafal Stefanski
2025 J jnl
Polyregular Model Checking.
CoRR
Aliaume Lopez, Rafal Stefanski
2024 A* conf
Function Spaces for Orbit-Finite Sets.
ICALP
Mikolaj Bojanczyk, Lê Thành Dung Nguyên, Rafal Stefanski
2024 J jnl
Function spaces for orbit-finite sets.
CoRR
Mikolaj Bojanczyk, Lê Thành Dung Nguyên, Rafal Stefanski
2024 J jnl
Monads, Comonads, and Transducers.
CoRR
Rafal Stefanski
2024 J jnl
The single-use restriction for register automata and transducers over infinite alphabets.
CoRR
Rafal Stefanski
2020 A* conf
Extensions of ω-Regular Languages.
LICS
Mikolaj Bojanczyk, Edon Kelmendi, Rafal Stefanski, Georg Zetzsche
2020 J jnl
Extensions of ω-Regular Languages.
CoRR
Mikolaj Bojanczyk, Edon Kelmendi, Rafal Stefanski, Georg Zetzsche
2020 A* conf
Single-Use Automata and Transducers for Infinite Alphabets.
ICALP
Mikolaj Bojanczyk, Rafal Stefanski
2019 J jnl
Single use register automata for data words.
CoRR
Mikolaj Bojanczyk, Rafal Stefanski