# Browse by Department

Up a level |

- Departments (14703)
- Faculty of Science (5796)
**Computer Science, Department of**(154)

- Faculty of Science (5796)

**154**.

Smith, Shamus P. and Trenholme, David. (2008) 'Computer game engines for developing first-person virtual environments.', *Virtual reality.*, 12 (3). pp. 181-187.

Smith, Shamus P. and Todd, Susan. (2007) 'Collaborative evaluation of a haptic-based medical virtual environment.', in *Proceedings of the 4th INTUITION International Conference on Virtual Reality and Virtual Environments, 4-5 October 2007, Athens.* , pp. 102-110.

Holliman, N. S. and Froner, B. and Liversedge, S. P. (2007) 'An application driven comparison of depth perception on desktop 3D displays.', in *Stereoscopic displays and virtual reality systems XIV.* Bellingham, WA: SPIE, 64900H. Proceedings of SPIE. (6490).

Gallagher, K. and Binkley, D. and Harman, M. (2006) 'Stop-list slicing.', in *6th IEEE International Workshop on Source Code Analysis and Manipulation, SCAM '06, 11-20 September 2006, Philadelphia USA ; proceedings.* New York: IEEE, pp. 11-20.

## A

Arratia-Quesada, A. and Stewart, I. A. (2008) 'Program schemes with deep pushdown storage.', in *Logic and theory of algorithms.* Berlin: Springer, pp. 11-21. Lecture notes in computer science. (5028).

Arratia, A. A. and Stewart, I. A. (2003) 'A note on first-order projections and games.', *Theoretical computer science.*, 290 (3). pp. 2085-2093.

Ashir, Y. A. and Stewart, I. A. (2002) 'Fault-tolerant embeddings of Hamiltonian circuits in k-ary n-cubes.', *SIAM journal on discrete mathematics.*, 15 (3). pp. 317-328.

Arratia-Quesada, A. A. and Chauhan, S. R. and Stewart, I. A. (1999) 'Hierarchies in classes of program schemes.', *Journal of logic and computation.*, 9 (6). pp. 915-957.

## B

Broersma, Hajo and Johnson, Matthew and Paulusma, Daniel (2009) 'Upper bounds and algorithms for parallel knock-out numbers.', *Theoretical computer science.*, 410 (14). pp. 1319-1327.

Broersma, H. and Johnson, M. and Paulusma, Daniel and Stewart, I. A. (2008) 'The computational complexity of the parallel knock-out problem.', *Theoretical computer science.*, 393 (1-3). pp. 182-195.

Berenbrink, P. and Friedetzky, T. and Martin, R. (2008) 'On the stability of dynamic diffusion load balancing.', *Algorithmica.*, 50 (3). pp. 329-350.

Berenbrink, P. and Friedetzky, T. and Goldberg, L. A. and Goldberg, P. and Hu, Z. and Martin, R. (2007) 'Distributed selfish load balancing.', *SIAM journal on computing.*, 37 (4). pp. 1163-1181.

Bailey, J.O. and Burd, E.L. (2007) 'Towards more mature web maintenance practices for accessibility.', in *9th IEEE International Workshop on Web Site Evolution, WSE 2007, 5-6 October 2007, Paris ; proceedings.* Los Alamitos, CA: IEEE, pp. 81-87.

Brereton, P. and Kitchenham, B. A. and Budgen, D. and Turner, M. and Khalil, M. (2007) 'Lessons from applying the systematic literature review process within the software engineering domain.', *Journal of systems and software.*, 80 (4). pp. 571-583.

Bailey, J. and Burd, L. (2006) 'What is the current state of web accessibility ?', in *8th IEEE International Symposium on Web Site Evolution, WSE '06, 23-24 September 2006, Philadelphia, PA ; proceedings.* Los Alamitos, CA: IEEE, pp. 69-74.

Bordewich, M. and Dyer, M. and Karpinski, M. (2006) 'Stopping times, metrics and approximate counting.', in *Automata, languages and programming : 33rd International Colloquium, ICALP 2006, 10-14 July 2006, Venice, Italy ; proceedings, part I.* Berlin: Springer, pp. 108-119. Lecture notes in computer science. (4051).

Berman, L. and Gallagher, K. (2006) 'Listening to program slices.', *International Conference on Auditory Display : ICAD-06* London, England, 20-23 June 2006.

Broersma, H. J. and Fomin, F. V. and Kratochvil, J. and Woeginger, G. J. (2006) 'Planar graph coloring avoiding monochromatic subgraphs : trees and paths make it difficult.', *Algorithmica.*, 44 (4). pp. 343-361.

