We stand with Ukraine  

Jakub Zakrzewski

Affiliations:
  • NVIDIA
  • University of Warsaw, Poland (former)


According to our database1, Jakub Zakrzewski authored at least 3 papers between 2016 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Design of a Standard-Compliant Real-Time Neural Receiver for 5G NR.
[BibTeX]
[DOI]
Reinhard Wiesmayr
,
Sebastian Cammerer
,
Fayçal Aït Aoudia
,
Jakob Hoydis
,
Jakub Zakrzewski
,
Alexander Keller
CoRR, 2024

2018
Towards Verification of Ethereum Smart Contracts: A Formalization of Core of Solidity.
[BibTeX]
[DOI]
Jakub Zakrzewski
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2018

2016
Coq Support in HAHA.
[BibTeX]
[DOI]
Jacek Chrzaszcz
,
Aleksy Schubert
,
Jakub Zakrzewski
Proceedings of the 22nd International Conference on Types for Proofs and Programs, 2016


  Loading...