| 2022 | ISORC | Utilising Kronecker Algebra to Detect Unexpected Behaviour in Distributed Systems. | Patrick Denzler, Johann Blieberger, Wolfgang Kastner |
| 2017 | EuroPar | Lazy Parallel Kronecker Algebra-Operations on Heterogeneous Multicores. | Wasuwee Sodsong, Robert Mittermayr, Yoojin Park, Bernd Burgstaller, Johann Blieberger |
| 2017 | ICPP | Parallel Construction of Simultaneous Deterministic Finite Automata on Shared-Memory Multicores. | Minyoung Jung, Jinwoo Park, Johann Blieberger, Bernd Burgstaller |
| 2008 | ISoLA | Static Partial-Order Reduction of Concurrent Systems in Polynomial Time. | Robert Mittermayr, Johann Blieberger |
| 2007 | CC | A New Elimination-Based Data Flow Analysis Framework Using Annotated Decomposition Trees. | Bernhard Scholz, Johann Blieberger |
| 2000 | PEPM | Symbolic Pointer Analysis for Detecting Memory Leaks. | Bernhard Scholz, Johann Blieberger, Thomas Fahringer |
| 1996 | ECRTS | Multi-Staged Discrete Loops for Real-Time Systems. | Roland Lieger, Johann Blieberger |
| 1995 | ECRTS | Real-time recursive procedures. | Johann Blieberger, Roland Lieger |
| 1995 | SAFECOMP | Loops for Safety Critical Applications. | Johann Blieberger |