Bordini, R. H. and Fisher, M. and Visser, W. and Wooldridge, M. (2006) 'Verifying multi-agent programs by model checking.', *Journal of autonomous agents and multi-agent systems.*, 12 (2). pp. 239-256.

Berenbrink, P. and Friedetzky, T. and Goldberg, L. A. and Goldberg, P. and Hu, Z. and Martin, R. (2006) 'Distributed selfish load balancing.', in *Proceedings of the 17th Annual ACM-SIAM Symposium on Discrete Algorithm.* New York: Association for Computing Machinery, pp. 354-363.

Brandt, S. and Broersma, H. J. and Diestel, R. and Kriesell, M. (2006) 'Global connectivity and expansion : long cycles and factors in f-connected graphs.', *Combinatorica.*, 26 (1). pp. 17-36.

Berenbrink, P. and Ergun, F. and Friedetzky, T. (2005) 'Finding frequent patterns in a string in sublinear time.', in *Algorithms - ESA 2005 : 13th Annual European Symposium, 3-6 October 2005, Palma de Mallorca, Spain ; proceedings.* Berlin: Springer, pp. 746-757. Lecture notes in computer science. (3669).

Bordewich, M. and Freedman, M. and Lovász, L. and Welsh, D. (2005) 'Approximate counting and quantum computation.', *Combinatorics, probability and computing.*, 14 (5-6). pp. 737-754.

Bordewich, M. and Dyer, M. and Karpinski, M. (2005) 'Path coupling using stopping times.', in *Fundamentals of computation theory :15th International Symposium, FCT 2005, 17-20 August 2005, Lübeck, Germany ; proceedings.* Berlin: Springer, pp. 19-31. Lecture notes in computer science. (3623).

Bailey, J. and Burd, E.L. (2005) 'Tree-map visualization for web accessibility.', in *29th Annual International Computer Software and Applications Conference, COMPSAC 2005, 26-28 July 2005, Edinburgh, Scotland ; proceedings.* , pp. 275-280.

Berenbrink, P. and Friedetzky, T. and Martin, R. (2005) 'Dynamic diffusion load balancing.', in *Automata, languages and programming : 32nd International Colloquium, ICALP 2005, 11-15 July 2005, Lisbon, Portugal ; proceedings.* Berlin: Springer, pp. 1386-1398. Lecture notes in computer science. (3580).

Bordini, R. H. and Hübner, J. F. and Vieira, R. (2005) 'Jason and the Golden Fleece of agent-oriented programming.', in *Multi-agent programming : languages, platforms and applications.* New York: Springer, pp. 3-37. Multiagent Systems, Artificial Societies, and Simulated Organizations. (15).

Bulatov, A. and Jeavons, P. and Krokhin, A. (2005) 'Classifying the complexity of constraints using finite algebras.', *SIAM journal on computing.*, 34 (3). pp. 720-742.

Bordewich, M. and Semple, C. (2005) 'On the computational complexity of the rooted subtree prune and regraft distance.', *Annals of combinatorics.*, 8 (4). pp. 409-423.

Bordini, R. H. and Dastani, M. and Dix, J. and El Fallah Seghrouchni, A. (2005) 'Multi-agent programming : languages, platforms and applications.', New York: Springer. Multiagent systems, artificial societies, and simulated organizations., 15

Bordini, R. H. and Moreira, A. F. (2004) 'Proving BDI properties of agent-oriented programming languages : the asymmetry thesis principles in agentspeak(L).', *Annals of mathematics and artificial intelligence.*, 42 (1-3). pp. 197-226.

Bordini, R.H. and Fisher, M. and Visser, W. and Wooldridge, M. (2004) 'State-space reduction techniques in agent verification.', in *Third International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2004, 19-23 July 2004, New York ; proceedings.* New York: Association for Computing Machinery, pp. 896-903.

Bodlaender, H. L. and Broersma, H. J. and Fomin, F. V. and Pyatkin, A. V. and Woeginger, G. J. (2004) 'Radio labeling with preassigned frequencies.', *SIAM journal on optimization.*, 15 (1). pp. 1-16.

Bordewich, M. (2004) 'Approximating the number of acyclic orientations for a class of sparse graphs.', *Combinatorics, probability and computing.*, 13 (1). pp. 1-16.

Budgen, D. and Thomson, M. (2003) 'CASE tool evaluation : experiences from an empirical study.', *Journal of systems and software.*, 67 (2). pp. 55-75.

Berenbrink, P. and Friedetzky, T. and Goldberg, L. A. (2003) 'The natural work-stealing algorithm is stable.', *SIAM journal on computing.*, 32 (5). pp. 1260-1279.

