Wolfgang Schreiner

Publication Activity (10 Years)

Years Active: 1990-2022
Publications (10 Years): 20

Top Topics

Space Requirements

Molecular Dynamics

Specification Language

Top Venues

J. Comput. Chem.

Comput. Informatics

Publications

Wolfgang Schreiner, Rudolf Karch, Michael Cibena, Lisa Tomasiak, Michael Kenn, Georg Pfeiler
The Performance of UMAP plus Linkage Compared with Daura-Clustering of Molecular Dynamics of the PD-1 Checkpoint Receptor. BIBM (2022)
Wolfgang Schreiner
Implementation Techniques for Mathematical Model Checking. SYNASC (2022)
Lisa Tomasiak, Rudolf Karch, Wolfgang Schreiner
The Monoclonal Antibody Pembrolizumab Alters Dynamics of the Human Programmed Cell Death Receptor 1 (PD-1). BIBM (2021)
Wolfgang Schreiner, Franz-Xaver Reichl
First-Order Logic in Finite Domains: Where Semantic Evaluation Competes with SMT Solving. SCSS (2021)
Manfred Droste, Temur Kutsia, George Rahonis, Wolfgang Schreiner
McCarthy-Kleene fuzzy automata and MSO logics. Inf. Comput. 272 (2020)
Bernhard Roither, Chris Oostenbrink, Wolfgang Schreiner
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. BMC Bioinform. (17) (2020)
Wolfgang Schreiner, William Steingartner, Valerie Novitzká
A Novel Categorical Approach to Semantics of Relational First-Order Logic. Symmetry 12 (10) (2020)
Lisa Tomasiak, Rudolf Karch, Wolfgang Schreiner
Long-Term Molecular Dynamics Simulations Reveal Flexibility Properties of a Free and TCR-Bound pMHC-I System. BIBM (2020)
David M. Cerna, Martina Seidl, Wolfgang Schreiner, Wolfgang Windsteiger, Armin Biere
Aiding an Introduction to Formal Reasoning Within a First-Year Logic Course for CS Majors Using a Mobile Self-Study App. ITiCSE (2020)
David M. Cerna, Martina Seidl, Wolfgang Schreiner, Wolfgang Windsteiger, Armin Biere
Computational Logic in the First Semester of Computer Science: An Experience Report. CSEDU (2) (2020)
Bernhard Roither, Chris Oostenbrink, Wolfgang Schreiner
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. BIBM (2019)
William Steingartner, Valerie Novitzká, Wolfgang Schreiner
Coalgebraic Operational Semantics for an Imperative Language. Comput. Informatics 38 (5) (2019)
Wolfgang Schreiner
Theorem and Algorithm Checking for Courses on Logic and Formal Methods. ThEdu@FLoC (2018)
Wolfgang Schreiner
Validating Mathematical Theorems and Algorithms with RISCAL. CICM (2018)
Wolfgang Schreiner
Logic as a Path to Enlightenment (Work in Progress Report). CICM Workshops (2018)
Manfred Droste, Temur Kutsia, George Rahonis, Wolfgang Schreiner
MK-fuzzy Automata and MSO Logics. GandALF (2017)
Wolfgang Schreiner, Alexander Brunhuemer, Christoph Fürst
Teaching the Formalization of Mathematical Theories and Algorithms via the Automatic Checking of Finite Models. ThEdu@CADE (2017)
David M. Cerna, Wolfgang Schreiner
Measuring the Gap: Algorithmic Approximation Bounds for the Space Complexity of Stream Specifications. SCSS (2017)
David M. Cerna, Wolfgang Schreiner, Temur Kutsia
Space Analysis of a Predicate Logic Fragment for the Specification of Stream Monitors. SCSS (2016)
David M. Cerna, Wolfgang Schreiner, Temur Kutsia
Predicting Space Requirements for a Stream Monitor Specification Language. RV (2016)
Andrii Kryvolap, Mykola S. Nikitchenko, Wolfgang Schreiner
Program Algebras with Monotone Floyd-Hoare Composition. ICTERI (2013)
Muhammad Taimoor Khan, Wolfgang Schreiner
A verification framework for minimaple programs. ACM Commun. Comput. Algebra 47 (3/4) (2013)
Andrii Kryvolap, Mykola Nikitchenko, Wolfgang Schreiner
Extending Floyd-Hoare Logic for Partial Pre- and Postconditions. ICTERI (Revised Selected Papers) (2013)
Birgit Hischenhuber, Hans Havlicek, Jelena Todoric, Sonja Höllrigl-Binder, Wolfgang Schreiner, Bernhard Knapp
Differential geometric analysis of alterations in MH α-helices. J. Comput. Chem. 34 (21) (2013)
Birgit Hischenhuber, Hans Havlicek, Jelena Todoric, Sonja Höllrigl-Binder, Wolfgang Schreiner, Bernhard Knapp
Corrigendum: Differential geometric analysis of alterations in MH α-helices. J. Comput. Chem. 34 (32) (2013)
Muhammad Taimoor Khan, Wolfgang Schreiner
On Formal Specification of Maple Programs CoRR (2012)
Muhammad Taimoor Khan, Wolfgang Schreiner
Towards the Formal Specification and Verification of Maple Programs CoRR (2012)
Muhammad Taimoor Khan, Wolfgang Schreiner
Towards the Formal Specification and Verification of Maple Programs. AISC/MKM/Calculemus (2012)
Birgit Hischenhuber, Florian Frommlet, Wolfgang Schreiner, Bernhard Knapp
c: Characterization of major histocompatibility α-helices - an information criterion approach. Comput. Phys. Commun. 183 (7) (2012)
Muhammad Taimoor Khan, Wolfgang Schreiner
On Formal Specification of Maple Programs. AISC/MKM/Calculemus (2012)
Wolfgang Schreiner, Rudolf Karch, Bernhard Knapp, Nevena Ilieva
Relaxation Estimation of RMSD in Molecular Dynamics Immunosimulations. Comput. Math. Methods Medicine 2012 (2012)
Bernhard Knapp, Sophie Frantal, M. Cibena, Wolfgang Schreiner, P. Bauer
Is an Intuitive Convergence Definition of Molecular Dynamics Simulations Solely Based on the Root Mean Square Deviation Possible? J. Comput. Biol. 18 (8) (2011)
Wolfgang Schreiner
Computer-Assisted Program Reasoning Based on a Relational Semantics of Programs ThEdu (2011)
Bernhard Knapp, Verena Giczi, Reiner Ribarics, Wolfgang Schreiner
PeptX: Using Genetic Algorithms to optimize peptides for MHC binding. BMC Bioinform. 12 (2011)
Bernhard Knapp, Nadja Lederer, Ulrich Omasits, Wolfgang Schreiner
vmdICE: A plug-in for rapid evaluation of molecular dynamics simulations using VMD. J. Comput. Chem. 31 (16) (2010)
Dacian Tudor, Georgiana Macariu, Wolfgang Schreiner, Vladimir Cretu
Shared Data Grid Programming Improvements Using Specialized Objects. CISIS (2010)
Bernhard Knapp, Ulrich Omasits, Sophie Frantal, Wolfgang Schreiner
A critical cross-validation of high throughput structural binding prediction methods for pMHC. J. Comput. Aided Mol. Des. 23 (5) (2009)
Dacian Tudor, Georgiana Macariu, Wolfgang Schreiner, Vladimir Cretu
Experiments on a grid layer prototype for shared data programming model. SACI (2009)
Sanjit Roopra, Bernhard Knapp, Ulrich Omasits, Wolfgang Schreiner
jSimMacs for GROMACS: A Java Application for Advanced Molecular Dynamics Simulations with Remote Access Capability. J. Chem. Inf. Model. 49 (10) (2009)
Dacian Tudor, Georgiana Macariu, Wolfgang Schreiner, Vladimir-Ioan Cretu
Experiences on grid shared data programming. Int. J. Grid Util. Comput. 1 (4) (2009)
Gábor Guta, Wolfgang Schreiner, Dirk Draheim
A Lightweight MDSD Process Applied in Small Projects. EUROMICRO-SEAA (2009)
Wolfgang Schreiner
The RISC ProofNavigator: a proving assistant for program verification in the classroom. Formal Aspects Comput. 21 (3) (2009)
Dacian Tudor, Vladimir Cretu, Wolfgang Schreiner
Designing an Architecture for Distributed Shared Data on the Grid. ICA3PP (2008)
Károly Bósa, Wolfgang Schreiner, Michael Buchberger, Thomas Kaltofen
A Grid Software for Virtual Eye Surgery Based on Globus 4 and gLite. ISPDC (2007)
Rene Kobler, Thomas Köckerbauer, Ulrich Omasits, Martin Neumann, Wolfgang Schreiner, Jens Volkert
Interactive Molecular Dynamics Simulations on the Grid. EUROCAST (2007)
Wolfgang Schreiner, Peter Hrastnik
On Web Service Evolution Monitoring. IESA (2007)
Rebhi Baraka, Wolfgang Schreiner
Querying Registry-Published Mathematical Web Services. AINA (1) (2006)
Rebhi Baraka, Wolfgang Schreiner
Semantic Querying of Mathematical Web Service Descriptions. WS-FM (2006)
Beatrice A. Nadler, Rudolf Karch, Martin Neumann, Friederike Neumann, Seyedhossein Aharinejad, Wolfgang Schreiner
Error estimation of geometrical data obtained by histomorphometry of oblique vessel sections: a computer model study. Comput. Biol. Medicine 35 (9) (2005)
Rebhi Baraka, Olga Caprotti, Wolfgang Schreiner
A Web Registry for Publishing and Discovering Mathematical Services. EEE (2005)
Schahram Dustdar, Wolfgang Schreiner
A survey on web services composition. Int. J. Web Grid Serv. 1 (1) (2005)
Károly Bósa, Wolfgang Schreiner
Tolerating Stop Failures in Distributed Maple. Scalable Comput. Pract. Exp. 6 (2) (2005)
Wolfgang Schreiner
Brokering Mathematical Services in the Global Network. iiWAS (2003)
Wolfgang Schreiner, Christian Mittermaier, Károly Bósa
Distributed Maple: parallel computer algebra in networked environments. J. Symb. Comput. 35 (3) (2003)
Péter Kacsuk, Wolfgang Schreiner, Dieter Kranzlmüller, Jens Volkert
Parallel and Distributed Programming Tools for Grids. PDP (2002)
Wolfgang Schreiner
A java toolkit for teaching distributed algorithms. ITiCSE (2002)
József Kovács, Gábor Kusper, Róbert Lovas, Wolfgang Schreiner
Integrating Temporal Assertions into a Parallel Debugger. Euro-Par (2002)
Wolfgang Schreiner
Manager-Worker Parallelism versus Dataflow in a Distributed Computer Algebra System. PaCT (2001)
Wolfgang Schreiner, Gábor Kusper, Károly Bósa
Fault Tolerance for Cluster Computing Based on Functional Tasks. Euro-Par (2001)
Wolfgang Schreiner, Christian Mittermaier, Franz Winkler
On Solving a Problem in Algebraic Geometry by Cluster Computing (Research Note). Euro-Par (2000)
Rudolf Karch, Friederike Neumann, Martin Neumann, Wolfgang Schreiner
A three-dimensional model for arterial tree representation, generated by constrained constructive optimization. Comput. Biol. Medicine 29 (1) (1999)
Wolfgang Schreiner, Werner Danielczyk-Landerl, Mircea Marin, Wolfgang Stöcher
A Generic Programming Environment for High-Performance Mathematical Libraries. Generic Programming (1998)
Wolfgang Schreiner, Rudolf Karch, Friederike Neumann, Martin Neumann
Optimization Targets for Computer Models of Blood Vessels. AMIA (1998)
Rudolf Karch, Wolfgang Schreiner, Friederike Neumann, Martin Neumann
Three-Dimensional Growth and Optimization of Arterial Tree Models. AMIA (1998)
Wolfgang Schreiner
A Para-Functional Programming Interface for a Parallel Computer Algebra Package. J. Symb. Comput. 21 (4) (1996)
Hoon Hong, Andreas Neubacher, Wolfgang Schreiner
The Design of the SACLIB/PACLIB Kernels. J. Symb. Comput. 19 (1-3) (1995)
Wolfgang Schreiner
A Para-Functional Programming Interface for a Parallel Computer Algebra Package. PASCO (1994)
Wolfgang Schreiner
Virtual Tasks for the PACLIB Kernel. CONPAR (1994)
Hoon Hong, Andreas Neubacher, Wolfgang Schreiner
The Design of the SACLIB/PACLIB Kernels. DISCO (1993)
Wolfgang Schreiner, Hoon Hong
The Design of the PACLIB Kernel for Parallel Algebraic Computation. ACPC (1993)
Wolfgang Schreiner, Hoon Hong
A New Library for Parallel Algebraic Computation. PPSC (1993)
Wolfgang Schreiner
Computer simulation of the coronary circulation: Implications for models and therapeutic Coronary Sinus Intervention. Simul. 59 (1) (1992)
Hoon Hong, Wolfgang Schreiner
Programming in PACLIB. SIGSAM Bull. 26 (4) (1992)
Wolfgang Schreiner, Guenther Laufer, Martin Neumann, Wolfgang Premauer, Franz Merksa, Rudolf Lahoda, Ernst Wolner
Averaged Powerspectra of the Electrocardiograms of Patients after Heart Transplantation. MIE (1991)
Wolfgang Schreiner
ADAM - An Abstract Dataflow Machine and Its Transputer Implementation. EDMCC (1991)
Wolfgang Schreiner, Michael R. Müller, Wolfgang Premauer, Ernst Wolner
Whole Blood Aggregometry: A PC-Based System for Clinical Routine Application. MIE (1991)
Wolfgang Schreiner
The ADAM Abstract Dataflow Machine. Dagstuhl Seminar on Parallelization in Inference Systems (1990)