Jakub Zakrzewski

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 4

Top Topics

Topological Features

Fingerprint Verification

Top Venues

Publications

Jakub Zakrzewski
Quantum Chaos and Level Dynamics. Entropy 25 (3) (2023)
Titas Chanda, Rebecca Kraus, Giovanna Morigi, Jakub Zakrzewski
Self-organized topological insulator due to cavity-mediated correlated tunneling. Quantum 5 (2021)
Jakub Zakrzewski
Towards Verification of Ethereum Smart Contracts: A Formalization of Core of Solidity. VSTTE (2018)
Jacek Chrzaszcz, Aleksy Schubert, Jakub Zakrzewski
Coq Support in HAHA. TYPES (2016)