| 2026 | CGO | Partial-Evaluation Templates: Accelerating Partial Evaluation with Pre-compiled Templates. | Florian Huemer, Aleksandar Prokopec, David Leopoldseder, Raphael Mosaner, Hanspeter Mssenbck |
| 2024 | DDECS | QDI Binary Comparator Networks and their Application in Combinational Logic. | Florian Huemer |
| 2024 | ECOOP | Taking a Closer Look: An Outlier-Driven Approach to Compilation-Time Optimization. | Florian Huemer, David Leopoldseder, Aleksandar Prokopec, Raphael Mosaner, Hanspeter Mssenbck |
| 2022 | DDECS | On SAT-Based Model Checking of Speed-Independent Circuits. | Florian Huemer, Robert Najvirt, Andreas Steininger |
| 2021 | DSD | An Automated Setup for Large-Scale Simulation-Based Fault-Injection Experiments on Asynchronous Digital Circuits. | Patrick Behal, Florian Huemer, Robert Najvirt, Andreas Steininger |
| 2018 | DDECS | Using a Duplex Time-to-Digital Converter for Metastability Characterization of an FPGA. | Florian Huemer, Thomas Polzer, Andreas Steininger |
| 2017 | DDECS | Measuring metastability using a time-to-digital converter. | Thomas Polzer, Florian Huemer, Andreas Steininger |
| 2016 | ICCD | A new coding scheme for fault tolerant 4-phase delay-insensitive codes. | Florian Huemer, Jakob Lechner, Andreas Steininger |
| 2015 | ICCD | Methods for analysing and improving the fault resilience of delay-insensitive codes. | Jakob Lechner, Andreas Steininger, Florian Huemer |