Broersma, H. J. and Fomin, F. V. and Nešetřil, J. and Woeginger, G. J. (2002) 'More about subcolorings.', *Computing.*, 69 (3). pp. 187-203.

Bailey, J. O. and Burd, E. L. (2002) 'Evaluating clone detection tools for use during preventative maintenance.', in *2nd IEEE International Workshop on Source Code Analysis and Manipulation, SCAM’02, 1 October 2002, Montreal, Canada ; proceedings.* Los Alamitos, CA: IEEE, pp. 36-43.

Burd, E.L. and Overy, D. and Wheetman, A. (2002) 'Evaluating using animation to improve understanding of sequence diagrams.', in *10th International Workshop on Program Comprehension, IWPC'02, 27-29 June 2002, Paris, France ; proceedings.* Piscataway, New Jersey: IEEE, pp. 107-113.

Burd, L and Munro, M (2000) 'Using evolution to evaluate reverse engineering technologies : mapping the process of software change.', *Journal of systems and software.*, 53 (1). pp. 43-51.

## C

Cereceda, L. and van den Heuvel, J. and Johnson, M. (2008) 'Connectedness of the graph of vertex-colourings.', *Discrete mathematics.*, 308 (5-6). pp. 913-919.

Cohen, D. and Cooper, M. and Jeavons, P. and Krokhin, A. (2006) 'The complexity of soft constraint satisfaction.', *Artificial intelligence.*, 170 (11). pp. 983-1016.

Cheung, G. and Lau, R. and Li, F. (2006) 'Efficient rendering of deformable objects for real-time applications.', *Computer animation and virtual worlds.*, 17 (1). pp. 69-81.

Cohen, D. and Cooper, M. and Jeavons, P. and Krokhin, A. (2005) 'Supermodular functions and the complexity of MAX CSP.', *Discrete applied mathematics.*, 149 (1-3). pp. 53-72.

Chen, Y. and Sanders, J. W. (2005) 'The weakest specifunction.', *Acta informatica.*, 41 (7-8). pp. 383-414.

Chin, W. N. and Khoo, S. C. and Qin, S. and Popeea, C. and Nguyen, H. H. (2005) 'Verifying safety policies with size properties and alias controls.', in *Proceedings of the 27th International Conference on Software Engineering, ICSE 05, 15-21 May 2005, St Louis MO.* New York: Association for Computing Machinery, pp. 186-195.

Chan, A. and Lau, R. W. H. and Ng, B. (2005) 'Motion prediction for caching and prefetching in mouse-driven DVE navigation.', *ACM transactions on internet technology.*, 5 (1). pp. 70-91.

Chin, W. N. and Craciun, F. and Qin, S. and Rinard, M. (2004) 'Region inference for an object-oriented language.', *ACM SIGPLAN notices.*, 39 (6). pp. 243-254.

Chim, J. and Lau, R. W. H. and Leong, H. V. and Si, A. (2003) 'CyberWalk : a web-based distributed virtual walkthrough environment.', *IEEE transactions on multimedia.*, 5 (4). pp. 503-515.

Chen, Y. (2002) 'Generic composition.', *Formal aspects of computing.*, 14 (2). pp. 108-122.

Callaghan, P. and Luo, Z. and McKinna, J. and Pollack, R. (2002) 'Types for proofs and programs : international workshop, TYPES 2000, Durham UK, December 8-12, 2000.', Berlin: Springer. Lecture notes in computer science. (2277).

Coolen, F. P. A. and Goldstein, M. and Munro, M. (2001) 'Generalized partition testing via Bayes linear methods.', *Information and software technology.*, 43 (13). pp. 783-793.

Callaghan, P. and Luo, Z. (2001) 'An implementation of LF with coercive subtyping & universes.', *Journal of automated reasoning.*, 27 (1). pp. 3-27.

Callaghan, P. and Luo, Z. and Pang, J. (2001) 'Object languages in a type-theoretic meta-framework.', *Proof Transformation and Presentation and Proof Complexities Workshop : PTP'01.* Siena, Italy, 19 June 2001.

Chauhan, S. R. and Stewart, I. A. (1999) 'On the power of built-in relations in certain classes of program schemes.', *Information processing letters.*, 69 (2). pp. 77-82.

## D

Du, X. and Song, W. and Zhang, M. (2008) 'A context-based framework and method for learning object description and search.', in *Advances in web based learning, : 6th International Conference, ICWL 2007, Edinburgh, UK, August 15-17, 2007 ; revised papers.* Berlin ; Heidelberg: Springer, pp. 114-125. Lecture note in computer science series. (4823).

