| 2026 | SANER | Ethereum Layer Two Client Similarity: Geth. | Jan Gorzny, Zhiyang Chen, Krzysztof Gogol |
| 2025 | FC | Early Observations of Based Rollups: A Case Study of Taiko. | Jan Gorzny, Phillip Kemper, Martin Derka |
| 2025 | RE | Account Abstraction for Enforcing Blockchain-Based AI Agent Non-Functional Requirements. | Jan Gorzny, Fatemeh Heidari Soureshjani, Martin Derka |
| 2025 | SAC | Decentralized Finance Withdrawal Delays. | Jan Gorzny |
| 2025 | SANER | Instrumenting Transaction Trace Properties in Smart Contracts: Extending EVM for Real-Time Security. | Zhiyang Chen, Jan Gorzny, Martin Derka |
| 2024 | RE | Requirements Engineering Challenges for Blockchain Rollups. | Jan Gorzny, Martin Derka |
| 2022 | Middleware | Ideal properties of rollup escape hatches. | Jan Gorzny, Po-An Lin, Martin Derka |
| 2020 | COCOA | Computing Imbalance-Minimal Orderings for Bipartite Permutation Graphs and Threshold Graphs. | Jan Gorzny |
| 2020 | COCOON | End-Vertices of AT-free Bigraphs. | Jan Gorzny, Jing Huang |
| 2019 | COCOON | Imbalance, Cutwidth, and the Structure of Optimal Orderings. | Jan Gorzny, Jonathan F. Buss |
| 2015 | CADE | Towards the Compression of First-Order Resolution Proofs by Lowering Unit Clauses. | Jan Gorzny, Bruno Woltzenlogel Paleo |
| 2013 | FASE | Change Propagation due to Uncertainty Change. | Rick Salay, Jan Gorzny, Marsha Chechik |
| 2012 | ICST | Towards a Methodology for Verifying Partial Model Refinements. | Rick Salay, Marsha Chechik, Jan Gorzny |