| | Preview | Authors / Editors | Title | Type | Issue Date |
| 1 | | Blieberger, Johann ; Burgstaller, Bernd | WPP - Programmer's and User's Guide (TR 183/1-74) | Bericht Report | 1997 |
| 2 | | Burgstaller, Bernd ; Scholz, Bernhard ; Blieberger, Johann | Tour de Spec - A Collection of Spec95 Program Paths and Associated Costs for Symbolic Evaluation | Bericht Report | 2004 |
| 3 | | Blieberger, Johann ; Burgstaller, Bernd | The Role of GNAT within Project WOOP | Präsentation Presentation | 1995 |
| 4 | | Blieberger, Johann ; Burgstaller, Bernd | Symbolic reaching definitions analysis of Ada programs | Konferenzbeitrag Inproceedings | 1998 |
| 5 |  | Burgstaller, Bernd | Symbolic evaluation of imperative programming languages | Thesis Hochschulschrift  | 2005 |
| 6 | | Blieberger, Johann ; Burgstaller, Bernd ; Scholz, Bernhard | Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs | Konferenzbeitrag Inproceedings | 2000 |
| 7 | | Burgstaller, Bernd ; Scholz, Bernhard ; Blieberger, Johann | Symbolic Analysis of Imperative Programming Languages | Konferenzbeitrag Inproceedings  | 2006 |
| 8 | | Blieberger, Johann ; Burgstaller, Bernd ; Mittermayr, Robert ; Abdennadher, Nabil ; Kordon, Fabrice | Static Detection of Livelocks in Ada Multitasking Programs | Konferenzbeitrag Inproceedings | 2007 |
| 9 | | Burgstaller, Bernd ; Blieberger, Johann ; Mittermayr, Robert | Static Detection of Access Anomalies in Ada95 | Konferenzbeitrag Inproceedings  | 2006 |
| 10 | | Schmid, Ulrich ; Kastner, Wolfgang ; Burgstaller, Bernd ; Kral, Christian | Skriptum zur Laborübung "Prozeßautomatisierung" | Bericht Report | 2000 |
| 11 | | Blieberger, Johann ; Burgstaller, Bernd ; Casimiro, António ; Ferreira, Pedro M. | Safe Non-blocking Synchronization in Ada2x | Konferenzbeitrag Inproceedings  | 2018 |
| 12 | | Jung, Minyoung ; Park, Jinwoo ; Blieberger, Johann ; Burgstaller, Bernd | Parallel Construction of Simultaneous Deterministic Finite Automata on Shared-memory Multicores | Präsentation Presentation | 2019 |
| 13 | | Jung, Minyoung ; Park, Jinwoo ; Blieberger, Johann ; Burgstaller, Bernd | Parallel Construction of Simultaneous Deterministic Finite Automata on Shared-Memory Multicores | Konferenzbeitrag Inproceedings  | 2017 |
| 14 | | Burgstaller, Bernd | Numerik | Buchbeitrag Book Contribution | 2002 |
| 15 | | Burgstaller, Bernd ; Kastner, Wolfgang | Mapping of a Real-Time Operating System to UNIX (TR 183/1-109) | Bericht Report | 2000 |
| 16 | | Sodsong, Wasuwee ; Mittermayr, Robert ; Park, Yoojin ; Burgstaller, Bernd ; Blieberger, Johann ; Rivera, Francisco F. ; Pena, Tomás F. ; Cabaleiro, Jose C. | Lazy Parallel Kronecker Algebra-Operations on Heterogeneous Multicores | Konferenzbeitrag Inproceedings  | 2017 |
| 17 | | Blieberger, Johann ; Burgstaller, Bernd | Kronecker Algebra for Static Analysis of Ada Programs with Protected Objects | Konferenzbeitrag Inproceedings  | 2014 |
| 18 | | Blieberger, Johann ; Burgstaller, Bernd ; Scholz, Bernhard | Interprocedural Symbolic Evaluation of Ada Programs with Aliases | Konferenzbeitrag Inproceedings | 1999 |
| 19 | | Blieberger, Johann ; Burgstaller, Bernd ; Schildt, Gerhard-Helge | Informatik-Grundlagen | Buch Book | 2005 |
| 20 | | Blieberger, Johann ; Burgstaller, Bernd ; Schildt, Gerhard-Helge | Informatik-Grundlagen | Buch Book | 2002 |