Jakub Zakrzewski

Orcid: 0000-0003-0998-9460

Affiliations:

Jagiellonian University in Krakow, Poland
University of Warsaw, Poland (former)

According to our database¹, Jakub Zakrzewski authored at least 4 papers between 2016 and 2023.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2023

Quantum Chaos and Level Dynamics.

[BibT_eX]

[DOI]

Jakub Zakrzewski

Entropy, March, 2023

2021

Self-organized topological insulator due to cavity-mediated correlated tunneling.

[BibT_eX]

[DOI]

Quantum, 2021

2018

Towards Verification of Ethereum Smart Contracts: A Formalization of Core of Solidity.

[BibT_eX]

[DOI]

Jakub Zakrzewski

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2018

2016

Coq Support in HAHA.

[BibT_eX]

[DOI]

Jacek Chrzaszcz

Aleksy Schubert

Jakub Zakrzewski

Proceedings of the 22nd International Conference on Types for Proofs and Programs, 2016

Jakub Zakrzewski

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...