Justin M Spivey

4.3k total citations · 1 hit paper
21 papers, 2.3k citations indexed

About

Justin M Spivey is a scholar working on Pharmacology, Artificial Intelligence and Computational Theory and Mathematics. According to data from OpenAlex, Justin M Spivey has authored 21 papers receiving a total of 2.3k indexed citations (citations by other indexed papers that have themselves been cited), including 8 papers in Pharmacology, 5 papers in Artificial Intelligence and 4 papers in Computational Theory and Mathematics. Recurrent topics in Justin M Spivey's work include Antibiotics Pharmacokinetics and Efficacy (8 papers), Antibiotic Resistance in Bacteria (4 papers) and Logic, programming, and type systems (4 papers). Justin M Spivey is often cited by papers focused on Antibiotics Pharmacokinetics and Efficacy (8 papers), Antibiotic Resistance in Bacteria (4 papers) and Logic, programming, and type systems (4 papers). Justin M Spivey collaborates with scholars based in United States, United Kingdom and Australia. Justin M Spivey's co-authors include C. A. R. Hoare, Bernard Sufrin, Ian J. Hayes, He Jifeng, Carroll Morgan, J. W. Sanders, Ib Holm Sørensen, A. W. Roscoe, David E. Nix and Jonathan P. Moorman and has published in prestigious journals such as Communications of the ACM, Annals of Emergency Medicine and IEEE Software.

In The Last Decade

Justin M Spivey

20 papers receiving 2.0k citations

Hit Papers

The Z notation: a reference manual 1992 2026 2003 2014 1992 400 800 1.2k
What are hit papers?

Hit papers significantly outperform the citation benchmark for their cohort. A paper qualifies if it has ≥500 total citations, achieves ≥1.5× the top-1% citation threshold for papers in the same subfield and year (this is the minimum needed to enter the top 1%, not the average within it), or reaches the top citation threshold in at least one of its specific research topics.

  1. The Z notation: a reference manual
    1992 1.5k citations Justin M Spivey profile →

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Justin M Spivey United States 12 1.3k 858 817 737 411 21 2.3k
Joxan Jaffar Singapore 18 1.9k 1.5× 560 0.7× 1.0k 1.2× 277 0.4× 1.1k 2.7× 66 2.8k
Pierre Wolper Belgium 27 2.7k 2.1× 1.6k 1.9× 3.6k 4.4× 225 0.3× 772 1.9× 52 4.4k
E. Allen Emerson United States 32 3.8k 2.9× 2.1k 2.5× 4.9k 6.0× 392 0.5× 901 2.2× 76 6.3k
Terence Kelly United States 23 354 0.3× 207 0.2× 201 0.2× 769 1.0× 1.6k 3.9× 78 2.1k
George S. Avrunin United States 22 1.1k 0.8× 1.2k 1.4× 1.2k 1.5× 629 0.9× 397 1.0× 99 2.7k
James C. Corbett United States 16 1.1k 0.8× 1.4k 1.7× 1.5k 1.8× 831 1.1× 777 1.9× 41 2.8k
Maurice Bruynooghe Belgium 28 2.0k 1.5× 363 0.4× 963 1.2× 323 0.4× 499 1.2× 202 2.5k
Marco Roveri Italy 22 1.3k 1.0× 723 0.8× 958 1.2× 436 0.6× 286 0.7× 94 2.0k
John Hatcliff United States 27 1.1k 0.9× 1.3k 1.5× 1.2k 1.4× 635 0.9× 519 1.3× 102 2.7k
Hanne Riis Nielson Denmark 21 1.6k 1.2× 583 0.7× 1.0k 1.2× 754 1.0× 728 1.8× 140 2.5k

Countries citing papers authored by Justin M Spivey

Since Specialization
Citations

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

Fields of papers citing papers by Justin M Spivey

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Justin M Spivey

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

All Works

