Concepedia

James Baxter

JB

Statistics

Publications

7

Citations

220

H-Index

7

Active since

1972

Affiliations

University of York(Current)

University of Leeds

NewYork–Presbyterian Hospital

Cornell University

James Baxter is an author at University of York specializing in extracorporeal circulation, thoracic surgery, and membrane oxygenation.

Publications per year

1972–2021

7

Publications

7

The Landé-Edwards membrane oxygenator during heart surgery

Robert G. Carlson, Arnold J. Landé, Bernard Landis et al. · Journal of Thoracic and Cardiovascular Surgery · 1973 · 44 citations

Medicine, Cardiology, Surgery +9

The Landé-Edwards membrane oxygenator during heart surgery. Oxygen transfer, microemboli counts, and Bender-Gestalt visual motor test scores.

Robert G. Carlson, Arnold J. Landé, Bernard Landis et al. · PubMed · 1973 · 43 citations

Medicine, Biomedical Engineering, Surgery +13

Unifying semantic foundations for automated verification tools in Isabelle/UTP

Simon Foster, James Baxter, Ana Cavalcanti et al. · Science of Computer Programming · 2020 · 39 citations · Full text

Computing, Computer Engineering, Computer Science +12

Sound reasoning in tock-CSP

James Baxter, Pedro Ribeiro, Ana Cavalcanti · Acta Informatica · 2021 · 32 citations · Full text

Computing, Computer Science, Computer Systems +17

A Functional Data Model for Assemblies Used to Verify Product Design Specifications

James Baxter, Neal P. Juster, Alan de Pennington · Proceedings of the Institution of Mechanical Engineers Part B Journal of Engineering Manufacture · 1994 · 25 citations · Full text

Arts, Design, Mechanical Engineering +15

1–5 of 7