Michael Smyth

3.9k total citations
30 papers, 860 citations indexed

About

Michael Smyth is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Computer Vision and Pattern Recognition. According to data from OpenAlex, Michael Smyth has authored 30 papers receiving a total of 860 indexed citations (citations by other indexed papers that have themselves been cited), including 16 papers in Computational Theory and Mathematics, 8 papers in Artificial Intelligence and 7 papers in Computer Vision and Pattern Recognition. Recurrent topics in Michael Smyth's work include Digital Image Processing Techniques (7 papers), Logic, Reasoning, and Knowledge (6 papers) and Logic, programming, and type systems (6 papers). Michael Smyth is often cited by papers focused on Digital Image Processing Techniques (7 papers), Logic, Reasoning, and Knowledge (6 papers) and Logic, programming, and type systems (6 papers). Michael Smyth collaborates with scholars based in United Kingdom, Israel and United States. Michael Smyth's co-authors include Gordon Plotkin, Daniel Lehmann, Gavin D. Perkins, Samantha Brace-McDonnell, Abbas Edalat, Simon J. Brookes, Bonnie F. Jacobs, Peter Freyd, Stephen Vickers and Peter Johnstone and has published in prestigious journals such as Annals of the New York Academy of Sciences, SIAM Journal on Computing and Resuscitation.

In The Last Decade

Michael Smyth

27 papers receiving 774 citations

Peers

Michael Smyth

AI

CTM

MP

GT

CNC

Tali Kaufman Israel

Dirk Hofmann Portugal

Jean Goubault-Larrecq France

Jan Pachl Canada

Wojciech A. Trybulec

Kirby A. Baker United States

Nicolai Vorobjov United Kingdom

Gilbert Stengle United States

Ray Mines United States

Yahya Ould Hamidoune France

Tali Kaufman Israel

Michael Smyth

343 ×0.6

AI

368 ×0.7

CTM

15 ×0.1

MP

41 ×0.4

GT

158 ×1.7

CNC

Citations per year, relative to Michael Smyth Michael Smyth (= 1×) peers Tali Kaufman

Countries citing papers authored by Michael Smyth

Since Specialization

Citations

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

Fields of papers citing papers by Michael Smyth

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Michael Smyth

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

Petrou, Stavros, Michael Smyth, Gavin D. Perkins, et al.. (2024). Comparative cost-effectiveness of termination of resuscitation rules for patients transported in cardiac arrest. Resuscitation. 201. 110274–110274. 3 indexed citations

2.

Smyth, Michael, Ranjit Lall, Kath Starr, et al.. (2023). Randomised controlled trial of analgesia for the management of acute severe pain from traumatic injury: study protocol for the paramedic analgesia comparing ketamine and morphine in trauma (PACKMaN). Scandinavian Journal of Trauma Resuscitation and Emergency Medicine. 31(1). 84–84. 2 indexed citations

3.

Olasveengen, Theresa M., Maaret Castrén, A. Handley, et al.. (2020). Basismaßnahmen zur Wiederbelebung Erwachsener. Notfall + Rettungsmedizin. 23(4). 246–247.

4.

Ji, Chen, Ranjit Lall, Tom Quinn, et al.. (2017). Post-admission outcomes of participants in the PARAMEDIC trial: A cluster randomised trial of mechanical or manual chest compressions. Resuscitation. 118. 82–88. 15 indexed citations

5.

Lall, Ranjit, Charles D. Deakin, Simon Gates, et al.. (2016). Characteristics of patients who are not resuscitated in out of hospital cardiac arrests and opportunities to improve community response to cardiac arrest. Resuscitation. 109. 110–115. 15 indexed citations

6.

Smyth, Michael, Samantha Brace-McDonnell, & Gavin D. Perkins. (2016). Impact of Prehospital Care on Outcomes in Sepsis: A Systematic Review. Western Journal of Emergency Medicine. 17(4). 427–437. 21 indexed citations

7.

Smyth, Michael, et al.. (2012). Aspects of lifelikeness: a framework for optional interactions with public installations. Edinburgh Napier Research Repository (Edinburgh Napier University). 1 indexed citations

8.

Smyth, Michael, et al.. (2008). Topological graph dimension. Discrete Mathematics. 310(2). 325–329. 3 indexed citations

9.

Smyth, Michael, et al.. (2003). Fixed Points in Digital Topology (via Helly Posets). Electronic Notes in Theoretical Computer Science. 74. 207–223.

10.

Smyth, Michael. (1996). Lines as Topological Graphs^a. Annals of the New York Academy of Sciences. 806(1). 413–432. 1 indexed citations

11.

Smyth, Michael. (1995). Semi-metrics, closure spaces and digital topology. Theoretical Computer Science. 151(1). 257–276. 33 indexed citations

12.

Smyth, Michael. (1994). Inverse Limits of Graphs.. Formal Methods. 397–409. 2 indexed citations

13.

Edalat, Abbas & Michael Smyth. (1993). I-Categories as a framework for solving domain equations. Theoretical Computer Science. 115(1). 77–106. 7 indexed citations

14.

Edalat, Abbas & Michael Smyth. (1993). Information categories. Applied Categorical Structures. 1(2). 197–232. 2 indexed citations

15.

Lehmann, Daniel & Michael Smyth. (1981). Algebraic specification of data types: A synthetic approach. Theory of Computing Systems. 14(1). 97–139. 60 indexed citations

16.

Smyth, Michael. (1978). Power domains. Journal of Computer and System Sciences. 16(1). 23–36. 148 indexed citations

17.

Lehmann, Daniel & Michael Smyth. (1977). Data Types (Extended Abstract). 32. 7–12. 3 indexed citations

18.

Smyth, Michael. (1977). Effectively given domains. Theoretical Computer Science. 5(3). 257–274. 84 indexed citations

19.

Lehmann, Daniel & Michael Smyth. (1977). Data types. 7–12. 20 indexed citations

20.

Smyth, Michael & Gordon Plotkin. (1977). The category-theoretic solution of recursive domain equations. 274. 13–17. 19 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