| 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 | 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 |
| 2019 | GD | Extending Simple Drawings. | Alan Arroyo, Martin Derka, Irene Parada |
| 2018 | LATIN | Partitioning Orthogonal Histograms into Rectangular Boxes. | Therese Biedl, Martin Derka, Veronika Irvine, Anna Lubiw, Debajyoti Mondal, Alexi Turcotte |
| 2017 | GD | Improved Bounds for Drawing Trees on Fixed Points with L-Shaped Edges. | Therese Biedl, Timothy M. Chan, Martin Derka, Kshitij Jain, Anna Lubiw |
| 2017 | GD | EPG-representations with Small Grid-Size. | Therese Biedl, Martin Derka, Vida Dujmovic, Pat Morin |
| 2017 | ISAAC | Crossing Number for Graphs with Bounded~Pathwidth. | Therese Biedl, Markus Chimani, Martin Derka, Petra Mutzel |
| 2017 | SOFSEM | Order-Preserving 1-String Representations of Planar Graphs. | Therese Biedl, Martin Derka |
| 2017 | WADS | Splitting B_2 -VPG Graphs into Outer-String and Co-Comparability Graphs. | Therese Biedl, Martin Derka |
| 2015 | IWOCA | List Colouring and Partial List Colouring of Graphs On-line. | Martin Derka, Alejandro Lpez-Ortiz, Daniela Maftuleac |
| 2011 | IWOCA | How Not to Characterize Planar-Emulable Graphs. | Markus Chimani, Martin Derka, Petr Hlinen, Matej Kluscek |