A semantic approach to automatic program improvement. - John Darlington (1972)

Some transformations for developing recursive programs. - Rod M. Burstall; John Darlington (Reliable Software, 1975)

A System which Automatically Improves Programs. - John Darlington; Rod M. Burstall (Acta Informatica, 1976)

A Transformation System for Developing Recursive Programs. - Rod M. Burstall; John Darlington (J. ACM, 1977)

A Synthesis of Several Sorting Algorithms. - John Darlington (Acta Informatica, 1978)

Algorithm Classification Through Synthesis. - Keith L. Clark; John Darlington (Comput. J., 1980)

ALICE a multi-processor reduction machine for the parallel evaluation CF applicative languages. - John Darlington; Mike Reeve (FPCA, 1981)

An Experimental Program Transformation and Synthesis System. - John Darlington (Artif. Intell., 1981)

The Unification of Functional and Logic Languages. - John Darlington; A. J. Field; Helen Pull (Logic Programming: Functions, Relations, and Equations, 1986)

Controlling the behaviour of functional language systems. - John Darlington; Lyndon While (FPCA, 1987)

A Functional Programming Environment Supporting Execution, Partial Execution and Transformation. - John Darlington; Peter G. Harrison; Hessam Khoshnevisan; Lee McLoughlin; Nigel Perry; Helen Pull; Mike Reeve; Keith Sephton; Lyndon While; Sue Wright (PARLE (1), 1989)

Narrowing and Unification in Functional Programming - An Evaluation Mechanism for Absolute Set Abstraction. - John Darlington; Yike Guo (RTA, 1989)

Constrained Equational Deduction. - John Darlington; Yike Guo (CTRS, 1990)

Declarative Languages and Program Transformation for Programming Parallel Systems. - John Darlington; Mike Reeve; Sue Wright (Concurr. Pract. Exp., 1990)

A General Computational Scheme for Constraint Logic Programming. - John Darlington; Yike Guo; Qian Wu (ALPUK, 1991)

A Design Space for Integrating Declarative Languages. - John Darlington; Yike Guo; Helen Pull (Declarative Programming, 1991)

Introducing Constraint Functional Logic Programming. - John Darlington; Yike Guo; Helen Pull (Declarative Programming, 1991)

A New Perspective on Integrating Functional and Logic Languages. - John Darlington; Yike Guo; Helen Pull (FGCS, 1992)

Parallel-architecture-directed program transformation. - David W. N. Sharp; Martin Cripps; John Darlington (Parallel Comput., 1992)

Parallel Programming Using Skeleton Functions. - John Darlington; A. J. Field; Peter G. Harrison; Paul H. J. Kelly; David W. N. Sharp; Qian Wu (PARLE, 1993)

Functional Programming Languages with Logical Variables: A Linear Logic View. - John Darlington; Yike Guo; Martin Köhler (PLILP, 1993)

Constraint Logic Programming in the Sequent Calculus. - John Darlington; Yike Guo (LPAR, 1994)

Formalising Actors in Linear Logic. - John Darlington; Yike Guo (OOIS, 1994)

Functional Skeletons for Parallel Coordination. - John Darlington; Yike Guo; Hing Wing To; Jin Yang 002 (Euro-Par, 1995)

Parallel Skeletons for Structured Composition. - John Darlington; Yike Guo; Hing Wing To; Jin Yang 002 (PPoPP, 1995)

Co-ordinating Heterogeneous Parallel Computation. - Peter Au; John Darlington; Moustafa Ghanem; Yike Guo; Hing Wing To; Jin Yang 002 (Euro-Par, Vol. I, 1996)

Parallelizing Conditional Recurrences. - Wei-Ngan Chin; John Darlington; Yike Guo (Euro-Par, Vol. I, 1996)

A Higher-Order Removal Method. - Wei-Ngan Chin; John Darlington (LISP Symb. Comput., 1996)

Enlarging the Scope of Vector-Based Computations: Extending Fortran 90 by Nested Data Parallelism. - K. T. P. Au; Manuel M. T. Chakravarty; John Darlington; Yike Guo; Stefan Jähnichen; Martin Köhler; Gabriele Keller; Wolf Pfannenstiel; Martin Simons 001 (APDC, 1997)

Parallel Induction Algorithms for Data Mining. - John Darlington; Yike Guo; Janjao Sutiwaraphun; Hing Wing To (IDA, 1997)

