An empirical analysis of the transition from Python 2 to Python 3
Malloy, Brian A., Power, James F.
Published in Empirical software engineering : an international journal (01.04.2019)
Published in Empirical software engineering : an international journal (01.04.2019)
Get full text
Journal Article
Nutrient, carbon, and mass loss during composting of beef cattle feedlot manure
Eghball, B. (USDA, ARS, Lincoln, NE.), Power, J.F, Gilley, J.E, Doran, J.W
Published in Journal of environmental quality (01.01.1997)
Published in Journal of environmental quality (01.01.1997)
Get full text
Journal Article
Building Specifications in the Event-B Institution
Farrell, Marie, Monahan, Rosemary, Power, James F.
Published in Logical methods in computer science (09.11.2022)
Published in Logical methods in computer science (09.11.2022)
Get full text
Journal Article
Formalised EMFTVM bytecode language for sound verification of model transformations
Cheng, Zheng, Monahan, Rosemary, Power, James F.
Published in Software and systems modeling (01.10.2018)
Published in Software and systems modeling (01.10.2018)
Get full text
Journal Article
Predicting SMT Solver Performance for Software Verification
Healy, Andrew, Monahan, Rosemary, Power, James F.
Published in Electronic proceedings in theoretical computer science (27.01.2017)
Published in Electronic proceedings in theoretical computer science (27.01.2017)
Get full text
Journal Article
An infrastructure to support interoperability in reverse engineering
Kraft, Nicholas A., Malloy, Brian A., Power, James F.
Published in Information and software technology (01.03.2007)
Published in Information and software technology (01.03.2007)
Get full text
Journal Article
A metrics suite for grammar-based software
Power, James F., Malloy, Brian A.
Published in Journal of software maintenance and evolution (01.11.2004)
Published in Journal of software maintenance and evolution (01.11.2004)
Get full text
Journal Article
Exploiting design patterns to automate validation of class invariants
Malloy, Brian A., Power, James F.
Published in Software testing, verification & reliability (01.06.2006)
Published in Software testing, verification & reliability (01.06.2006)
Get full text
Journal Article
Decorating tokens to facilitate recognition of ambiguous language constructs
Malloy, Brian A., Gibbs, Tanton H., Power, James F.
Published in Software, practice & experience (01.01.2003)
Published in Software, practice & experience (01.01.2003)
Get full text
Journal Article
Fractal description of temporal yield variability of 10 crops in the United States
Eghball, B. (University of Nebraska, Lincoln, NE.), Powers, J.F
Published in Agronomy journal (01.03.1995)
Published in Agronomy journal (01.03.1995)
Get more information
Journal Article
Symbol table construction and name lookup in ISO C++
Power, J.F., Malloy, B.A.
Published in Proceedings 37th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Pacific 2000 (2000)
Published in Proceedings 37th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Pacific 2000 (2000)
Get full text
Conference Proceeding
Journal Article
An Institution for Event-B
Farrell, Marie, Monahan, Rosemary, Power, James F.
Published in Recent Trends in Algebraic Development Techniques (2017)
Published in Recent Trends in Algebraic Development Techniques (2017)
Get full text
Book Chapter