20 of 20 papers shown
1.
Wrenn, Rebekah, et al.. (2022). Comparison of Open-Access, Trough-Only Online Calculators Versus Trapezoidal Method for Calculation of Vancomycin Area Under the Curve (AUC). Annals of Pharmacotherapy. 57(8). 940–947. 3 indexed citations
2.
Cluck, David B., et al.. (2015). Ceftolozane–tazobactam: A new-generation cephalosporin. American Journal of Health-System Pharmacy. 72(24). 2135–2146. 52 indexed citations
3.
Spivey, Justin M. (2009). Algebras for combinatorial search. Journal of Functional Programming. 19(3-4). 469–487. 8 indexed citations
4.
Buonopane, Stephen G., Justin M Spivey, & Dario A. Gasparini. (2003). Engineering analysis as a historical documentation tool: Recent work of the Historic American Engineering Record. 421–431. 1 indexed citations
5.
Spivey, Justin M. (2003). Fast, accurate call graph profiling. Software Practice and Experience. 34(3). 249–264. 63 indexed citations
6.
Spivey, Justin M, et al.. (2000). Functional Reading of Logic Programs.. JUCS - Journal of Universal Computer Science. 6. 433–446. 1 indexed citations
7.
Spivey, Justin M, et al.. (1998). Lipid and Lipoprotein Responses to Oral Combined Hormone Replacement Therapy in Normolipemic Obese Women with Controlled Type 2 Diabetes Mellitus. The Journal of Clinical Pharmacology. 38(12). 1107–1115. 9 indexed citations
8.
Nix, David E., et al.. (1997). Assessment of the Enzymuria Resulting from Gentamicin Alone and Combinations of Gentamicin with Various β-Lactam Antibiotics. Annals of Pharmacotherapy. 31(6). 696–703. 12 indexed citations
9.
Spivey, Justin M, et al.. (1996). Failure of Prostatitis Treatment Secondary to Probable Ciprofloxacin‐Sucralfate Drug Interaction. Pharmacotherapy The Journal of Human Pharmacology and Drug Therapy. 16(2). 314–316. 13 indexed citations
10.
Nix, David E., et al.. (1992). Dose-Ranging Pharmacokinetic Study of Ciprofloxacin after 200-, 300-, and 400-mg Intravenous Doses. Annals of Pharmacotherapy. 26(1). 8–10. 28 indexed citations
11.
Spivey, Justin M. (1992). The Z notation: a reference manual. 1466 indexed citations breakdown →
12.
Spivey, Justin M, Robert A. Blum, & David E. Nix. (1992). Mathematic Modeling of Drug Disposition and Postdialysis Rebound in Patients Requiring Hemodialysis. Pharmacotherapy The Journal of Human Pharmacology and Drug Therapy. 12(3). 201–206. 4 indexed citations
13.
Pleasants, Roy A., et al.. (1991). Use of antimicrobial drugs in adults before and after removal of a restriction policy. American Journal of Health-System Pharmacy. 48(6). 1220–1227. 39 indexed citations
14.
Nix, David E., et al.. (1991). Combined Use of Ciprofloxacin and Sucralfate. DICP. 25(6). 578–582. 31 indexed citations
15.
Spivey, Justin M, et al.. (1991). Theophylline toxicity secondary to ciprofloxacin administration. Annals of Emergency Medicine. 20(10). 1131–1134. 6 indexed citations
16.
Spivey, Justin M & Jerome J. Schentag. (1990). Aminoglycosides revisited. Current Opinion in Infectious Diseases. 3(6). 770–772. 2 indexed citations
17.
Spivey, Justin M. (1990). Specifying a real-time kernel. IEEE Software. 7(5). 21–28. 30 indexed citations
18.
Spivey, Justin M. (1989). An introduction to Z and formal specifications. Software Engineering Journal. 4(1). 40–40. 62 indexed citations
19.
Spivey, Justin M. (1988). Understanding Z: A Specification Language and its Formal Semantics. Medical Entomology and Zoology. 222 indexed citations
20.
Hoare, C. A. R., Ian J. Hayes, He Jifeng, et al.. (1987). Laws of programming. Communications of the ACM. 30(8). 672–686. 204 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 Joxan Jaffar Breakdown of academic impact, for papers by Pierre Wolper Breakdown of academic impact, for papers by E. Allen Emerson Breakdown of academic impact, for papers by Terence Kelly Breakdown of academic impact, for papers by George S. Avrunin Breakdown of academic impact, for papers by James C. Corbett Breakdown of academic impact, for papers by Maurice Bruynooghe Breakdown of academic impact, for papers by Marco Roveri Breakdown of academic impact, for papers by John Hatcliff Breakdown of academic impact, for papers by Hanne Riis Nielson
Rankless by CCL
2026