Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(168)
John M. McCann
13
German Puebla
9
Maurice Bruynooghe
9
V. Corcoran
7
Huseyin Saglam (Hüseyin Saglam)
7
Conferences
(16)
LOPSTR
18
ICLP(JICSLP)
6
PEPM
5
SAS(WSA)
3
ILPS/ISLP/NACLP/...
2
Journals
(24)
IEEE J QUANTUM ELECTRON
7
CORR
3
J AIRCRAFT
3
System
3
NGC
2
Keywords
(217)
Embed
Subscribe
Academic
Authors
John P. Gallagher
Edit
John P. Gallagher
University of Bristol
Publications: 135
|
Citations: 1351
|
G-Index: 33
|
H-Index: 18
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Programming Languages
,
Software Engineering
,
Physics
View FAQ about top research area and research interests
Collaborated with
168 co-authors
from 1967 to 2010
; Cited by
554 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(135)
BibTeX
|
RIS
|
RefWorks
Download
Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation
(
Citations: 1
)
Gourinath Banda
,
John P. Gallagher
Conference:
Logic Programming and Automated Reasoning/Russian Conference on Logic Programming - LPAR(RCLP)
, pp. 27-45, 2010
Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010, Madrid, Spain, January 18-19, 2010
John P. Gallagher
,
Janis Voigtländer
Conference:
Partial Evaluation and Semantic-Based Program Manipulation - PEPM
, 2010
Proceedings of the 19th Workshop on Logic-based methods in Programming Environments (WLPE 2009)
Rafael Caballero
,
John Gallagher
Journal:
Computing Research Repository - CORR
, vol. abs/1002.4, 2010
Non-discriminating Arguments and Their Uses
(
Citations: 3
)
Henning Christiansen
,
John P. Gallagher
Conference:
International Conference on Logic Programming/Joint International Conference and Symposium on Logic Programming - ICLP(JICSLP)
, pp. 55-69, 2009
Type-based homeomorphic embedding for online termination
Elvira Albert
,
John P. Gallagher
,
Miguel Gómez-zamalloa
,
Germán Puebla
Journal:
Information Processing Letters - IPL
, vol. 109, no. 15, pp. 879-886, 2009
Order by:
Citations
(1351 times by 583 publications)
A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification
(
Citations: 1
)
Wei-Ngan Chin
,
Cristian Gherghina
,
Răzvan Voicu
,
Florin Craciun
,
Shengchao Qin
,
Quang-Loc Le
Conference:
Computer Aided Verification - CAV
, 2011
mTOR kinase inhibition results in oocyte loss characterized by empty follicles in human ovarian cortical strips cultured in vitro
Marie McLaughlin
,
Pasquale Patrizio
,
Umit Kayisli
,
Janelle Luk
,
Travis C. Thomson
,
Richard A. Anderson
,
Evelyn E. Telfer
,
Joshua Johnson
Journal:
Fertility and Sterility - FERT STERIL
, vol. 96, no. 5, pp. 1154-1159.e1, 2011
Automated termination analysis for logic programs with cut
(
Citations: 4
)
Peter Schneider-Kamp
,
Jürgen Giesl
,
Thomas Ströder
,
Alexander Serebrenik
,
René Thiemann
Journal:
Theory and Practice of Logic Programming - TPLP
, vol. 10, no. 4-6, pp. 365-381, 2010
Polytool: Polynomial interpretations as a basis for termination analysis of logic programs
(
Citations: 3
)
MANH THANG NGUYEN
,
DANNY DE SCHREYE
,
JÜRGEN GIESL
,
PETER SCHNEIDER-KAMP
Journal:
Theory and Practice of Logic Programming - TPLP
, vol. 10, no. 02, 2010
Semantic query optimization in the presence of types
(
Citations: 3
)
Michael Meier
,
Michael Schmidt
,
Fang Wei
,
Georg Lausen
Conference:
Symposium on Principles of Database Systems - PODS
, pp. 111-122, 2010
Comments