Jakub Zakrzewski

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

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Fold-CP: A Context Parallelism Framework for Biomolecular Modeling.

Dejun Lin, Simon K. S. Chu, Vishanth Iyer, Youhan Lee, John St. John, Kevin Boyd, Brian Roland, Xiaowei Ren, Guoqing Zhou, Zhonglin Cao, Polina Binder, Yuliya Zhautouskaya, Jakub Zakrzewski, Maximilian Stadler, Kyle Gion, Yuxing Peng, Xi Chen, Tianjing Zhang, Philipp Junk, Michelle Dimon, Pawel Gniewek, Fabian Ortega, McKinley Polen, Ivan Grubisic, Ali Bashir, Graham Holt, Danny Kovtun, Matthias Grass, Luca Naef, Rui Wang, Jian Peng, Anthony B. Costa, Saee Paliwal, Eddie Calleja, Timur Rvachov, Neha Tadimeti, Roy Tal, Emine Küçükbenli

CoRR, March, 2026

2024

Design of a Standard-Compliant Real-Time Neural Receiver for 5G NR.

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.

Jakub Zakrzewski

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

2016

Coq Support in HAHA.

Jacek Chrzaszcz, Aleksy Schubert, Jakub Zakrzewski

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