Johann Schumann

Available identifiers

zbMath Open schumann.johann-m-phMaRDI QIDQ434441

List of research outcomes

Publication	Date of Publication	Type
Partheo: A high-performance parallel theorem prover	2023-04-28	Paper
ILF-SETHEO	2019-10-01	Paper
SETHEO goes software engineering: Application of ATP to software reuse	2019-10-01	Paper
Automatic verification of cryptographic protocols with SETHEO	2019-10-01	Paper
Formal testing for separation assurance	2012-07-10	Paper
https://portal.mardi4nfdi.de/entity/Q5389128	2012-04-24	Paper
Automated Reasoning	2007-09-25	Paper
Automating the implementation of Kalman filter algorithms	2005-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q4818819	2004-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q4808844	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4809067	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4472546	2004-08-04	Paper
AutoBayes: a system for generating data analysis programs from statistical models	2003-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4536758	2002-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q4530471	2002-06-03	Paper
https://portal.mardi4nfdi.de/entity/Q2702605	2001-11-06	Paper
https://portal.mardi4nfdi.de/entity/Q2702601	2001-03-12	Paper
https://portal.mardi4nfdi.de/entity/Q2701734	2001-02-19	Paper
https://portal.mardi4nfdi.de/entity/Q4524776	2001-01-15	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: Johann Schumann