The Minimised Geometric Buchberger Algorithm: An Optimal Algebraic Algorithm for Integer Programming. - Qiang Li; Yike Guo; Tetsuo Ida; John Darlington (ISSAC, 1997)

Large Scale Data Mining: Challenges and Responses. - Jaturon Chattratichat; John Darlington; Moustafa Ghanem; Yike Guo; Harald Frank Hüning; Martin Köhler; Janjao Sutiwaraphun; Hing Wing To; Dan Yang (KDD, 1997)

Parallelization of a Nonlinear Robust Optimization Algorithm. - B. A. Tanyi; Berç Rustem; John Darlington (PARCO, 1997)

A Software Architecture for Deploying High Performance Solution on the Internet. - Jaturon Chattratichat; John Darlington; Yike Guo; S. Hedvall; Martin Köhler; A. Saleem; Janjao Sutiwaraphun; Dan Yang (HPCN Europe, 1998)

An Architecture for Distributed Enterprise Data Mining. - Jaturon Chattratichat; John Darlington; Yike Guo; S. Hedvall; Martin Köhler; Jameel Syed (HPCN Europe, 1999)

An algorithm for constrained nonlinear optimization under uncertainty. - John Darlington; Constantinos C. Pantelides; Berç Rustem; B. A. Tanyi (Autom., 1999)

A Software Architecture for HPC Grid Applications (Research Note). - Steven J. Newhouse; Anthony Edward Mayer; John Darlington (Euro-Par, 2000)

Decreasing the sensitivity of open-loop optimal solutions in decision making under uncertainty. - John Darlington; Constantinos C. Pantelides; Berç Rustem; B. A. Tanyi (Eur. J. Oper. Res., 2000)

Parallel pseudospectral solution of financial partial differential equations. - Francis Oliver Bunnin; Yike Guo; Yuhe Ren; John Darlington (Parallel Algorithms Appl., 2000)

Design of high performance financial modelling environment. - Francis Oliver Bunnin; Yike Guo; Yuhe Ren; John Darlington (Parallel Comput., 2000)

Design of Problem-Solving Environment for Contingent Claim Valuation. - Francis Oliver Bunnin; Yike Guo; John Darlington (Euro-Par, 2001)

A Component Framework for HPC Applications. - Nathalie Furmento; Anthony Edward Mayer; A. Stephen McGough; Steven J. Newhouse; John Darlington (Euro-Par, 2001)

Building Computational Communities from Federated Resources. - Nathalie Furmento; Steven J. Newhouse; John Darlington (Euro-Par, 2001)

An Integrated Grid Environment for Component Applications. - Nathalie Furmento; Anthony Edward Mayer; A. Stephen McGough; Steven J. Newhouse; Tony Field; John Darlington (GRID, 2001)

Computational Communities: A Marketplace for Federated Resources. - Steven J. Newhouse; John Darlington (HPCN Europe, 2001)

Optimisation of component-based applications within a grid environment. - Nathalie Furmento; Anthony Edward Mayer; A. Stephen McGough; Steven J. Newhouse; Tony Field; John Darlington (SC, 2001)

Minimised Geometric Buchberger Algorithm for Integer Programming. - Qiang Li; Yike Guo; John Darlington; Tetsuo Ida (Ann. Oper. Res., 2001)

Implementing a Scientific Visualisation Capability within a Grid Enabled Component Framework (Research Note). - Jim Stanton; Steven J. Newhouse; John Darlington (Euro-Par, 2002)

Meaning and Behaviour in Grid Oriented Components. - Anthony Edward Mayer; A. Stephen McGough; Murtaza Gulamali; Laurie Robert Young; Jim Stanton; Steven J. Newhouse; John Darlington (GRID, 2002)

ICENI: an open grid service architecture implemented with Jini. - Nathalie Furmento; William Lee 003; Anthony Edward Mayer; Steven J. Newhouse; John Darlington (SC, 2002)

ICENI: Optimisation of component applications within a Grid environment. - Nathalie Furmento; Anthony Edward Mayer; A. Stephen McGough; Steven J. Newhouse; Tony Field; John Darlington (Parallel Comput., 2002)

Implementations of a Service-Oriented Architecture on Top of Jini, JXTA and OGSI. - Nathalie Furmento; Jeffrey Hau; William Lee 003; Steven J. Newhouse; John Darlington (European Across Grids Conference, 2004)

