Dennis Guck

526 total citations
7 papers, 78 citations indexed

About

Dennis Guck is a scholar working on Software, Statistics, Probability and Uncertainty and Safety, Risk, Reliability and Quality. According to data from OpenAlex, Dennis Guck has authored 7 papers receiving a total of 78 indexed citations (citations by other indexed papers that have themselves been cited), including 5 papers in Software, 5 papers in Statistics, Probability and Uncertainty and 4 papers in Safety, Risk, Reliability and Quality. Recurrent topics in Dennis Guck's work include Risk and Safety Analysis (5 papers), Software Reliability and Analysis Research (4 papers) and Software Testing and Debugging Techniques (2 papers). Dennis Guck is often cited by papers focused on Risk and Safety Analysis (5 papers), Software Reliability and Analysis Research (4 papers) and Software Testing and Debugging Techniques (2 papers). Dennis Guck collaborates with scholars based in Netherlands and Germany. Dennis Guck's co-authors include Mariëlle Stoelinga, Joost-Pieter Katoen, Sebastian Junges, Enno Ruijters, Holger Hermanns, Judi Romijn, Mark Timmer, Arend Rensink, Axel Belinfante and Florian Arnold and has published in prestigious journals such as Formal Aspects of Computing, Logical Methods in Computer Science and Data Archiving and Networked Services (DANS).

In The Last Decade

Dennis Guck

7 papers receiving 74 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Dennis Guck Netherlands	6	54	35	32	19	10	7	78
Christel Seguin France	7	58 1.1×	51 1.5×	26 0.8×	28 1.5×	13 1.3×	16	92
Andreas Thums Germany	6	50 0.9×	16 0.5×	12 0.4×	19 1.0×	30 3.0×	8	76
Frank Zeyda United Kingdom	7	28 0.5×	12 0.3×	5 0.2×	65 3.4×	48 4.8×	20	88
Stephen R. Welke United States	2	45 0.8×	39 1.1×	9 0.3×		2 0.2×	3	56
Spencer Dawkins United Kingdom	5	10 0.2×	11 0.3×	6 0.2×	3 0.2×	11 1.1×	14	45
Georg Nührenberg Germany	4	13 0.2×	9 0.3×	8 0.3×	3 0.2×	55 5.5×	4	69
Peter Faymonville Germany	4	8 0.1×	5 0.1×	3 0.1×	15 0.8×	17 1.7×	6	39
Franck Wartel Spain	7	16 0.3×	5 0.1×	2 0.1×	36 1.9×	13 1.3×	10	164
Igor Pavlov Russia	5	3 0.1×	24 0.7×	52 1.6×	4 0.2×	17 1.7×	19	107
Axel Belinfante Netherlands	5	65 1.2×	4 0.1×	1 0.0×	34 1.8×	10 1.0×	11	75

Countries citing papers authored by Dennis Guck

Since Specialization

Citations

This map shows the geographic impact of Dennis Guck'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 Dennis Guck with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Dennis Guck more than expected).

Fields of papers citing papers by Dennis Guck

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Dennis Guck. 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 Dennis Guck. The network helps show where Dennis Guck may publish in the future.

Co-authorship network of co-authors of Dennis Guck

This figure shows the co-authorship network connecting the top 25 collaborators of Dennis Guck. A scholar is included among the top collaborators of Dennis Guck 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 Dennis Guck. Dennis Guck 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:

7 of 7 papers shown

1.

Junges, Sebastian, Dennis Guck, Joost-Pieter Katoen, Arend Rensink, & Mariëlle Stoelinga. (2017). Fault trees on a diet: automated reduction by graph rewriting. Formal Aspects of Computing. 29(4). 651–703. 7 indexed citations

2.

Ruijters, Enno, et al.. (2016). Reliability-Centered Maintenance of the Electrically Insulated Railway Joint via Fault Tree Analysis: A Practical Experience Report. University of Twente Research Information. 662–669. 9 indexed citations

3.

Junges, Sebastian, Dennis Guck, Joost-Pieter Katoen, & Mariëlle Stoelinga. (2016). Uncovering Dynamic Fault Trees. University of Twente Research Information. 299–310. 21 indexed citations

4.

Ruijters, Enno, et al.. (2016). Fault maintenance trees: Reliability centered maintenance via statistical model checking. University of Twente Research Information. 1–6. 20 indexed citations

5.

Guck, Dennis, et al.. (2014). Smart Railroad Maintenance Engineering with Stochastic Model Checking. Civil-comp proceedings. 104. 9 indexed citations

6.

Guck, Dennis, et al.. (2014). Analysis of Timed and Long-Run Objectives for Markov Automata. Logical Methods in Computer Science. Volume 10, Issue 3. 10 indexed citations

7.

Arnold, Florian, et al.. (2013). DFTCalc: a tool for efficient fault tree analysis (extended version). Data Archiving and Networked Services (DANS). 2 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