The ADAM Abstract Dataflow Machine. - Wolfgang Schreiner (Dagstuhl Seminar on Parallelization in Inference Systems, 1990)

The role of intramyocardial pressure during coronary sinus interventions: a computer model study. - Wolfgang Schreiner; Friederike Neumann; Werner Mohl (IEEE Trans. Biomed. Eng., 1990)

ADAM - An Abstract Dataflow Machine and Its Transputer Implementation. - Wolfgang Schreiner (EDMCC, 1991)

Averaged Powerspectra of the Electrocardiograms of Patients after Heart Transplantation. - Wolfgang Schreiner; Guenther Laufer; Martin Neumann 001; Wolfgang Premauer; Franz Merksa; Rudolf Lahoda; Ernst Wolner (MIE, 1991)

Whole Blood Aggregometry: A PC-Based System for Clinical Routine Application. - Wolfgang Schreiner; Michael R. Müller; Wolfgang Premauer; Ernst Wolner (MIE, 1991)

Programming in PACLIB. - Hoon Hong; Wolfgang Schreiner (SIGSAM Bull., 1992)

Computer simulation of the coronary circulation: Implications for models and therapeutic Coronary Sinus Intervention. - Wolfgang Schreiner (Simul., 1992)

The Design of the PACLIB Kernel for Parallel Algebraic Computation. - Wolfgang Schreiner; Hoon Hong (ACPC, 1993)

A New Library for Parallel Algebraic Computation. - Wolfgang Schreiner; Hoon Hong (PPSC, 1993)

Computer-optimization of vascular trees. - Wolfgang Schreiner; Peter Franz Buxbaum (IEEE Trans. Biomed. Eng., 1993)

Virtual Tasks for the PACLIB Kernel. - Wolfgang Schreiner (CONPAR, 1994)

The Design of the SACLIB/PACLIB Kernels. - Hoon Hong; Andreas Neubacher; Wolfgang Schreiner (J. Symb. Comput., 1995)

A Para-Functional Programming Interface for a Parallel Computer Algebra Package. - Wolfgang Schreiner (J. Symb. Comput., 1996)

Three-Dimensional Growth and Optimization of Arterial Tree Models. - Rudolf Karch; Wolfgang Schreiner; Friederike Neumann; Martin Neumann 001 (AMIA, 1998)

Optimization Targets for Computer Models of Blood Vessels. - Wolfgang Schreiner; Rudolf Karch; Friederike Neumann; Martin Neumann 001 (AMIA, 1998)

A Generic Programming Environment for High-Performance Mathematical Libraries. - Wolfgang Schreiner; Werner Danielczyk-Landerl; Mircea Marin; Wolfgang Stöcher (Generic Programming, 1998)

A three-dimensional model for arterial tree representation, generated by constrained constructive optimization. - Rudolf Karch; Friederike Neumann; Martin Neumann 001; Wolfgang Schreiner (Comput. Biol. Medicine, 1999)

On Solving a Problem in Algebraic Geometry by Cluster Computing (Research Note). - Wolfgang Schreiner; Christian Mittermaier; Franz Winkler 001 (Euro-Par, 2000)

Fault Tolerance for Cluster Computing Based on Functional Tasks. - Wolfgang Schreiner; Gábor Kusper; Károly Bósa (Euro-Par, 2001)

Manager-Worker Parallelism versus Dataflow in a Distributed Computer Algebra System. - Wolfgang Schreiner (PaCT, 2001)

Integrating Temporal Assertions into a Parallel Debugger. - József Kovács; Gábor Kusper; Róbert Lovas; Wolfgang Schreiner (Euro-Par, 2002)

A java toolkit for teaching distributed algorithms. - Wolfgang Schreiner (ITiCSE, 2002)

Parallel and Distributed Programming Tools for Grids. - Péter Kacsuk; Wolfgang Schreiner; Dieter Kranzlmüller; Jens Volkert (PDP, 2002)

Brokering Mathematical Services in the Global Network. - Wolfgang Schreiner (iiWAS, 2003)

Distributed Maple: parallel computer algebra in networked environments. - Wolfgang Schreiner; Christian Mittermaier; Károly Bósa (J. Symb. Comput., 2003)

A Web Registry for Publishing and Discovering Mathematical Services. - Rebhi Baraka; Olga Caprotti; Wolfgang Schreiner (EEE, 2005)

Error estimation of geometrical data obtained by histomorphometry of oblique vessel sections: a computer model study. - Beatrice A. Nadler; Rudolf Karch; Martin Neumann 001; Friederike Neumann; Seyedhossein Aharinejad; Wolfgang Schreiner (Comput. Biol. Medicine, 2005)

A survey on web services composition. - Schahram Dustdar; Wolfgang Schreiner (Int. J. Web Grid Serv., 2005)

