Jürgen Dingel

456 total citations
13 papers, 184 citations indexed

About

Jürgen Dingel is a scholar working on Software, Computational Theory and Mathematics and Artificial Intelligence. According to data from OpenAlex, Jürgen Dingel has authored 13 papers receiving a total of 184 indexed citations (citations by other indexed papers that have themselves been cited), including 8 papers in Software, 7 papers in Computational Theory and Mathematics and 6 papers in Artificial Intelligence. Recurrent topics in Jürgen Dingel's work include Formal Methods in Verification (7 papers), Model-Driven Software Engineering Techniques (6 papers) and Logic, programming, and type systems (5 papers). Jürgen Dingel is often cited by papers focused on Formal Methods in Verification (7 papers), Model-Driven Software Engineering Techniques (6 papers) and Logic, programming, and type systems (5 papers). Jürgen Dingel collaborates with scholars based in Canada, United States and Luxembourg. Jürgen Dingel's co-authors include David Garlan, David Notkin, Somesh Jha, Zinovy Diskin, Craig A. Damon, Gehan Selim, Lucio Levi, James R. Cordy, Yves Le Traon and Benoît Combemale and has published in prestigious journals such as Software & Systems Modeling, Formal Aspects of Computing and The Journal of Object Technology.

In The Last Decade

Jürgen Dingel

13 papers receiving 158 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Jürgen Dingel Canada	8	99	88	78	77	45	13	184
Antoni Diller United Kingdom	4	114 1.2×	79 0.9×	83 1.1×	30 0.4×	65 1.4×	10	210
Craig A. Damon United States	7	121 1.2×	150 1.7×	83 1.1×	70 0.9×	106 2.4×	14	264
Richard St‐Denis Canada	9	124 1.3×	63 0.7×	63 0.8×	44 0.6×	139 3.1×	35	249
Gwendolyn H. Walton United States	10	66 0.7×	212 2.4×	173 2.2×	79 1.0×	23 0.5×	21	300
David H. Akehurst United Kingdom	9	137 1.4×	152 1.7×	135 1.7×	52 0.7×	40 0.9×	30	240
James Ivers United States	7	98 1.0×	42 0.5×	82 1.1×	49 0.6×	16 0.4×	24	145
Sven Jörges Germany	7	80 0.8×	79 0.9×	70 0.9×	24 0.3×	22 0.5×	14	128
Nat Pryce United Kingdom	9	142 1.4×	125 1.4×	142 1.8×	108 1.4×	32 0.7×	18	265
William Heaven United Kingdom	7	206 2.1×	74 0.8×	157 2.0×	93 1.2×	31 0.7×	7	241
Yves Ledru France	8	68 0.7×	183 2.1×	124 1.6×	43 0.6×	58 1.3×	40	233

Countries citing papers authored by Jürgen Dingel

Since Specialization

Citations

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

Fields of papers citing papers by Jürgen Dingel

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Jürgen Dingel

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

13 of 13 papers shown

1.

Combemale, Benoît, Lucio Levi, Gehan Selim, et al.. (2015). Formal Verification Techniques for Model Transformations: A Tridimensional Classification .. The Journal of Object Technology. 14(3). 1:1–1:1. 28 indexed citations

2.

Selim, Gehan, et al.. (2015). Finding and Fixing Bugs in Model Transformations with Formal Verification: An Experience Report.. PolyPublie (École Polytechnique de Montréal). 26–35. 1 indexed citations

3.

Dingel, Jürgen, et al.. (2014). Contract-Based Specification and Analysis of AADL Models.. 1 indexed citations

4.

Dingel, Jürgen, Leen Lambers, Lucio Levi, et al.. (2012). Towards a model transformation intent catalog. Open Repository and Bibliography (University of Luxembourg). 3–8. 27 indexed citations

5.

Auer, Alexander A., Jürgen Dingel, & Karen Rudie. (2009). Concurrency control generation for dynamic threads using Discrete-Event Systems. 927–934. 10 indexed citations

6.

Dingel, Jürgen, et al.. (2008). A Survey of Using Model-Based Testing to Improve Quality Attributes in Distributed Systems.. 283–288. 1 indexed citations

7.

Dingel, Jürgen, et al.. (2007). Understanding and improving UML package merge. Software & Systems Modeling. 7(4). 443–467. 24 indexed citations

8.

Zhang, Hongyu, Jeremy S. Bradbury, James R. Cordy, & Jürgen Dingel. (2006). Implementation and Verification of Implicit-Invocation Systems Using Source Transformation. 87–96. 6 indexed citations

9.

Dingel, Jürgen, David Garlan, & Craig A. Damon. (2003). Bridging the HLA: problems and solutions. 33–42. 22 indexed citations

10.

Dingel, Jürgen. (2002). A Refinement Calculus for Shared-Variable Parallel and Distributed Programming. Formal Aspects of Computing. 14(2). 123–197. 8 indexed citations

11.

Dingel, Jürgen, David Garlan, Somesh Jha, & David Notkin. (1998). Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning. Formal Aspects of Computing. 10(3). 193–213. 17 indexed citations

12.

Garlan, David, Somesh Jha, David Notkin, & Jürgen Dingel. (1998). Reasoning about implicit invocation. ACM SIGSOFT Software Engineering Notes. 23(6). 209–221. 7 indexed citations

13.

Garlan, David, Somesh Jha, David Notkin, & Jürgen Dingel. (1998). Reasoning about implicit invocation. 209–221. 32 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