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
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
https://portal.mardi4nfdi.de/entity/Q3077200	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
https://portal.mardi4nfdi.de/entity/Q2725948	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Wolfgang Schreiner