Dantchev, S. and Martin, B. and Szeider, S. (2007) 'Parameterized proof complexity.', in *48th Annual IEEE Symposium on Foundations of Computer Science, FOCS '07, 21-23 October 2007, Providence, RI ; proceedings.* Los Alamitos, CA: IEEE, pp. 150-160. IEEE Symposium on Foundations of Computer Science.

Dantchev, S. (2007) 'Rank complexity gap for Lovász-Schrijver and Sherali-Adams proof systems.', *39th Annual ACM Symposium on Theory of Computing* San Diego, CA, 11-13 June 2007.

Dias, M. and Richardson, D. J. (2005) 'Adaptable analysis of dependable system architectures through monitoring.', in *Architecting dependable systems III.* Berlin: Springer, pp. 122-147. Lecture notes in computer science. (3549).

Dantchev, S. and Riis, S. (2003) 'On relativisation and complexity gap for resolution-based proof systems.', in *Computer science logic : 17th International Workshop CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, 25-30 August 2003, Vienna, Austria ; proceedings.* Berlin: Springer, pp. 142-154. Lecture notes in computer science. (2803).

Dias, M. and Richardson, D.J. (2002) 'Identifying cause and effect relations between events in concurrent event-based components.', in *17th IEEE International Conference on Automated Software Engineering, ASE 2002, 23-27 September 2002, Edinburgh ; proceedings.* Los Alamitos, CA: IEEE, pp. 245-248.

Dantchev, S. (2002) 'Improved sorting-based procedure for integer programming.', *Mathematical programming.*, 92 (2). pp. 297-300.

Dantchev, S. and Riis, S. (2001) 'Planar tautologies hard for resolution.', in *42nd IEEE Symposium on Foundations of Computer Science, FOCS 2001, 14-17 October 2001, Las Vegas, Nevada ; proceedings.* New York: IEEE, pp. 220-229.

Dantchev, S.. and Riis, S. (2001) 'Tree resolution proofs of the weak pigeon-hole principle.', in *16th Annual IEEE Conference on Computational Complexity, 18-21 June 2001, Chicago, Illinois ; proceedings.* New York: IEEE, pp. 69-77.

## E

Eslachi, C. and Johnson, M. (2004) 'Characterization of graphs with Hall number 2.', *Journal of graph theory.*, 45 (2). pp. 81-100.

## F

Frost, R. and Hafiz, R. and Callaghan, P. (2007) 'Modular and efficient top-down parsing for ambiguous left-recursive grammars.', in *10th International Conference on Parsing Technologies, IWPT07, 23-24 June 2007, Prague, Czech Republic ; proceedings.* Morristown, NJ: Association for Computing Machinery, pp. 109-120.

Fellows, M. R. and Rosamond, F. A. and Rotics, U. and Szeider, S. (2006) 'Clique-width minimization is NP-hard.', *38th Annual ACM Symposium on Theory of Computing* Seattle, Washington, USA, 21-23 May 2006.

Fiala, J. and Paulusma, Daniel (2005) 'A complete complexity classification of the role assignment problem.', *Theoretical computer science.*, 349 (1). pp. 67-81.

Fiala, J. and Paulusma, Daniel and Telle, J. A. (2005) 'Matrix and graph orders derived from locally constrained graph homomorphisms.', in *Mathematical foundations of computer science 2005 : 30th International Symposium, MFCS 2005, Gdansk, Poland, 29 August 29-2September 2005 ; proceedings.* Berlin: Springer, pp. 340-351. Lecture notes in computer science. (3618).

Feder, T. and Madelaine, F. R. and Stewart, I. A. (2004) 'Dichotomies for classes of homomorphism problems involving unary functions.', *Theoretical computer science.*, 314 (1-2). pp. 1-43.

## G

Gallagher, K. and Hatch, A. and Munro, M. (2008) 'Software architecture visualization : an evaluation framework and its application.', *IEEE transactions on software engineering.*, 34 (2). pp. 260-270.

Gallagher, K. and Hall, T. and Black, S. (2007) 'Reducing regression test size by exclusion.', in *IEEE International Conference on Software Maintenance, ICSM 2007, 2-5 October 2007, Paris ; proceedings.* New York: IEEE, pp. 154-163.

Graham, T. C. Nicholas. and Curzon, Paul. and Doherty, Gavin. and Palanque, Philippe. and Potter, Richard. and Roast, Christopher. and Smith, Shamus P. (2007) 'Usability and computer games : working group report.', in *Interactive systems : design, specification, and verification ; 13th international workshop, DSVIS 2006 Dublin, Ireland, July 26-28, 2006 ; revised papers.* Berlin: Springer, pp. 265-268. Lecture notes in computer science., 4323

