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

Article

Collinson, M; Pym, D; Tofts, C; (2007) Erratum: Errata for Formal Aspects of Computing (2006) 18:495-517 and their consequences (Formal Aspects of Computing (2006) 18 (495-517)). Formal Aspects of Computing , 19 (4) pp. 551-554. 10.1007/s00165-007-0047-2.

Cook, B; Kroening, D; Sharygina, N; (2007) Verification of Boolean programs with unbounded thread creation. Theor. Comput. Sci. , 388 (1-3) pp. 227-242. 10.1016/j.tcs.2007.07.050.

Cook, B; Sebastiani, R; (2007) Preface and Foreword. Electr. Notes Theor. Comput. Sci. , 174 (8) pp. 3-6. 10.1016/j.entcs.2007.05.021.

Hormozdiari, F; Berenbrink, P; Przulj, N; Sahinalp, SC; (2007) Not All Scale-Free Networks Are Born Equal: The Role of the Seed Graph in PPI Network Evolution. PLoS Computational Biology , 3 (7) 10.1371/journal.pcbi.0030118.

Makri, S; Blandford, A; Gow, J; Rimmer, J; Warwick, C; Buchanan, G; (2007) A library or just another information resource? A case study of users' mental models of traditional and digital libraries. J AM SOC INF SCI TEC , 58 (3) 433 - 445. 10.1002/asi.20510. Green open access
file

Makri, S; Blandford, A; Gow, J; Rimmer, J; Warwick, C; Buchanan, G; (2007) A library or just another information resource? A case study of users' mental models of traditional and digital libraries. J AM SOC INF SCI TEC , 58 (3) 433 - 445. 10.1002/asi.20510.

Oyekoya, O; Stentiford, F; (2007) Perceptual image retrieval using eye movements. Int. J. Comput. Math. , 84 (9) pp. 1379-1391. 10.1080/00207160701242268.

Pym, D; Tofts, C; (2007) Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic. Electronic Notes in Theoretical Computer Science , 172 pp. 545-587. 10.1016/j.entcs.2007.02.020.

Zhang, H; Yushkevich, PA; Rueckert, D; Gee, JC; (2007) Unbiased white matter atlas construction using diffusion tensor images. Med Image Comput Comput Assist Interv , 10 (Pt 2) 211 - 218.

Book chapter

Rukšėnas, R; Curzon, P; Back, J; Blandford, A; (2007) Formal modelling of cognitive interpretation. In: Doherty, G and Blandford, A, (eds.) Interactive Systems. Design, Specification, and Verification. (123 - 136). Springer London: Heidelberg.

Proceedings paper

(2007) Deduction and Decision Procedures, 30.09. - 05.10.2007. In: Baader, F and Cook, B and Giesl, J and Nieuwenhuis, R, (eds.) Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany

(2007) Verification, Model Checking, and Abstract Interpretation, 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings. In: Cook, B and Podelski, A, (eds.) Springer

Baader, F; Cook, B; Giesl, J; Nieuwenhuis, R; (2007) 07401 Abstracts Collection -- Deduction and Decision Procedures. In: Baader, F and Cook, B and Giesl, J and Nieuwenhuis, R, (eds.) Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany

Baader, F; Cook, B; Giesl, J; Nieuwenhuis, R; (2007) 07401 Executive Summary -- Deduction and Decision Procedures. In: Baader, F and Cook, B and Giesl, J and Nieuwenhuis, R, (eds.) Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany

Babic, D; Hu, AJ; Rakamaric, Z; Cook, B; (2007) Proving Termination by Divergence. In: (pp. pp. 93-102). IEEE Computer Society

Blandford, A; Benedyk, R; Berthouze, N; Cox, A; Dowell, J; (2007) The challenges of creating connections and raising awareness: Experience from UCLIC. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). (pp. 682 - 683). Green open access
file

Blandford, A; Benedyk, R; Berthouze, N; Cox, A; Dowell, J; (2007) The challenges of creating connections and raising awareness: Experience from UCLIC. In: Baranauskas, C and Palanque, P and Abascal, J and Barbosa, SDJ, (eds.) Human-Computer Interaction - INTERACT 2007, Pt 2, Proceedings. (pp. 682 - 683). SPRINGER-VERLAG BERLIN

Cook, B; (2007) Automatically Proving Concurrent Programs Correct. In: (pp. pp. 269-272). IEEE Computer Society

Cook, B; (2007) Bringing Hardware and Software Closer Together with Termination Analysis. In: (pp. p. 201). IEEE Computer Society

