Get started
Author

Rafał Stefański

Observed name: Stefański, Rafał
ORCID: 0000-0002-8439-4056
Observed ORCID: 0000-0002-8439-4056
OpenAlex ID: A5005366213
Single use register automata for data words
2019 · Bojańczyk, Mikołaj, Stefański, Rafał · arXiv (Cornell University) · 22
PDF
Function Spaces for Orbit-Finite Sets
2024 · Bojańczyk, Mikołaj, Nguyễn, Lê Thành Dũng (Tito), et al. · arXiv (Cornell University) · 3
PDF
A Formally Verified Lightning Network
2026 · Grzegorz Fabiański, Rafał Stefański, et al. · Lecture notes in computer science · 2
PDF
Extensions of ω-Regular Languages
2020 · Mikołaj Bojańczyk, Edon Kelmendi, et al. · ACM/IEEE Symposium on Logic in Computer Science (LICS) · 2
PDF
Game Hopping in Lean
2026 · Dziembowski, Stefan, Fabiański, Grzegorz, et al. · arXiv (Cornell University)
PDF
Regularity as seen by Alice and Bob
2026 · Yaghoubi, Omid, Bojańczyk, Mikołaj, et al. · arXiv (Cornell University)
PDF
Polyregular equivalence is undecidable in higher-order types
2026 · Bojańczyk, Mikołaj, Fabiański, Grzegorz, et al. · arXiv (Cornell University)
PDF
First-Order Polyregular Model Cheching
2025 · Lopez, Aliaume, Stefański, Rafał · Zenodo (CERN European Organization for Nuclear Research)
Polyregular Model Checking
2025 · Aliaume Lopez, Rafał Stefański · Lecture notes in computer science
PDF
Monads, Comonads, and Transducers
2024 · Stefański, Rafał · arXiv (Cornell University)
PDF
The single-use restriction for register automata and transducers over infinite alphabets
2024 · Stefański, Rafał · arXiv (Cornell University)
PDF
Psychologiczne wizje organizacji i ich konsekwencje dla funkcjonowania firm i pracowników
2020 · Stefański, Rafał, Czarnota-Bojarska, Joanna · ReIn UW (University of Warsaw)
Nie ma biznesu bez emocji
2007 · Zofia Jaworowska-Obłój, Justyna Olszańska, et al. · Personel i Zarządzanie
Wytrych czy klucz do sukcesu
2007 · Zofia Jaworowska-Obłój, Justyna Olszańska, et al. · Personel i Zarządzanie
Works count: 16
Citation count: 29
H-index: 2
I10-index: 1
Year
Topic
Type