Tolerating Stop Failures in Distributed Maple. - Károly Bósa; Wolfgang Schreiner (Scalable Comput. Pract. Exp., 2005)

Querying Registry-Published Mathematical Web Services. - Rebhi Baraka; Wolfgang Schreiner (AINA (1), 2006)

Semantic Querying of Mathematical Web Service Descriptions. - Rebhi Baraka; Wolfgang Schreiner (WS-FM, 2006)

Interactive Molecular Dynamics Simulations on the Grid. - Rene Kobler; Thomas Köckerbauer; Ulrich Omasits; Martin Neumann 001; Wolfgang Schreiner; Jens Volkert (EUROCAST, 2007)

On Web Service Evolution Monitoring. - Wolfgang Schreiner; Peter Hrastnik (IESA, 2007)

A Grid Software for Virtual Eye Surgery Based on Globus 4 and gLite. - Károly Bósa; Wolfgang Schreiner; Michael Buchberger; Thomas Kaltofen (ISPDC, 2007)

Designing an Architecture for Distributed Shared Data on the Grid. - Dacian Tudor; Vladimir Cretu; Wolfgang Schreiner (ICA3PP, 2008)

Automated Reasoning. - Tudor Jebelean; Bruno Buchberger; Temur Kutsia; Nikolaj Popov; Wolfgang Schreiner; Wolfgang Windsteiger (Hagenberg Research, 2009)

Parallel, Distributed, and Grid Computing. - Wolfgang Schreiner; Károly Bósa; Andreas Langegger; Thomas Leitner; Bernhard Moser 001; Szilárd Páll; Volkmar Wieser; Wolfram Wöß (Hagenberg Research, 2009)

A Lightweight MDSD Process Applied in Small Projects. - Gábor Guta; Wolfgang Schreiner; Dirk Draheim (EUROMICRO-SEAA, 2009)

Experiments on a grid layer prototype for shared data programming model. - Dacian Tudor; Georgiana Macariu; Wolfgang Schreiner; Vladimir Cretu (SACI, 2009)

The RISC ProofNavigator: a proving assistant for program verification in the classroom. - Wolfgang Schreiner (Formal Aspects Comput., 2009)

Experiences on grid shared data programming. - Dacian Tudor; Georgiana Macariu; Wolfgang Schreiner; Vladimir-Ioan Cretu (Int. J. Grid Util. Comput., 2009)

A critical cross-validation of high throughput structural binding prediction methods for pMHC. - Bernhard Knapp; Ulrich Omasits; Sophie Frantal; Wolfgang Schreiner (J. Comput. Aided Mol. Des., 2009)

jSimMacs for GROMACS: A Java Application for Advanced Molecular Dynamics Simulations with Remote Access Capability. - Sanjit Roopra; Bernhard Knapp; Ulrich Omasits; Wolfgang Schreiner (J. Chem. Inf. Model., 2009)

Shared Data Grid Programming Improvements Using Specialized Objects. - Dacian Tudor; Georgiana Macariu; Wolfgang Schreiner; Vladimir Cretu (CISIS, 2010)

vmdICE: A plug-in for rapid evaluation of molecular dynamics simulations using VMD. - Bernhard Knapp; Nadja Lederer; Ulrich Omasits; Wolfgang Schreiner (J. Comput. Chem., 2010)

PeptX: Using Genetic Algorithms to optimize peptides for MHC binding. - Bernhard Knapp; Verena Giczi; Reiner Ribarics; Wolfgang Schreiner (BMC Bioinform., 2011)

Computer-Assisted Program Reasoning Based on a Relational Semantics of Programs - Wolfgang Schreiner (ThEdu, 2011)

Is an Intuitive Convergence Definition of Molecular Dynamics Simulations Solely Based on the Root Mean Square Deviation Possible? - Bernhard Knapp; Sophie Frantal; Michael Cibena; Wolfgang Schreiner; P. Bauer (J. Comput. Biol., 2011)

Towards the Formal Specification and Verification of Maple Programs. - Muhammad Taimoor Khan 001; Wolfgang Schreiner (AISC/MKM/Calculemus, 2012)

On Formal Specification of Maple Programs. - Muhammad Taimoor Khan 001; Wolfgang Schreiner (AISC/MKM/Calculemus, 2012)

Relaxation Estimation of RMSD in Molecular Dynamics Immunosimulations. - Wolfgang Schreiner; Rudolf Karch; Bernhard Knapp; Nevena Ilieva (Comput. Math. Methods Medicine, 2012)

MH2c: Characterization of major histocompatibility α-helices - an information criterion approach. - Birgit Hischenhuber; Florian Frommlet; Wolfgang Schreiner; Bernhard Knapp (Comput. Phys. Commun., 2012)

