Bernd Fischer

Available identifiers

zbMath Open fischer.bernd.1MaRDI QIDQ1994366

List of research outcomes

Publication	Date of Publication	Type
SETHEO goes software engineering: Application of ATP to software reuse	2019-10-01	Paper
Preemptive type checking	2018-11-01	Paper
Preemptive Type Checking in Dynamically Typed Languages	2013-10-04	Paper
Interpreting abstract interpretations in membership equational logic	2013-07-24	Paper
Explaining Verification Conditions	2009-01-27	Paper
Automated Reasoning	2007-09-25	Paper
Logic Based Program Synthesis and Transformation	2005-12-27	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
Deduction-based software component retrieval	2001-11-06	Paper
https://portal.mardi4nfdi.de/entity/Q4520766	2001-02-27	Paper

Research outcomes over time

This page was built for person: Bernd Fischer