Sascha Klüppelholz

About

Sascha Klüppelholz has authored 18 papers that have received a total of 90 indexed citations. This includes 13 papers in Computational Theory and Mathematics, 9 papers in Software and 8 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (13 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 (13 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.

In The Last Decade

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Faye McMillan Breakdown of academic impact, for papers by Djamaludin Ancok Breakdown of academic impact, for papers by E. Eeckhout Breakdown of academic impact, for papers by Muhammad Rafiq Breakdown of academic impact, for papers by Ulrich Menzel Breakdown of academic impact, for papers by Jorge Enrique Avendaño Breakdown of academic impact, for papers by Irvin Ehrenpreis