Program Algebras with Monotone Floyd-Hoare Composition. - Andrii Kryvolap; Mykola S. Nikitchenko; Wolfgang Schreiner (ICTERI, 2013)

Extending Floyd-Hoare Logic for Partial Pre- and Postconditions. - Andrii Kryvolap; Mykola Nikitchenko; Wolfgang Schreiner (ICTERI (Revised Selected Papers), 2013)

A verification framework for minimaple programs. - Muhammad Taimoor Khan 001; Wolfgang Schreiner (ACM Commun. Comput. Algebra, 2013)

Differential geometric analysis of alterations in MH α-helices. - Birgit Hischenhuber; Hans Havlicek; Jelena Todoric; Sonja Höllrigl-Binder; Wolfgang Schreiner; Bernhard Knapp (J. Comput. Chem., 2013)

Corrigendum: Differential geometric analysis of alterations in MH α-helices. - Birgit Hischenhuber; Hans Havlicek; Jelena Todoric; Sonja Höllrigl-Binder; Wolfgang Schreiner; Bernhard Knapp (J. Comput. Chem., 2013)

Predicting Space Requirements for a Stream Monitor Specification Language. - David M. Cerna; Wolfgang Schreiner; Temur Kutsia (RV, 2016)

Space Analysis of a Predicate Logic Fragment for the Specification of Stream Monitors. - David M. Cerna; Wolfgang Schreiner; Temur Kutsia (SCSS, 2016)

Measuring the Gap: Algorithmic Approximation Bounds for the Space Complexity of Stream Specifications. - David M. Cerna; Wolfgang Schreiner (SCSS, 2017)

MK-fuzzy Automata and MSO Logics. - Manfred Droste; Temur Kutsia; George Rahonis; Wolfgang Schreiner (GandALF, 2017)

Teaching the Formalization of Mathematical Theories and Algorithms via the Automatic Checking of Finite Models. - Wolfgang Schreiner; Alexander Brunhuemer; Christoph Fürst (ThEdu@CADE, 2017)

Validating Mathematical Theorems and Algorithms with RISCAL. - Wolfgang Schreiner (CICM, 2018)

Logic as a Path to Enlightenment (Work in Progress Report). - Wolfgang Schreiner (CICM Workshops, 2018)

Theorem and Algorithm Checking for Courses on Logic and Formal Methods. - Wolfgang Schreiner (ThEdu@FLoC, 2018)

Coalgebraic Operational Semantics for an Imperative Language. - William Steingartner; Valerie Novitzká; Wolfgang Schreiner (Comput. Informatics, 2019)

Long-Term Molecular Dynamics Simulations Reveal Flexibility Properties of a Free and TCR-Bound pMHC-I System. - Lisa Tomasiak; Rudolf Karch; Wolfgang Schreiner (BIBM, 2020)

Computational Logic in the First Semester of Computer Science: An Experience Report. - David M. Cerna; Martina Seidl; Wolfgang Schreiner; Wolfgang Windsteiger; Armin Biere (CSEDU (2), 2020)

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 (ITiCSE, 2020)

Molecular dynamics of the immune checkpoint programmed cell death protein I, PD-1: conformational changes of the BC-loop upon binding of the ligand PD-L1 and the monoclonal antibody nivolumab. - Bernhard Roither; Chris Oostenbrink; Wolfgang Schreiner (BMC Bioinform., 2020)

McCarthy-Kleene fuzzy automata and MSO logics. - Manfred Droste; Temur Kutsia; George Rahonis; Wolfgang Schreiner (Inf. Comput., 2020)

A Novel Categorical Approach to Semantics of Relational First-Order Logic. - Wolfgang Schreiner; William Steingartner; Valerie Novitzká (Symmetry, 2020)

The Monoclonal Antibody Pembrolizumab Alters Dynamics of the Human Programmed Cell Death Receptor 1 (PD-1). - Lisa Tomasiak; Rudolf Karch; Wolfgang Schreiner (BIBM, 2021)

First-Order Logic in Finite Domains: Where Semantic Evaluation Competes with SMT Solving. - Wolfgang Schreiner; Franz-Xaver Reichl (SCSS, 2021)

Thinking Programs - A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria - Wolfgang Schreiner (Springer, 2021)

The Performance of UMAP plus Linkage Compared with Daura-Clustering of Molecular Dynamics of the PD-1 Checkpoint Receptor. - Wolfgang Schreiner; Rudolf Karch; Michael Cibena; Lisa Tomasiak; Michael Kenn; Georg Pfeiler (BIBM, 2022)

Implementation Techniques for Mathematical Model Checking. - Wolfgang Schreiner (SYNASC, 2022)

Concrete Abstractions - A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria - Wolfgang Schreiner (Concrete Abstractions, 2023)