Dan Craigen

1.4k total citations
28 papers, 443 citations indexed

About

Dan Craigen is a scholar working on Artificial Intelligence, Information Systems and Computational Theory and Mathematics. According to data from OpenAlex, Dan Craigen has authored 28 papers receiving a total of 443 indexed citations (citations by other indexed papers that have themselves been cited), including 12 papers in Artificial Intelligence, 9 papers in Information Systems and 9 papers in Computational Theory and Mathematics. Recurrent topics in Dan Craigen's work include Formal Methods in Verification (9 papers), Logic, programming, and type systems (8 papers) and Cybersecurity and Cyber Warfare Studies (7 papers). Dan Craigen is often cited by papers focused on Formal Methods in Verification (9 papers), Logic, programming, and type systems (8 papers) and Cybersecurity and Cyber Warfare Studies (7 papers). Dan Craigen collaborates with scholars based in Canada and United States. Dan Craigen's co-authors include Ted Ralston, S. Gerhart, Susan L. Gerhart, Tony Bailetti, David Whyte, David Hudson, Steven Muegge, S. A. McKeen, Donald I. Good and Mark Saaltink and has published in prestigious journals such as SHILAP Revista de lepidopterología, IEEE Transactions on Software Engineering and IEEE Software.

In The Last Decade

Dan Craigen

26 papers receiving 392 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Dan Craigen Canada	9	207	141	112	109	88	28	443
Gerardo Schneider Sweden	12	111 0.5×	111 0.8×	147 1.3×	298 2.7×	78 0.9×	83	484
Christophe Ponsard Belgium	11	329 1.6×	138 1.0×	55 0.5×	295 2.7×	146 1.7×	80	542
Roelf J. Wieringa Netherlands	13	379 1.8×	164 1.2×	96 0.9×	342 3.1×	92 1.0×	69	674
Thomas A. Alspaugh United States	13	305 1.5×	159 1.1×	92 0.8×	261 2.4×	72 0.8×	43	550
Subodh Sharma India	8	432 2.1×	63 0.4×	40 0.4×	198 1.8×	135 1.5×	18	575
John R. Callahan United States	12	124 0.6×	93 0.7×	59 0.5×	110 1.0×	72 0.8×	49	469
Bruce Powel Douglass United States	7	102 0.5×	172 1.2×	108 1.0×	176 1.6×	82 0.9×	12	474
Graham Hutton United Kingdom	15	127 0.6×	117 0.8×	357 3.2×	628 5.8×	137 1.6×	64	852
Patrick Arnold Germany	5	277 1.3×	164 1.2×	51 0.5×	369 3.4×	102 1.2×	8	499
Hugh Glaser United Kingdom	13	228 1.1×	20 0.1×	26 0.2×	399 3.7×	140 1.6×	56	595

Countries citing papers authored by Dan Craigen

Since Specialization

Citations

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

Fields of papers citing papers by Dan Craigen

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Dan Craigen

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

1.

Bailetti, Tony & Dan Craigen. (2020). Examining the Relationship between Cybersecurity and Scaling Value for New Companies. SHILAP Revista de lepidopterología. 10(2). 62–69. 4 indexed citations

2.

Muegge, Steven & Dan Craigen. (2015). A Design Science Approach to Constructing Critical Infrastructure and Communicating Cybersecurity Risks. Technology Innovation Management Review. 5(6). 6–16. 1 indexed citations

3.

Muegge, Steven & Dan Craigen. (2015). A Design Science Approach to Constructing Critical Infrastructure and Communicating Cybersecurity Risks. Technology Innovation Management Review. 5(6). 6–16. 2 indexed citations

4.

Craigen, Dan, et al.. (2014). Defining Cybersecurity. Technology Innovation Management Review. 4(10). 13–21. 54 indexed citations

5.

Craigen, Dan. (2014). Assessing Scientific Contributions: A Proposed Framework and Its Application to Cybersecurity. Technology Innovation Management Review. 4(11). 5–13. 2 indexed citations

6.

Craigen, Dan, et al.. (2013). Securing Canada’s Information-Technology Infrastructure: Context, Principles, and Focus Areas of Cybersecurity Research. Technology Innovation Management Review. 3(7). 12–18. 1 indexed citations

7.

Bailetti, Tony, et al.. (2013). Developing an Innovation Engine to Make Canada a Global Leader in Cybersecurity. Technology Innovation Management Review. 3(8). 5–14. 8 indexed citations

8.

Bailetti, Tony, et al.. (2013). Developing an Innovation Engine to Make Canada a Global Leader in Cybersecurity. Technology Innovation Management Review. 3(8). 5–14. 4 indexed citations

9.

Craigen, Dan, et al.. (2013). Securing Canada’s Information-Technology Infrastructure: Context, Principles, and Focus Areas of Cybersecurity Research. Technology Innovation Management Review. 3(7). 12–18. 5 indexed citations

10.

Gerhart, S., Dan Craigen, & Ted Ralston. (2002). Observations on industrial practice using formal methods. 24–33. 7 indexed citations

11.

Craigen, Dan, Susan L. Gerhart, & Ted Ralston. (1995). Industrial applications of formal methods to model, design and analyze computer systems: an international survey. 14 indexed citations

12.

Gerhart, S., Dan Craigen, & Ted Ralston. (1994). Case study: Multinet Gateway System. IEEE Software. 11(1). 37–28. 3 indexed citations

13.

Gerhart, S., Dan Craigen, & Ted Ralston. (1994). Experience with formal methods in critical systems. IEEE Software. 11(1). 21–28. 74 indexed citations

14.

Gerhart, S., Dan Craigen, & Ted Ralston. (1994). Case study: Paris Metro Signaling System. IEEE Software. 11(1). 32–28. 6 indexed citations

15.

Craigen, Dan, S. Gerhart, & Ted Ralston. (1994). Case study: Traffic Alert and Collision-Avoidance System. IEEE Software. 11(1). 35–28. 1 indexed citations

16.

Craigen, Dan, et al.. (1993). An International Survey of Industrial Applications of Formal Methods. Volume 1: Purpose, Approach, Analysis, and Conclusions. Defense Technical Information Center (DTIC). 1. 11 indexed citations

17.

Craigen, Dan. (1991). Tool support for formal methods. International Conference on Software Engineering. 184–185. 2 indexed citations

18.

Craigen, Dan. (1990). FM 89: assessment of formal methods for trustworthy computer systems. International Conference on Software Engineering. 233–235. 4 indexed citations

19.

Craigen, Dan, et al.. (1990). Formal Methods for Trustworthy Computer Systems (FM89). 7 indexed citations

20.

Craigen, Dan & Donald I. Good. (1985). Overview of verification systems. ACM SIGSOFT Software Engineering Notes. 10(4). 1–1. 1 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