Four Logics and a Protocol. - David Gray; Geoff W. Hamilton; David Sinclair; J. Paul Gibson; James F. Power (IWFM, 1999)

Specifying and Verifying IP with Linear Logic. - David Sinclair; James F. Power; J. Paul Gibson; David Gray; Geoff W. Hamilton (ICDCS Workshop on Distributed System Validation and Verification, 2000)

Metric-Based Analysis of Context-Free Grammars. - James F. Power; Brian A. Malloy (IWPC, 2000)

An Approach for Modeling the Name Lookup Problem in the C++ Programming Language. - James F. Power; Brian A. Malloy (SAC (2), 2000)

Symbol Table Construction and Name Lookup in ISO C++. - James F. Power; Brian A. Malloy (TOOLS (37), 2000)

An object oriented approach to parser generation in C++. - L. Cosgrave; James F. Power; John Waldron (South Afr. Comput. J., 2000)

Platform independent dynamic Java virtual machine analysis: the Java Grande Forum Benchmark suite. - Charlie Daly; Jane Horgan; James F. Power; John Waldron (Java Grande, 2001)

Exploiting metrics to facilitate grammar transformation into LALR format. - James F. Power; Brian A. Malloy (SAC, 2001)

Measurement and Analysis of Runtime Profiling Data for Java Programs. - Jane Horgan; James F. Power; John Waldron (SCAM, 2001)

Measuring the impact of object-oriented techniques in grande applications: a method-level analysis. - David Gregg; James F. Power; John Waldron (Java Grande, 2002)

Automated Validation of Class Invariants in C ++ Applications. - Tanton H. Gibbs; Brian A. Malloy; James F. Power (ASE, 2002)

Bigram analysis of Java bytecode sequences. - Diarmuid P. O'Donoghue; Aine Leddy; James F. Power; John Waldron (PPPJ/IRE, 2002)

ACM SAC2002 software engineering: theory and applications (SETA) track description. - David C. Rine; James F. Power; J. Paul Gibson (SAC, 2002)

Program Annotation in XML: A Parse-Tree Based Approach. - James F. Power; Brian A. Malloy (WCRE, 2002)

gccXfront: Exploiting gcc as a Front End for Program Comprehension Tools via XML/XSLT. - Mark Hennessy; Brian A. Malloy; James F. Power (IWPC, 2003)

Platform independent dynamic Java virtual machine analysis: the Java Grande Forum benchmark suite. - David Gregg; James F. Power; John Waldron (Concurr. Comput. Pract. Exp., 2003)

Decorating tokens to facilitate recognition of ambiguous language constructs. - Brian A. Malloy; Tanton H. Gibbs; James F. Power (Softw. Pract. Exp., 2003)

Identifying and Evaluating a Generic Set of Superinstructions for Embedded Java Programs. - Diarmuid P. O'Donoghue; James F. Power (ESA/VLSI, 2004)

An empirical investigation into the dimensions of run-time coupling in Java programs. - Áine Mitchell; James F. Power (PPPJ, 2004)

Run-Time Cohesion Metrics: An Empirical Investigation. - Áine Mitchell; James F. Power (Software Engineering Research and Practice, 2004)

Specifying and Verifying Communications Protocols using Mixed Intuitionistic Linear Logic. - David Sinclair; James F. Power (FMICS, 2004)

A Formal Model of Forth Control Words in the Pi-Calculus. - James F. Power; David Sinclair (J. Univers. Comput. Sci., 2004)

A metrics suite for grammar-based software. - James F. Power; Brian A. Malloy (J. Softw. Maintenance Res. Pract., 2004)

g4re: Harnessing GCC to Reverse Engineer C++ Applications. - Nicholas A. Kraft; Brian A. Malloy; James F. Power (Transformation Techniques in Software Engineering, 2005)

A Coverage Analysis of Java Benchmark Suites. - Stephen Brown; Áine Mitchell; James F. Power (IASTED Conf. on Software Engineering, 2005)

An analysis of rule coverage as a criterion in generating minimal test suites for grammar-based software. - Mark Hennessy; James F. Power (ASE, 2005)

Using object-level run-time metrics to study coupling between objects. - Áine Mitchell; James F. Power (SAC, 2005)

Exploiting UML dynamic object modeling for the visualization of C++ programs. - Brian A. Malloy; James F. Power (SOFTVIS, 2005)

Using a Molecular Metaphor to Facilitate Comprehension of 3D Object Diagrams. - Brian A. Malloy; James F. Power (VL/HCC, 2005)

Toward an Infrastructure to Support Interoperability in Reverse Engineering. - Nicholas A. Kraft; Brian A. Malloy; James F. Power (WCRE, 2005)

A method-level comparison of the Java Grande and SPEC JVM98 benchmark suites. - David Gregg; James F. Power; John Waldron (Concurr. Pract. Exp., 2005)

Editorial. - James F. Power; John Waldron (Sci. Comput. Program., 2005)

Ensuring behavioural equivalence in test-driven porting. - Mark Hennessy; James F. Power (CASCON, 2006)

On the Application of Software Metrics to UML Models. - Jacqueline A. McQuillan; James F. Power (MoDELS (Workshops), 2006)

Experiences of using the Dagstuhl Middle Metamodel for defining software metrics. - Jacqueline A. McQuillan; James F. Power (PPPJ, 2006)

A study of the influence of coverage on the relationship between static and dynamic coupling metrics. - Áine Mitchell; James F. Power (Sci. Comput. Program., 2006)

