John P. Gallagher

Identifiers

• name variant John P. Gallagher 0.60 · backfill

Papers (12)

1. Big-step and small-step Horn clause derivations applied to operational semantics cs.PL · 2026 · author #1
2. Detecting and Diagnosing Energy Issues for Mobile Applications cs.SE · 2019 · author #4
3. An iterative approach to precondition inference using constrained Horn clauses cs.LO · 2018 · author #2
4. Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation cs.LO · 2018 · author #1
5. Tree dimension in verification of constrained Horn clauses cs.LO · 2018 · author #2
6. Pre-proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017) cs.PL · 2017 · author #2
7. A Source-level Energy Optimization Framework for Mobile Applications cs.SE · 2016 · author #2
8. An Energy-Aware Programming Approach for Mobile Application Development Guided by a Fine-Grained Energy Model cs.SE · 2016 · author #2
9. Optimised determinisation and completion of finite tree automata cs.FL · 2015 · author #1
10. Fine-Grained Energy Modeling for the Source Code of a Mobile Application cs.OH · 2015 · author #2
11. Convex polyhedral abstractions, specialisation and property-based predicate splitting in Horn clause verification cs.LO · 2014 · author #2
12. Analysis and Transformation Tools for Constrained Horn Clause Verification cs.PL · 2014 · author #1

Mentions

• 2606.20944 #1 · arxiv_oai · confidence 0.70 John P. Gallagher
• 1511.03595 #1 · backfill · confidence 0.70 John P. Gallagher
• 1510.04165 #2 · backfill · confidence 0.70 John P. Gallagher
• 1412.1154 #2 · backfill · confidence 0.70 John P. Gallagher
• 1405.3883 #1 · backfill · confidence 0.70 John P. Gallagher

Frequent Coauthors

• Bishoksan Kafle 5 shared papers
• Xueliang Li 4 shared papers
• Fabio Fioravanti 1 shared papers
• Graeme Gange 1 shared papers
• Harald Sondergaard 1 shared papers
• Jos\'e Morales 1 shared papers
• Kaishun Wu 1 shared papers
• Louis Rustenholz 1 shared papers
• Mai Ajspur 1 shared papers
• Manuel Hermenegildo 1 shared papers
• Pedro Lopez-Garcia 1 shared papers
• Peter J. Stuckey 1 shared papers
• Peter Schachte 1 shared papers
• Pierre Ganty 1 shared papers
• Rob van Glabbeek 1 shared papers
• Wendelin Serwe 1 shared papers
• Yepang Liu 1 shared papers
• Yuming Yang 1 shared papers