Gault, R. L. and Stewart, I. A. (2006) 'An infinite hierarchy in a class of polynomial-time program schemes.', *Theory of computing systems.*, 39 (5). pp. 753-783.

Gallagher, K. and Hatch, A. and Munro, M. (2005) 'Framework for software architecture visualization assessment.', *Third IEEE Workshop on Visualizing Software for Understanding and Analysis : VISSOFT 2005* Budapest, Hungary, 25 Sep 2005.

Gallagher, K. B. (2004) 'Some notes on interprocedural program slicing.', *4th IEEE International Workshop on Source Code Analysis and Manipulation : SCAM-4.* Chicago, Illinois, 15-16 September 2004.

Gold, N. E. and Knight, C. and Mohan, A. and Munro, M. (2004) 'Understanding service-oriented software.', *IEEE software.*, 21 (2). pp. 71-77.

Gallagher, K. and Harman, M. and Danicic, S. (2003) 'Guaranteed inconsistency avoidance during software evolution.', *Journal of software maintenance and evolution : research and practice.*, 15 (6). pp. 393-416.

Gallagher, K. and Binkley, D. (2003) 'An empirical study of computation equivalence as determined by decomposition slice equivalence.', in *10th Working Conference on Reverse Engineering, WCRE 2003, 13-16 November 2003, Victoria, B.C., Canada ; proceedings.* Los Alamitos, CA: IEEE, pp. 316-322.

Gault, R. L. and Stewart, I. A. (2001) 'On a hierarchy involving transitive closure logic and existential second-order quantification.', *Logic journal of the IGPL.*, 9 (6). pp. 769-780.

## H

Heuvel van den, J. and Johnson, M. (2008) 'Transversals of subtree hypergraphs and the source location problem in digraphs.', *Networks.*, 51 (2). pp. 113-119.

Holliman, N. and Baugh, C. and Frenk, C. and Jenkins, A. R. and Froner, B. and Hassaine, D. and Helly, J. and Metcalfe, N. and Okamoto, T. (2006) 'Cosmic cookery : making a stereoscopic 3D animated movie.', in *Stereoscopic displays and virtual reality systems XIII.* Bellingham, WA: SPIE, p. 605505. Proceedings of SPIE. (6055).

Holliman, N. S. (2006) '3D display systems.', in *Handbook of optoelectronics.* .

Holliman, N. S. (2005) 'Smoothing region boundaries in variable depth mapping for real time stereoscopic images.', in *Stereoscopic displays and virtual reality systems XII.* Bellingham, WA: SPIE, pp. 281-292. Proceedings of SPIE. (5664).

Heuvel van den, J. and Johnson, M. (2004) 'Transversals of subtree hypergraphs and the source location problem in hypergraphs.', Technical Report. London School of Economics, London.

Harman, M. and Hu, L. and Munro, M. and Zhang, X. and Binkley, D. and Danicic, S. and Daoudi, M. and Ouarbya, L. (2004) 'Syntax-directed amorphous slicing.', *Automated software engineering.*, 11 (1). pp. 27-61.

Holliman, N. S. (2004) 'Mapping perceived depth to regions of interest in stereoscopic images.', in *Stereoscopic displays and virtual reality systems XI.* Bellingham, WA: SPIE, pp. 117-128. Proceedings of SPIE. (5291).

Hilton, A. J. W. and Johnson, M. and Rodger, C. A. and Wantland, E. B. (2003) 'Amalgamations of connected k<-factorizations.', *Journal of combinatorial theory, series B.*, 88 (2). pp. 267-279.

Hassan, M. and Ivrissimitzis, I. and Dodgson, N. and Sabin, M. (2002) 'An interpolating 4-point C2 ternary stationary subdivision scheme.', *Computer aided geometric design.*, 19 (1). pp. 1-18.

## I

Ivrissimtzis, I. and Sabin, M. and Dodgson, N. (2004) 'On the support of recursive subdivision.', *ACM transactions on graphics.*, 23 (4). pp. 1043-1060.

Ivrissimtzis, I. and Seidel, H-P. (2004) 'Evolutions of polygons in the study of subdivision surfaces.', *Computing.*, 72 (1-2). pp. 93-103.

Ivrissimtzis, I. and Dodgson, N. and Sabin, M. (2004) 'A generative classification of mesh refinement rules with lattice transformations.', *Computer aided geometric design.*, 21 (1). pp. 99-109.

## J

Johnson, M. (2007) 'Amalgamations of factorizations of complete graphs.', *Journal of combinatorial theory, series B.*, 97 (4). pp. 597-611.

