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:



  • Showing results for:
  • Reset all filters

Search results

  • Conference paper
    Guo Y, 1996,

    Parallel Grobner Base Computation for Integer Programming proof

    , IMACS International Conference on Applications of Computer Algebra
  • Conference paper
    Darlington J, Guo Y, To HW, Yang Jet al., 1996,

    SPF: Structured parallel fortran

    , Pages: 1-6
  • 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,


    , 5th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Publisher: ASSOC COMPUTING MACHINERY, Pages: 19-28, ISSN: 0362-1340
  • Journal article
    Chakravarty M, Guo Y, Koelher M, 1995,

    Co-ordinating Parallel Computation through Equational Constraints

  • Conference paper
    Darlington J, Guo Y, Yang J, 1995,

    Parallel Fortran Family and a New Perspective

    , Proceedings of 3nd IEEE International Workshop on Massively Parallel Programming Models (MPPM-95), Publisher: IEEE Press
  • 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,

    Reduction as Deduction

    , Proceedings of the 6th International Workshop on Implementation of Functional Languages, Norwich, UK
  • 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
  • Conference paper
    Darlington J, Guo Y, To HW, Wu Q, Yang J, Kohler Met al., 1994,

    Fortran-S: a uniform functional interface to parallel imperative languages

  • 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
  • Journal article
    Guo Y, 1993,

    FALCON: Functional and Logic Language with Constraints

    , A draft prepared for the, Vol: 6
  • Conference paper
    Darlington J, Guo Y, Pull H, otherset al., 1992,

    A new perspective on integrating functions and logic languages

    , Pages: 682-693
  • Journal article
    DARLINGTON J, GUO Y, 1991,


    , LECTURE NOTES IN COMPUTER SCIENCE, Vol: 516, Pages: 424-435, ISSN: 0302-9743

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: Request URI: /respub/WEB-INF/jsp/search-t4-html.jsp Query String: id=607&limit=15&page=16&respub-action=search.html Current Millis: 1590761067182 Current Time: Fri May 29 15:04:27 BST 2020