Karl-Heinz Pennemann

Available identifiers

zbMath Open pennemann.karl-heinzMaRDI QIDQ3416076

List of research outcomes

Publication	Date of Publication	Type
An algorithm for approximating the satisfiability problem of high-level conditions	2014-03-26	Paper
Correctness of high-level transformation systems relative to nested conditions	2009-05-06	Paper
Satisfiability of High-Level Conditions	2008-11-27	Paper
Weakest Preconditions for High-Level Programs	2008-11-27	Paper
Resolution-Like Theorem Proving for High-Level Conditions	2008-11-20	Paper
Development of Correct Graph Transformation Systems	2008-11-20	Paper
Graph Transformations	2007-06-21	Paper
Theory of constraints and application conditions: from graphs to high-level structures	2007-01-19	Paper
Formal Methods in Software and Systems Modeling	2005-12-02	Paper

Research outcomes over time

This page was built for person: Karl-Heinz Pennemann