Jones, G. R. and Lee, D. and Holliman, N. S. and Ezra, D. (2001) 'Controlling perceived depth in stereoscopic images.', in *Stereoscopic displays and applications VIII.* Bellingham, WA: SPIE, pp. 42-53. Proceedings of SPIE. (4297).

## K

Kern, W. and Paulusma, Daniel (2004) 'The computational complexity of the elimination problem in generalized sports competitions.', *Discrete optimization.*, 1 (2). pp. 205-214.

Krokhin, A. and Jeavons, P. and Jonsson, P. (2003) 'Reasoning about temporal relations : the maximal tractable subalgebras of Allen's interval algebra.', *Journal of the ACM.*, 50 (5). pp. 591-640.

Kern, W. and Paulusma, Daniel (2003) 'Matching games : the least core and the nucleolus.', *Mathematics of operations research.*, 28 (2). pp. 294-308.

## L

Li, Xueliang and Yao, Xiangmei and Zhou, Wenli and Broersma, Hajo (2009) 'Complexity of conditional colorability of graphs.', *Applied mathematics letters.*, 22 (3). pp. 320-324.

Li., L. and Li, F. and Lau, R. (2006) 'A trajectory-preserving synchronization method for collaborative visualization.', *IEEE transactions on visualization and computer graphics.*, 12 (5). pp. 989-996.

Li, F. and Lau, R. and Kilis, D. (2004) 'GameOD : an internet based game-on-demand framework.', *ACM Symposium on Virtual Reality Software and Technology VRST '04.* Hong Kong, 10-12 November 2004.

Li, F. and Li, L. and Lau, R. (2004) 'Supporting continuous consistency in multiplayer online games.', *12th Annual ACM International Conference on Multimedia* New York, USA, 10-16 October 2004.

Li, F. and Lau, R. and Ng, F. (2003) 'VSculpt : a distributed virtual sculpting environment for collaborative design.', *IEEE transactions on multimedia.*, 5 (4). pp. 570-580.

Li, F. and Lau, R. W. H. and Ng, F. (2003) 'VSculpt : a distributed virtual sculpting environment for collaborative design.', *UNSPECIFIED*.

## M

Madelaine, F. R. and Stewart, I. A. (2008) 'Improved upper and lower bounds on the feedback vertex numbers of grids and butterflies.', *Discrete mathematics.*, 308 (18). pp. 4144-4164.

Madelaine, F. R. and Stewart, I. A. (2007) 'Constraint satisfaction, logic and forbidden patterns.', *SIAM journal of computing.*, 37 (1). pp. 132-163.

Muccini, H. and Dias, M. and Richardson, D. J. (2006) 'Software architecture-based regression testing.', *Journal of systems and software.*, 79 (10). pp. 1379-1396.

Madelaine, F. R. and Stewart, I. A. (2003) 'Some problems not definable using structure homomorphisms.', *Ars Combinatoria.*, 67 . pp. 153-159.

## N

Ng, B. and Lau, R. W. H. and Si, A. and Li, F. (2005) 'Multi-server support for large scale distributed virtual environments.', *IEEE transactions on multimedia.*, 7 (6). pp. 1054-1065.

## P

Pang, J. and Callaghan, P. and Luo, Z. (2005) 'LFTOP : an LF-based approach to domain-specific reasoning.', *Journal of computer science and technology.*, 20 (4). pp. 526-535.

Puricella, A. and Stewart, I. A. (2003) 'Greedy algorithms, H-colourings and a complexity-theoretic dichotomy.', *Theoretical computer science.*, 290 (3). pp. 1897-1913.

Puricella, A. and Stewart, I. A. (2001) 'A generic greedy algorithm, partially-ordered graphs and NP-completeness.', in *Graph-theoretic concepts in computer science : 27th International Workshop, WG 2001, 14-16 June 2001, Boltenhagen, Germany ; proceedings.* Berlin: Springer, pp. 306-316. Lecture notes in computer science. (2204).

## Q

Qin, S. and Chin, W. N. and He, J. and Qiu, Z. (2006) 'From statecharts to verilog : a formal approach to hardware/software co-specification.', *Innovations in systems and software engineering.*, 2 (1). pp. 17-38.

Qin, S. and Dong, J. S. and Chin, W. N. (2003) 'A semantic foundation for TCOZ in unifying theories of programming.', in *FME 2003 : formal methods : International Symposium of Formal Methods Europe, 8-14 September 2003, Pisa, Italy: proceedings.* Berlin: Springer, pp. 321-340. Lecture notes in computer science. (2805).

## R

