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: 15.

Article

Przulj, N; Corneil, DG; Köhler, E; (2004) Hereditary dominating pair graphs. Discrete Applied Mathematics , 134 (1-3) pp. 239-261. 10.1016/S0166-218X(03)00304-4.

Zhou, S; Mondragon, RJ; (2004) Accurately modeling the internet topology. PHYS REV E , 70 (6) , Article 066108. 10.1103/PhysRevE.70.066108.

Book chapter

Curzon, P; Blandford, A; (2004) Formally justifying user-centred design rules: A case study on post-completion errors. In: Boiten, E and Derrick, J and Smith, G, (eds.) Proceedings of the 4th International Conference on Integrated Formal Methods. (461 - 480). Springer Berlin: Heidelberg. Green open access
file

Proceedings paper

Ball, T; Cook, B; Das, S; Rajamani, SK; (2004) Refining Approximations in Software Predicate Abstraction. In: Jensen, K and Podelski, A, (eds.) (pp. pp. 388-403). Springer

Ball, T; Cook, B; Lahiri, SK; Zhang, L; (2004) Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement. In: Alur, R and Peled, DA, (eds.) (pp. pp. 457-461). Springer

Ball, T; Cook, B; Levin, V; Rajamani, SK; (2004) SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft. In: Boiten, EA and Derrick, J and Smith, G, (eds.) (pp. pp. 1-20). Springer

Buchanan, GR; Blandford, A; Thimbleby, H; Jones, M; (2004) Supporting information structuring in a digital library. In: Heery, R and Lyon, L, (eds.) RESEARCH AND ADVANCED TECHNOLOGY FOR DIGITAL LIBRARIES. (pp. 464 - 475). SPRINGER-VERLAG BERLIN Green open access
file

Buchanan, GR; Blandford, A; Thimbleby, H; Jones, M; (2004) Supporting information structuring in a digital library. In: Heery, R and Lyon, L, (eds.) RESEARCH AND ADVANCED TECHNOLOGY FOR DIGITAL LIBRARIES. (pp. 464 - 475). SPRINGER-VERLAG BERLIN

Cook, B; (2004) Finding API usage rule violations in Windows device drivers using Static Driver Verifier. In: Margaria, T and Steffen, B and Philippou, A and Reitenspieß, M, (eds.) (pp. p. 18). Department of Computer Science, University of Cyprus

Cook, B; Kroening, D; Sharygina, N; (2004) Accurate Theorem Proving for Program Verification. In: Margaria, T and Steffen, B, (eds.) (pp. pp. 96-114). Springer

Conference item

Flechais, I; Sasse, MA; Hailes, SMV; (2004) Bringing security home: A process for developing secure and usable systems. Presented at: UNSPECIFIED.

Thesis

Burbidge, R.; (2004) Heuristic methods for support vector machines with applications to drug discovery. Doctoral thesis, University of London. Green open access
file

Dias, M.B.; (2004) Implicit, view-invariant modelling of 3D non-rigid objects. Doctoral thesis, University of London. Green open access
file

Douros, I.; (2004) Calculating the curvature shape characteristics of the human body from 3D scanner data. Doctoral thesis, University of London. Green open access
file

Jarrett, W.O'B.; (2004) Congestion detection within multi-service TCP/IP networks using wavelets. Doctoral thesis, University of London. Green open access
file

This list was generated on Sun Jun 25 04:12:23 2017 BST.