- Computing Exact Worst-Case Gas Consumption for Smart Contracts2018 | Faculty of Mathematics and Physics
- Book review: Blockchains, Smart Contracts, Decentralised Autonomous Organisations and the Law2020 | Faculty of Law
- Forecasting in Blockchain-Based Local Energy Markets2019 | Faculty of Mathematics and Physics
- Civil Law and New Technologies2022 | Faculty of Law
- SolCMC: Solidity Compiler's Model Checker2022 | Faculty of Mathematics and Physics
- Decentralized autonomous organization (DAO) as a challenge for law2022 | Faculty of Law
- Legal Acts and Procedural Acts. Relationships and New Aspects2019 | Faculty of Law