Exploiting design patterns to automate validation of class invariants. - Brian A. Malloy; James F. Power (Softw. Test. Verification Reliab., 2006)

Intra-Class Testing of Abstract Class Features. - Peter J. Clarke; Djuradj Babich; Tariq M. King; James F. Power (ISSRE, 2007)

REM4j - A Framework for Measuring the Reverse Engineering Capability of UML CASE Tools. - Steven Kearney; James F. Power (SEKE, 2007)

An infrastructure to support interoperability in reverse engineering. - Nicholas A. Kraft; Brian A. Malloy; James F. Power (Inf. Softw. Technol., 2007)

A tool chain for reverse engineering C++ applications. - Nicholas A. Kraft; Brian A. Malloy; James F. Power (Sci. Comput. Program., 2007)

A Metamodel for the Measurement of Object-Oriented Systems: An Analysis using Alloy. - Jacqueline A. McQuillan; James F. Power (ICST, 2008)

Platform Independent Timing of Java Virtual Machine Bytecode Instructions. - Jonathan M. Lambert; James F. Power (QAPL, 2008)

Analysing the effectiveness of rule-coverage as a reduction criterion for test suites of grammar-based software. - Mark Hennessy; James F. Power (Empir. Softw. Eng., 2008)

PPPJ 2006 special issue - foreword. - Markus Aleksy; Ralf Gitzel; John Waldron; James F. Power (Sci. Comput. Program., 2008)

PPPJ special issue-Foreword. - Markus Aleksy; Vasco Amaral 001; Ralf Gitzel; James F. Power; John Waldron (Sci. Comput. Program., 2009)

Using a class abstraction technique to predict faults in OO classes: a case study through six releases of the Eclipse JDT. - Djuradj Babich; Peter J. Clarke; James F. Power; B. M. Golam Kibria (SAC, 2011)

Teaching discrete structures: a systematic review of the literature. - James F. Power; Thomas Whelan; Susan Bergin (SIGCSE, 2011)

A Simple Complexity Measurement for Software Verification and Software Testing. - Zheng Cheng; Rosemary Monahan; James F. Power (COMPARE, 2012)

Measurement of exception-handling code: an exploratory study. - Keith Ó Dúlaigh; James F. Power; Peter J. Clarke (WEH@ICSE, 2012)

Metamodel Instance Generation: A systematic literature review - Hao Wu 017; Rosemary Monahan; James F. Power (CoRR, 2012)

A testing strategy for abstract classes. - Peter J. Clarke; James F. Power; Djuradj Babich; Tariq M. King (Softw. Test. Verification Reliab., 2012)

Exploiting Attributed Type Graphs to Generate Metamodel Instances Using an SMT Solver. - Hao Wu 017; Rosemary Monahan; James F. Power (TASE, 2013)

Thue's 1914 paper: a translation. - James F. Power (CoRR, 2013)

An Early Completion Algorithm: Thue's 1914 Paper on the Transformation of Symbol Sequences. - James F. Power (CiE, 2014)

Can a Computationally Creative System Create Itself? Creative Artefacts and Creative Processes. - Diarmuid P. O'Donoghue; James F. Power; Sian O'Briain; Feng Dong; Aidan Mooney; Donny Hurley; Yalemisew M. Abgaz; Charles Markham (ICCC, 2014)

A Sound Execution Semantics for ATL via Translation Validation - Research Paper. - Zheng Cheng; Rosemary Monahan; James F. Power (ICMT, 2015)

Verifying SimpleGT Transformations Using an Intermediate Verification Language. - Zheng Cheng; Rosemary Monahan; James F. Power (VOLT@STAF, 2015)

Evaluating the use of a general-purpose benchmark suite for domain-specific SMT-solving. - Andrew Healy; Rosemary Monahan; James F. Power (SAC, 2016)

An Institution for Event-B. - Marie Farrell; Rosemary Monahan; James F. Power (WADT, 2016)

Predicting SMT Solver Performance for Software Verification. - Andrew Healy; Rosemary Monahan; James F. Power (F-IDE@FM, 2016)

Quantifying the Transition from Python 2 to 3: An Empirical Study of Python Applications. - Brian A. Malloy; James F. Power (ESEM, 2017)

Combining Event-B and CSP: An Institution Theoretic Approach to Interoperability. - Marie Farrell; Rosemary Monahan; James F. Power (ICFEM, 2017)

Specification Clones: An Empirical Study of the Structure of Event-B Specifications. - Marie Farrell; Rosemary Monahan; James F. Power (SEFM, 2017)

Formalised EMFTVM bytecode language for sound verification of model transformations. - Zheng Cheng; Rosemary Monahan; James F. Power (Softw. Syst. Model., 2018)

Quantifying Activity and Collaboration Levels in Programming Assignments. - James F. Power; John Waldron (ITiCSE, 2019)

An empirical analysis of the transition from Python 2 to Python 3. - Brian A. Malloy; James F. Power (Empir. Softw. Eng., 2019)

Grammar engineering for multiple front-ends for Python. - Brian A. Malloy; James F. Power (Softw. Pract. Exp., 2019)

Calibration and Analysis of Source Code Similarity Measures for Verilog Hardware Description Language Projects. - James F. Power; John Waldron (SIGCSE, 2020)

Building Specifications in the Event-B Institution. - Marie Farrell; Rosemary Monahan; James F. Power (Log. Methods Comput. Sci., 2022)

Building Specifications in the Event-B Institution: A Summary. - Marie Farrell; Rosemary Monahan; James F. Power (ABZ, 2023)