| 2025 | ADBIS | Executable Semantics for Teaching Concatenative Stack-Based DSLs: The Case of StackLang. | William Steingartner, Wolfgang Schreiner |
| 2022 | SYNASC | Implementation Techniques for Mathematical Model Checking. | Wolfgang Schreiner |
| 2020 | CSEDU | Computational Logic in the First Semester of Computer Science: An Experience Report. | David M. Cerna, Martina Seidl, Wolfgang Schreiner, Wolfgang Windsteiger, Armin Biere |
| 2020 | ITiCSE | Aiding an Introduction to Formal Reasoning Within a First-Year Logic Course for CS Majors Using a Mobile Self-Study App. | David M. Cerna, Martina Seidl, Wolfgang Schreiner, Wolfgang Windsteiger, Armin Biere |
| 2016 | RV | Predicting Space Requirements for a Stream Monitor Specification Language. | David M. Cerna, Wolfgang Schreiner, Temur Kutsia |
| 2013 | ICTERI | Program Algebras with Monotone Floyd-Hoare Composition. | Andrii Kryvolap, Mykola S. Nikitchenko, Wolfgang Schreiner |
| 2013 | ICTERI | Extending Floyd-Hoare Logic for Partial Pre- and Postconditions. | Andrii Kryvolap, Mykola Nikitchenko, Wolfgang Schreiner |
| 2012 | AISC | Towards the Formal Specification and Verification of Maple Programs. | Muhammad Taimoor Khan, Wolfgang Schreiner |
| 2012 | AISC | On Formal Specification of Maple Programs. | Muhammad Taimoor Khan, Wolfgang Schreiner |
| 2010 | CISIS | Shared Data Grid Programming Improvements Using Specialized Objects. | Dacian Tudor, Georgiana Macariu, Wolfgang Schreiner, Vladimir Cretu |
| 2009 | SACI | Experiments on a grid layer prototype for shared data programming model. | Dacian Tudor, Georgiana Macariu, Wolfgang Schreiner, Vladimir Cretu |
| 2008 | ICA3PP | Designing an Architecture for Distributed Shared Data on the Grid. | Dacian Tudor, Vladimir Cretu, Wolfgang Schreiner |
| 2007 | ISPDC | A Grid Software for Virtual Eye Surgery Based on Globus 4 and gLite. | Kroly Bsa, Wolfgang Schreiner, Michael Buchberger, Thomas Kaltofen |
| 2006 | AINA | Querying Registry-Published Mathematical Web Services. | Rebhi Baraka, Wolfgang Schreiner |
| 2003 | IIWAS | Brokering Mathematical Services in the Global Network. | Wolfgang Schreiner |
| 2002 | EuroPar | Integrating Temporal Assertions into a Parallel Debugger. | Jzsef Kovcs, Gbor Kusper, Rbert Lovas, Wolfgang Schreiner |
| 2002 | ITiCSE | A java toolkit for teaching distributed algorithms. | Wolfgang Schreiner |
| 2002 | PDP | Parallel and Distributed Programming Tools for Grids. | Pter Kacsuk, Wolfgang Schreiner, Dieter Kranzlmller, Jens Volkert |
| 2001 | EuroPar | Fault Tolerance for Cluster Computing Based on Functional Tasks. | Wolfgang Schreiner, Gbor Kusper, Kroly Bsa |
| 2001 | PACT | Manager-Worker Parallelism versus Dataflow in a Distributed Computer Algebra System. | Wolfgang Schreiner |
| 2000 | EuroPar | On Solving a Problem in Algebraic Geometry by Cluster Computing (Research Note). | Wolfgang Schreiner, Christian Mittermaier, Franz Winkler |
| 1998 | AMIA | Three-Dimensional Growth and Optimization of Arterial Tree Models. | Rudolf Karch, Wolfgang Schreiner, Friederike Neumann, Martin Neumann |
| 1998 | AMIA | Optimization Targets for Computer Models of Blood Vessels. | Wolfgang Schreiner, Rudolf Karch, Friederike Neumann, Martin Neumann |