Clemens Dubslaff

17 papers and 72 indexed citations i.

About

Clemens Dubslaff has authored 17 papers that have received a total of 72 indexed citations. This includes 12 papers in Artificial Intelligence, 9 papers in Computational Theory and Mathematics and 7 papers in Software. The topics of these papers are Formal Methods in Verification (9 papers), Advanced Software Engineering Methodologies (7 papers) and Semantic Web and Ontologies (4 papers). Clemens Dubslaff is often cited by papers focused on Formal Methods in Verification (9 papers), Advanced Software Engineering Methodologies (7 papers) and Semantic Web and Ontologies (4 papers) and collaborates with scholars based in Germany, The Netherlands and China. Clemens Dubslaff's co-authors include Christel Baier, Andrey Morozov, Sascha Klüppelholz, Klaus Janschek and Anni-Yasmin Turhan and has published in prestigious journals such as Journal of Artificial Intelligence Research, Journal of Systems and Software and Information Processing Letters

In The Last Decade

Rankless by CCL
2025