Wolfgang Schreiner
Orcid: 0000-0001-9860-1557
According to our database1,
Wolfgang Schreiner
authored at least 78 papers
between 1990 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Concrete Abstractions - A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria
Texts & Monographs in Symbolic Computation, Springer, ISBN: 978-3-031-24933-4, 2023
2022
Proceedings of the 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2022
The Performance of UMAP plus Linkage Compared with Daura-Clustering of Molecular Dynamics of the PD-1 Checkpoint Receptor.
Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2022
2021
Thinking Programs - A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria
Texts & Monographs in Symbolic Computation, Springer, ISBN: 978-3-030-80506-7, 2021
First-Order Logic in Finite Domains: Where Semantic Evaluation Competes with SMT Solving.
Proceedings of the 9th International Symposium on Symbolic Computation in Software Science, 2021
The Monoclonal Antibody Pembrolizumab Alters Dynamics of the Human Programmed Cell Death Receptor 1 (PD-1).
Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2021
2020
Symmetry, 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.
BMC Bioinform., 2020
Aiding an Introduction to Formal Reasoning Within a First-Year Logic Course for CS Majors Using a Mobile Self-Study App.
Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education, 2020
Proceedings of the 12th International Conference on Computer Supported Education, 2020
Long-Term Molecular Dynamics Simulations Reveal Flexibility Properties of a Free and TCR-Bound pMHC-I System.
Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2020
2019
Comput. Informatics, 2019
2018
Proceedings of the Proceedings 7th International Workshop on Theorem proving components for Educational software, 2018
Proceedings of the Joint Proceedings of the CME-EI, 2018
Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2018
2017
Teaching the Formalization of Mathematical Theories and Algorithms via the Automatic Checking of Finite Models.
Proceedings of the Proceedings 6th International Workshop on Theorem proving components for Educational software, 2017
Proceedings of the Proceedings Eighth International Symposium on Games, 2017
Measuring the Gap: Algorithmic Approximation Bounds for the Space Complexity of Stream Specifications.
Proceedings of the SCSS 2017, 2017
2016
Space Analysis of a Predicate Logic Fragment for the Specification of Stream Monitors.
Proceedings of the 7th International Symposium on Symbolic Computation in Software Science, 2016
Proceedings of the Runtime Verification - 16th International Conference, 2016
2013
J. Comput. Chem., 2013
J. Comput. Chem., 2013
Proceedings of the Information and Communication Technologies in Education, Research, and Industrial Applications, 2013
Proceedings of the 9th International Conference on ICT in Education, 2013
2012
MH<sup>2</sup>c: Characterization of major histocompatibility α-helices - an information criterion approach.
Comput. Phys. Commun., 2012
Comput. Math. Methods Medicine, 2012
Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012
Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012
2011
Is an Intuitive Convergence Definition of Molecular Dynamics Simulations Solely Based on the Root Mean Square Deviation Possible?
J. Comput. Biol., 2011
Proceedings of the Proceedings First Workshop on CTP Components for Educational Software, 2011
BMC Bioinform., 2011
2010
J. Comput. Chem., 2010
Proceedings of the CISIS 2010, 2010
2009
jSimMacs for GROMACS: A Java Application for Advanced Molecular Dynamics Simulations with Remote Access Capability.
J. Chem. Inf. Model., 2009
A critical cross-validation of high throughput structural binding prediction methods for pMHC.
J. Comput. Aided Mol. Des., 2009
The RISC ProofNavigator: a proving assistant for program verification in the classroom.
Formal Aspects Comput., 2009
Proceedings of the 5th International Symposium on Applied Computational Intelligence and Informatics, 2009
Proceedings of the 35th Euromicro Conference on Software Engineering and Advanced Applications, 2009
Proceedings of the Hagenberg Research, 2009
2008
Proceedings of the Algorithms and Architectures for Parallel Processing, 2008
2007
Proceedings of the 6th International Symposium on Parallel and Distributed Computing (ISPDC 2007), 2007
Proceedings of the Enterprise Interoperability II, 2007
Proceedings of the Computer Aided Systems Theory, 2007
2006
Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006
Proceedings of the 20th International Conference on Advanced Information Networking and Applications (AINA 2006), 2006
2005
Error estimation of geometrical data obtained by histomorphometry of oblique vessel sections: a computer model study.
Comput. Biol. Medicine, 2005
Proceedings of the 2005 IEEE International Conference on e-Technology, e-Commerce, and e-Services (EEE 2005), 29 March, 2005
2003
J. Symb. Comput., 2003
Brokering Mathematical Services in the Global Network.
Proceedings of the iiWAS'2003, 2003
2002
Proceedings of the 10th Euromicro Workshop on Parallel, 2002
Proceedings of the 7th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2002
Proceedings of the Euro-Par 2002, 2002
2001
Proceedings of the Parallel Computing Technologies, 2001
Proceedings of the Euro-Par 2001: Parallel Processing, 2001
2000
Proceedings of the Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29, 2000
1999
A three-dimensional model for arterial tree representation, generated by constrained constructive optimization.
Comput. Biol. Medicine, 1999
1998
Proceedings of the Generic Programming, 1998
Proceedings of the AMIA 1998, 1998
Proceedings of the AMIA 1998, 1998
1996
J. Symb. Comput., 1996
1995
1994
Proceedings of the Parallel Processing: CONPAR 94, 1994
1993
A New Library for Parallel Algebraic Computation.
Proceedings of the Sixth SIAM Conference on Parallel Processing for Scientific Computing, 1993
Proceedings of the Parallel Computation, 1993
1992
Computer simulation of the coronary circulation: Implications for models and therapeutic Coronary Sinus Intervention.
Simul., 1992
1991
Proceedings of the Medical Informatics Europe 1991, 1991
Averaged Powerspectra of the Electrocardiograms of Patients after Heart Transplantation.
Proceedings of the Medical Informatics Europe 1991, 1991
Proceedings of the Distributed Memory Computing, 2nd European Conference, 1991
1990
The role of intramyocardial pressure during coronary sinus interventions: a computer model study.
IEEE Trans. Biomed. Eng., 1990
Proceedings of the Parallelization in Inference Systems, 1990