Clemens Dubslaff

573 total citations
22 papers, 115 citations indexed

About

Clemens Dubslaff is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Software. According to data from OpenAlex, Clemens Dubslaff has authored 22 papers receiving a total of 115 indexed citations (citations by other indexed papers that have themselves been cited), including 17 papers in Artificial Intelligence, 10 papers in Computational Theory and Mathematics and 9 papers in Software. Recurrent topics in Clemens Dubslaff's work include Advanced Software Engineering Methodologies (11 papers), Formal Methods in Verification (10 papers) and Model-Driven Software Engineering Techniques (6 papers). Clemens Dubslaff is often cited by papers focused on Advanced Software Engineering Methodologies (11 papers), Formal Methods in Verification (10 papers) and Model-Driven Software Engineering Techniques (6 papers). Clemens Dubslaff collaborates with scholars based in Germany, Netherlands and Czechia. Clemens Dubslaff's co-authors include Christel Baier, Sascha Klüppelholz, Sven Apel, Marcus Daum, Stefanie Speidel, Shu Li, Patrick Seeling, Joachim Klein, David E. Muller and Frank H. P. Fitzek and has published in prestigious journals such as IEEE Network, Journal of Systems and Software and Journal of Artificial Intelligence Research.

In The Last Decade

Clemens Dubslaff

19 papers receiving 112 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Clemens Dubslaff Germany	6	87	47	43	32	28	22	115
Sascha Klüppelholz Germany	7	105 1.2×	76 1.6×	60 1.4×	41 1.3×	31 1.1×	23	148
Julien Deantoni France	8	58 0.7×	32 0.7×	60 1.4×	40 1.3×	28 1.0×	24	123
Roland Meyer Germany	6	63 0.7×	59 1.3×	36 0.8×	34 1.1×	42 1.5×	33	135
Rosemary Monahan Ireland	8	77 0.9×	47 1.0×	72 1.7×	47 1.5×	13 0.5×	40	138
Aina Niemetz Austria	5	58 0.7×	54 1.1×	49 1.1×	30 0.9×	17 0.6×	14	110
Zhilin Wu China	5	43 0.5×	22 0.5×	45 1.0×	43 1.3×	24 0.9×	19	101
Mathias Preiner Austria	5	52 0.6×	51 1.1×	44 1.0×	27 0.8×	14 0.5×	13	98
S. Tucker Taft United States	8	60 0.7×	30 0.6×	26 0.6×	32 1.0×	78 2.8×	28	173
Leonidas Lampropoulos United States	5	53 0.6×	38 0.8×	80 1.9×	46 1.4×	15 0.5×	18	110
Dominique Méry France	7	89 1.0×	68 1.4×	25 0.6×	27 0.8×	53 1.9×	26	139

Countries citing papers authored by Clemens Dubslaff

Since Specialization

Citations

This map shows the geographic impact of Clemens Dubslaff's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Clemens Dubslaff with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Clemens Dubslaff more than expected).

Fields of papers citing papers by Clemens Dubslaff

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Clemens Dubslaff. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Clemens Dubslaff. The network helps show where Clemens Dubslaff may publish in the future.

Co-authorship network of co-authors of Clemens Dubslaff

This figure shows the co-authorship network connecting the top 25 collaborators of Clemens Dubslaff. A scholar is included among the top collaborators of Clemens Dubslaff based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Clemens Dubslaff. Clemens Dubslaff is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Dubslaff, Clemens, et al.. (2025). Explaining Control Policies through Predicate Decision Diagrams. TU/e Research Portal. 1–12. 1 indexed citations

Beek, Maurice H. ter, et al.. (2025). Feature-Oriented Modelling and Analysis of a Self-Adaptive Robotic System. Formal Aspects of Computing. 37(4). 1–39.

Dubslaff, Clemens, et al.. (2024). Configuring BDD Compilation Techniques for Feature Models. TU/e Research Portal. 209–216. 2 indexed citations

Teixeira, Leopoldo, et al.. (2024). Blackbox Observability of Features and Feature Interactions. TU/e Research Portal. 1120–1132.

Dubslaff, Clemens, et al.. (2024). Negative Latency in the Tactile Internet as Enabler for Global Metaverse Immersion. IEEE Network. 38(5). 167–173. 10 indexed citations

Baier, Christel, et al.. (2023). A Unifying Formal Approach to Importance Values in Boolean Functions. TU/e Research Portal. 2728–2737. 2 indexed citations

Dubslaff, Clemens, et al.. (2023). More for Less: Safe Policy Improvement with Stronger Performance Guarantees. TU/e Research Portal. 4406–4415. 1 indexed citations

Dubslaff, Clemens, et al.. (2023). Feature causality. Journal of Systems and Software. 209. 111915–111915. 1 indexed citations

Baier, Christel, et al.. (2022). Interaction detection in configurable systems – A formal approach featuring roles. Journal of Systems and Software. 196. 111556–111556. 2 indexed citations

10.

Dubslaff, Clemens, et al.. (2022). Causality in configurable software systems. arXiv (Cornell University). 325–337. 14 indexed citations

11.

Baier, Christel, et al.. (2022). Admissibility in Probabilistic Argumentation. Journal of Artificial Intelligence Research. 74. 4 indexed citations

12.

Dubslaff, Clemens, Patrick Koopmann, & Anni-Yasmin Turhan. (2021). Enhancing Probabilistic Model Checking with Ontologies. Formal Aspects of Computing. 33(6). 885–921.

13.

Baier, Christel, et al.. (2021). From Verification to Causality-Based Explications (Invited Talk). DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 3 indexed citations

14.

Baier, Christel, et al.. (2021). Admissibility in Probabilistic Argumentation. Zenodo (CERN European Organization for Nuclear Research). 87–98. 1 indexed citations

15.

Dubslaff, Clemens, Patrick Koopmann, & Anni-Yasmin Turhan. (2020). Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification.. Description Logics. 1 indexed citations

16.

Baier, Christel, et al.. (2020). From features to roles. 1–11. 3 indexed citations

17.

Klein, Joachim, Christel Baier, Marcus Daum, et al.. (2017). Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata. International Journal on Software Tools for Technology Transfer. 20(2). 179–194. 13 indexed citations

18.

Baier, Christel, Clemens Dubslaff, & Sascha Klüppelholz. (2014). Trade-off analysis meets probabilistic model checking. 1–10. 6 indexed citations

19.

Dubslaff, Clemens, Sascha Klüppelholz, & Christel Baier. (2014). Probabilistic model checking for energy analysis in software product lines. 169–180. 16 indexed citations

20.

Dubslaff, Clemens, et al.. (2012). Model checking probabilistic systems against pushdown specifications. Information Processing Letters. 112(8-9). 320–328. 3 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact