Johann Schumann

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
Partheo: A high-performance parallel theorem prover	2023-04-28	Paper
ILF-SETHEO Automated Deduction—CADE-14	2019-10-01	Paper
Automatic verification of cryptographic protocols with SETHEO Automated Deduction—CADE-14	2019-10-01	Paper
SETHEO goes software engineering: application of ATP to software reuse Automated Deduction—CADE-14	2019-10-01	Paper
Formal testing for separation assurance Annals of Mathematics and Artificial Intelligence	2012-07-10	Paper
Statistical evaluation methods for V\&V of neuro-adaptive systems	2012-04-24	Paper
Automated Reasoning Lecture Notes in Computer Science	2007-09-25	Paper
Automating the implementation of Kalman filter algorithms ACM Transactions on Mathematical Software	2005-07-22	Paper
scientific article; zbMATH DE number 2102732 (Why is no real title available?)	2004-09-24	Paper
scientific article; zbMATH DE number 2090151 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 2090308 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 2080292 (Why is no real title available?)	2004-08-04	Paper
AutoBayes: a system for generating data analysis programs from statistical models Journal of Functional Programming	2003-01-01	Paper
scientific article; zbMATH DE number 1759742 (Why is no real title available?)	2002-07-22	Paper
scientific article; zbMATH DE number 1748586 (Why is no real title available?)	2002-06-03	Paper
Deduction-based software component retrieval	2001-11-06	Paper
Using automated theorem provers in verification of protocols	2001-03-12	Paper
scientific article; zbMATH DE number 1566286 (Why is no real title available?)	2001-02-19	Paper
scientific article; zbMATH DE number 1552517 (Why is no real title available?)	2001-01-15	Paper

Research outcomes over time

This page was built for person: Johann Schumann