Johann Schumann

From MaRDI portal
Person:434441

Available identifiers

zbMath Open schumann.johann-m-phMaRDI QIDQ434441

List of research outcomes





PublicationDate of PublicationType
Partheo: A high-performance parallel theorem prover2023-04-28Paper
ILF-SETHEO2019-10-01Paper
Automatic verification of cryptographic protocols with SETHEO2019-10-01Paper
SETHEO goes software engineering: Application of ATP to software reuse2019-10-01Paper
Formal testing for separation assurance2012-07-10Paper
https://portal.mardi4nfdi.de/entity/Q53891282012-04-24Paper
Automated Reasoning2007-09-25Paper
Automating the implementation of Kalman filter algorithms2005-07-22Paper
https://portal.mardi4nfdi.de/entity/Q48188192004-09-24Paper
https://portal.mardi4nfdi.de/entity/Q48088442004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q48090672004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q44725462004-08-04Paper
AutoBayes: a system for generating data analysis programs from statistical models2003-01-01Paper
https://portal.mardi4nfdi.de/entity/Q45367582002-07-22Paper
https://portal.mardi4nfdi.de/entity/Q45304712002-06-03Paper
Deduction-based software component retrieval2001-11-06Paper
Using automated theorem provers in verification of protocols2001-03-12Paper
https://portal.mardi4nfdi.de/entity/Q27017342001-02-19Paper
https://portal.mardi4nfdi.de/entity/Q45247762001-01-15Paper

Research outcomes over time

This page was built for person: Johann Schumann

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:434441&oldid=7868957"
Powered by MediaWiki