Ratcliffe, M. and Budgen, D. (2005) 'The application of use cases in systems analysis and design specification.', *Information & software technology.*, 47 (9). pp. 623-641.

## S

Smith, Shamus P. and Trenholme, David. (2009) 'Rapid prototyping a virtual fire drill environment using computer game technology.', *Fire safety journal.*, 44 (4). pp. 559-569.

Smith, Shamus P. and Du'Mont Sam, Sam (2009) 'Measuring the effect of gaming experience on virtual environment navigation tasks.', in *Proceedings of the 2009 IEEE symposium on 3D user interfaces.* Washington D.C.: IEEE, pp. 3-10.

Stewart, I. A. (2009) 'Logical and complexity-theoretic aspects of models of computation with restricted access to arrays.', *Journal of logic and computation.*, 19 (1). pp. 217-242.

Stewart, I. A. (2009) 'Program schemes, queues, the recursive spectrum and zero-one laws.', *Fundamenta Informaticae.*, 91 (2). pp. 411-435.

Stewart, I. A. and Xiang, Y. (2009) 'Bipanconnectivity and bipancyclicity in k-ary n-cubes.', *IEEE transactions on parallel and distributed systems.*, 20 (1). pp. 25-33.

Sun, G. and Holliman, N. S. (2009) 'Evaluating methods for controlling depth perception in stereoscopic cinematography.', in *Stereoscopic displays and applications XX.* Bellingham, WA: SPIE, 72370I. Proceedings of SPIE. (7237).

Stewart, I. A. and Xiang, Y. (2008) 'Embedding long paths in k-ary n-cubes with faulty nodes and links.', *IEEE transactions on parallel and distributed systems.*, 19 (8). pp. 1071-1085.

Stewart, I. A. (2008) 'On the fixed-parameter tractability of parameterized model-checking problems.', *Information processing letters.*, 106 (1). pp. 33-36.

Smith, Shamus P. and Todd, Susan. (2007) 'Evaluating a haptic-based virtual environment for venepuncture training.', in *Proceedings of the 2007 ACM Symposium on Virtual Reality Software and technology, 5-7 November 2007, Newport Beach, California.* New York: Association for Computing Machinery, pp. 223-224.

Stewart, I. A. (2007) 'Distributed algorithms for building Hamiltonian cycles in k-ary n-cubes and hypercubes with faulty links.', *Journal of interconnection networks.*, 8 (3). pp. 253-284.

Song, W. and Zhou, Z. (2006) 'A contextual based semantic modeling approach to task-service formation in virtual organization.', in *IEEE/WIC/ACM International Conference on Web Intelligence, WI 200, 18-22 December 2006, Hong Kong ; proceedings.* Los Alamitos, CA: IEEE, pp. 653-656.

Song, W. and Chen, D. and Chung, J. Y. (2006) 'Web services : an approach to business integration models for micro-payment.', *International journal of electronic business.*, 4 (3/4). pp. 265-280.

Smith, Shamus. P. and Hart, J. (2006) 'Evaluating distributed cognitive resources for wayfinding in a desktop virtual environment.', *1st IEEE Symposium on 3D User Interfaces : 3DUI 2006* Alexandria, Va, 25-26 Mar 2006.

Sujan, M. and Smith, S. P. and Harrison, M. D. (2006) 'Qualitative analysis of dependability argument structure.', in *Structure for dependability : computer-based systems from an interdisciplinary perspective.* New York: Springer, pp. 269-290.

Song, W. and Li, X. (2005) 'A conceptual model for virtual organizations in the grid.', in *Grid and cooperative computing - GCC 2005 : 4th International Conference, 30 November 30 - 3 December 2005, Beijing, China ; proceedings.* Berlin: Springer, pp. 382-393. Lecture notes in computer science. (3795).

Song, W. and Chen, D. and Chung, J-Y. (2005) 'Business integration models in the context of web services.', in *IEEE International Conference on e-Business Engineering, ICEBE 2005, 12-18 October 2005, Beijing ; proceedings.* Los Alamitos, CA: IEEE, pp. 697-704.

Szeider, S. (2005) 'Backdoor sets for DLL subsolvers.', *Journal of automated reasoning.*, 35 (1-3). pp. 73-88.

Song, W. and Li, X. (2005) 'Virtual organization for realcourse.', in *Advances in information system development : bridging the gap between academia & system development.* New York: Springer.

Smith, S. P. and Harrison, M. D. (2005) 'Measuring reuse in hazard analysis.', *Reliability engineering & system safety.*, 89 (1). pp. 93-104.

Szeider, S. (2005) 'The complexity of resolution with generalized symmetry rules.', *Theory of computing systems.*, 38 (2). pp. 171-188.

