Concepedia

Karl‐Heinz Pennemann

KP

Statistics

Publications

4

Citations

363

H-Index

4

Active since

2004

Affiliations

Carl von Ossietzky Universität Oldenburg(Current)

Karl‐Heinz Pennemann is an author at Carl von Ossietzky Universität Oldenburg specializing in computing, model checking, and weakest preconditions.

Publications per year

2004–2024

4

Publications

4

Correctness of high-level transformation systems relative to nested conditions

Annegret Habel, Karl‐Heinz Pennemann · Mathematical Structures in Computer Science · 2009 · 225 citations

Computing, Computer Science, Formal Methods +15

Theory of Constraints and Application Conditions: From Graphs to High-Level Structures

Hartmut Ehrig, Karsten Ehrig, Annegret Habel et al. · Fundamenta Informaticae · 2006 · 70 citations

Computing, Systems Engineering, Knowledge Representation +10

Atom Economy and Yield of Synthesis Sequences

Marco Eissen, Radoslaw Mazur, H.‐G. Quebbemann et al. · Helvetica Chimica Acta · 2004 · 58 citations

Natural Sciences, Chemistry, Green Chemistry +13

ENFORCe: A System for Ensuring Formal Correctness of High-level Programs

Karl Azab, Annegret Habel, Karl‐Heinz Pennemann et al. · 2024 · 10 citations · Full text

Computing, Computer Science, Formal Methods +14

1–4 of 4