Karl-Heinz Pennemann

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
An algorithm for approximating the satisfiability problem of high-level conditions Electronic Notes in Theoretical Computer Science	2014-03-26	Paper
Correctness of high-level transformation systems relative to nested conditions Mathematical Structures in Computer Science	2009-05-06	Paper
Satisfiability of High-Level Conditions Lecture Notes in Computer Science	2008-11-27	Paper
Weakest Preconditions for High-Level Programs Lecture Notes in Computer Science	2008-11-27	Paper
Resolution-Like Theorem Proving for High-Level Conditions Lecture Notes in Computer Science	2008-11-20	Paper
Development of Correct Graph Transformation Systems Lecture Notes in Computer Science	2008-11-20	Paper
Graph Transformations Lecture Notes in Computer Science	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 Lecture Notes in Computer Science	2005-12-02	Paper

Research outcomes over time

This page was built for person: Karl-Heinz Pennemann