default search action
John Darlington
Person information
- affiliation: Imperial College London, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Books and Theses
- 1972
- [b1]John Darlington:
A semantic approach to automatic program improvement. University of Edinburgh, UK, 1972
Journal Articles
- 2018
- [j25]Poonam Yadav
, Ioannis Charalampidis
A Collaborative Citizen Science Platform for Real-Time Volunteer Computing and Games. IEEE Trans. Comput. Soc. Syst. 5(1): 9-19 (2018) - 2017
- [j24]John Darlington, A. J. Field, L. Hakim:
Tackling Complexity in High Performance Computing Applications. Int. J. Parallel Program. 45(2): 402-420 (2017) - 2016
- [j23]Poonam Yadav, John Darlington:
Design Guidelines for the User-Centred Collaborative Citizen Science Platforms. Hum. Comput. 3(1): 205-211 (2016) - [j22]Poonam Yadav, John Darlington:
Conceptual Frameworks for Building Online Citizen Science Projects. Hum. Comput. 3(1): 213-223 (2016) - 2015
- [j21]Thierry Rayna
Pricing music using personal data: mutually advantageous first-degree price discrimination. Electron. Mark. 25(2): 139-154 (2015) - 2008
- [j20]Geraint Barton, J. C. Abbott, Norie Chiba, D. W. Huang, Y. Huang, Marko Krznaric, J. Mack-Smith, A. Saleem, B. T. Sherman, Brijesh Tiwari
EMAAS: An extensible grid-based Rich Internet Application for microarray data analysis and management. BMC Bioinform. 9 (2008) - [j19]Jeremy Cohen
Payment and negotiation for the next generation Grid and Web. Concurr. Comput. Pract. Exp. 20(3): 239-251 (2008) - [j18]Ali Afzal, Andrew Stephen McGough, John Darlington:
Capacity planning and scheduling in Grid computing environments. Future Gener. Comput. Syst. 24(5): 404-414 (2008) - 2006
- [j17]Yash Patel, Andrew Stephen McGough, John Darlington:
A Profitable Broker in a Volatile Utility Grid. Int. Trans. Syst. Sci. Appl. 2(2): 167-176 (2006) - 2005
- [j16]Andrew Stephen McGough, Ali Afzal, John Darlington, Nathalie Furmento
Making the Grid Predictable through Reservations and Performance Modelling. Comput. J. 48(3): 358-368 (2005) - [j15]Andrew Stephen McGough, Jeremy Cohen
An End-to-end Workflow Pipeline for Large-scale Grid Computing. J. Grid Comput. 3(3-4): 259-281 (2005) - 2002
- [j14]Nathalie Furmento
ICENI: Optimisation of component applications within a Grid environment. Parallel Comput. 28(12): 1753-1772 (2002) - 2001
- [j13]Qiang Li, Yike Guo, John Darlington, Tetsuo Ida:
Minimised Geometric Buchberger Algorithm for Integer Programming. Ann. Oper. Res. 108(1-4): 87-109 (2001) - 2000
- [j12]John Darlington, Constantinos C. Pantelides, Berç Rustem, B. A. Tanyi:
Decreasing the sensitivity of open-loop optimal solutions in decision making under uncertainty. Eur. J. Oper. Res. 121(2): 343-362 (2000) - [j11]Francis Oliver Bunnin
Parallel pseudospectral solution of financial partial differential equations. Parallel Algorithms Appl. 15(1-2): 3-13 (2000) - [j10]Francis Oliver Bunnin
Design of high performance financial modelling environment. Parallel Comput. 26(5): 601-622 (2000) - 1999
- [j9]John Darlington, Constantinos C. Pantelides, Berç Rustem, B. A. Tanyi:
An algorithm for constrained nonlinear optimization under uncertainty. Autom. 35(2): 217-228 (1999) - 1996
- [j8]Wei-Ngan Chin, John Darlington:
A Higher-Order Removal Method. LISP Symb. Comput. 9(4): 287-322 (1996) - 1992
- [j7]David W. N. Sharp, Martin Cripps, John Darlington:
Parallel-architecture-directed program transformation. Parallel Comput. 18(12): 1363-1380 (1992) - 1990
- [j6]John Darlington, Mike Reeve, Sue Wright:
Declarative Languages and Program Transformation for Programming Parallel Systems. Concurr. Pract. Exp. 2(3): 149-170 (1990) - 1981
- [j5]John Darlington:
An Experimental Program Transformation and Synthesis System. Artif. Intell. 16(1): 1-46 (1981) - 1980
- [j4]Keith L. Clark, John Darlington:
Algorithm Classification Through Synthesis. Comput. J. 23(1): 61-65 (1980) - 1978
- [j3]John Darlington:
A Synthesis of Several Sorting Algorithms. Acta Informatica 11: 1-30 (1978) - 1977
- [j2]Rod M. Burstall, John Darlington:
A Transformation System for Developing Recursive Programs. J. ACM 24(1): 44-67 (1977) - 1976
- [j1]John Darlington, Rod M. Burstall:
A System which Automatically Improves Programs. Acta Informatica 6: 41-60 (1976)
Conference and Workshop Papers
- 2016
- [c64]Jeremy Cohen
Understanding Resource Selection Requirements for Computationally Intensive Tasks on Heterogeneous Computing Infrastructure. GECON 2016: 250-262 - 2015
- [c63]Jeremy Cohen, Chris D. Cantwell
TemPSS: A Service Providing Software Parameter Templates and Profiles for Scientific HPC. e-Science 2015: 78-87 - [c62]Jeremy Cohen, David Moxey
Ensuring an Effective User Experience When Managing and Running Scientific HPC Software. SE4HPCS@ICSE 2015: 56-59 - 2013
- [c61]Jeremy Cohen
Nekkloud: A software environment for high-order finite element analysis on clusters and clouds. CLUSTER 2013: 1-5 - 2012
- [c60]Roxana Dánger Mercaderes, Robin Campbell Joy, John Darlington, Vasa Curcin
Access Control for OPM Provenance Graphs. IPAW 2012: 233-235 - 2009
- [c59]Jeremy Cohen, Uli Harder, Fernando Martínez Ortuño, Colin Richardson, John Darlington:
Node-level Architecture Design and Simulation of the MAGOG Grid Middleware. AusGrid 2009: 57-67 - [c58]Li Guo, John Darlington, Brian Fuchs:
Towards an Open, Self-Adaptive and P2P Based e-Market Infrastructure. ICEBE 2009: 67-74 - [c57]Manuel Salvadores, Gianluca Correndo, Bene Rodriguez-Castro, Nicholas Gibbins, John Darlington, Nigel R. Shadbolt:
LinksB2N: Automatic Data Integration for the Semantic Web. OTM Conferences (2) 2009: 1121-1138 - [c56]Landong Zuo, Manuel Salvadores, S. M. Hazzaz Imtiaz, John Darlington, Nicholas Gibbins, Nigel R. Shadbolt, James Dobree:
Supporting Multi-view User Ontology to Understand Company Value Chains. ISWC 2009: 925-940 - 2008
- [c55]Manuel Salvadores, Landong Zuo, S. M. Hazzaz Imtiaz, John Darlington, Nicholas Gibbins, Nigel Shadbolt, James Dobree:
Market Blended Insight: Modeling Propensity to Buy with the Semantic Web. ISWC 2008: 777-789 - 2007
- [c54]Jörn Altmann, Costas Courcoubetis, John Darlington, Jeremy Cohen
GridEcon - The Economic-Enhanced Next-Generation Internet. GECON 2007: 188-193 - [c53]Harith Alani
Unlocking the Potential of Public Sector Information with Semantic Web Technology. ISWC/ASWC 2007: 708-721 - [c52]Yash Patel, John Darlington:
Novel Stochastic Profitable Techniques For Brokers In A Web-Service Based Grid Market. Web Intelligence 2007: 132-140 - 2006
- [c51]Jeyarajan Thiyagalingam, Vladimir Getov, Sofia Panagiotidi
Domain-Specific Metadata for Model Validation and Performance Optimisation. CoreGRID Integration Workshop 2006: 165-177 - [c50]Ali Afzal, John Darlington, Andrew Stephen McGough:
Capacity Planning and Stochastic Scheduling in Large-Scale Grids. e-Science 2006: 86 - [c49]Yash Patel, John Darlington:
A Novel Approach to Workload Allocation of QoS-Constrained Workflow-Based Jobs in a Utility Grid. e-Science 2006: 150 - [c48]David McBride
Running a Production Grid Site at the London e-Science Centre. e-Science 2006: 153 - [c47]Yash Patel, John Darlington:
Average-Based Workload Allocation Strategy for QoS-Constrained Jobs In A Web Service-Oriented Grid. EDOC Workshops 2006: 11 - [c46]Ali Afzal, John Darlington, Andrew Stephen McGough:
Stochastic Workflow Scheduling with QoS Guarantees in Grid Computing Environments. GCC 2006: 185-194 - [c45]Ali Afzal, John Darlington, Andrew Stephen McGough:
QoS-Constrained Stochastic Workflow Scheduling in Enterprise and Scientific Grids. GRID 2006: 1-8 - [c44]Yash Patel, Andrew Stephen McGough, John Darlington:
QoS Support For Workflows In A Volatile Grid. GRID 2006: 64-71 - [c43]Yash Patel, John Darlington:
A Novel Stochastic Algorithm for Scheduling QoS-Constrained Workflows in a Web Service-Oriented Grid. IAT Workshops 2006: 437-442 - [c42]Andrew Stephen McGough, William Lee, John Darlington:
Workflow Deployment in ICENI II. International Conference on Computational Science (3) 2006: 964-971 - [c41]Yash Patel, John Darlington:
Allocating QOS-Constrained Applications in a Web Service-Oriented Grid. ICDCIT 2006: 278-290 - [c40]Yash Patel, John Darlington:
Allocating QoS-Constrained Workflow-Based Jobs in a Multi-cluster Grid Through Queueing Theory Approach. ISPA 2006: 499-510 - [c39]Yash Patel, John Darlington:
A novel approach to allocating QoS-constrained workflow-based jobs in a multi-cluster grid. MGC@Middleware 2006: 2 - [c38]John Darlington, Jeremy Cohen
An Architecture for a Next-Generation Internet Based on Web Services and Utility Computing. WETICE 2006: 169-174 - 2004
- [c37]Nathalie Furmento, Jeffrey Hau, William Lee, Steven J. Newhouse, John Darlington:
Implementations of a Service-Oriented Architecture on Top of Jini, JXTA and OGSI. European Across Grids Conference 2004: 90-99 - 2002
- [c36]Jim Stanton, Steven J. Newhouse, John Darlington:
Implementing a Scientific Visualisation Capability within a Grid Enabled Component Framework (Research Note). Euro-Par 2002: 885-888 - [c35]Anthony Edward Mayer, A. Stephen McGough, Murtaza Gulamali, Laurie Robert Young, Jim Stanton, Steven J. Newhouse, John Darlington:
Meaning and Behaviour in Grid Oriented Components. GRID 2002: 100-111 - [c34]Nathalie Furmento, William Lee, Anthony Edward Mayer, Steven J. Newhouse, John Darlington:
ICENI: an open grid service architecture implemented with Jini. SC 2002: 11:1-11:10 - 2001
- [c33]Nathalie Furmento, Anthony Edward Mayer, A. Stephen McGough, Steven J. Newhouse, John Darlington:
A Component Framework for HPC Applications. Euro-Par 2001: 540-548 - [c32]Nathalie Furmento, Steven J. Newhouse, John Darlington:
Building Computational Communities from Federated Resources. Euro-Par 2001: 855-863 - [c31]Francis Oliver Bunnin, Yike Guo, John Darlington:
Design of Problem-Solving Environment for Contingent Claim Valuation. Euro-Par 2001: 935-938 - [c30]Nathalie Furmento, Anthony Edward Mayer, A. Stephen McGough, Steven J. Newhouse, Tony Field, John Darlington:
An Integrated Grid Environment for Component Applications. GRID 2001: 26-37 - [c29]Steven J. Newhouse, John Darlington:
Computational Communities: A Marketplace for Federated Resources. HPCN Europe 2001: 667-674 - [c28]Nathalie Furmento, Anthony Edward Mayer, A. Stephen McGough, Steven J. Newhouse, Tony Field, John Darlington:
Optimisation of component-based applications within a grid environment. SC 2001: 30 - 2000
- [c27]Steven J. Newhouse, Anthony Edward Mayer, John Darlington:
A Software Architecture for HPC Grid Applications (Research Note). Euro-Par 2000: 686-689 - 1999
- [c26]Jaturon Chattratichat, John Darlington, Yike Guo, S. Hedvall, Martin Köhler, Jameel Syed:
An Architecture for Distributed Enterprise Data Mining. HPCN Europe 1999: 573-582 - 1998
- [c25]Jaturon Chattratichat, John Darlington, Yike Guo, S. Hedvall, Martin Köhler, A. Saleem, Janjao Sutiwaraphun, Dan Yang:
A Software Architecture for Deploying High Performance Solution on the Internet. HPCN Europe 1998: 545-555 - 1997
- [c24]K. T. P. Au, Manuel M. T. Chakravarty, John Darlington, Yike Guo, Stefan Jähnichen, Martin Köhler, Gabriele Keller, Wolf Pfannenstiel, Martin Simons:
Enlarging the Scope of Vector-Based Computations: Extending Fortran 90 by Nested Data Parallelism. APDC 1997: 66-73 - [c23]John Darlington, Yike Guo, Janjao Sutiwaraphun, Hing Wing To:
Parallel Induction Algorithms for Data Mining. IDA 1997: 437-445 - [c22]Qiang Li, Yike Guo, Tetsuo Ida, John Darlington:
The Minimised Geometric Buchberger Algorithm: An Optimal Algebraic Algorithm for Integer Programming. ISSAC 1997: 331-338 - [c21]Jaturon Chattratichat, John Darlington, Moustafa Ghanem, Yike Guo, Harald Frank Hüning, Martin Köhler, Janjao Sutiwaraphun, Hing Wing To, Dan Yang:
Large Scale Data Mining: Challenges and Responses. KDD 1997: 143-146 - [c20]B. A. Tanyi, Berç Rustem, John Darlington:
Parallelization of a Nonlinear Robust Optimization Algorithm. PARCO 1997: 171-178 - 1996
- [c19]Wei-Ngan Chin, John Darlington, Yike Guo:
Parallelizing Conditional Recurrences. Euro-Par, Vol. I 1996: 579-586 - [c18]Peter Au, John Darlington, Moustafa Ghanem
Co-ordinating Heterogeneous Parallel Computation. Euro-Par, Vol. I 1996: 601-614 - 1995
- [c17]John Darlington, Yike Guo, Hing Wing To, Jin Yang:
Functional Skeletons for Parallel Coordination. Euro-Par 1995: 55-66 - [c16]John Darlington, Yike Guo, Hing Wing To, Jin Yang:
Parallel Skeletons for Structured Composition. PPoPP 1995: 19-28 - 1994
- [c15]John Darlington, Yike Guo:
Constraint Logic Programming in the Sequent Calculus. LPAR 1994: 200-214 - [c14]John Darlington, Yike Guo:
Formalising Actors in Linear Logic. OOIS 1994: 37-53 - 1993
- [c13]John Darlington, A. J. Field, Peter G. Harrison
Parallel Programming Using Skeleton Functions. PARLE 1993: 146-160 - [c12]John Darlington, Yike Guo, Martin Köhler:
Functional Programming Languages with Logical Variables: A Linear Logic View. PLILP 1993: 201-219 - 1992
- [c11]John Darlington, Yike Guo, Helen Pull:
A New Perspective on Integrating Functional and Logic Languages. FGCS 1992: 682-693 - 1991
- [c10]John Darlington, Yike Guo, Qian Wu:
A General Computational Scheme for Constraint Logic Programming. ALPUK 1991: 56-77 - [c9]John Darlington, Yike Guo, Helen Pull:
A Design Space for Integrating Declarative Languages. Declarative Programming 1991: 3-19 - [c8]John Darlington, Yike Guo, Helen Pull:
Introducing Constraint Functional Logic Programming. Declarative Programming 1991: 20-34 - 1990
- [c7]John Darlington, Yike Guo:
Constrained Equational Deduction. CTRS 1990: 424-435 - 1989
- [c6]John Darlington, Peter G. Harrison
A Functional Programming Environment Supporting Execution, Partial Execution and Transformation. PARLE (1) 1989: 286-305 - [c5]John Darlington, Yike Guo:
Narrowing and Unification in Functional Programming - An Evaluation Mechanism for Absolute Set Abstraction. RTA 1989: 92-108 - 1987
- [c4]John Darlington, Lyndon While:
Controlling the behaviour of functional language systems. FPCA 1987: 278-300 - 1981
- [c3]John Darlington, Mike Reeve:
ALICE a multi-processor reduction machine for the parallel evaluation CF applicative languages. FPCA 1981: 65-76 - 1975
- [c2]Rod M. Burstall, John Darlington:
Some transformations for developing recursive programs. Reliable Software 1975: 465-472 - 1973
- [c1]John Darlington, Rod M. Burstall:
A System which Automatically Improves Programs. IJCAI 1973: 479-485
Parts in Books or Collections
- 2007
- [p2]A. Stephen McGough, William Lee, Jeremy Cohen
ICENI. Workflows for e-Science, Scientific Workflows for Grids 2007: 395-415 - 1986
- [p1]John Darlington, A. J. Field, Helen Pull:
The Unification of Functional and Logic Languages. Logic Programming: Functions, Relations, and Equations 1986: 37-70
Editorship
- 1992
- [e1]John Darlington, Roland Dietrich:
Declarative Programming, Sasbachwalden 1991, PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991. Workshops in Computing, Springer 1992, ISBN 3-540-19735-4 [contents]
Informal and Other Publications
- 2017
- [i5]Poonam Yadav, John Darlington:
Conceptual Frameworks for Building Online Citizen Science Projects. CoRR abs/1704.05084 (2017) - [i4]Poonam Yadav, Jeremy Cohen, John Darlington:
CitizenGrid: An Online Middleware for Crowdsourcing Scientific Research. CoRR abs/1707.09489 (2017) - [i3]Poonam Yadav, Ioannis Charalampidis, Jeremy Cohen, John Darlington, François Grey:
A Collaborative Citizen Science Platform to Bring Together Scientists, Volunteers, and Game Players. CoRR abs/1707.09566 (2017) - 2016
- [i2]Poonam Yadav, John Darlington:
Design Guidelines for the User-Centred Collaborative Citizen Science Platforms. CoRR abs/1605.00910 (2016) - 2013
- [i1]Jeremy Cohen, Chris D. Cantwell, Neil P. Chue Hong, David Moxey, Malcolm Illingworth, Andrew Turner, John Darlington, Spencer J. Sherwin:
Simplifying the Development, Use and Sustainability of HPC Software. CoRR abs/1309.1101 (2013)
Coauthor Index
A. Stephen McGough
aka: Andrew Stephen McGough
aka: Andrew Stephen McGough
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-20 23:05 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: