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 | D | E | F | G | H | J | K | L | O | P | Q | R | S | T
Number of items: 38.


Aste, T; Galleani d'Agliano, E; Napoli, F; (1991) AFM paramagnons in doped CuO<inf>2</inf> layers and superconducting pairing. Physica C: Superconductivity and its applications , 182 (4-6) pp. 307-314. 10.1016/0921-4534(91)90527-6.

Attridge, G; Finkelstein, A; Phillips, G; (1991) Application of Information Systems Modelling to Civil Protection Planning and Operations. In: (Proceedings) Annual Conference of Scientific Advisers. Home Office


Barringer, H; Fisher, M; Gabbay, DM; Hunter, A; (1991) Meta-Reasoning in Executable Temporal Logic. Presented at: UNSPECIFIED.

Bengio, S; Brassard, G; Desmedt, Y; Goutier, C; Quisquater, J-J; (1991) Secure Implementations of Identification Systems. Presented at: UNSPECIFIED.

Burmester, M; Desmedt, Y; (1991) Broadcast Interactive Proofs (Extended Abstract). Presented at: UNSPECIFIED.


Cussens, J; Hunter, A; (1991) Using Defeasible Logic for a Window on a Probabilistic Database: Some Preliminary Notes. Presented at: UNSPECIFIED.


Daalen, M; Jeavons, P; Shawe-Taylor, J; (1991) Probabilistic Bit Stream Neural Chip: Implementation. In: UNSPECIFIED (pp. 285-294). New York: Plenum

Desmedt, Y; (1991) The "a" Cipher Does not necessarily Strengthen Security. Cryptologia , 15 (3) pp. 203-206. 10.1080/0161-119191865867.

Desmedt, Y; Burmester, M; (1991) An Efficient Zero-Knowledge Scheme for the Discrete Logarithm Based on Smooth Numbers. Presented at: UNSPECIFIED.

Desmedt, Y; Frankel, Y; (1991) Shared Generation of Authenticators and Signatures (Extended Abstract). Presented at: UNSPECIFIED.

Desmedt, Y; Yung, M; (1991) Weakness of Undeniable Signature Schemes (Extended Abstract). Presented at: UNSPECIFIED.


Emmerich, W; Gruhn, V; (1991) FUNSOFT Nets: a petri-net based software process modeling language. In: Proceedings of the 6th International Workshop on Software Specification and Design, Como, Italy. (pp. 175-184). IEEE Computer Society Press Green open access

Emmerich, W; Junkermann, G; Peuschel, B; Schaefer, W; Wolf, S; (1991) MERLIN: Knowledge-based Process Modeling. In: Proceedings of the 1st European Workshop on Software Process Modeling, Milan, Italy. (pp. 181-187). A.I.C.A. Press: Italy.


Finkelstein, A; (1991) Reviewing and correcting specifications. In: Computers and Writing IV. (pp. 219-237). Computers and Writing Association

Finkelstein, A; (1991) Student Problems in Software Engineering Education.

Finkelstein, A; (1991) Tracing back from requirements.

Finkelstein, A; Kramer, J; (1991) TARA: tool assisted requirements analysis. In: Conceptual Modelling, Databases and CASE: an integrated view of information systems development. (pp. 413-432). John Wiley

Finkelstein, A; Kramer, J; Nuseibeh, B; (1991) A viewpoint-based framework for software development environments. In: (pp. 10/1-10/2). Institute of Electrical Engineers: London, UK.

Finkelstein, L; Finkelstein, A; (1991) Advances in the Automation of Instrument Systems Design. In: (Proceedings) IMEKO XII. (pp. pp. 1293-1297). International Academic Publishers

Finkelstein, L; Finkelstein, A; (1991) The Life Cycle of Engineering Products: an analysis of concepts. Engineering Management Journal , 1 (3) pp. 115-121.


Gabbay, DM; Hunter, A; (1991) Making inconsistency respectable: a logical framework for inconsistency in reasoning. Presented at: UNSPECIFIED.

Gilmore, S; Finkelstein, A; (1991) Teaching Formal and Informal Aspects of Software Engineering in a Unified Framework. In: (Proceedings) 1st National Conference on Software Engineering in Higher Education. (pp. pp. 117-127). SIHE

Griffin, LD; Colchester, ACF; Robinson, GP; (1991) Scale and segmentation of grey-level images using maximum gradient paths. Presented at: UNSPECIFIED.


Hunter, A; (1991) Developments in artificial intelligence reasoning. In: Artificial Intelligence in Engineering. (pp. 295-335). John Wiley

Hunter, A; (1991) Execution of defeasible temporal clauses for building preferred models. Presented at: UNSPECIFIED.


Jones, DT; (1991) Identification of Protein Consensus Sequences: book review. Biotechnology and Applied Biochemistry , 14 247-.

Jones, DT; (1991) The application of fractal clustering to efficient molecular ray-tracing on low-cost computers. Journal of Molecular Graphics , 9 pp. 249-253.


Kellner, M; Feiler, P; Finkelstein, A; Katayama, T; Osterweil, L; Penedo, M; Rombach, D; (1991) ISPW-6 Software process example. In: 1st International Conference on the Software Process, October 21-26 1991. (pp. 176-187). IEEE Computer Society Press


Lin, TTY; Slater, M; (1991) Stochastic Ray Tracing Using SIMD Processor Arrays. The Visual Computer , 7 (4) pp. 187-199. 10.1007/BF01900835.


O'Hearn, PW; (1991) Linear Logic and Interference Control. In: Pitt, DH and Curien, P-L and Abramsky, S and Pitts, AM and Poigné, A and Rydeheard, DE, (eds.) Category Theory and Computer Science. (pp. 74 - 93). Springer


Parrott, D; clack, CD; (1991) Paragon - a Language for Modelling Lazy, Functional Workloads on Distributed Processors.


Quisquater, J-J; Desmedt, Y; (1991) Chinese Lotto as an Exhaustive Code-Breaking Machine. Presented at: UNSPECIFIED.


Rounce, P; (1991) A processor with list structured memory. Presented at: UNSPECIFIED.


Shawe-Taylor, J; (1991) The Asymptotic Equipartition Property for Two dimensional Ergodic Arrays.

Shawe-Taylor, J; (1991) Threshold Network Learning in the Presence of Equivalences. In: Moody, JE and Hanson, SJ and Lippmann, R, (eds.) Advances in Neural Information Processing Systems 4, [NIPS Conference, Denver, Colorado, USA, December 2-5, 1991]. (pp. 879-886). Morgan Kaufmann

Shawe-Taylor, J; Anthony, M; (1991) Sample Sizes for Multiple Output Threshold Networks. Network , 2 (1) pp. 107-117.

Shawe-Taylor, J; Jeavons, P; Daalen, M; (1991) Probabilistic Bit Stream Neural Chip: Theory. Connection Science , 3 (3) pp. 317-328.


Taylor, WR; Jones, DT; (1991) Templates, consensus patterns and motifs. Current Opinions in Structural Biology , 1 pp. 327-333.

This list was generated on Sun Mar 19 05:01:48 2017 GMT.