Publications from our Researchers

Several of our current PhD candidates and fellow researchers at the Data Science Institute have published, or in the proccess of publishing, papers to present their research.  

Search or filter publications

Filter by type:

Filter by publication type

Filter by year:

to

Results

  • Showing results for:
  • Reset all filters

Search results

  • Conference paper
    Darlington J, Guo Y, 1996,

    Parallelising Conditional and Tupled Recurrences

    , Proceedings of Euro-Par'96, Publisher: Springer-Verlag
  • Conference paper
    Ghanem M, Darlington J, Au P, Guo Y, Sik R, Yang Jet al., 1995,

    A pilot study in using co-ordination forms for combined vector and scalar parallel computation on the AP1000

    , In Proceedings of PCWÆ95, the Fourth Parallel Computing Workshop, London, UK
  • Conference paper
    DARLINGTON J, GUO YK, TO HW, YANG Jet al., 1995,

    PARALLEL SKELETONS FOR STRUCTURED COMPOSITION

    , 5th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Publisher: ASSOC COMPUTING MACHINERY, Pages: 19-28, ISSN: 0362-1340
  • Conference paper
    Darlington J, Guo Y, Yang J, 1995,

    Functional Skeletons for Parallel Coordination

    , Proceedings of Euro-Par'95, Stockholm, Sweden, Publisher: Springer Verlag
  • Conference paper
    Darlington J, Guo Y, 1994,

    Constraint Logic Programming in the Sequent Calculus

    , Proceedings of the 5th International Conference on Logic Programming and Automated Reasoning (LPAR 94), Publisher: Springer-Verlag
  • Conference paper
    Darlington J, Guo Y, 1994,

    Formalising Actors in Linear Logic

    , Proceedings of the International Conference on Object-Oriented Information Systems (OOIS'94), Publisher: Springer-Verlag
  • Journal article
    Darlington J, Guo Y, Köhler M, 1993,

    Functional programming languages with logical variables: a linear logic view

    , Progamming Language Implementation and Logic Programming, Pages: 201-219
  • Conference paper
    Darlington J, Guo Y, Pull H, otherset al., 1992,

    A new perspective on integrating functions and logic languages

    , Pages: 682-693
  • Conference paper
    Darlington J, Guo Y, Pull H, 1991,

    Introducing constraint functional logic programming

    , Publisher: Springer-Verlag, Pages: 20-34
  • Journal article
    Darlington J, Guo Y, Wu Q, 1991,

    A General Computational Scheme for Constraint Logic Programming

    , ALPUK, Pages: 56-77
  • Journal article
    DARLINGTON J, GUO Y, 1991,

    CONSTRAINED EQUATIONAL DEDUCTION

    , LECTURE NOTES IN COMPUTER SCIENCE, Vol: 516, Pages: 424-435, ISSN: 0302-9743
  • Conference paper
    Darlington J, Guo Y, Pull H, 1991,

    A Design Space for Integrating Declarative Languages

    , London, UK, UK, Publisher: Springer-Verlag, Pages: 3-19
  • Journal article
    Darlington J, Guo YK, 1989,

    Narrowing and unification in functional programming�an evaluation mechanism for absolute set abstraction

    , Rewriting Techniques and Applications, Pages: 92-108

This data is extracted from the Web of Science and reproduced under a licence from Thomson Reuters. You may not copy or re-distribute this data in whole or in part without the written consent of the Science business of Thomson Reuters.

Request URL: http://www.imperial.ac.uk:80/respub/WEB-INF/jsp/search-t4-html.jsp Request URI: /respub/WEB-INF/jsp/search-t4-html.jsp Query String: id=607&limit=15&page=17&respub-action=search.html Current Millis: 1737579430368 Current Time: Wed Jan 22 20:57:10 GMT 2025

Contact us

Data Science Institute

William Penney Laboratory
Imperial College London
South Kensington Campus
London SW7 2AZ
United Kingdom

Email us.

Sign up to our mailing list.

Follow us on Twitter, LinkedIn and Instagram. 


Download now

DSI Annual Report 2022
Cover of Data Science Institute booklet

Download now

Data Science Institute Find out more about the Institute