The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge

Documents Authored by: Jaume Agusti

Please note that only papers and publications recorded in this departments database are shown here. An author may have many other papers and publications produced while working elsewhere which are not listed here. This page does not therefore represent a definitive list of this authors work.

Journal Paper

JP916 1995 Journal Paper Robertson,DS; Haggith,MC; Kendon,GB; Agusti,J; Goldsborough,D
The Application of Logic Programming to Decision Support Systems in Ecology
JP752 1994 Journal Paper Robertson,DS; Agusti,J; Hesketh,J; Levy,J
Expressing Program Requirements Using Refinement Lattices

Paper in Conference Proceedings

PP751 1994 Paper in Conference Proceedings Robertson,DS; Park,N; Agusti,J
Layered Design of KBS from Specification to Hardware

Research Paper

RP730 1995 Research Paper Robertson,DS; Park,N; Agusti,J
Layered Design of Kbs from Specification to Hardware
RP593 1992 Research Paper Levy,J; Agusti,J; Mana,F
Functional Lattices for Taxonomical Reasoning
RP594 1992 Research Paper Agusti,J; Esteva,F; Garcia,P; Levy,J
A Calculus of Refinements: Its Class of Models

[Search These Pages] [DAI Home Page] [Comment]