Wolfgang Schreiner

Available identifiers

zbMath Open schreiner.wolfgangMaRDI QIDQ1019023

List of research outcomes

Publication	Date of Publication	Type
Concrete abstractions. Formalizing and analyzing discrete theories and algorithms with the RISCAL model checker	2023-07-11	Paper
Coalgebraic operational semantics for an imperative language	2023-02-20	Paper
https://portal.mardi4nfdi.de/entity/Q3384166	2021-12-14	Paper
Thinking Programs	2021-08-25	Paper
McCarthy-Kleene fuzzy automata and MSO logics	2020-05-26	Paper
Heterogeneous perfusion is a consequence of uniform shear stress in optimized arterial tree models	2020-05-06	Paper
Validating mathematical theorems and algorithms with RISCAL	2018-10-18	Paper
https://portal.mardi4nfdi.de/entity/Q3177210	2018-07-27	Paper
https://portal.mardi4nfdi.de/entity/Q5250859	2015-05-22	Paper
Towards the Formal Specification and Verification of Maple Programs	2012-09-07	Paper
On Formal Specification of Maple Programs	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	2009-05-27	Paper
https://portal.mardi4nfdi.de/entity/Q4813007	2004-08-12	Paper
Distributed Maple: Parallel computer algebra in networked environments.	2003-08-17	Paper
https://portal.mardi4nfdi.de/entity/Q4790579	2003-02-04	Paper
https://portal.mardi4nfdi.de/entity/Q4790477	2003-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q4778653	2002-11-18	Paper
https://portal.mardi4nfdi.de/entity/Q2702018	2002-01-08	Paper
https://portal.mardi4nfdi.de/entity/Q4524177	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	1997-06-03	Paper
The design of the SACLIB/PACLIB kernels	1996-03-27	Paper

Research outcomes over time

This page was built for person: Wolfgang Schreiner