Smith, S. P. and Harrison, M. D. and Schupp, B. A. (2004) 'How explicit are the barriers to failure in safety arguments ?', in *Computer safety, reliability, and security : 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004 ; proceedings.* Berlin: Springer, pp. 325-337. Lecture notes in computer science. (3219).

Song, W. and Chen, D. and Chung, J-Y. (2004) 'An investigation on using web services for micro-payment.', in *Web services : European conference, ECOWS 2004, 27-30 September 2004, Erfurt, Germany ; proceedings.* Berlin: Springer, pp. 213-226. Lecture notes in computer science. (3250).

Szeider, S. (2004) 'Minimal unsatisfiable formulas with bounded clause-variable difference are fixed-parameter tractable.', *Journal of computer and system sciences.*, 69 (4). pp. 656-674.

Smith, S. P. and Marsh, T. (2004) 'Evaluating design guidelines for reducing user disorientation in a desktop virtual environment.', *Virtual reality.*, 8 (1). pp. 55-62.

Song, W. and Zhang, M. (2004) 'A first step toward the semantic web.', Beijing, China: Higher Education Press.

Shaw, S. C. and Goldstein, M. and Munro, M. and Burd, E. (2003) 'Moral dominance relations for program comprehension.', *IEEE transactions on software engineering.*, 29 (9). pp. 851-863.

Shaw, S. C. and Goldstein, M. and Munro, M. and Burd, E. (2003) 'Moral dominance relations for program comprehension.', *IEEE transactions on software engineering.*, 29 (9). pp. 851-863.

Stewart, I. A. (2003) 'The complexity of achievement and maintenance problems in agent-based systems.', *Artificial intelligence.*, 146 (2). pp. 175-191.

Stewart, I. A. (2003) 'Using program schemes to capture polynomial-time logically on certain classes of structures.', *LMS journal of computation and mathematics.*, 6 . pp. 40-67.

Szeider, S. (2003) 'Finding paths in graphs avoiding forbidden transitions.', *Discrete applied mathematics.*, 126 (2-3). pp. 261-273.

Stewart, I.A. (2002) 'Program schemes, arrays, Lindström quantifiers and zero-one laws.', *Theoretical computer science.*, 275 (1-2). pp. 283-310.

## T

Tam, G, and Lau, R. (2007) 'Deformable model retrieval based on topological and geometric signatures.', *IEEE transactions on visualization and computer graphics.*, 13 (3). 470 -482.

Turner, M. and Budgen, D. and Brereton, P. (2003) 'Turning software into a service.', *Computer.*, 36 (10). pp. 38-44.

## V

Vieira, R. and Moreira, A. and Wooldridge, M. and Bordini, R. H. (2007) 'On the formal semantics of speech-act based communication in an agent-oriented programming language.', *Journal of artificial intelligence research.*, 29 . pp. 221-267.

van den Heuvel, J. and Johnson, M. (2005) 'The external network problem with edge- or arc-connectivity requirements.', in *Combinatorial and algorithmic aspects of networking : first workshop on combinatorial and algorithmic aspects of networking, CAAN 2004, Banff, Alberta, Canada, August 5-7, 2004 ; revised selected papers.* Berlin: Springer, pp. 114-126. Lecture notes in computer science. (3405).

## X

Xu, L. and Dias, M. and Richardson, D.J. (2004) 'Generating regression tests via model checking.', in *28th Annual International Computer Software and Applications Conference, COMPSAC 2004, 28-30 September 2004, Hong Kong ; proceedings.* Los Alamitos, CA: IEEE, pp. 336-341.

## Y

Yoon, M. and Lee, Y. and Lee, S. and Ivrissimtzis, I. and Seidel, H-P. (2007) 'Surface and normal ensembles for surface reconstruction.', *Computer-aided design.*, 39 (5). pp. 408-420.

Yifeng, C. (2003) 'A fixpoint theory for non-monotonic parallelism.', *Theoretical computer science.*, 308 (1-3). pp. 367-392.

## Z

Zhang, X. and Munro, M. and Harman, M. and Hu, L. (2002) 'Weakest precondition for general recursive programs formalized in Coq.', in *15th International Conference on Theorem Proving in Higher Order Logics ; proceedings.* Berlin: Springer, pp. 332-347. Lecture notes in computer science. (2410).

Zhang, W. and Xu, B. and Song, W. and Yang, H. (2002) 'Pre-fetching web pages through data mining based prediction.', *Journal of applied systems studies.*, 3 (2). pp. 384-398.

List was generated at **Sat Jul 4 00:51:14 2015 BST**.