Michael Dyer

1.3k total citations
19 papers, 885 citations indexed

About

Michael Dyer is a scholar working on Information Systems, Software and Artificial Intelligence. According to data from OpenAlex, Michael Dyer has authored 19 papers receiving a total of 885 indexed citations (citations by other indexed papers that have themselves been cited), including 11 papers in Information Systems, 9 papers in Software and 4 papers in Artificial Intelligence. Recurrent topics in Michael Dyer's work include Software Engineering Research (10 papers), Software Reliability and Analysis Research (8 papers) and Software Testing and Debugging Techniques (7 papers). Michael Dyer is often cited by papers focused on Software Engineering Research (10 papers), Software Reliability and Analysis Research (8 papers) and Software Testing and Debugging Techniques (7 papers). Michael Dyer collaborates with scholars based in United States. Michael Dyer's co-authors include Harlan D. Mills, R.C. Linger, Robert L. Bailey, Thomas E. Bell, Harold E. Burkhart, Timothy G. Grégoire, Qiushi Cui, Yang Weng and G.T. Heydt and has published in prestigious journals such as IEEE Transactions on Software Engineering, IEEE Transactions on Power Delivery and Canadian Journal of Forest Research.

In The Last Decade

Michael Dyer

19 papers receiving 715 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Michael Dyer United States 9 470 455 205 143 98 19 885
Uwe Glässer Canada 16 117 0.2× 78 0.2× 214 1.0× 7 0.0× 107 1.1× 60 598
A. Wayne Wymore United States 10 55 0.1× 48 0.1× 85 0.4× 4 0.0× 37 0.4× 16 543
Timothy J. Long United States 14 105 0.2× 54 0.1× 279 1.4× 15 0.1× 61 0.6× 39 671
Yannis Dimopoulos Cyprus 13 45 0.1× 38 0.1× 657 3.2× 23 0.2× 131 1.3× 35 876
Marta Simeoni Italy 10 251 0.5× 283 0.6× 382 1.9× 2 0.0× 472 4.8× 25 694
Bernd Mahr Germany 8 215 0.5× 229 0.5× 646 3.2× 7 0.0× 184 1.9× 31 961
Shawn A. Butler United States 7 223 0.5× 83 0.2× 58 0.3× 14 0.1× 113 1.2× 23 362
Erland Jungert Sweden 12 35 0.1× 21 0.0× 116 0.6× 22 0.2× 161 1.6× 60 536
Iván Mura Italy 13 38 0.1× 194 0.4× 40 0.2× 87 0.9× 49 585

Countries citing papers authored by Michael Dyer

Since Specialization
Citations

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

Fields of papers citing papers by Michael Dyer

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Michael Dyer

This figure shows the co-authorship network connecting the top 25 collaborators of Michael Dyer. A scholar is included among the top collaborators of Michael Dyer 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 Michael Dyer. Michael Dyer is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

19 of 19 papers shown
1.
Cui, Qiushi, et al.. (2020). Reinforcement Learning Based Recloser Control for Distribution Cables With Degraded Insulation Level. IEEE Transactions on Power Delivery. 36(2). 1118–1127. 6 indexed citations
2.
Heydt, G.T., et al.. (2007). A Radial Scan Method of Power Flow Analysis for Distribution Systems. 139. 589–594. 1 indexed citations
3.
Dyer, Michael. (1993). Distribution-based statistical sampling: An approach to software functional test. Journal of Systems and Software. 20(2). 107–114. 2 indexed citations
4.
Dyer, Michael. (1992). Verification based inspection. 17. 418–427 vol.2. 6 indexed citations
5.
Dyer, Michael. (1992). The Cleanroom Approach to Quality Software Development. Medical Entomology and Zoology. 121 indexed citations
6.
Dyer, Michael. (1991). Software reliability — what is it?. Software Testing Verification and Reliability. 1(1). 31–38. 1 indexed citations
7.
Dyer, Michael, et al.. (1990). Correctness verification: alternative to structural software testing. Information and Software Technology. 32(1). 53–59. 3 indexed citations
8.
Dyer, Michael, et al.. (1989). Corrections to “certifying” the reliability of software. IEEE Transactions on Software Engineering. 15(3). 363–364. 1 indexed citations
9.
Grégoire, Timothy G. & Michael Dyer. (1989). Model Fitting Under Patterned Heterogeneity of Variance. Forest Science. 35(1). 105–125. 24 indexed citations
10.
Dyer, Michael, et al.. (1989). Correction to 'Certifying the reliability of software' (Jan. 1986 3-11). IEEE Transactions on Software Engineering. 15(3). 362–362. 48 indexed citations
11.
Dyer, Michael. (1988). Designing software for provable correctness. Information and Software Technology. 30(6). 331–340. 3 indexed citations
12.
Dyer, Michael & Robert L. Bailey. (1987). A Test of Six Methods for Estimating True Heights from Stem Analysis Data. Forest Science. 33(1). 3–13. 77 indexed citations
13.
Dyer, Michael. (1987). A formal approach to software error removal. Journal of Systems and Software. 7(2). 109–114. 12 indexed citations
14.
Dyer, Michael & Harold E. Burkhart. (1987). Compatible crown ratio and crown height models. Canadian Journal of Forest Research. 17(6). 572–574. 53 indexed citations
15.
Mills, Harlan D., Michael Dyer, & R.C. Linger. (1987). Cleanroom Software Engineering. IEEE Software. 4(5). 19–25. 290 indexed citations
16.
Dyer, Michael. (1987). An approach to software reliability measurement. Information and Software Technology. 29(8). 415–420. 5 indexed citations
17.
Dyer, Michael, et al.. (1986). Certifying the reliability of software. IEEE Transactions on Software Engineering. SE-12(1). 3–11. 119 indexed citations
18.
Dyer, Michael. (1980). The management of software engineering, Part IV: Software development practices. IBM Systems Journal. 19(4). 451–465. 7 indexed citations
19.
Bell, Thomas E., et al.. (1977). An Extendable Approach to Computer-Aided Software Requirements Engineering. IEEE Transactions on Software Engineering. SE-3(1). 49–60. 106 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

Breakdown of academic impact, for papers by Uwe Glässer Breakdown of academic impact, for papers by A. Wayne Wymore Breakdown of academic impact, for papers by Timothy J. Long Breakdown of academic impact, for papers by Yannis Dimopoulos Breakdown of academic impact, for papers by Marta Simeoni Breakdown of academic impact, for papers by Bernd Mahr Breakdown of academic impact, for papers by Shawn A. Butler Breakdown of academic impact, for papers by Erland Jungert Breakdown of academic impact, for papers by Iván Mura
Rankless by CCL
2026