Wolfgang Schreiner

According to our database1, Wolfgang Schreiner authored at least 70 papers between 1990 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 


On csauthors.net:


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.
CoRR, 2021

A Novel Categorical Approach to Semantics of Relational First-Order Logic.
Symmetry, 2020

McCarthy-Kleene fuzzy automata and MSO logics.
Inf. Comput., 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

Computational Logic in the First Semester of Computer Science: An Experience Report.
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

Coalgebraic Operational Semantics for an Imperative Language.
Comput. Informatics, 2019

Theorem and Algorithm Checking for Courses on Logic and Formal Methods.
Proceedings of the Proceedings 7th International Workshop on Theorem proving components for Educational software, 2018

Logic as a Path to Enlightenment (Work in Progress Report).
Proceedings of the Joint Proceedings of the CME-EI, 2018

Validating Mathematical Theorems and Algorithms with RISCAL.
Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2018

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

MK-fuzzy Automata and MSO Logics.
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

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

Predicting Space Requirements for a Stream Monitor Specification Language.
Proceedings of the Runtime Verification - 16th International Conference, 2016

Corrigendum: Differential geometric analysis of alterations in MH α-helices.
J. Comput. Chem., 2013

Differential geometric analysis of alterations in MH α-helices.
J. Comput. Chem., 2013

A verification framework for minimaple programs.
ACM Commun. Comput. Algebra, 2013

Program Algebras with Monotone Floyd-Hoare Composition.
Proceedings of the 9th International Conference on ICT in Education, 2013

MH<sup>2</sup>c: Characterization of major histocompatibility α-helices - an information criterion approach.
Comput. Phys. Commun., 2012

Relaxation Estimation of RMSD in Molecular Dynamics Immunosimulations.
Comput. Math. Methods Medicine, 2012

On Formal Specification of Maple Programs.
Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012

Towards the Formal Specification and Verification of Maple Programs.
Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012

Is an Intuitive Convergence Definition of Molecular Dynamics Simulations Solely Based on the Root Mean Square Deviation Possible?
J. Comput. Biol., 2011

Computer-Assisted Program Reasoning Based on a Relational Semantics of Programs
Proceedings of the Proceedings First Workshop on CTP Components for Educational Software, 2011

PeptX: Using Genetic Algorithms to optimize peptides for MHC binding.
BMC Bioinform., 2011

vmdICE: A plug-in for rapid evaluation of molecular dynamics simulations using VMD.
J. Comput. Chem., 2010

Shared Data Grid Programming Improvements Using Specialized Objects.
Proceedings of the CISIS 2010, 2010

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

Experiences on grid shared data programming.
Int. J. Grid Util. Comput., 2009

The RISC ProofNavigator: a proving assistant for program verification in the classroom.
Formal Aspects Comput., 2009

Experiments on a grid layer prototype for shared data programming model.
Proceedings of the 5th International Symposium on Applied Computational Intelligence and Informatics, 2009

A Lightweight MDSD Process Applied in Small Projects.
Proceedings of the 35th Euromicro Conference on Software Engineering and Advanced Applications, 2009

Parallel, Distributed, and Grid Computing.
Proceedings of the Hagenberg Research, 2009

Automated Reasoning.
Proceedings of the Hagenberg Research, 2009

Designing an Architecture for Distributed Shared Data on the Grid.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2008

A Grid Software for Virtual Eye Surgery Based on Globus 4 and gLite.
Proceedings of the 6th International Symposium on Parallel and Distributed Computing (ISPDC 2007), 2007

On Web Service Evolution Monitoring.
Proceedings of the Enterprise Interoperability II, 2007

Interactive Molecular Dynamics Simulations on the Grid.
Proceedings of the Computer Aided Systems Theory, 2007

Semantic Querying of Mathematical Web Service Descriptions.
Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

Querying Registry-Published Mathematical Web Services.
Proceedings of the 20th International Conference on Advanced Information Networking and Applications (AINA 2006), 2006

Tolerating Stop Failures in Distributed Maple.
Scalable Comput. Pract. Exp., 2005

A survey on web services composition.
Int. J. Web Grid Serv., 2005

Error estimation of geometrical data obtained by histomorphometry of oblique vessel sections: a computer model study.
Comput. Biol. Medicine, 2005

A Web Registry for Publishing and Discovering Mathematical Services.
Proceedings of the 2005 IEEE International Conference on e-Technology, e-Commerce, and e-Services (EEE 2005), 29 March, 2005

Distributed Maple: parallel computer algebra in networked environments.
J. Symb. Comput., 2003

Brokering Mathematical Services in the Global Network.
Proceedings of the iiWAS'2003, 2003

Parallel and Distributed Programming Tools for Grids.
Proceedings of the 10th Euromicro Workshop on Parallel, 2002

A java toolkit for teaching distributed algorithms.
Proceedings of the 7th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2002

Integrating Temporal Assertions into a Parallel Debugger.
Proceedings of the Euro-Par 2002, 2002

Manager-Worker Parallelism versus Dataflow in a Distributed Computer Algebra System.
Proceedings of the Parallel Computing Technologies, 2001

Fault Tolerance for Cluster Computing Based on Functional Tasks.
Proceedings of the Euro-Par 2001: Parallel Processing, 2001

On Solving a Problem in Algebraic Geometry by Cluster Computing (Research Note).
Proceedings of the Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29, 2000

A Generic Programming Environment for High-Performance Mathematical Libraries.
Proceedings of the Generic Programming, 1998

Optimization Targets for Computer Models of Blood Vessels.
Proceedings of the AMIA 1998, 1998

Three-Dimensional Growth and Optimization of Arterial Tree Models.
Proceedings of the AMIA 1998, 1998

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

The Design of the SACLIB/PACLIB Kernels.
J. Symb. Comput., 1995

Virtual Tasks for the PACLIB Kernel.
Proceedings of the Parallel Processing: CONPAR 94, 1994

A New Library for Parallel Algebraic Computation.
Proceedings of the Sixth SIAM Conference on Parallel Processing for Scientific Computing, 1993

The Design of the PACLIB Kernel for Parallel Algebraic Computation.
Proceedings of the Parallel Computation, 1993

Computer simulation of the coronary circulation: Implications for models and therapeutic Coronary Sinus Intervention.
Simul., 1992

Programming in PACLIB.
SIGSAM Bull., 1992

Whole Blood Aggregometry: A PC-Based System for Clinical Routine Application.
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

ADAM - An Abstract Dataflow Machine and Its Transputer Implementation.
Proceedings of the Distributed Memory Computing, 2nd Euronean Conference, 1991

The ADAM Abstract Dataflow Machine.
Proceedings of the Parallelization in Inference Systems, 1990