| | Preview | Author(s) | Title | Type | Issue Date |
| 21 | | Jung, Minyoung ; Burgstaller, Bernd ; Blieberger, Johann | Efficient Construction of Simultaneous Deterministic Finite Automata on Multicores Using Rabin Fingerprints | Preprint Preprint | 2015 |
| 22 | | Blieberger, Johann ; Schöbel, Andreas ; Volcic, Mark | Kronecker-Algebra und ihre breit gefächerten Anwendungen im Eisenbahnbereich | Artikel Article | 2014 |
| 23 | | Schöbel, Andreas ; Volcic, Mark ; Blieberger, Johann | Analysis and optimisation of railway systems | Konferenzbeitrag Inproceedings | 2014 |
| 24 | | Volcic, Mark ; Blieberger, Johann ; Schöbel, Andreas | Optimisation of Railway Operation by Application of Kronecker Algebra | Konferenzbeitrag Inproceedings | 2014 |
| 25 | | Blieberger, Johann ; Burgstaller, Bernd | Kronecker Algebra for Static Analysis of Ada Programs with Protected Objects | Konferenzbeitrag Inproceedings | 2014 |
| 26 | | Blieberger, Johann ; Kirschenhofer, Peter | Generalized Catalan Sequences Originating from the Analysis of Special Data Structures | Artikel Article | 2014 |
| 27 | | Volcic, Mark ; Blieberger, Johann ; Schöbel, Andreas | Kronecker Algebra and its Broad Applications in Railway Systems | Konferenzbeitrag Inproceedings | 2013 |
| 28 | | Volcic, Mark ; Blieberger, Johann ; Schöbel, Andreas | Kronecker Algebra as a Frame for Optimisation of Railway Operation | Konferenzbeitrag Inproceedings | 2013 |
| 29 | | Volcic, Mark ; Schöbel, Andreas ; Blieberger, Johann | Kronecker Algebra based Modelling of Railway Operation | Konferenzbeitrag Inproceedings | 2013 |
| 30 | | Ostermann, Norbert ; Blieberger, Johann ; Tauschitz, Peter | Projektbericht Verfügbarkeitsberechnung | Bericht Report | 2012 |
| 31 | | Mittermayr, Robert ; Blieberger, Johann ; Schöbel, Andreas | Kronecker Algebra based Deadlock Analysis for Railway Systems | Artikel Article | 2012 |
| 32 | | Hong, Jingun ; Hong, Kirak ; Burgstaller, Bernd ; Blieberger, Johann | StreamPI: A stream-parallel programming extension for object-oriented programming languages | Artikel Article | 2012 |
| 33 | | Mittermayr, Robert ; Blieberger, Johann | Timing Analysis of Concurrent Programs | Konferenzbeitrag Inproceedings | 2012 |
| 34 | | Burgstaller, Bernd ; Scholz, Bernhard ; Blieberger, Johann | A symbolic analysis framework for static analysis of imperative programming languages | Artikel Article | 2012 |
| 35 | | Volcic, Mark ; Blieberger, Johann ; Schöbel, Andreas | Kronecker Algebra based Travel Time Analysis for Railway Systems | Konferenzbeitrag Inproceedings | 2012 |
| 36 | | Schöbel, Andreas ; Blieberger, Johann | Availability Analysis for Railway Infrastructure based on Graph Theory | Konferenzbeitrag Inproceedings | 2010 |
| 37 | | Hong, Jingun ; Hong, Kirak ; Burgstaller, Bernd ; Blieberger, Johann | AdaStreams: A Type-based Programming Extension for Stream-Parallelism with Ada 2005 | Konferenzbeitrag Inproceedings | 2010 |
| 38 | | Blieberger, Johann ; Ostermann, Norbert ; Schöbel, Andreas | Graphentheoretische Verfügbarkeitsanalyse für die Eisenbahninfrastruktur | Artikel Article | 2009 |
| 39 | | Mittermayr, Robert ; Blieberger, Johann | Static Partial-Order Reduction of Concurrent Systems in Polynomial Time | Konferenzbeitrag Inproceedings | 2008 |
| 40 | | Blieberger, Johann | Average Case Analysis of Some Elimination-Based Data-Flow Analysis Algorithms | Konferenzbeitrag Inproceedings | 2008 |