Wolfgang Schreiner

MaRDI QIDQ1019023zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Concrete abstractions. Formalizing and analyzing discrete theories and algorithms with the RISCAL model checker Texts & Monographs in Symbolic Computation	2023-07-11	Paper
Coalgebraic operational semantics for an imperative language Computing and Informatics	2023-02-20	Paper
MK-fuzzy automata and MSO logics	2021-12-14	Paper
Thinking programs. Logical modeling and reasoning about languages, data, computations, and executions Texts & Monographs in Symbolic Computation	2021-08-25	Paper
McCarthy-Kleene fuzzy automata and MSO logics Information and Computation	2020-05-26	Paper
Heterogeneous perfusion is a consequence of uniform shear stress in optimized arterial tree models Journal of Theoretical Biology	2020-05-06	Paper
Validating mathematical theorems and algorithms with RISCAL	2018-10-18	Paper
Analysis of finite-source cluster networks	2018-07-27	Paper
Probabilistic model checking on HPC systems for the performance analysis of mobile networks	2015-05-22	Paper
Towards the formal specification and verification of Maple programs Lecture Notes in Computer Science	2012-09-07	Paper
On formal specification of Maple programs Lecture Notes in Computer Science	2012-09-07	Paper
Evaluating a probabilistic model checker for modeling and analyzing retrial queueing systems	2011-02-22	Paper
The RISC ProofNavigator: a proving assistant for program verification in the classroom Formal Aspects of Computing	2009-05-27	Paper
scientific article; zbMATH DE number 2090570 (Why is no real title available?)	2004-08-12	Paper
Distributed Maple: Parallel computer algebra in networked environments. Journal of Symbolic Computation	2003-08-17	Paper
scientific article; zbMATH DE number 1863327 (Why is no real title available?)	2003-02-04	Paper
scientific article; zbMATH DE number 1860746 (Why is no real title available?)	2003-01-28	Paper
scientific article; zbMATH DE number 1830938 (Why is no real title available?)	2002-11-18	Paper
scientific article; zbMATH DE number 1574487 (Why is no real title available?)	2002-01-08	Paper
scientific article; zbMATH DE number 1551974 (Why is no real title available?)	2001-07-19	Paper
Plotting algebraic space curves by cluster computing	2001-07-12	Paper
A para-functional programming interface for a parallel computer algebra package Journal of Symbolic Computation	1997-06-03	Paper
The design of the SACLIB/PACLIB kernels Journal of Symbolic Computation	1996-03-27	Paper

Research outcomes over time

This page was built for person: Wolfgang Schreiner