Publications

Rafał Stefański

2025

• Aliaume Lopez , Rafał Stefański , Polyregular Model Checking, Computer Aided Verification 2025, Zagreb, Croatia, 23 July 2025 - 25 July 2025, 15933 2025, p. 3-25. See in PBN

2024

• Mikołaj Bojańczyk , Lê Thành Dũng (Tito) Nguyen, Rafał Stefański , Function Spaces for Orbit-Finite Sets, 51st International Colloquium on Automata, Languages and Programming, Tallinn, Estonia, 8 July 2024 - 12 July 2024. See in PBN

2020

• Georg Zetzsche, Mikołaj Bojańczyk , Rafał Stefański , Edon Kelmendi, Extensions of ω-Regular Languages, Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrücken, Germany, 8 July 2020 - 11 July 2020. See in PBN
• Mikołaj Bojańczyk , Rafał Stefański , Single-Use Automata and Transducers for Infinite Alphabets, 47th International Colloquium on Automata, Languages and Programming, Saarbrücken, Germany, 8 July 2020 - 11 July 2020. See in PBN

Others

• Rafał Stefański , Joanna Czarnota-Bojarska, Psychologiczne wizje organizacji i ich konsekwencje dla funkcjonowania firm i pracowników, Psychologia biznesu : psychologia w biznesie, , p. 231-252. See in PBN