UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Browse by UCL Departments and Centres

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Author | Type
Jump to: A | B | C | H | I | N | O | R | S
Number of items: 10.

A

Andersson, G; Bjesse, P; Cook, B; Hanna, Z; (2002) A proof engine approach to solving combinational design automation problems. In: (pp. pp. 725-730). ACM

B

Bruneau, D; Sasse, MA; McCarthy, JD; (2002) The Eyes Never Lie: The Use of Eyetracking Data in HCI Research. Presented at: Proceedings of the CHI2002 Workshop on Physilogical Computing. Minneapolis. April 21.

C

Curzon, P; Blandford, A; (2002) From a formal user model to design rules. In: UNSPECIFIED (1 - 15). Green open access
file

Curzon, P; Blandford, A; (2002) From a formal user model to design rules. In: INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION AND VERIFICATION. (pp. 1 - 15).

H

Hirsch, R; Hodkinson, I; (2002) Relation algebras by games. Studies in logic and the foundations of mathematics: Vol.147. North-Holland: Amsterdam.

I

Ishtiaq, S; Pym, DJ; (2002) Kripke resource models of a dependently-typed, bunched λ-calculus. Journal of Logic and Computation , 12 (6) pp. 1061-1104. 10.1093/logcom/12.6.1061.

N

Nicholson, D; Lloyd, CM; Julier, SJ; Uhlmann, JK; (2002) Scalable distributed data fusion. In: (pp. pp. 630-635).

O

Osorio, M; Pérez, JAN; Arrazola, J; (2002) A logical approach to A-Prolog. Electronic Notes in Theoretical Computer Science , 67 284 - 295. 10.1016/S1571-0661(04)80554-1. Green open access
file

R

Riegelsberger, J; Sasse, MA; (2002) Face it - Photos don't make a web site trustworthy. Presented at: UNSPECIFIED.

S

Sasse, MA; Monthienvichienchai, R; (2002) Computer Support for Vicarious Learning. Presented at: UNSPECIFIED.

This list was generated on Sun Apr 23 04:47:00 2017 BST.