Sascha Klüppelholz

17 papers and 89 indexed citations i.

Sascha Klüppelholz has authored 17 papers that have received a total of 89 indexed citations. This includes 12 papers in Computational Theory and Mathematics, 8 papers in Software and 7 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (12 papers), Model-Driven Software Engineering Techniques (5 papers) and Petri Nets in System Modeling (4 papers). Sascha Klüppelholz is often cited by papers focused on Formal Methods in Verification (12 papers), Model-Driven Software Engineering Techniques (5 papers) and Petri Nets in System Modeling (4 papers) and collaborates with scholars based in Germany, Norway and France. Sascha Klüppelholz's co-authors include Christel Baier, Joachim Klein, Clemens Dubslaff, Hendrik Tews and Marcus Völp and has published in prestigious journals such as IEEE Access, Journal of Computer and System Sciences and Journal of Systems and Software