Concepedia

Jeff Joyce

JJ

Statistics

Publications

5

Citations

144

H-Index

5

Active since

1985

Affiliations

Critical Systems Labs(Current)

Eunice Kennedy Shriver National Institute of Child Health and Human Development

Emory University

University of Iowa

RTI International

Jeff Joyce is an author at Critical Systems Labs specializing in safety engineering, formal methods, and computer science.

Publications per year

1985–2024

5

Publications

5

Neurodevelopmental Outcomes of Extremely Preterm Infants Fed Donor Milk or Preterm Infant Formula

Tarah T. Colaizy, Brenda B. Poindexter, Scott A. McDonald et al. · JAMA · 2024 · 63 citations · Full text

Medicine, Child Health, Pediatrics +17

PROVING A COMPUTER CORRECT IN HIGHER ORDER LOGIC

Jeff Joyce, Graham Birtwistle · PRISM (University of Calgary) · 1985 · 38 citations · Full text

Computing, Computer Science, Mathematics +10

Assurance Case Development as Data: A Manifesto

Claudio Menghi, Torin Viger, Alessio Di Sandro et al. · 2023 · 16 citations

Engineering, Computer Science, Systems Engineering +15

Eliminative Argumentation for Arguing System Safety - A Practitioner’s Experience

Simon Diemert, Jeff Joyce · 2020 IEEE International Systems Conference (SysCon) · 2020 · 14 citations

Engineering, Automotive Engineering, Systems Engineering +17

Timing of Red Blood Cell Transfusions and Occurrence of Necrotizing Enterocolitis

Ariel A. Salas, Elizabeth Gunn, Waldemar A. Carlo et al. · JAMA Network Open · 2024 · 13 citations · Full text

Medicine, Child Health, Pediatrics +17

1–5 of 5