Get started
Author

Grzegorz Fabiański

Observed name: Fabiański, Grzegorz
ORCID: 0000-0001-9146-4131
Observed ORCID: 0000-0001-9146-4131
OpenAlex ID: A5082761159
Progressive Algorithms for Domination and Independence
2018 · Fabiański, Grzegorz, Pilipczuk, Michał, et al. · arXiv (Cornell University) · 25
PDF
Lower Bounds for Off-Chain Protocols: Exploring the Limits of Plasma
2021 · Dziembowski, Stefan, Fabiański, Grzegorz, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 11
PDF
A Formally Verified Lightning Network
2026 · Grzegorz Fabiański, Rafał Stefański, et al. · Lecture notes in computer science · 2
PDF
Uniformisations of Regular Relations Over Bi-Infinite Words
2020 · Grzegorz Fabiański, Michał Skrzypczak, et al. · ACM/IEEE Symposium on Logic in Computer Science (LICS) · 2
Game Hopping in Lean
2026 · Dziembowski, Stefan, Fabiański, Grzegorz, et al. · arXiv (Cornell University)
PDF
Computationally Sound Symbolic Cryptography in Lean
2026 · Stefan Dziembowski, Grzegorz Fabiański, et al. · IEEE Computer Security Foundations Workshop (CSFW)
Polyregular equivalence is undecidable in higher-order types
2026 · Bojańczyk, Mikołaj, Fabiański, Grzegorz, et al. · arXiv (Cornell University)
PDF
Properties of nowhere dense graph classes related to independent set problem
2019 · Fabiański, Grzegorz · arXiv (Cornell University)
PDF
Works count: 8
Citation count: 40
H-index: 2
I10-index: 2
Year
Topic
Type