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: C | D | F | R | S
Number of items: 12.


Clack, C; Peyton Jones, SL; (1986) The four-stroke reduction engine. Presented at: UNSPECIFIED.

Cloetens, H; Desmedt, Y; Bierens, L; Vandewalle, J; Govaerts, R; (1986) Additional Properties in the S-Boxes of the DES. Presented at: UNSPECIFIED.

Cunningham, R; Finkelstein, A; (1986) Formal requirements specification: the FOREST project. In: 3rd International Workshop Software Specification and Design. (pp. 186-192). IEEE Computer Society Press


Desmedt, Y; (1986) Is There an ultimate Use of Cryptography? Presented at: UNSPECIFIED.

Desmedt, Y; Hoornaert, F; Quisquater, J-J; (1986) Several Exhaustive Key Search Machines and DES. Presented at: UNSPECIFIED.


Finkelstein, A; (1986) Making formal specifications dynamic objects. In: Dowson, M, (ed.) (pp. pp. 133-136). IEEE Computer Society

Finkelstein, A; Potts, C; (1986) Formal requirements specification of real-time embedded systems.

Finkelstein, A; Potts, C; (1986) Structured common sense: the elicitation and formalisation of system requirements. In: SE 1986. (pp. 236-250). Peter Peregrinus


Rogers, Y; (1986) Evaluating the meaningfulness of icon sets to represent command operations. In: (Proceedings) People and Computers: Designing for Usability II. HCI'86 Conference. (pp. 86 - 603). Cambridge University Press: Cambridge.

Rogers, Y; (1986) Pictorial representations of abstract concepts relating to human-computer interaction. ACM SIGCHI , 18 43 - 45.

Rogers, Y; (1986) The potential of the visual image at the interface. Current Psychological Research and Reviews , 5 105 - 119.


Shawe-Taylor, J; (1986) Generating Strong Primes. Electronics Letters , 22 (16) pp. 875-877.

This list was generated on Sun Mar 26 05:59:00 2017 BST.