E-LIB Suche - Ergebnisse für: Gallagher, John P

1

Illicit Drugs and Candidates for Endoscopy and Surgery:

, In: Recent Strategies in High Risk Surgery,

Gallagher, John P. ; Twohig, Patrick A. ; Crnic, Agnes. - p. 127-144 , 2024

Link: https://doi.org/10.1007/..

2

Analysis, Verification and Transformation for Declarative P..

Lecture Notes in Computer Science, 13160

Lopez-Garcia, Pedro ; Gallagher, John P ; Giacobazzi, Roberto - 1st ed. 2023 . , 2023

Link: https://doi.org/10.1007/..

3

Combatting Energy Issues for Mobile Applications:

Li, Xueliang ; Chen, Junyang ; Liu, Yepang..
ACM Transactions on Software Engineering and Methodology. 32 (2023) 1 - p. 1-44 , 2023

Link: https://doi.org/10.1145/..

4

Transforming Big-Step to Small-Step Semantics Using Interpr..:

, In: Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science,

Gallagher, John P. ; Hermenegildo, Manuel ; Morales, José. - p. 28-38 , 2023

Link: https://doi.org/10.1007/..

5

Performance of Leukocyte Esterase Reagent Strips in the Det..:

Patel, Kishan P. ; Gallagher, John P. ; Korbitz, Parker M....
Journal of Clinical and Experimental Hepatology. 12 (2022) 2 - p. 519-532 , 2022

Link: https://doi.org/10.1016/..

6

Illicit Drug Use and Endoscopy: When Do We Say No?:

Gallagher, John P. ; Twohig, Patrick A. ; Crnic, Agnes.
Digestive Diseases and Sciences. 67 (2022) 12 - p. 5371-5381 , 2022

Link: https://doi.org/10.1007/..

7

Analysis and Transformation of Constrained Horn Clauses for..:

DE ANGELIS, EMANUELE ; FIORAVANTI, FABIO ; GALLAGHER, JOHN P....
Theory and Practice of Logic Programming. 22 (2021) 6 - p. 974-1042 , 2021

Link: https://doi.org/10.1017/..

8

Preface:

Gallagher, John P. ; Sulzmann, Martin
Science of Computer Programming. 202 (2021) - p. 102577 , 2021

Link: https://doi.org/10.1016/..

9

A General Framework for Static Cost Analysis of Parallel Lo..:

, In: Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science,

Klemen, Maximiliano ; López-García, Pedro ; Gallagher, John P... - p. 19-35 , 2020

Link: https://doi.org/10.1007/..

10

Detecting and diagnosing energy issues for mobile applicati..:

, In: Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis,

Li, Xueliang ; Yang, Yuming ; Liu, Yepang.. - p. 115-127 , 2020

Link: https://dl.acm.org/doi/1..

11

Performance of echocardiography for detection of portopulmo..:

Korbitz, Parker M. ; Gallagher, John P. ; Samant, Hrishikesh...
Clinical Transplantation. 34 (2020) 11 - p. , 2020

Link: https://doi.org/10.1111/..

12

Transmission of SARS-CoV-2: an update of current literature:

Patel, Kishan P. ; Vunnam, Srinivas R. ; Patel, Puja A....
European Journal of Clinical Microbiology & Infectious Diseases. 39 (2020) 11 - p. 2005-2011 , 2020

Link: https://doi.org/10.1007/..

13

Control-Flow Refinement by Partial Evaluation, and its Appl..:

DOMÉNECH, JESÚS J. ; GALLAGHER, JOHN P. ; GENAIM, SAMIR
Theory and Practice of Logic Programming. 19 (2019) 5-6 - p. 990-1005 , 2019

Link: https://doi.org/10.1017/..

14

Logic-Based Program Synthesis and Transformation

27th International Symposium, LOPSTR 2017, Namur, Belgium, ... Lecture Notes in Computer Science ; 10855;Theoretical Computer Science and General Issues ; 10855;SpringerLink, Bücher

Fioravanti, Fabio ; Gallagher, John P. , 2018

Link: http://dx.doi.org/10.100..

15

Functional and Logic Programming

14th International Symposium, FLOPS 2018, Nagoya, Japan, Ma... Lecture Notes in Computer Science ; 10818;Theoretical Computer Science and General Issues ; 10818;SpringerLink, Bücher;Springer eBook Collection, Computer Science

Gallagher, John P. ; Sulzmann, Martin , 2018

Link: https://doi.org/10.1007/..