Joachim Klein

11 papers and 75 indexed citations i.

Joachim Klein has authored 11 papers that have received a total of 75 indexed citations. This includes 9 papers in Computational Theory and Mathematics, 6 papers in Artificial Intelligence and 6 papers in Software. The topics of these papers are Formal Methods in Verification (9 papers), Model-Driven Software Engineering Techniques (4 papers) and Advanced Software Engineering Methodologies (3 papers). Joachim Klein is often cited by papers focused on Formal Methods in Verification (9 papers), Model-Driven Software Engineering Techniques (4 papers) and Advanced Software Engineering Methodologies (3 papers) and collaborates with scholars based in Germany, United Kingdom and Norway. Joachim Klein's co-authors include Christel Baier, Sascha Klüppelholz, Marcus Völp, Hendrik Tews and Hermann Härtig and has published in prestigious journals such as Journal of Computer and System Sciences, Theoretical Computer Science and Information and Computation.