Cook, B; (2007) Automatically Proving Program Termination. In: Damm, W and Hermanns, H, (eds.) (pp. p. 1). Springer

Cook, B; Gotsman, A; Podelski, A; Rybalchenko, A; Vardi, MY; (2007) Proving that programs eventually do something good. In: Hofmann, M and Felleisen, M, (eds.) (pp. pp. 265-276). ACM

Cook, B; Podelski, A; Rybalchenko, A; (2007) Proving thread termination. In: Ferrante, J and McKinley, KS, (eds.) (pp. pp. 320-330). ACM

Gotsman, A; Berdine, J; Cook, B; Rinetzky, N; Sagiv, M; (2007) Local Reasoning for Storable Locks and Threads. In: Shao, Z, (ed.) (pp. pp. 19-37). Springer

Gotsman, A; Berdine, J; Cook, B; Sagiv, M; (2007) Thread-modular shape analysis. In: Ferrante, J and McKinley, KS, (eds.) (pp. pp. 266-277). ACM

Kirstein, P; Frese, H; Janz, R; (2007) Experiences of the Silk community with the Silk-2 Project. In: Ji, Y, (ed.) Proceedings of APAN Network Research Workshop 2007. (pp. 1 - 8). Asia-Pacific Advanced Network (APAN): Beijing, China.

Magill, S; Berdine, J; Clarke, EM; Cook, B; (2007) Arithmetic Strengthening for Shape Analysis. In: Nielson, HR and Filé, G, (eds.) (pp. pp. 419-436). Springer

Manevich, R; Berdine, J; Cook, B; Ramalingam, G; Sagiv, M; (2007) Shape Analysis by Graph Decomposition. In: Grumberg, O and Huth, M, (eds.) (pp. pp. 3-18). Springer

McCusker, G; Pym, D; (2007) A games model of bunched implications. In: (pp. pp. 573-588).

Pym, D; Taylor, R; Tofts, C; (2007) Public services innovation through technology. In: (pp. pp. 2736-2739).

Ritschel, T; (2007) Fast GPU-based Visibility Computation for Natural Illumination of Volume Data Sets. In: Cignoni, P and Sochor, J, (eds.) (pp. pp. 57-60). Eurographics Association

Ruksenas, R; Curzon, P; Back, J; Blandford, A; (2007) Formal modelling of cognitive interpretation. In: Doherty, G and Blandford, A, (eds.) Interactive Systems: Design, Specification, and Verification. (pp. 123 - 136). SPRINGER-VERLAG BERLIN

Rukšenas, R; Curzon, P; Back, J; Blandford, A; (2007) Formal modelling of cognitive interpretation. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). (pp. 123 - 136). Green open access
file

Sofronie-Stokkermans, V; Ihlemann, C; Jacobs, S; (2007) Local Theory Extensions, Hierarchical Reasoning and Applications to Verification. In: Baader, F and Cook, B and Giesl, J and Nieuwenhuis, R, (eds.) Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany

Thiemann, R; Giesl, J; Schneider-Kamp, P; (2007) Decision Procedures for Loop Detection. In: Baader, F and Cook, B and Giesl, J and Nieuwenhuis, R, (eds.) Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany

Conference item

Gelly, S; Silver, D; (2007) Combining Online and Offline Learning in UCT. Presented at: UNSPECIFIED.

Thesis

Black, E.; (2007) A generative framework for argumentation-based inquiry dialogues. Doctoral thesis, University of London. Green open access
file

Craft, B.R.; (2007) A sketching-oriented design method for information visualization software. Doctoral thesis, University of London. Green open access
file

Huang, Y.; (2007) Improving signalling performance of proactive MANET routing protocols. Doctoral thesis, University of London. Green open access
file

Jacobs, K.; (2007) Illumination for mixed reality of complex-to-model scenes. Doctoral thesis, University of London. Green open access
file

Lewis-Bowen, J.; (2007) Modelling grid architecture. Doctoral thesis, University of London. Green open access
file

Musolesi, M.; (2007) Context-aware adaptive routing for delay tolerant networking. Doctoral thesis, University of London. Green open access
file

Nasrallah, A.J.; (2007) Statistics of gradient directions in natural images. Doctoral thesis, University of London. Green open access
file

Ortega-Arjona, J.L.; (2007) Architectural patterns for Parallel Programming: models for performance estimation. Doctoral thesis, University of London. Green open access
file

This list was generated on Sun Apr 23 04:46:59 2017 BST.