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
Number of items: 10.


Aagaard, M; Cook, B; Day, NA; Jones, RB; (2003) A framework for superscalar microprocessor correctness statements. STTT , 4 (3) pp. 298-312. 10.1007/s10009-002-0087-0.

Andersson, G; Bjesse, P; Cook, B; Hanna, Z; (2003) Design automation with mixtures of proof strategies for propositional logic. IEEE Trans. on CAD of Integrated Circuits and Systems , 22 (8) pp. 1042-1048. 10.1109/TCAD.2003.814959.

Cook, B; Stoller, SD; Visser, W; (2003) SoftMC 2003: Workshop on Software Model Checking. Electr. Notes Theor. Comput. Sci. , 89 (3) p. 377. 10.1016/S1571-0661(05)80001-5.

Pym, DJ; (2003) Editorial: The 'corner' on semantics. Journal of Logic and Computation , 13 (5) pp. 633-638. 10.1093/logcom/13.5.633.

Book chapter

Dui, D; Emmerich, W; (2003) Compatibility of XML language versions. In: Westfechtel, B and Hoek, A, (eds.) Software Configuration Management. Selected Papers of ICSE Workshops SCM 2001 and SCM 2003. (pp. 148-162). Springer Verlag Green open access

Proceedings paper

Garau, M; Slater, M; Vinayagamoorthy, V; Brogni, A; Steed, A; Sasse, MA; (2003) The impact of avatar realism and eye gaze control on perceived quality of communication in a shared immersive virtual environment. In: Conference on Human Factors in Computing Systems - Proceedings. (pp. 529 - 536).

Lahiri, SK; Bryant, RE; Cook, B; (2003) A Symbolic Approach to Predicate Abstraction. In: Jr, WAH and Somenzi, F, (eds.) (pp. pp. 141-153). Springer

Conference item

Barber, D; (2003) Learning in Spiking Neural Assemblies. Presented at: UNSPECIFIED.

Loscos, C; Ritter-Widenfeld, H; Roussou, M; Meyer, A; Tecchia, F; Drettakis, G; Gallo, E; (2003) The CREATE Project: Mixed Reality for Design, Education, and Cultural Heritage with a Constructivist Approach. Presented at: ISMAR 03, The 2nd IEEE and ACM International Symposium on Mixed and Augmented Reality, The National Center of Sciences.

Monthienvichienchai, R; Sasse, MA; (2003) Learning from Others' Mistakes Through Computer Supported Vicarious Learning. Presented at: UNSPECIFIED.

This list was generated on Sun May 21 05:24:30 2017 BST.