Making the Grid Predictable through Reservations and Performance Modelling. - Andrew Stephen McGough; Ali Afzal; John Darlington; Nathalie Furmento; Anthony Edward Mayer; Laurie Robert Young (Comput. J., 2005)

An End-to-end Workflow Pipeline for Large-scale Grid Computing. - Andrew Stephen McGough; Jeremy Cohen 002; John Darlington; Eleftheria Katsiri; William Lee 003; Sofia Panagiotidi; Yash Patel (J. Grid Comput., 2005)

Domain-Specific Metadata for Model Validation and Performance Optimisation. - Jeyarajan Thiyagalingam; Vladimir Getov; Sofia Panagiotidi; Olav Beckmann; John Darlington (CoreGRID Integration Workshop, 2006)

Capacity Planning and Stochastic Scheduling in Large-Scale Grids. - Ali Afzal; John Darlington; Andrew Stephen McGough (e-Science, 2006)

Running a Production Grid Site at the London e-Science Centre. - David McBride; Marko Krznaric; Olivier van der Aa; Mona Aggarwal; John Darlington; Dave Colling (e-Science, 2006)

A Novel Approach to Workload Allocation of QoS-Constrained Workflow-Based Jobs in a Utility Grid. - Yash Patel; John Darlington (e-Science, 2006)

Average-Based Workload Allocation Strategy for QoS-Constrained Jobs In A Web Service-Oriented Grid. - Yash Patel; John Darlington (EDOC Workshops, 2006)

Stochastic Workflow Scheduling with QoS Guarantees in Grid Computing Environments. - Ali Afzal; John Darlington; Andrew Stephen McGough (GCC, 2006)

QoS-Constrained Stochastic Workflow Scheduling in Enterprise and Scientific Grids. - Ali Afzal; John Darlington; Andrew Stephen McGough (GRID, 2006)

QoS Support For Workflows In A Volatile Grid. - Yash Patel; Andrew Stephen McGough; John Darlington (GRID, 2006)

A Novel Stochastic Algorithm for Scheduling QoS-Constrained Workflows in a Web Service-Oriented Grid. - Yash Patel; John Darlington (IAT Workshops, 2006)

Workflow Deployment in ICENI II. - Andrew Stephen McGough; William Lee 003; John Darlington (International Conference on Computational Science (3), 2006)

Allocating QOS-Constrained Applications in a Web Service-Oriented Grid. - Yash Patel; John Darlington (ICDCIT, 2006)

Allocating QoS-Constrained Workflow-Based Jobs in a Multi-cluster Grid Through Queueing Theory Approach. - Yash Patel; John Darlington (ISPA, 2006)

A novel approach to allocating QoS-constrained workflow-based jobs in a multi-cluster grid. - Yash Patel; John Darlington (MGC@Middleware, 2006)

An Architecture for a Next-Generation Internet Based on Web Services and Utility Computing. - John Darlington; Jeremy Cohen 002; William Lee 003 (WETICE, 2006)

A Profitable Broker in a Volatile Utility Grid. - Yash Patel; Andrew Stephen McGough; John Darlington (Int. Trans. Syst. Sci. Appl., 2006)

ICENI. - A. Stephen McGough; William Lee 003; Jeremy Cohen 002; Eleftheria Katsiri; John Darlington (Workflows for e-Science, Scientific Workflows for Grids, 2007)

GridEcon - The Economic-Enhanced Next-Generation Internet. - Jörn Altmann; Costas Courcoubetis; John Darlington; Jeremy Cohen 002 (GECON, 2007)

Unlocking the Potential of Public Sector Information with Semantic Web Technology. - Harith Alani; David Dupplaw; John Sheridan; Kieron O'Hara; John Darlington; Nigel Shadbolt; Carol Tullo (ISWC/ASWC, 2007)

Novel Stochastic Profitable Techniques For Brokers In A Web-Service Based Grid Market. - Yash Patel; John Darlington (Web Intelligence, 2007)

Market Blended Insight: Modeling Propensity to Buy with the Semantic Web. - Manuel Salvadores; Landong Zuo; S. M. Hazzaz Imtiaz; John Darlington; Nicholas Gibbins; Nigel Shadbolt; James Dobree (ISWC, 2008)

