Karl‐Heinz Pennemann

5 papers and 157 indexed citations i.

Karl‐Heinz Pennemann has authored 5 papers that have received a total of 157 indexed citations. This includes 5 papers in Computational Theory and Mathematics, 4 papers in Software and 2 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (4 papers), Model-Driven Software Engineering Techniques (4 papers) and Semantic Web and Ontologies (1 paper). Karl‐Heinz Pennemann is often cited by papers focused on Formal Methods in Verification (4 papers), Model-Driven Software Engineering Techniques (4 papers) and Semantic Web and Ontologies (1 paper) and collaborates with scholars based in Germany. Karl‐Heinz Pennemann's co-authors include Annegret Habel, Radoslaw Mazur, Marco Eissen, Karsten Ehrig and Hartmut Ehrig and has published in prestigious journals such as Helvetica Chimica Acta, Mathematical Structures in Computer Science and Fundamenta Informaticae.