Author/Creator: Gallagher, John P. - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator Gallagher, John P.

1. Horn clause verification with convex polyhedral abstraction and tree automata-based refinement. (January 2017)

Authors:: Kafle, Bishoksan; Gallagher, John P.
Journal:: Computer languages, systems & structures
Issue:: Volume 47:Part 1(2017)
Page Start:: 2
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Performance of echocardiography for detection of portopulmonary hypertension among liver transplant candidates: Meta‐analysis. Issue 11 (27th September 2020)

Authors:: Korbitz, Parker M.; Gallagher, John P.; Samant, Hrishikesh; Singh, Shailender; Jophlin, Loretta; Ingviya, Thammasin; Manatsathit, Wuttiporn
Journal:: Clinical transplantation
Issue:: Volume 34:Issue 11(2020)
Page Start:: n/a
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