EMAAS: An extensible grid-based Rich Internet Application for microarray data analysis and management. - Geraint Barton; J. C. Abbott; Norie Chiba; D. W. Huang; Y. Huang; Marko Krznaric; J. Mack-Smith; A. Saleem; B. T. Sherman; Brijesh Tiwari; Christopher D. Tomlinson; Timothy J. Aitman; et al. (BMC Bioinform., 2008)

Payment and negotiation for the next generation Grid and Web. - Jeremy Cohen 002; John Darlington; William Lee 003 (Concurr. Comput. Pract. Exp., 2008)

Capacity planning and scheduling in Grid computing environments. - Ali Afzal; Andrew Stephen McGough; John Darlington (Future Gener. Comput. Syst., 2008)

Node-level Architecture Design and Simulation of the MAGOG Grid Middleware. - Jeremy Cohen 002; Uli Harder; Fernando Martínez Ortuño; Colin Richardson; John Darlington (AusGrid, 2009)

Towards an Open, Self-Adaptive and P2P Based e-Market Infrastructure. - Li Guo 002; John Darlington; Brian Fuchs (ICEBE, 2009)

LinksB2N: Automatic Data Integration for the Semantic Web. - Manuel Salvadores; Gianluca Correndo; Bene Rodriguez-Castro; Nicholas Gibbins; John Darlington; Nigel R. Shadbolt (OTM Conferences (2), 2009)

Supporting Multi-view User Ontology to Understand Company Value Chains. - Landong Zuo; Manuel Salvadores; S. M. Hazzaz Imtiaz; John Darlington; Nicholas Gibbins; Nigel R. Shadbolt; James Dobree (ISWC, 2009)

Access Control for OPM Provenance Graphs. - Roxana Dánger Mercaderes; Robin Campbell Joy; John Darlington; Vasa Curcin (IPAW, 2012)

Nekkloud: A software environment for high-order finite element analysis on clusters and clouds. - Jeremy Cohen 002; David Moxey; Chris D. Cantwell; Pavel Burovskiy; John Darlington; Spencer J. Sherwin (CLUSTER, 2013)

Simplifying the Development, Use and Sustainability of HPC Software. - Jeremy Cohen 002; Chris D. Cantwell; Neil P. Chue Hong; David Moxey; Malcolm Illingworth; Andrew Turner; John Darlington; Spencer J. Sherwin (CoRR, 2013)

TemPSS: A Service Providing Software Parameter Templates and Profiles for Scientific HPC. - Jeremy Cohen 002; Chris D. Cantwell; David Moxey; Jeremy Nowell; Peter Austing; Xu Guo; John Darlington; Spencer J. Sherwin (e-Science, 2015)

Ensuring an Effective User Experience When Managing and Running Scientific HPC Software. - Jeremy Cohen 002; David Moxey; Chris D. Cantwell; Peter Austing; John Darlington; Spencer J. Sherwin (SE4HPCS@ICSE, 2015)

Pricing music using personal data: mutually advantageous first-degree price discrimination. - Thierry Rayna; John Darlington; Ludmila Striukova (Electron. Mark., 2015)

Understanding Resource Selection Requirements for Computationally Intensive Tasks on Heterogeneous Computing Infrastructure. - Jeremy Cohen 002; Thierry Rayna; John Darlington (GECON, 2016)

Design Guidelines for the User-Centred Collaborative Citizen Science Platforms. - Poonam Yadav; John Darlington (Hum. Comput., 2016)

Conceptual Frameworks for Building Online Citizen Science Projects. - Poonam Yadav; John Darlington (Hum. Comput., 2016)

A Collaborative Citizen Science Platform to Bring Together Scientists, Volunteers, and Game Players. - Poonam Yadav; Ioannis Charalampidis; Jeremy Cohen 002; John Darlington; François Grey (CoRR, 2017)

CitizenGrid: An Online Middleware for Crowdsourcing Scientific Research. - Poonam Yadav; Jeremy Cohen 002; John Darlington (CoRR, 2017)

Tackling Complexity in High Performance Computing Applications. - John Darlington; A. J. Field; L. Hakim (Int. J. Parallel Program., 2017)

A Collaborative Citizen Science Platform for Real-Time Volunteer Computing and Games. - Poonam Yadav; Ioannis Charalampidis; Jeremy Cohen 002; John Darlington; François Grey (IEEE Trans. Comput. Soc. Syst., 2018)