Coq Support in HAHA. - Jacek Chrzaszcz; Aleksy Schubert; Jakub Zakrzewski 003 (TYPES, 2016)

Towards Verification of Ethereum Smart Contracts: A Formalization of Core of Solidity. - Jakub Zakrzewski 003 (VSTTE, 2018)

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 003; Alexander Keller 001 (CoRR, 2024)