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, Kohler M, Chattratichat J, 1997,

    Large Scale Data Mining: Challenges and Responses

    , Proceedings of 3rd International Conference on Knowledge Discovery and Data Mining (KDD97), Publisher: AAAI Press
  • Conference paper
    Au P, Darlington J, Ghanem M, Guo Y, To H, Yang Jet al., 1996,

    Co-ordinating Heterogeneous Parallel Computation

    , Pages: 601-614
  • Conference paper
    Darlington J, Guo Y, To HW, Yang Jet al., 1996,

    SPF: Structured parallel fortran

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


    , 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,

    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
  • Journal article
    Chakravarty M, Guo Y, Koelher M, 1995,

    Co-ordinating Parallel Computation through Equational Constraints

  • 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, To HW, Wu Q, Yang J, Kohler Met al., 1994,

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

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

    FALCON: Functional and Logic Language with Constraints

    , A draft prepared for the, Vol: 6

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=21&respub-action=search.html Current Millis: 1653453544246 Current Time: Wed May 25 05:39:04 BST 2022