# Browse by Department

Up a level |

- Departments (12765)
- Faculty of Science (4782)
**Engineering, School of**(737)

- Faculty of Science (4782)

**737**.

## Article

Lee, M.-W. and Pearson, C. and Moon, T. J. and Fisher, A.L. and Petty, M.C. (2014) 'Switching and memory characteristics of thin films of an ambipolar organic compound : effects of device processing and electrode materials.', *Journal of physics D : applied physics.*, 47 (48). p. 485103.

Wilson, D.T. and Hawe, G.I. and Coates, G. and Crouch, R.S. (2014) 'Evaluation of centralised and autonomous routing strategies in major incident response.', *Safety science.*, 70 . pp. 80-88.

Mertzios, G.B. and Zaks, S. (2014) 'On the intersection of tolerance and cocomparability graphs.', *Discrete applied mathematics.* .

Giani, Stefano (2014) 'hp-Adaptive composite discontinuous Galerkin methods for elliptic eigenvalue problems on complicated domains.', *Applied mathematics and computation.* .

Guo, Song and Norris, Sean and Bialek, J. W. (2014) 'Adaptive parameter estimation of power system dynamic model using modal information.', *IEEE transactions on power systems.*, 29 (6). pp. 2854-2861.

Jeong, Y. and Pearson, C. and Lee, Y.U. and Winchester, L. and Hwang, J. and Kim, H. and Do, L.-M. and Petty, M.C. (2014) 'Zinc oxide thin-film transistors fabricated at low temperature by chemical spray pyrolysis.', *Journal of electronic materials.*, 43 (11). pp. 4241-4245.

Zaggout, M. N. and Tavner, P. J. and Crabtree, C. J. and Ran, L. (2014) 'Detection of rotor electrical asymmetry in wind turbine doubly-fed induction generators.', *IET renewable power generation.*, 8 (8). pp. 878-886.

Mertzios, G.B. and Shalom, M. and Voloshin, A. and Wong, P.W.H. and Zaks, S. (2014) 'Optimizing busy time on parallel machines.', *Theoretical computer science.* .

Dent, C.J. and Hernandez-Ortiz, A. and Blake, S.R. and Miller, D. and Roberts, D. (2014) 'Defining and evaluating the capacity value of distributed generation.', *IEEE transactions on power systems.* .

Mertzios, G.B. and Spirakis, P.G. (2014) 'Algorithms and almost tight results for 3-colorability of small diameter graphs.', *Algorithmica.* .

Huber, A. and Krokhin, A. (2014) 'Oracle tractability of skew bisubmodular functions.', *SIAM journal on discrete mathematics.*, 28 (4). pp. 1828-1837.

Jones, M.L. and Dyer, R. and Clarke, N. and Groves, C. (2014) 'Are hot charge transfer states the primary cause of efficient free-charge generation in polymer:fullerene organic photovoltaic devices? A kinetic Monte Carlo study.', *Physical chemistry chemical physics.*, 16 (38). pp. 20310-20320.

Diwan, G.C. and Mohamed, M.S. and Seaid, M. and Trevelyan, J. and Laghrouche, O. (2014) 'Mixed enrichment for the finite element method in heterogeneous media.', *International journal for numerical methods in engineering.* .

Giani, Stefano (2014) 'Solving elliptic eigenvalue problems on polygonal meshes using discontinuous Galerkin composite finite element methods.', *Applied mathematics and computation.* .

Loukarakis, E. and Bialek, J. W. and Dent, C. J. (2014) 'Investigation of maximum possible OPF problem decomposition degree for decentralized energy markets.', *IEEE transactions on power systems.* .

Stewart, I.A. (2014) 'Interconnection networks of degree three obtained by pruning two-dimensional tori.', *IEEE transactions on computers.*, 63 (10). pp. 2473-9340.

Zachary, S. and Dent, C.J. (2014) 'Estimation of joint distribution of demand and available renewables for generation adequacy assessment.', *IET generation, transmission and distribution.* .

Weinzierl, Tobias and Bader, Michael and Unterweger, Kristof and Wittmann, Roland (2014) 'Block fusion on dynamically adaptive spacetree grids for shallow water waves.', *Parallel processing letters.*, 24 (3). p. 1441006.

Gadouleau, Maximilien (2014) 'Entropy of closure operators and network coding solvability.', *Entropy.*, 16 (9). pp. 5122-5143.

Du, Longhuan and Berson, Arganthaël and Dominy, Robert G. (2014) 'Aerofoil behaviour at high angles of attack and at Reynolds numbers appropriate for small wind turbines.', *Proceedings of the Institution of Mechanical Engineers, part C : journal of mechanical engineering science.* .

Audusse, E. and Benkhaldoun, B. and Sari, S. and Seaid, M. and Tassi, P. (2014) 'A fast finite volume solver for multi-layered shallow water flows with mass exchange.', *Journal of computational physics.*, 272 . pp. 23-45.

Kotsialos, A. and Massey, M.K. and Qaiser, F. and Zeze, D.A. and Pearson, C. and Petty, M.C. (2014) 'Logic gate and circuit training on randomly dispersed carbon nanotubes.', *International journal of unconventional computing.*, 10 (5-6). pp. 473-497.

Sánchez-García, Rubén J. and Fennely, Max and Norris, Seán and Wright, Nick and Niblo, Graham and Brodzki, Jacek and Bialek, Janusz W. (2014) 'Hierarchical spectral clustering of power grids.', *IEEE transactions on power systems.*, 29 (5). pp. 2229-2237.

Hwang, J. and Lee, K. and Jeong, J. and Lee, Y.U. and Pearson, C. and Petty, M.C. and Kim, H. (2014) 'UV-assisted low temperature oxide dielectric films for TFT applications.', *Advanced materials interfaces.* .

Jeong, Y. and Pearson, C. and Lee, Y.U. and Ahn, K. and Cho, C.-R. and Hwang, J. and Kim, H. and Do, L.-M. and Petty, M.C. (2014) 'Effects of hydrogen plasma treatment on the electrical behavior of solution-processed ZnO transistors.', *Journal of applied physics.*, 116 (7). 074509.

Belmonte, R. and Golovach, P.A. and Heggernes, P. and van 't Hof, P. and Kaminski, M. and Paulusma, Daniel (2014) 'Detecting fixed patterns in chordal graphs in polynomial time.', *Algorithmica.*, 69 (3). pp. 501-521.

Mertzios, G.B. (2014) 'An intersection model for multitolerance graphs : efficient algorithms and hierarchy.', *Algorithmica.*, 69 (3). pp. 540-581.

Biró, P. and Bomhoff, M. and Golovach, P.A. and Kern, W. and Paulusma, Daniel (2014) 'Solutions for the stable roommates problem with payments.', *Theoretical computer science.*, 540-541 . pp. 53-61.

Kaliteevski, M.A. and Ivanov, K.A. and Pozina, G. and Gallant, A.J. (2014) 'Single and double bosonic stimulation of THz emission in polaritonic systems.', *Scientific reports.*, 4 . p. 5444.

Cowan, T. and Coombs, W. M. (2014) 'Rotationally invariant distortion resistant finite-elements.', *Computer methods in applied mechanics and engineering.*, 275 . pp. 189-203.

Zhou, Tao and Tao, Cheng and Liu, Liu and Tan, Zhenhui (2014) 'A semiempirical MIMO channel model in obstructed viaduct scenarios on high-speed railway.', *International journal of antennas and propagation.*, 2014 . p. 287159.

Allen, J.G. and Coates, G. and Trevelyan, J. (2014) 'Dynamically-controlled variable-fidelity modelling for aircraft structural design optimisation.', *Proceedings of the Institution of Mechanical Engineers, Part G : journal of aerospace engineering.*, 228 (8). pp. 1434-1449.

Jeavons, P. and Krokhin, A. and Živný, S. (2014) 'The complexity of valued constraint satisfaction.', *Bulletin of the EATCS.*, 113 . pp. 21-55.

Price, R.J. and Trevelyan, J. (2014) 'Boundary element simulation of fatigue crack growth in multi-site damage.', *Engineering analysis with boundary elements.*, 43 . pp. 67-75.

Ullah, B. and Trevelyan, J. and Matthews, P.C. (2014) 'Structural optimisation based on the boundary element and level set methods.', *Computers and structures.*, 137 . pp. 14-30.

Huber, A. and Krokhin, A. and Powell, R. (2014) 'Skew bisubmodularity and valued CSPs.', *SIAM journal on computing.*, 43 (3). pp. 1064-1084.

Benkhaldoun, F. and Sari, S. and Seaid, M. (2014) 'A simple multi-layer finite volume solver for density-driven shallow water flows.', *Mathematics and computers in simulation.*, 99 . pp. 170-189.

Chalopin, J. and Paulusma, Daniel (2014) 'Packing bipartite graphs with covers of complete bipartite graphs.', *Discrete applied mathematics.*, 168 . pp. 40-50.

Díaz, J. and Goldberg, L.A. and Mertzios, G.B. and Richerby, D. and Serna, M. and Spirakis, P.G. (2014) 'Approximating fixation probabilities in the generalized Moran process.', *Algorithmica.*, 69 (1). pp. 78-91.

Yang, W. and Tavner, P.J. and Crabtree, C.J. and Feng, Y. and Qiu, Y. (2014) 'Wind turbine condition monitoring : technical and commercial challenges.', *Wind energy.*, 17 (5). pp. 673-693.

Zappalá, D. and Tavner, P.J. and Crabtree, C.J. and Sheng, S. (2014) 'Side-band algorithm for automatic wind turbine gearbox fault detection and diagnosis.', *IET renewable power generation.*, 8 (4). pp. 380-389.

Smith, J.C. and Augarde, C.E. (2014) 'Optimum water content tests for earthen construction materials.', *Proceedings of the Institution of Civil Engineers. Construction materials.*, 167 (2). pp. 114-123.

Blake, S. and Taylor, P. and Dent, C.J. and Miller, D. (2014) 'Quantifying the contribution of wind farms to distribution network reliability.', *Wind energy.* .

Kazemtabrizi, B. and Acha, E. (2014) 'An advanced STATCOM model for optimal power flows using Newton's method.', *IEEE transactions on power systems.*, 29 (2). pp. 514-525.

Williams, A.T. and Farrar, P. and Gallant, A.J. and Atkinson, D. and Groves, C. (2014) 'Characterisation of charge conduction networks in poly(3-hexylthiophene)/polystyrene blends using noise spectroscopy.', *Journal of materials chemistry C.*, 2 (9). pp. 1742-1748.

Mertzios, G.B. and Bezáková, I. (2014) 'Computing and counting longest paths on circular-arc graphs in polynomial time.', *Discrete applied mathematics.*, 164 (Part 2). pp. 383-399.

Benkhaldoun, F. and Izem, N. and Sahmim, S. and Seaid, M. and Wakrim, M. (2014) 'A new composite scheme for two-layer shallow water flows with shocks.', *Journal of applied mathematics and computing.*, 44 (1-2). pp. 467-489.

Mohamed, M.S. and Seaid, M. and Trevelyan, J. and Laghrouche, O. (2014) 'An enriched finite element model with q-refinement for radiative boundary layers in glass cooling.', *Journal of computational physics.*, 258 . pp. 718-737.

Zhuang, X. and Zhu, H. and Augarde, C.E. (2014) 'An improved meshless Shepard and least square method possessing the delta property and requiring no singular weight function.', *Computational mechanics.*, 53 (2). pp. 343-357.

Jones, L.M. and Chakrabarti, B. and Groves, C. (2014) 'Monte Carlo simulation of geminate pair recombination dynamics in organic photovoltaic devices : multi-exponential, field-dependent kinetics and its interpretation.', *Journal of physical chemistry C.*, 118 (1). pp. 85-91.

Bonamy, M. and Johnson, M. and Lignos, I. and Patel, V. and Paulusma, Daniel (2014) 'Reconfiguration graphs for vertex colourings of chordal and chordal bipartite graphs.', *Journal of combinatorial optimization.*, 27 (1). pp. 132-143.

Bousquet, N. and Gonçalves, D. and Mertzios, G.B. and Paul, C. and Sau, I. and Thomassé, S. (2014) 'Parameterized domination in circle graphs.', *Theory of computing systems.*, 54 (1). pp. 45-72.

Peake, M.J. and Trevelyan, J. and Coates, G. (2014) 'The equal spacing of N points on a sphere with application to partition-of-unity wave diffraction problems.', *Engineering analysis with boundary elements.*, 40 . pp. 114-122.

Bambra, C. and Robertson, S. and Kasim, A. and Smith, J. and Cairns-Nagi, J.M. and Copeland, A. and Finlay, N. and Johnson, K. (2014) 'Healthy land? An examination of the area-level association between brownfield land and morbidity and mortality in England.', *Environment and planning A.*, 46 (2). pp. 433-454.

Diwan, G.C. and Trevelyan, J. and Coates, G. (2013) 'A comparison of techniques for overcoming non-uniqueness of boundary integral equations for the collocation partition of unity method in two dimensional acoustic scattering.', *International journal for numerical methods in engineering.*, 96 (10). pp. 645-664.

Stewart, I.A. (2013) 'Multiswapped networks and their topological and algorithmic properties.', *Journal of computer and system sciences.*, 79 (8). pp. 1269-1286.

Ullah, Z. and Coombs, W.M. and Augarde, C.E. (2013) 'An adaptive finite element/meshless coupled method based on local maximum entropy shape functions for linear and nonlinear problems.', *Computer methods in applied mechanics and engineering.*, 267 . pp. 111-132.

Dalmau, V. and Krokhin, A. (2013) 'Robust satisfiability for CSPs : hardness and algorithmic results.', *ACM transactions on computation theory.*, 5 (4). p. 15.

Frei, Regina and Mcwilliam, Richard and Derrick, Benjamin and Purvis, Alan and Tiwari, Ashutosh and Di Marzo Serugendo, Gioavanna (2013) 'Self-healing and self-repairing technologies.', *International journal of advanced manufacturing technology.*, 69 (5-8). pp. 1033-1061.

Groves, C. (2013) 'Developing understanding of organic photovoltaic devices : kinetic Monte Carlo models of geminate and non-geminate recombination, charge transport and charge extraction.', *Energy and environmental science.*, 6 (11). pp. 3202-3217.

Ullah, B. and Trevelyan, J. (2013) 'Correlation between hole insertion criteria in a boundary element and level set based topology optimisation method.', *Engineering analysis with boundary elements.*, 37 (11). pp. 1457-1470.

Wilson, D.T. and Hawe, G.I. and Coates, G. and Crouch, R.S. (2013) 'A multi-objective combinatorial model of casualty processing in major incident response.', *European journal of operational research.*, 230 (3). pp. 643-655.

Allen, J.G. and Coates, G. and Trevelyan, J. (2013) 'A hyper-heuristic approach to aircraft structural design optimization.', *Structural and multidisciplinary optimization.*, 48 (4). pp. 807-819.

Suryanarayanan, V. and Theodoropoulos, G. (2013) 'Synchronised range queries in distributed simulations of multi-agent systems.', *ACM transactions on modeling and computer simulation.*, 23 (4). p. 25.

Trukhin, V.N. and Buyskikh, A.S. and Kaliteevskaya, N.A. and Bourauleuv, A.D. and Samoilov, L.L. and Samsonenko, Y.B. and Cirlin, G.E. and Kaliteevski, M.A. and Gallant, A.J. (2013) 'Terahertz generation by GaAs nanowires.', *Applied physics letters.*, 103 (7). 072108.

Díaz, J. and Goldberg, L.A. and Mertzios, G.B. and Richerby, D. and Serna, M. and Spirakis, P.G. (2013) 'On the fixation probability of superstars.', *Proceedings of the Royal Society A : mathematical, physical and engineering sciences.*, 469 (2156). p. 20130193.

Davies, R. and Foulger, G. and Bindley, A. and Styles, P. (2013) 'Induced seismicity and hydraulic fracturing for the recovery of hydrocarbons.', *Marine and petroleum geology.*, 45 . pp. 171-185.

Dodd, L.E. and Gallant, A.J. and Wood, D. (2013) 'Controlled reactive ion etching and plasma regrowth of titanium oxides of known thickness for production of metal-oxide-metal diodes.', *Micro & nano letters.*, 8 (8). pp. 476-478.

Whittle, M.W.G. and Trevelyan, J and Shin, W. and Tavner, P.J. (2013) 'Improving wind turbine drivetrain bearing reliability through pre-misalignment.', *Wind energy.*, 17 (8). pp. 1217-1230.

Auld, Alison and Berson, Arganthaël and Hogg, Simon I. (2013) 'Organic Rankine cycles in waste heat recovery : a comparative study.', *International journal of low-carbon technologies.*, 8 (Supplement 1). pp. 9-18.

Kitchenham, Barbara and Sjoberg, Dag and Dyba, Tore and Brereton, Pearl and Budgen, David and Host, Martin and Runeson, Per (2013) 'Trends in the quality of human-centric software engineering experiments--a quasi-experiment.', *IEEE Transactions on Software Engineering*, 39 (7). 1002-1017 .

Berenbrink, P. and Cooper, C. and Friedetzky, T. (2013) 'Random walks which prefer unvisited edges : exploring high girth even degree expanders in linear time.', *Random structures and algorithms.* .

Mendis, Budhika G. and Bishop, Sarah J. and Groves, Chris and Szablewski, Marek and Berlie, Adam and Halliday, Douglas P. (2013) 'Plasmon-loss imaging of polymer-methanofullerene bulk heterojunction solar cells.', *Applied physics letters.*, 102 (25). p. 253301.

Peake, M.J. and Trevelyan, J. and Coates, G. (2013) 'Extended isogeometric boundary element method (XIBEM) for two-dimensional Helmholtz problems.', *Computer methods in applied mechanics and engineering.*, 259 . pp. 93-102.

Wilson, D.T. and Hawe, G.I. and Coates, G. and Crouch, R.S. (2013) 'Modeling uncertain and dynamic casualty health in optimization-based decision support for mass casualty incident response.', *International journal of information systems for crisis response and management.*, 5 (4). pp. 32-44.

Pearson, C. and Bowen, L. and Lee, M.-W. and Fisher, A.L. and Linton, K.E. and Bryce, M.R. and Petty, M.C. (2013) 'Focused ion beam and field-emission microscopy of metallic filaments in memory devices based on thin films of an ambipolar organic compound consisting of oxadiazole, carbazole and fluorene units.', *Applied physics letters.*, 102 (21). p. 213301.

Burton, Zoe and Ingram, Grant and Hogg, Simon (2013) 'A literature review of low pressure steam turbine exhaust hood and diffuser studies.', *Journal of engineering for gas turbines and power.*, 135 (6). 062001.

Groves, C. (2013) 'Suppression of geminate charge recombination in organic photovoltaic devices with a cascaded energy heterojunction.', *Energy and environmental science.*, 6 (5). pp. 1546-1551.

Keane, A. and Ochoa, L.F. and Borges, C.L.T. and Ault, G.W. and Alarcon-Rodriguez, A.D. and Currie, R.A.F. and Pilo, F. and Dent, C.J. and Harrison, G.P. (2013) 'State-of-the-art techniques and challenges ahead for distributed generation planning and optimization.', *IEEE transactions on power systems.*, 28 (2). pp. 1493-1502.

Toriz-Garcia, J. J. and Cowling, J. J. and Williams, G. L. and Bai, Q. and Seed, N. L. and Tennant, A. and McWilliam, R. and Purvis, A. and Soulard, F. B. and Ivey, P. A. (2013) 'Fabrication of a 3D electrically small antenna using holographic photolithography.', *Journal of micromechanics and microengineering.*, 23 (5). 055010.

Couturier, J. and Golovach, P.A. and Kratsch, D. and Paulusma, Daniel (2013) 'List coloring in the absence of a linear forest.', *Algorithmica.* .

Broersma, H.J. and Fomin, F.V. and Golovach, P.A. and Paulusma, Daniel (2013) 'Three complexity results on coloring Pk-free graphs.', *European journal of combinatorics.*, 34 (3). pp. 609-619.

Golovach, P.A. and Kratsch, D. and Paulusma, Daniel (2013) 'Detecting induced minors in AT-free graphs.', *Theoretical computer science.*, 482 . pp. 20-32.

Golovach , P.A. and Kaminski, M. and Paulusma, Daniel and Thilikos, D.M. (2013) 'Increasing the minimum degree of a graph by contractions.', *Theoretical computer science.*, 481 . pp. 74-84.

Ordyniak, S. and Paulusma, Daniel and Szeider, S. (2013) 'Satisfiability of acyclic and almost acyclic CNF formulas.', *Theoretical computer science.*, 481 . pp. 85-99.

Mertzios, G.B. and Nikoletseas, S. and Raptopoulos, C. and Spirakis, P.G. (2013) 'Natural models for evolution on networks.', *Theoretical computer science.*, 477 . pp. 76-95.

Tohidi, S. and Oraee, H. and Zolghadri, M. and Shao, S. and Tavner, P. (2013) 'Analysis and enhancement of low voltage ride-through capability of brushless doubly fed induction generator.', *IEEE transactions on industrial electronics.*, 60 (3). pp. 1146-1155.

Golovach, P.A. and van 't Hof, P. and Paulusma, Daniel (2013) 'Obtaining planarity by contracting few edges.', *Theoretical computer science.*, 476 . pp. 38-46.

Simpson, R.N. and Bordas, S.P.A. and Lian, H. and Trevelyan, J. (2013) 'An isogeometric boundary element method for elastostatic analysis : 2D implementation aspects.', *Computers and structures.*, 118 . pp. 2-12.

Golovach, P.A. and Heggernes, P. and van 't Hof, P. and Paulusma, Daniel (2013) 'Choosability on H-free graphs.', *Information processing letters.*, 113 (4). pp. 107-110.

Mohamed, M.S. and Seaid, M. and Trevelyan, J. and Laghrouche, O. (2013) 'A partition of unity FEM for time-dependent diffusion problems using multiple enrichment functions.', *International journal for numerical methods in engineering.*, 93 (3). pp. 245-265.

Acha, E. and Kazemtabrizi, B. (2013) 'A new STATCOM model for power flows using the Newton–Raphson method.', *IEEE transactions on power systems.*, 28 (3). pp. 2455-2465.

Broersma, H.J. and Fomin, F.V. and Hof van 't, P. and Paulusma, Daniel (2013) 'Exact algorithms for finding longest cycles in claw-free graphs.', *Algorithmica.*, 65 (1). 129 -145.

Coombs, W.M. and Crouch, R.S. and Augarde, C.E. (2013) 'A unique Critical State two-surface hyperplasticity model for fine-grained particulate media.', *Journal of the mechanics and physics of solids.*, 61 (1). pp. 175-189.

Glenis, V. and McGough, A.S. and Kutija, V. and Kilsby, C. and Woodman, S. (2013) 'Flood modelling for cities using cloud computing.', *Journal of cloud computing : advances, systems and applications.*, 2 (1). p. 7.

Golovach, P.A. and Paulusma, Daniel and Song, J. (2013) '4-Coloring H-free graphs when H is small.', *Discrete applied mathematics.*, 161 (1-2). pp. 140-150.

Park, J. and Keum, C.-M. and Kim, J.-H. and Lee, S.-D. and Payne, M. and Petty, M.C. and Anthony, J.E. and Bae, J.-H. (2013) 'Photo-assisted molecular engineering in solution-processed organic thin-film transistors with a blended semiconductor for high mobility anisotropy.', *Applied physics letters.*, 102 (1). 013306.

Wood, D. and Chamberlain, M. and Baragwanath, A. and Dodd, L.E. and Hill, C.K.A. and Gallant, A.J. (2013) 'Micromachined devices for use in terahertz applications.', *Advances in science and technology.*, 81 . pp. 20-27.

Worasinchai, Supakit and Ingram, Grant and Dominy, Robert (2013) 'Unsteady surface pressures and airload of a pitching airfoil.', *Energy procedia.*, 34 . pp. 407-416.

Coombs, W.M. and Crouch, R.S. and Heaney, C.E. (2013) 'Observations on Mohr-Coulomb plasticity under plane strain.', *Journal of engineering mechanics.*, 139 (9). pp. 1218-1228.

Fiala, J. and Kaminksi, M. and Paulusma, Daniel (2012) 'Detecting induced star-like minors in polynomial time.', *Journal of discrete algorithms.*, 17 . pp. 74-85.

Rosenthal, H. E. S. and Norman, L. and Smith, S. P. and McGregor, A. (2012) 'Gender-based navigation stereotype improves men’s search for a hidden goal.', *Sex roles.*, 67 (11-12). pp. 682-695.

Shaneb, O.A. and Taylor, P.C. and Coates, G. (2012) 'Real time operation of μCHP systems using fuzzy logic.', *Energy and buildings.*, 55 (1). pp. 141-150.

Luria, J.L. and Hoepker, N. and Bruce, R. and Jacobs, A.R. and Groves, C. and Marohn, J.A. (2012) 'Spectroscopic imaging of photopotentials and photoinduced potential fluctuations in a bulk heterojunction solar cell film.', *ACS nano.*, 6 (11). pp. 9392-9401.

Eager, D. and Hobbs, B.F. and Bialek, J.W. (2012) 'Dynamic modeling of thermal generation capacity investment : application to markets with high wind penetration.', *IEEE transactions on power systems.*, 27 (4). 2127 - 2137 .

Hawe, G.I. and Coates, G. and Wilson, D.T. and Crouch, R.S. (2012) 'Agent-based simulation for large-scale emergency response: a survey of usage and implementation.', *ACM computing surveys.*, 45 (1). pp. 1-51.

Matthews, P.C. and Philip, A.D.M. (2012) 'Bayesian project diagnosis for the construction design process.', *Artificial intelligence for engineering design, analysis and manufacturing.*, 26 (4). pp. 375-391.

Qiu, Y.N. and Feng, Y.H. and Tavner, P.J. and Richardson, P. and Erdos, G. and Chen, Bindi (2012) 'Wind turbine SCADA alarm analysis for improving reliability.', *Wind energy.*, 15 (8). pp. 951-966.

Massey, M.K. and Rosamond, M.C. and Pearson, C. and Zeze, D.A. and Petty, M.C. (2012) 'Electrical behavior of Langmuir–Blodgett networks of sorted metallic and semiconducting single-walled carbon nanotubes.', *Langmuir.*, 28 (43). pp. 15385-15391.

Golovach, P.A. and Paulusma, Daniel and Song, J. (2012) 'Computing vertex-surjective homomorphisms to partially reflexive trees.', *Theoretical computer science.*, 457 . pp. 86-100.

Peake, M.J. and Trevelyan, J. and Coates, G. (2012) 'Novel basis functions for the partition of unity boundary element method for Helmholtz problems.', *International journal for numerical methods in engineering.*, 93 (9). pp. 905-918.

Foster, T.M. and Mohamed, M.S. and Trevelyan, J. and Coates, G. (2012) 'Rapid re-meshing and re-solution of three-dimensional boundary element problems for interactive stress analysis.', *Engineering analysis with boundary elements.*, 36 (9). pp. 1331-1343.

Golovach, P.A. and Lidicky, B. and Martin, B. and Paulusma, Daniel (2012) 'Finding vertex-surjective graph homomorphisms.', *Acta informatica.*, 49 (6). pp. 381-394.

Couturier, J.F. and Golovach, P.A. and Kratsch, D. and Paulusma, Daniel (2012) 'On the parameterized complexity of coloring graphs in the absence of a linear forest.', *Journal of discrete algorithms.*, 15 . pp. 56-62.

Mertzios, G.B. and Corneil, D.G. (2012) 'A simple polynomial algorithm for the longest path problem on cocomparability graphs.', *SIAM journal on discrete mathematics.*, 26 (3). pp. 940-963.

Feng, Y. and Qiu, Y. and Crabtree, C. J. and Long, H. and Tavner, P. J. (2012) 'Monitoring wind turbine gearboxes.', *Wind energy.*, 16 (5). pp. 728-740.

Greaves, P.G. and Dominy, R.G. and Ingram, G.L. and Long, H. and Court, G.L. (2012) 'Evaluation of dual-axis fatigue testing of large wind turbine blades.', *Proceedings of the Institution of Mechanical Engineering, part C : journal of mechanical engineering science.*, 226 (7). 1693-1704 .

Heggernes, P. and van 't Hof, P. and Paulusma, Daniel (2012) 'Computing role assignments of proper interval graphs in polynomial time.', *Journal of discrete algorithms.*, 14 . pp. 173-188.

Dantchev, Stefan and Martin, Barnaby (2012) 'Cutting planes and the parameter cutwidth.', *Theory of computing systems.*, 51 (1). pp. 50-64.

Talbot, E.L. and Berson, A. and Brown, P.S. and Bain, C.D. (2012) 'Evaporation of picoliter droplets on surfaces with a range of wettabilities and thermal conductivities.', *Physical review E.*, 85 (6). 061604.

Mertzios, G.B. (2012) 'The recognition of triangle graphs.', *Theoretical computer science.*, 438 . pp. 34-47.

Lyons, B. P. and Clarke, N. and Groves, C. (2012) 'The relative importance of domain size, domain purity and domain interfaces to the performance of bulk-heterojunction organic photovoltaics.', *Energy and environmental science.*, 5 (6). pp. 7657-7663.

Gonnet, P. and Dimopoulos, S. and Widmer, L. and Stelling, J. (2012) 'A specialized ODE integrator for the efficient computation of parameter sensitivities.', *BMC systems biology*, 6 . p. 46.

Park, J. and Jeong, Y-S. and Park, K-S. and Do, L-M. and Bae, J-H. and Choi, J.S. and Pearson, C. and Petty, M.C. (2012) 'Subthreshold characteristics of pentacene field-effect transistors influenced by grain boundaries.', *Journal of applied physics.*, 111 (10). p. 104512.

Ritjareonwattu, S. and Yun, Y. and Pearson, C. and Petty, M.C. (2012) 'An ion sensitive organic field-effect transistor incorporating the ionophore valinomycin.', *IEEE sensors journal.*, 12 (5). pp. 1181-1186.

Hof, P. van 't and Kaminski, M. and Paulusma, Daniel and Szeider, S. and Thilikos, D.M. (2012) 'On graph contractions and induced minors.', *Discrete applied mathematics.*, 160 (6). pp. 799-809.

Worasinchai, Supakit and Ingram, Grant and Dominy, Robert (2012) 'Effects of wind turbine starting capability on energy yield.', *Journal of engineering for gas turbines and power.*, 134 (4). 042603.

Ullah, Z. and Augarde, C.E. (2012) 'Finite deformation elasto-plastic modelling using an adaptive meshless method.', *Computers and structures.*, 118 . pp. 39-52.

Wood, T.J. and Hurst, G.A. and Schofield, W.C.E. and Thompson, R.L. and Oswald, G. and Evans, J.S.O. and Sharples, G.J. and Pearson, C. and Petty, M.C. and Badyal, J.P.S. (2012) 'Electroless deposition of multi-functional zinc oxide surfaces displaying photoconductive, superhydrophobic, photowetting, and antibacterial properties.', *Journal of materials chemistry.*, 22 (9). pp. 3859-3867.

Brayshaw, D.J. and Dent, C.J. and Zachary, S. (2012) 'Wind generation’s contribution to supporting peak electricity demand – meteorological insights.', *Proceedings of the Institution of Mechanical Engineers, part O : journal of risk and reliability.*, 226 (1). pp. 44-50.

Hof van 't, P. and Kaminski, M. and Paulusma, Daniel (2012) 'Finding induced paths of given parity in claw-free graphs.', *Algorithmica.*, 62 (1-2). pp. 537-563.

Zachary, S. and Dent, C.J. (2012) 'Probability theory of capacity value of additional generation.', *Proceedings of the Institution of Mechanical Engineers, part O : journal of risk and reliability.*, 226 (1). pp. 33-43.

Biro, P. and Kern, W. and Paulusma, Daniel (2012) 'Computing solutions for matching games.', *International journal of game theory.*, 41 (1). pp. 75-90.

Broersma, H.J. and Golovach, P.A. and Paulusma, Daniel and Song, J. (2012) 'Updating the complexity status of coloring graphs without a fixed induced linear forest.', *Theoretical computer science.*, 414 (1). pp. 9-19.

Fiala, J. and Golovach, P.A. and Kratochvil, J. and Lidicky, B. and Paulusma, Daniel (2012) 'Distance three labelings of trees.', *Discrete applied mathematics.* .

Fiala, J. and Kaminski, M. and Lidicky, B. and Paulusma, Daniel (2012) 'The k-in-a-path problem for claw-free graphs.', *Algorithmica.*, 62 (1-2). pp. 499-519.

Golovach, P.A. and Kaminski, M. and Paulusma, Daniel and Thilikos, D.M. (2012) 'Containment relations in split graphs.', *Discrete applied mathematics.*, 160 (1-2). pp. 155-163.

Golovach, P.A. and Kaminski, M. and Paulusma, Daniel and Thilikos, D.M. (2012) 'Induced packing of odd cycles in planar graphs.', *Theoretical computer science.* .

Shaneb, O.A. and Taylor, P.C. and Coates, G. (2012) 'Optimal online operation of residential μCHP systems using linear programming.', *Energy and buildings.*, 44 . pp. 17-25.

Sleiman, A. and Rosamond, M.C. and Alba Martin, M. and Ayesh, A. and Al Ghaferi, A. and Gallant, A.J. and Mabrook, M.F. and Zeze, D.A. (2012) 'Pentacene-based metal-insulator-semiconductor memory structures utilizing single walled carbon nanotubes as a nanofloating gate.', *Applied physics letters.*, 100 (2). 023302.

Xiang , D. and Ran, L. and Tavner , P. and Yang, S. and Bryant , A. and Mawby, P. (2012) 'Condition monitoring power module solder fatigue sing inverter harmonic identification.', *IEEE transactions on power electronics.*, 27 (1). pp. 235-247.

Bonamy, M. and Johnson, M. and Lignos, I.M. and Patel, V. and Paulusma, Daniel (2011) 'On the diameter of reconfiguration graphs for vertex colourings.', *Electronic notes in discrete mathematics.*, 38 (1). pp. 161-166.

Golovach, P.A. and Kaminski, M. and Paulusma, Daniel and Thilikos, D.M. (2011) 'Lift contractions.', *Electronic notes in discrete mathematics.*, 38 (1). pp. 407-412.

Paulusma, Daniel and Rooij van, J.M.M. (2011) 'On partitioning a graph into two connected subgraphs.', *Theoretical computer science.*, 412 (48). pp. 6761-6769.

Bryant, A. and Yang, S. and Mawby, P. and Xiang, D.W. and Ran, L. and Tavner, P.J. and Palmer, P.R. (2011) 'Investigation into IGBT dV/dt during turn-off and its temperature dependence.', *IEEE transactions on power electronics.*, 26 (10). pp. 3019-3031.

Chalopin, J. and Paulusma, Daniel (2011) 'Graph labelings derived from models in distributed computing : a complete complexity classification.', *Networks.*, 58 (3). pp. 207-231.

Ioannidou, K. and Mertzios, G.B. and Nikolopoulos, S.D. (2011) 'The longest path problem has a polynomial solution on interval graphs.', *Algorithmica.*, 61 (2). pp. 320-341.

Ito, T. and Kaminski, M. and Paulusma, Daniel and Thilikos, D.M. (2011) 'Parameterizing cut sets in a graph by the number of their components.', *Theoretical computer science.*, 412 (45). pp. 6340-6350.

Kaminski, M. and Paulusma, Daniel and Thilikos, D.M. (2011) 'Contracting planar graphs to contractions of triangulations.', *Journal of discrete algorithms.*, 9 (3). pp. 299-306.

Mertzios, G.B. and Sau, I. and Zaks, S. (2011) 'The recognition of tolerance and bounded tolerance graphs.', *SIAM journal on computing.*, 40 (5). pp. 1234-1257.

Xiang, Y. and Stewart, I.A. (2011) 'Bipancyclicity in k-ary n-cubes with faulty edges under a conditional fault assumption.', *IEEE transactions on parallel and distributed systems.*, 22 (9). pp. 1506-1513.

Dent, C.J. and Bialek, J.W. and Hobbs, B.F. (2011) 'Opportunity cost bidding by wind generators in forward markets : analytical results.', *IEEE transactions on power systems.*, 26 (3). pp. 1600-1608.

Ito, T. and Kaminski, M. and Paulusma, Daniel and Thilikos, D.M. (2011) 'On disconnected cuts and separators.', *Discrete applied mathematics.*, 159 (13). pp. 1345-1351.

Mertzios, G.B. and Bezáková, I. (2011) 'Computing and counting longest paths on circular-arc graphs in polynomial time.', *Electronic notes in discrete mathematics.*, 37 . pp. 219-224.

Radtke, J. and Dent, C.J. and Couch, S.J. (2011) 'Capacity value of large tidal barrages.', *IEEE transactions on power systems.*, 26 (3). pp. 1697-1704.

Shaneb, O.A. and Coates, G. and Taylor, P.C. (2011) 'Sizing of residential μCHP systems.', *Energy and buildings.*, 43 (8). pp. 1991-2001.

Toriz-Garcia, J.J. and Williams, G.L. and McWilliam, R. and Seed, N.L. and Purvis, A. and Soulard, F.B. and Cowling, J.J. and Ivey , P.A. (2011) 'Vertical tracks on the sidewall of a silicon die using 3D holographic photolithography.', *Journal of micromechanics and microengineering.*, 21 (8). 085034.

Mertzios, G.B. and Corneil, D.G. (2011) 'Vertex splitting and the recognition of trapezoid graphs.', *Discrete applied mathematics.*, 159 (11). pp. 1131-1147.

Cowling, J.J. and Williams, G.L. and Purvis, A. and McWilliam, R. and Toriz-Garcia, J.J. and Seed, N.L. and Soulard, F.B. and Ivey , P.A. (2011) 'Three-dimensional holographic lithography by an iterative algorithm.', *Optics letters.*, 36 (13). pp. 2495-2497.

Sheng, D. and Augarde , C.E. and Abbo, A. (2011) 'A fast algorithm for finding the first intersection with a non-convex yield surface.', *Computers and geotechnics.*, 38 (4). pp. 465-471.

Sims-Williams, D.B. (2011) 'Cross winds and transients : reality, simulation and effects.', *SAE International journal of passenger cars. Mechanical systems.*, 4 (1). pp. 172-183.

Sprot, A.J. and Minto, J. and Sims-Williams, D.B. and Dominy, R.G. (2011) 'Aerodynamic investigation on the effect of varying through-hub flow on a Formula One front wheel assembly.', *SAE International journal of passenger cars. Mechanical systems.*, 4 (1). pp. 929-944.

Stewart, I.A. (2011) 'A multipath analysis of biswapped networks.', *The computer journal.*, 54 (6). pp. 920-930.

Cereceda, Luis and van den Heuvel, Jan and Johnson, Matthew (2011) 'Finding paths between 3-colorings.', *Journal of graph theory.*, 67 (1). pp. 69-82.

Keane, A. and Milligan, M. and Dent, C.J. and Hasche, B. and D'Annunzio, C. and Dragoon, K. and Holttinen, H. and Samaan, N. and Soder, L. and O'Malley, M. (2011) 'Capacity value of wind power.', *IEEE transactions on power systems.*, 26 (2). pp. 564-572.

Swift, G.P. and Gallant, A.J. and Kaliteevskaya, N. and Kaliteevski, M.A. and Brand, S. and Dai, D. and Baragwanath, A.J. and Iorsh, I. and Abram, R.A. and Chamberlain, J.M. (2011) 'Negative refraction and the spectral filtering of terahertz radiation by a photonic crystal prism.', *Optics letters.*, 36 (9). pp. 1641-1643.

Yang, S. and Bryant, A. and Mawby, P.A. and Xiang, D. and Ran, L. and Tavner, P.J. (2011) 'An industry-based survey of reliability in power electronic converters.', *IEEE transactions on industry applications.*, 47 (3). pp. 1441-1451.

Faulstich, S. and Hahn, B. and Tavner, P. J. (2011) 'Wind turbine downtime and its importance for offshore deployment.', *Wind energy.*, 14 (3). pp. 327-337.

Zhuang, X. and Augarde, C.E. and Bordas, S.P.A. (2011) 'Accurate fracture modelling using meshless methods, the visibility criterion and level sets : formulation and 2D modelling.', *International journal for numerical methods in engineering.*, 86 (2). pp. 249-268.

Coombs, W.M. and Crouch, R.S. (2011) 'Non-associated Reuleaux plasticity : analytical stress integration and consistent tangent for finite deformation mechanics.', *Computer methods in applied mechanics and engineering.*, 200 (9-12). pp. 1021-1037.

Dent, C.J. and Bialek, J.W. (2011) 'Non-iterative method for modeling systematic data errors in power system risk assessment.', *IEEE transactions on power systems.*, 26 (1). pp. 120-127.

Keane, A. and Ochoa, L. F. and Vittal, E. and Dent, C. J. and Harrison, G. P. (2011) 'Enhanced utilisation of voltage control resources with distributed generation.', *IEEE transactions on power systems.*, 26 (1). pp. 252-260.

Lourenço, S.D.N. and Gallipoli, D. and Toll, D.G. and Augarde, C.E. and Evans, F. (2011) 'A new procedure for the determination of the soil water retention curves by continuous drying using high suction tensiometers.', *Canadian geotechnical journal*, 48 (2). pp. 327-335.

Wang, Zhe and Salous, Sana (2011) 'Spectrum occupancy statistics and time series models for cognitive radio.', *Journal of signal processing systems.*, 62 (2). pp. 145-155.

Coombs, W.M. and Crouch, R.S. (2011) 'Algorithmic issues for three-invariant hyperplastic critical state models.', *Computer methods in applied mechanics and engineering.*, 200 (25-28). pp. 2297-2318.

Dantchev, Stefan (2011) 'Dynamic neighbourhood cellular automata.', *The computer journal.*, 54 (1). 26-30-30.

Matthews, P.C. (2011) 'Challenges to Bayesian decision support using morphological matrices for design : empirical evidence.', *Research in engineering design.*, 22 (1). pp. 29-42.

Simpson, R. and Trevelyan, J. (2011) 'Evaluation of J1 and J2 integrals for curved cracks using an enriched boundary element method.', *Engineering fracture mechanics.*, 78 (4). pp. 623-637.

Simpson, Robert and Trevelyan, Jon (2011) 'A partition of unity enriched dual boundary element method for accurate computations in fracture mechanics.', *Computer methods in applied mechanics and engineering.*, 200 (1-4). pp. 1-10.

Tavner, P J and Faulstich, S and Hahn, B. and van Bussel, G J W (2011) 'Reliability and availability of wind turbine electrical and electronic components.', *EPE journal.*, 20 (4).

Varaiya, P.P. and Wu, F.F. and Bialek, J.W. (2011) 'Smart operation of smart grid : risk-limiting dispatch.', *Proceedings of the IEEE.*, 99 (1). pp. 40-57.

Xiang, Y. and Stewart, I. A. (2011) 'Augmented k-ary n-cubes.', *Information sciences.*, 181 (1). pp. 239-256.

Li, T. and Crouch, R. S. (2010) 'A C2 plasticity model for structural concrete.', *Computers and structures.*, 88 (23-24). pp. 1322-1332.

Yan, H. and Swaraj, S. and Wang, C. and Hwang, I. and Greenham, N.C. and Groves, C. and Ade, H. and McNeill, C.R. (2010) 'Influence of annealing and interfacial roughness on the performance of bilayer donor/acceptor polymer photovoltaic devices.', *Advanced functional materials.*, 20 (24). pp. 4329-4337.

Feng, Y. and Tavner, P.J. and Long, H. (2010) 'Early experiences with UK Round 1 offshore wind farms.', *Proceedings of the Institution of Civil Engineers : energy.*, 163 (4). pp. 167-181.

Clarke, Catherine E. and Johnson, Karen L. (2010) 'Oxidative breakdown of acid orange 7 by a manganese oxide containing mine waste : insight into sorption, kinetics and reaction dynamics.', *Applied catalysis B : environmental.*, 101 (1-2). pp. 13-20.

Wade, N.S. and Taylor, P.C. and Lang, P.D. and Jones, P.R. (2010) 'Evaluating the benefits of an electrical energy storage system in a future smart grid.', *Energy policy.*, 38 (11). pp. 7180-7188.

Yang, S. and Xiang, D. and Bryant, A. and Mawby, P. and Ran, L. and Tavner, P. (2010) 'Condition monitoring for device reliability in power electronic converters : a review.', *IEEE transactions on power electronics.*, 25 (11). pp. 2734-2752.

Groves, C. and Kimber, R.G.E. and Walker, A.B. (2010) 'Simulation of the loss mechanisms in organic solar cells : a description of the mesoscopic Monte Carlo technique and an evaluation of the first reaction method.', *Journal of chemical physics.*, 133 (14). p. 144110.

Arabian-Hoseynabadi, H. and Oraee, H. and Tavner, P. J. (2010) 'Failure Modes and Effects Analysis (FMEA) for wind turbines.', *International journal of electrical power and energy systems.*, 32 (7). pp. 817-824.

Broersma, H.J. and Paulusma, Daniel (2010) 'Computing sharp 2-factors in claw-free graphs.', *Journal of discrete algorithms.*, 8 (3). pp. 321-329.

Hof, P van 't and Paulusma, Daniel and Rooij, J.M.M. van (2010) 'Computing role assignments of chordal graphs.', *Theoretical computer science.*, 411 (40-42). pp. 3601-3613.

Watson, S. J. and Xiang, J. P. and Yang, W. and Tavner, P. J. and Crabtree, C. J. (2010) 'Condition monitoring of the power output of wind turbine generators using wavelets.', *IEEE transactions on energy conversion.*, 25 (3). pp. 715-721.

Giridharagopal, R. and Shao, G. and Groves, C. and Ginger, D.S. (2010) 'New SPM techniques for analyzing OPV materials.', *Materials today.*, 13 (9). pp. 50-56.

Benkhaldoun, F. and Sahmim, S. and Seaïd, M. (2010) 'A two-dimensional finite volume morphodynamic model on unstructured triangular grids.', *International journal for numerical methods in fluids.*, 63 (11). pp. 1296-1327.

Matthews, Peter C. and Lomas, Chris D. W. (2010) 'A methodology for quantitative estimates for the work and disturbance transformation matrices.', *Journal of engineering design.*, 21 (4). pp. 413-425.

Spurgeon, D.J. and Jones, O.A.H. and Dorne, J-L. and Svendsen, C. and Swain, S. and Stürzenbaum, S. (2010) 'Systems toxicology approaches for understanding the joint effects of environmental chemical mixtures.', *Science of the total environment.*, 408 (18). pp. 3725-3734.

Baragwanath, A.J. and Swift, G.P. and Dai, D. and Gallant, A.J. and Chamberlain, J.M. (2010) 'Silicon based microfluidic cell for terahertz frequencies.', *Journal of applied physics.*, 108 (1). 013102.

Baragwanath, A.J. and Swift, G.P. and Dai, D. and Gallant, A.J. and Chamberlain, J.M. (2010) 'Silicon based micro-fluidic cell for terahertz frequencies.', *Journal of applied physics.*, 108 (1). 013102.

Cheng, Xiang and Wang, Cheng-Xiang and Laurenson, David I. and Salous, Sana. and Vasilakos, Athanasios V. (2010) 'New deterministic and stochastic simulation models for non-isotropic scattering mobile-to-mobile Rayleigh fading channels.', *Wireless communications and mobile computing.*, 11 (7). pp. 829-842.

Giridharagopal, R. and Shao, G. and Groves, C. and Ginger, D.S. (2010) 'New scanning probe microscopy techniques for analyzing organic photovoltaic materials and devices.', *Photovoltaics world.*, 2 (4). pp. 23-27.

Yang, Ying and Ivrissimtzis, Ioannis (2010) 'Polygonal mesh watermarking using Laplacian coordinates.', *Computer graphics forum.*, 29 (5). pp. 1585-1593.

Efraimidis, P.S. and Tsavlidis, L. and Mertzios, G.B. (2010) 'Window-games between TCP flows.', *Theoretical computer science.*, 411 (31-33). pp. 2798-2817.

Bird, G. E. and Trevelyan, J. and Augarde, C. E. (2010) 'A coupled BEM/scaled boundary FEM formulation for accurate computations in linear elastic fracture mechanics.', *Engineering analysis with boundary elements.*, 34 (6). pp. 599-610.

Lai, P.-L. and Hsu, H.-C. and Tsai, C.-H. and Stewart, I. A. (2010) 'A class of hierarchical graphs as topologies for interconnection networks.', *Theoretical computer science.*, 411 (31-33). pp. 2912-2924.

Papamichail, I. and Kotsialos, A. and Margonis, I. and Papageorgiou, M. (2010) 'Coordinated ramp metering for freeway networks : a model-predictive hierarchical control approach.', *Transportation research part C : emerging technologies.*, 18 (3). pp. 311-331.

Achayuthakan, C. and Dent, C. J. and Bialek, J. W. and Ongsakul, W. (2010) 'Electricity tracing in systems with and without circulating flows : physical insights and mathematical proofs.', *IEEE transactions on power systems.*, 25 (2). pp. 1078-1087.

Fiala, J. and Paulusma, Daniel (2010) 'Comparing universal covers in polynomial time.', *Theory of computing systems.*, 46 (4). pp. 620-635.

Johnson, M. and Paulusma, Daniel and Wood, C. (2010) 'Path factors and parallel knock-out schemes of almost claw-free graphs.', *Discrete mathematics.*, 310 (9). pp. 1413-1423.

White, Thomas A. and Bordewich, Magnus and Searle, Jeremy B. (2010) 'A network approach to study Karyotypic evolution : the chromosomal races of the Common Shrew (Sorex araneus) and House Mouse (Mus musculus) as model systems.', *Systematic biology.*, 59 (3). pp. 262-276.

Hof, P. van 't and Paulusma, Daniel (2010) 'A new characterization of P6-free graphs.', *Discrete applied mathematics.*, 158 (7). pp. 731-740.

Vandenbrouck, T. and Jones, O.A.H. and Dom, N. and Griffin, J.L. and De Coen, W. (2010) 'Mixtures of similarly acting compounds in Daphnia magna : from gene to metabolite and beyond.', *Environment international.*, 36 (3). pp. 254-268.

Groves, C. and Blakelsey, J.C. and Greenham, N.C. (2010) 'The effect of charge trapping on geminate recombination and polymer solar cell performance.', *Nano letters.*, 10 (3). pp. 1063-1069.

Mertzios, G.B. and Unger, W. (2010) 'An optimal algorithm for the k-fixed-endpoint path cover on proper interval graphs.', *Mathematics in computer science.*, 3 (1). pp. 85-96.

Mertzios, G.B. and Unger, W. (2010) 'Preemptive scheduling of equal-length jobs in polynomial time.', *Mathematics in computer science.*, 3 (1). pp. 73-84.

Clarke, C.E. and Kielar, F. and Talbot, H.M. and Johnson , K.L. (2010) 'Oxidative decolorization of acid azo dyes by a Mn oxide containing waste.', *Environmental science and technology.*, 44 (3). 1116-1122 .

Venet, C. and Pearson, C. and Jombert, A. S. and Mabrook, M. F. and Zeze, D. A. and Petty, M. C. (2010) 'The morphology and electrical conductivity of single-wall carbon nanotube thin films prepared by the Langmuir-Blodgett technique.', *Colloids and surfaces A : physiochemical and engineering aspects.*, 354 (1-3). pp. 113-117.

Groves, C. and Reid, O.G. and Ginger, D.S. (2010) 'Heterogeneity in polymer solar cells : local morphology and performance in organic photovoltaics studied with scanning probe microscopy.', *Accounts of chemical research.*, 43 (5). pp. 612-620.

Arabian-Hoseynabadi, H. and Oraee, H. and Tavner, P. J. (2010) 'Wind turbine productivity considering electrical subassembly reliability.', *Renewable energy.*, 35 (1). pp. 190-197.

Arabian-Hoseynabadi, H. and Tavner, P. J. and Oraee, H. (2010) 'Reliability comparison of direct-drive and geared-drive wind turbine concepts.', *Wind energy.*, 13 (1). pp. 62-73.

Cai, Yongchang and Zhuang, Xiaoying and Augarde, Charles (2010) 'A new partition of unity finite element free from the linear dependence problem and possessing the delta property.', *Computer methods in applied mechanics and engineering.*, 199 (17-20). pp. 1036-1043.

Cheung, W. M. and Maropoulos, P. G. and Matthews, P. C. (2010) 'Linking design and manufacturing domains via web-based and enterprise integration technologies.', *International journal of computer applications in technology.*, 37 (3/4). pp. 182-197.

Coombs, W. M. and Crouch, R. S. and Augarde, C. E. (2010) 'Reuleaux plasticity : analytical backward Euler stress integration and consistent tangent.', *Computer methods in applied mechanics and engineering.*, 199 (25-28). pp. 1733-1743.

Heaney, C. E. and Augarde, C. E. and Deeks, A. J. (2010) 'Modelling elasto-plasticity using the hybrid MLPG method.', *Computer modeling in engineering & sciences.*, 56 (2). pp. 153-178.

Lyons, P.F. and Trichakis, P. and Taylor, P.C. and Coates, G. (2010) 'A practical implementation of a distributed control approach for microGrids.', *Intelligent automation and soft computing.*, 16 (2). pp. 319-334.

Roeder, Adrienne H. K. and Chickarmane, Vijay and Cunha, Alexandre and Obara, Boguslaw and Manjunath, B.S. and Meyerowitz, Elliot M. (2010) 'Variability in the control of cell division underlies sepal epidermal patterning in Arabidopsis thaliana.', *PLoS biology.*, 8 (5). e1000367.

Shaneb, O.A. and Coates, G. and Taylor, P.C. (2010) 'Micro combined heat and power technologies and control for residential applications.', *International journal of renewable energy technology.*, 1 (3). pp. 325-347.

Stewart, I. A. and Xiang, Y. (2010) 'One-to-many node-disjoint paths in (n,k)-star graphs.', *Discrete applied mathematics.*, 158 (1). pp. 62-70.

Toriz-Garcia, Jesus J. and Williams, Gavin L. and McWilliam, Richard. and Curry, Richard. and Seed, N. L. and Purvis, Alan. and Ivey, Peter A. (2010) 'Controlled-width track in through silicon via using 3D holographic photolithography with modified electrodepositable photoresist.', *Journal of micromechanics and microengineering.*, 20 (1). 015012.

Trevelyan, J. and Coates, G. (2010) 'On adaptive definition of the plane wave basis for wave boundary elements in acoustic scattering : the 2D case.', *Computer modeling in engineering and sciences.*, 55 (2). pp. 147-170.

Yang, W. and Tavner, P. J. and Crabtree, C. J. and Wilkinson, M. (2010) 'Cost-effective condition monitoring for wind turbines.', *IEEE transactions on industrial electronics.*, 57 (1). pp. 263-271.

Charlton, T. and Devlin, M. and Drummond, S. (2009) 'Using Facebook to improve communication in undergraduate software development teams.', *Computer science education.*, 19 (4). pp. 273-292.

Keane, A. and Zhou, Q. and Bialek, J. W. and O'Malley, M. (2009) 'Planning and operating non-firm distributed generation.', *IET renewable power generation.*, 3 (4). pp. 455-464.

Long, H. and Gery, D. and Carlier, A. and Maropoulos, P. G. (2009) 'Prediction of welding distortion in butt joint of thin plates.', *Materials and design.*, 30 (10). pp. 4126-4135.

Mertzios, G.B. and Sau, I. and Zaks, S. (2009) 'A new intersection model and improved algorithms for tolerance graphs.', *SIAM journal on discrete mathematics.*, 23 (4). pp. 1800-1813.

Spinato, F. and Tavner, P.J. and van Bussel, G.J.W. and Koutoulakos, E. (2009) 'Reliability of wind turbine subassemblies.', *IET renewable power generation.*, 3 (4). pp. 387-401.

Zhu, H. and Qin, S. and He, J. and Bowen, J. P. (2009) 'PTSC : probability, time and shared-variable concurrency.', *Innovations in systems and software engineering.*, 5 (4). pp. 271-284.

Arratia-Quesada, A. and Stewart, I. A. (2009) 'On the power of deep pushdown stacks.', *Acta informatica.*, 46 (7). pp. 509-531.

Broersma, Hajo and Paulusma, Daniel and Yoshimoto, Kiyoshi (2009) 'Sharp upper bounds for the minimum number of components of 2-factors in claw-free graphs.', *Graphs and combinatorics.*, 25 (4). pp. 427-460.

Hof, P. van 't and Paulusma, Daniel and Woeginger, G.J. (2009) 'Partitioning graphs into connected parts.', *Theoretical computer science.*, 410 (47-49). pp. 4834-4843.

Kern, Walter and Paulusma, Daniel (2009) 'On the core and f-nucleolus of flow games.', *Mathematics of operations research.*, 34 (4). pp. 981-991.

Budgen, David. and Bailey, John. and Turner, Mark. and Kitchenham, Barbara. and Brereton, Pearl. and Charters, Stuart. (2009) 'Cross-domain investigation of empirical practices.', *IET software.*, 3 (5). pp. 410-421.

Cereceda, Luis and van den Heuvel, Jan and Johnson, Matthew (2009) 'Mixing 3-colourings in bipartite graphs.', *European journal of combinatorics.*, 30 (7). pp. 1593-1606.

Coates, G. and Thompson, C.M. and Duffy, A.H.B. and Hills, W. and Whitfield, R.I. (2009) 'Modelling skill competencies in engineering companies.', *Engineering designer.*, 35 (5). pp. 16-19.

Geldart, J. and Song, W. (2009) 'Category-based equational reasoning : an approach to ontology integration.', *Journal of logic and computation.*, 19 (5). pp. 791-806.

Price, A. A. E. and Dent, C. J. and Wallace, A. R. (2009) 'On the capture width of wave energy converters.', *Applied ocean research.*, 31 (4). pp. 251-259.

Razavi-Ghods, N. and Salous, S. (2009) 'Wideband MIMO channel characterization in TV studios and inside buildings in the 2.2–2.5 GHz frequency band.', *Radio science.*, 44 . RS5015.

Karras, D.A. and Mertzios, G.B. (2009) 'New PDE-based methods for image enhancement using SOM and Bayesian inference in various discretization schemes.', *Measurement science & technology.*, 20 (10). p. 104012.

Broersma, H. J. and Fujisawa, J. and Marchal, L. and Paulusma, Daniel and Salman, A. N. M. and Yoshimoto, K. (2009) 'Λ-backbone colorings along pairwise disjoint stars and matchings.', *Discrete mathematics.*, 309 (18). pp. 5596-5609.

Jonsson, P. and Krokhin, A. and Kuivinen, F. (2009) 'Hard constraint satisfaction problems have hard gaps at location 1.', *Theoretical computer science.*, 410 (38-40). pp. 3856-3874.

Cheng, Xiang. and Wang, Cheng-Xiang. and Laurenson, David. and Salous, Sana. and Vasilakos, Anthanasios. (2009) 'An adaptive geometry-based stochastic model for non-isotropic MIMO mobile-to-mobile channels.', *IEEE transactions on wireless communications.*, 8 (9). pp. 4824-4835.

Pearson, C. and Cadd, D.H. and Petty, M.C. and Hua, Y.L. (2009) 'Effect of dye concentrations in blended-layer white organic light-emitting devices based on phosphorescent dyes.', *Journal of applied physics.*, 106 (6). 064516.

Crossland, A.F. and Wyllie, P.B. and Ran, L. (2009) 'Mechanical to electrical energy conversion in a hybrid liquid-solid dielectric electrostatic generator.', *Journal of applied physics.*, 106 (4). 044108.

Gunashekar, S. D. and Warrington, E. M. and Salous, S. and Feeney, S. M. and Abbasi, N. M. and Bertel, L. and Lemur, D. and Oger, M. (2009) 'Investigations into the feasibility of multiple input multiple output techniques within the HF band : preliminary results.', *Radio science.*, 44 . RS0A19.

Guo, H.T. and Watson, S. J. and Tavner, P. J. and Xiang, J. P. (2009) 'Reliability analysis for wind turbines with incomplete failure data collected from after the date of initial installation.', *Reliability engineering & system safety.*, 94 (6). pp. 1057-1063.

Hughes, P. N. and Glendinning, S. and Mendes, J. and Parkin, G. and Toll, D. G. and Gallipoli, D. and Miller, P. (2009) 'Full-scale testing to assess climate effects on embankments.', *Engineering sustainability : proceedings of the Institution of Civil Engineers.*, 162 (2). pp. 67-79.

Jaquin, P. A. and Augarde, C. E. and Gallipoli, D. and Toll, D. G. (2009) 'The strength of unstabilised rammed earth materials.', *Géotechnique.*, 59 (5). pp. 487-490.

Bordewich, M. and Semple, C. and Spillner, A. (2009) 'Optimizing phylogenetic diversity across two trees.', *Applied mathematics letters.*, 22 (5). pp. 638-641.

Broersma, H. J. and Vumar, E. (2009) 'On hamiltonicity of P₃-dominated graphs.', *Mathematical methods of operations research.*, 69 (2). pp. 297-306.

Dantchev, Stefan and Martin, Barnaby and Rhodes, Mark (2009) 'Tight rank lower bounds for the Sherali–Adams proof system.', *Theoretical computer science.*, 410 (21-23). pp. 2054-2063.

Fleischner, H. and Mujuni, E. and Paulusma, Daniel and Szeider, S. (2009) 'Covering graphs with few complete bipartite subgraphs.', *Theoretical computer science.*, 410 (21-23). pp. 2045-2053.

Groves, C. and Koster, L.J.A. and Greenham, N.C. (2009) 'The effect of morphology upon mobility : implications for bulk heterojunction solar cells with nonuniform blend morphology.', *Journal of applied physics.*, 105 (9). 094510.

Zhang, Y. and Gallipoli, D. and Augarde, C. E. (2009) 'Simulation-based calibration of geotechnical parameters using parallel hybrid moving boundary particle swarm optimization.', *Computers and geotechnics.*, 36 (4). pp. 604-615.

Bowden, L.B. and Jarvis, A.P. and Younger, P.L. and Johnson , K.L. (2009) 'Phosphorus removal from waste waters using basic oxygen slag.', *Environmental science & technology.*, 43 (7). 2476-2481 .

Mabrook, M.F. and Yun, Y.J. and Pearson, C. and Zeze, D.A. and Petty, M.C. (2009) 'A pentacene-based organic thin film memory transistor.', *Applied physics letters.*, 94 (17). p. 173302.

Yang, W. and Tavner, P. J. (2009) 'Empirical mode decomposition, an adaptive approach for interpreting shaft vibratory signals of large rotating machinery.', *Journal of sound and vibration.*, 321 (3-5). 1144-1170 .

Broersma, H. J. and Marchal, L. and Paulusma, Daniel and Salman, A. N. M. (2009) 'Backbone colorings along stars and matchings in split graphs : their span is close to the chromatic number.', *Discussiones mathematicae graph theory.*, 29 (1). pp. 143-162.

Klar, A. and Reuterswärd, P. and Seaïd, M. (2009) 'A semi-Lagrangian method for a Fokker-Planck equation describing fiber dynamics.', *Journal of scientific computing.*, 38 (3). pp. 349-367.

Watkins, N.D. and Cork, S.C. and Pyner, S. (2009) 'An immunohistochemical investigation of the relationship between neuronal nitric oxide synthase, GABA and presympathetic paraventricular neurons in the hypothalamus.', *Neuroscience.*, 159 (3). pp. 1079-1088.

Yang, W. and Tavner, P. J. and Wilkinson, M. R. (2009) 'Condition monitoring and fault diagnosis of a wind turbine synchronous generator drive train.', *IET renewable power generation.*, 3 (1). pp. 1-11.

Yun, Y.J. and Pearson, C. and Petty, M.C. (2009) 'Pentacene thin film transistors with a poly(methyl methacrylate) gate dielectric : optimization of device performance.', *Journal of applied physics.*, 105 (3). 034508.

Boerner, F. and Bulatov, A. and Chen, H. and Jeavons, P. and Krokhin, A. (2009) 'The complexity of constraint satisfaction games and QCSP.', *Information and computation.*, 207 (9). pp. 923-944.

Bordewich, M. and Gascuel, O. and Huber, K. T. and Moulton, V. (2009) 'Consistency of topological moves based on the balanced minimum evolution principle of phylogenetic inference.', *IEEE/ACM transactions on computational biology and bioinformatics.*, 6 (1). pp. 110-117.

Drake, Samuel Picton and Anderson, Brian D.O. and Yu, Changbin (2009) 'Causal association of electromagnetic signals using the Cayley-Menger determinant.', *Applied physics letters.*, 95 (3). 034106.

Giani, S. and Graham, I.G. (2009) 'A convergent adaptive method for elliptic eigenvalue problems.', *SIAM journal on numerical analysis.*, 47 (2). pp. 1067-1091.

Gokalp, H. and Taflan, G. Y. and Salous, S. (2009) 'In-band interference reduction in FMCW channel data using Prony modelling.', *Electronics letters.*, 45 (2). pp. 132-133.

Gunashekar, S. D. and Warrington, E. Michael and Strangeways, Hal J. and Erhel, Y. and Salous, S. and Feeney, S. M. and Abbasi, N. M. and Bertel, L. and Lemur, D. and Marie, F. and Oger, M. (2009) 'Utilization of antenna arrays in HF systems.', *Annals of geophysics.*, 52 (3/4). pp. 323-338.

Hill, N and Dominy, R. and Ingram, G. and Dominy, J. (2009) 'Darrieus turbines : the physics of self-starting.', *Proceedings of the Institution of Mechanical Engineers, Part A : journal of power and energy.*, 223 (1). pp. 21-29.

Lubosny, Z. and Bialek, J. W. (2009) 'Analytical derivation of PSS parameters for generator with static excitation system.', *Acta energetica.*, 1 (1). pp. 78-93.

Williams , S. R. and Wu, J. J. and Unsworth, A. and Khan, I. (2009) 'Tribological and surface analysis of 38mm alumina-as-cast Co-Cr-Mo total hip arthroplasties.', *Proceedings of the Institution of Mechanical Engineers, part H : journal of engineering in medicine.*, 223 (8). pp. 941-954.

Bordewich, M. and Rodrigo, A. G. and Semple, C. (2008) 'Selecting taxa to save or sequence : desirable criteria and a greedy solution.', *Systematic biology.*, 57 (6). pp. 825-834.

Luo, C. and Qin, S. and Qiu, Z. (2008) 'Verifying BPEL-like programs with Hoare logic.', *Frontiers of computer science in China.*, 2 (4). pp. 344-356.

Shiau, J. and Augarde, C. E. and Lyamin, A. V. and Sloan, S. W. (2008) 'Finite element limit analysis of passive earth resistance in cohesionless soils.', *Soils and foundations.*, 48 (6). pp. 843-850.

Shiau, J. and Augarde, C.E. and Lyamin, A.V. and Sloan, S.W. (2008) 'Finite element limit analysis of passive earth resistance in cohesionless soils.', *Soils and foundations.*, 48 (6). pp. 843-850.

Dong, J. S. and Hao, P. and Qin, S. and Sun, J. and Wang, Y. (2008) 'Timed automata patterns.', *IEEE transactions on software engineering.*, 34 (6). pp. 844-859.

Fragaki, A. and Andersen, A. N. and Toke, D. (2008) 'Exploration of economical sizing of gas engine and thermal store for combined heat and power plants in the UK.', *Energy-The International Journal*, 33 (11). pp. 1659-1670.

Jombert, A.S. and Coleman, K.S. and Wood, D. and Petty, M.C. and Zeze, D.A. (2008) 'Poole-Frenkel conduction in single wall carbon nanotube composite films built up by electrostatic layer-by-layer deposition.', *Journal of applied physics.*, 104 (9). 094503.

Zaumseil, J. and Groves, C. and Winfield, J.M. and Greenham, N.C. and Sirringhaus, H. (2008) 'Electron-hole recombination in uniaxially aligned semiconducting polymers.', *Advanced functional materials.*, 18 (22). pp. 3630-3637.

Haslam, I. W. and Crouch, R. S. and Seaïd, M. (2008) 'Coupled finite element–lattice Boltzmann analysis.', *Computer methods in applied mechanics and engineering.*, 197 (51-52). 4505-4511 .

Lourenço, S. D. N. and Gallipoli, D. and Toll, D. G. and Augarde, C. E. and Evans, F. D. and Medero, G. M. (2008) 'Calibrations of a high suction tensiometer.', *Géotechnique.*, 58 (8). pp. 659-668.

Groves, C. and Marsh, R.A. and Greenham, N.C. (2008) 'Monte Carlo modeling of geminate recombination in polymer-polymer photovoltaic devices.', *Journal of chemical physics.*, 129 (11). p. 114903.

Bordewich, M. and McCartin, C. and Semple, C. (2008) 'A 3-approximation algorithm for the subtree distance between phylogenies.', *Journal of discrete algorithms.*, 6 (3). pp. 458-471.

Deineko, V. and Jonsson, P. and Klasson, M. and Krokhin, A. (2008) 'The approximability of MAX CSP with fixed-value constraints.', *Journal of the ACM.*, 55 (4). p. 16.

Hamilton, S. and Long, H. (2008) 'Analysis of conventional spinning process of a cylindrical part using finite element method.', *Steel research international.*, 79 (1 ). pp. 632-639.

Dimitrakis, P. and Normand, P. and Tsoukalas, D. and Pearson, C. and Ahn, J.H. and Mabrook, M.F. and Zeze, D.A. and Petty, M.C. and Kamtekar, K.T. and Wang, C.S. and Bryce, M.R. and Green, M. (2008) 'Electrical behavior of memory devices based on fluorene-containing organic thin films.', *Journal of applied physics.*, 104 (4). 044510.

Jonsson, P. and Krokhin, A. (2008) 'Computational complexity of auditing finite attributes in statistical databases.', *Journal of computer and system sciences.*, 74 (5). pp. 898-909.

Levin, A. and Paulusma, Daniel and Woeginger, G.J. (2008) 'The computational complexity of graph contractions II : two tough polynomially solvable cases.', *Networks.*, 52 (1). pp. 32-56.

Salous, S. and Feeney, S. and Khokhar, K. and Lewenz, R. (2008) 'Measurements of radio channels and bit error rate estimation of IEEE802.16 standard in semi-rural environment at three frequencies in the 2–6 GHz frequency band.', *IET communications.*, 2 (7). pp. 878-885.

Salous, S. and Khokhar , K. (2008) 'Frequency domain simulator for mobile radio channels and for IEEE 802.16-2004 standard using measured channels.', *IET communications.*, 2 (7). pp. 869-877.

Habib, M.S. and Lowell, J.S. and Holliman, N.S. and Andrew Hunter, A. and Vaideanu, D. and Hildreth, A. and Steel, D.H.W. (2008) 'Assessment of stereoscopic optic disc images using an autostereoscopic screen. experimental study.', *BMC ophthalmology.*, 8 . p. 13.

Tavner, P. J. (2008) 'Review of condition monitoring of rotating electrical machines.', *IET electric power applications.*, 2 (4). pp. 215-247.

Dalmau, V. and Krokhin, A. and Larose, B. (2008) 'Retractions onto series-parallel posets.', *Discrete mathematics.*, 308 (11). pp. 2104-2114.

Augarde, C. E. and Deeks, A. J. (2008) 'The use of Timoshenko's exact solution for a cantilever beam in adaptive analysis.', *Finite elements in analysis and design.*, 44 (9-10). pp. 595-601.

Cheung, W. M. and Matthews, P. C. and Gao, J. and Maropoulos, P. G. (2008) 'Advanced product development integration architecture : an out-of-box solution to support distributed production networks.', *International journal of production research.*, 46 (12). pp. 3185-3206.

Matthaiou, Michail. and Razavi-Ghods, Nima. and Laurenson, David I. and Salous, Sana. (2008) 'Dual frequency MIMO measurements in the 2.26–2.5 GHz band.', *Wireless communications and mobile computing.*, 8 (5). pp. 607-614.

Bordewich, M. and Karpinski, M. and Dyer, M. (2008) 'Path coupling using stopping times and counting independent sets and colourings in hypergraphs.', *Random structures and algorithms.*, 32 (3). pp. 375-399.

Dalmau, V. and Krokhin, A. (2008) 'Majority constraints have bounded pathwidth duality.', *European journal of combinatorics.*, 29 (4). pp. 821-837.

Fiala, J. and Paulusma, Daniel and Telle, J.A. (2008) 'Locally constrained graph homomorphisms and equitable partitions.', *European journal of combinatorics.*, 29 (4). pp. 850-880.

Levin, A. and Paulusma, Daniel and Woeginger, G.J. (2008) 'The computational complexity of graph contractions I : polynomially solvable and NP-complete cases.', *Networks.*, 51 (3). pp. 178-189.

Ng, C. H. and Parker , M. A. and Ran, L. and Tavner, P. J. and Bumby, J. R. and Spooner, E. (2008) 'A multilevel modular converter for a large, lightweight wind turbine generator.', *IEEE transactions on power electronics.*, 23 (3). pp. 1062-1074.

Luo, C. and Qin, S. (2008) 'Separation logic for multiple inheritance.', *Electronic notes in theoretical computer science.*, 212 . pp. 27-40.

Bordewich, M. and Semple, C. (2008) 'Nature reserve selection problem : a tight approximation algorithm.', *IEEE/ACM transactions on computational biology and bioinformatics.*, 5 (2). pp. 275-280.

Matthews, P. C. (2008) 'A Bayesian support tool for morphological design.', *Advanced engineering informatics.*, 22 (2). pp. 236-253.

Mertzios, G.B. (2008) 'A matrix characterization of interval and proper interval graphs.', *Applied mathematics letters.*, 21 (4). pp. 332-337.

Paulusma, Daniel and Yoshimoto, K. (2008) 'Relative length of longest paths and longest cycles in triangle-free graphs.', *Discrete mathematics.*, 308 (7). pp. 1222-1229.

Petkovski, M. and Crouch, R. S. (2008) 'Strains under transient hygro-thermal states in concrete loaded in multiaxial compression and heated to 250°C.', *Cement and concrete research.*, 38 (4). pp. 586-596.

Armoutis, N. and Maropoulos, P. G. and Matthews, P. C. and Lomas, C. D. L. (2008) 'Establishing agile supply networks through competence profiling.', *International journal of computer integrated manufacturing.*, 21 (2). pp. 166-173.

Trichakis, P. and Taylor, P.C. and Coates, G. and Cipcigan, L.M. (2008) 'Distributed control approach for small-scale energy zones.', *Proceedings of the Institution of Mechanical Engineers, Part A : journal of power and energy.*, 222 (2). pp. 137-147.

Wang, Y. and Hua, Y.L. and Wu, X.M. and Zhang, L.J. and Hou, Q.C. and Yin, S.G. and Petty, M.C. (2008) 'Performance enhancement of white-electrophosphorescent devices incorporating a mixed-transition layer.', *Applied physics letters.*, 92 (12). p. 123504.

Krokhin, A. and Larose, B. (2008) 'Maximizing supermodular functions on product lattices, with application to maximum constraint satisfaction.', *SIAM journal on discrete mathematics.*, 22 (1). pp. 312-328.

Bagshaw, D.A and Ingram, G.L. and Gregory-Smith, D.G. and Stokes, M.R. and Harvey, N.W. (2008) 'The design of three-dimensional turbine blades combined with profiled endwalls.', *Proceedings of the Institution of Mechanical Engineers, Part A : journal of power and energy.*, 222 (1). pp. 93-102.

Bagshaw, D.A. and Ingram, G.L. and Gregory-Smith, D.G. and Stokes, M.R. (2008) 'An experimental study of three-dimensional turbine blades combined with profiled endwalls.', *Proceedings of the Institution of Mechanical Engineers, Part A : journal of power and energy.*, 222 (1). pp. 103-110.

Broersma, H.J. and Capponi, A. and Paulusma, Daniel (2008) 'A new algorithm for on-line coloring bipartite graphs.', *SIAM journal on discrete mathematics.*, 22 (1). pp. 72-91.

Creignou, N. and Hermann, M. and Krokhin, A. and Salzer, G. (2008) 'Complexity of clausal constraints over chains.', *Theory of computing systems.*, 42 (2). pp. 239-255.

Chin, W.-N. and David, C. and Nguyen, H. H. and Qin, S. (2008) 'Enhancing modular OO verification with separation logic.', *ACM SIGPLAN notices.*, 43 (1). pp. 87-99.

Fragaki, A. and Markvart, T. (2008) 'Stand-alone PV system design : results using a new sizing approach.', *Renewable energy.*, 33 (1). pp. 162-167.

Gee, R. and Coates, G. and Nicholson, M. (2008) 'Understanding and profitably managing customer loyalty.', *Marketing intelligence and planning.*, 26 (4). pp. 359-374.

Machowski, J. and Bialek, J. W. (2008) 'State-variable control of shunt FACTS devices using phasor measurements.', *Electrical power systems research.*, 78 (1). pp. 39-48.

Yoon, Mincheol and Ivrissimtzis, Ioannis (2008) 'Point set denoising using a variational Bayesian method.', *Journal of KISS : computing practices and letters.*, 14 (5). pp. 527-531.

Purvis, A. and McWilliam, R. and Johnson, S. and Seed, N. and Williams, G. and Maiden, A. and Ivey, P. (2007) 'Photolithographic patterning of bi-helical tracks onto conical substrates.', *Journal of micro/nanolithography, MEMS and MOEMS.*, 6 (4). 043015.

Thömmes, G. and Seaïd, M. and Banda, M. (2007) 'Lattice Boltzmann methods for shallow water flow applications.', *International journal for numerical methods in fluids.*, 55 (7). pp. 673-692.

Klar, A and Osman, A. S. and Bolton, M. D. (2007) '2D and 3D upper bound solutions for tunnel excavation using 'elastic' flow fields.', *International journal for numerical and analytical methods in geomechanics.*, 31 (12). pp. 1367-1374.

Benkhaldoun, F. and Elmahi, I. and Seaïd, M. (2007) 'Well-balanced finite volume schemes for pollutant transport by shallow water equations on unstructured meshes.', *Journal of computational physics.*, 226 (1). pp. 180-203.

Salous, S. and Gokalp, H. (2007) 'Medium- and large-scale characterization of UMTS-allocated frequency division duplex channels.', *IEEE transactions on vehicular technology.*, 56 (5). pp. 2831-2843.

Bonsma, Paul and Cereceda, Luis and van den Heuvel, Jan and Johnson, Matthew (2007) 'Finding paths between graph colourings : computational complexity and possible distances.', *Electronic notes in discrete mathematics.*, 29 . pp. 463-469.

Jonsson, P. and Krokhin, A. (2007) 'Maximum H-colourable subdigraphs and constraint optimization with arbitrary weights.', *Journal of computer and system sciences.*, 73 (5). pp. 691-702.

Augarde, C. E. and Ramage, A. and Staudacher, J. (2007) 'Element-based preconditioners for elasto-plastic problems in geotechnical engineering.', *International journal for numerical methods in engineering.*, 71 (7). pp. 757-779.

Bordewich, M. and Semple, C. (2007) 'Computing the hybridisation number of two phylogenetic trees is fixed parameter tractable.', *Transactions on computational biology and bioinformatics.*, 4 (3). pp. 458-466.

Coates, G. and Duffy, A. H. B. and Hills, W. and Whitfield, R. I. (2007) 'A preliminary approach for modelling and planning the composition of engineering project teams.', *Proceedings of the I MECH E part B : journal of engineering manufacture.*, 221 (7). pp. 1255-1265.

Dubroca, B. and Seaïd, M. and Teleaga, I. (2007) 'A consistent approach for the coupling of radiation and hydrodynamics at low mach number.', *Journal of computational physics.*, 225 (1). pp. 1039-1065.

Bordewich, M. and Dyer, M. (2007) 'Path coupling without contraction.', *Journal of discrete algorithms.*, 5 (2). pp. 280-292.

Bordewich, M. and Linz, S. and St. John, K. and Semple, C. (2007) 'A reduction algorithm for computing the hybridization number of two trees.', *Evolutionary bioinformatics.*, 3 . pp. 86-98.

Solano, B. and Wood, D. (2007) 'Design and testing of a polymeric microgripper for cell manipulation.', *Microelectronic engineering.*, 84 (5-8). pp. 1219-1222.

Solano, B. and Wood, D. (2007) 'Design and testing of a polymeric microgripper for cell manipulation.', *Microelectronic engineering.*, 84 (5-8). 1219-1222 .

Marsh, R.A. and Groves, C. and Greenham, N.C. (2007) 'A microscopic model for the behavior of nanostructured organic photovoltaic devices.', *Journal of applied physics.*, 101 (8). 083509.

Bordewich, M. and Semple, C. (2007) 'Computing the minimum number of hybridisation events for a consistent evolutionary history.', *Discrete applied mathematics.*, 155 (8). pp. 914-928.

El-Amrani, M. and Seaïd, M. (2007) 'Numerical simulation of natural and mixed convection flows by Galerkin-Characteristic method.', *International journal for numerical methods in fluids.*, 53 (12). pp. 1819-1845.

Paulusma, Daniel and Yoshimito, K. (2007) 'Cycles through specified vertices in triangle-free graphs.', *Discussiones mathematicae graph theory.*, 27 (1). pp. 179-191.

Cheran, L-E. and Johnstone, S. and Sadeghi, S. and Thompson, M. (2007) 'Work-function measurement by high resolution scanning Kelvin nanoprobe.', *Measurement science and technology.*, 18 (3). pp. 567-578.

Dalmau, V. and Krokhin, A. and Larose, B. (2007) 'First-order definable retraction problems for posets and reflexive graphs.', *Journal of logic and computation.*, 17 (1). pp. 31-51.

Dominy, R. and Lunt, P. and Bickerdyke, A. and Dominy, J (2007) 'Self-starting capability of a Darrieus turbine.', *Proceedings of the I MECH E part A : journal of power and energy.*, 221 (1). pp. 111-120.

Gallant, A.J. and Kaliteevski, M.A. and Wood, D. and Petty, M.C. and Abram, R.A. and Brand, S. and Swift, G.P. and Zeze, D.A. and Chamberlain, J.M. (2007) 'Passband filters for terahertz radiation based on dual metallic photonic structures.', *Applied physics letters.*, 91 (16). 161115 .

Lomas, C. D. L. and Matthews, P. C. (2007) 'Meta-design for agile concurrent product design in the virtual enterprise.', *International journal of agile manufacturing.*, 10 (2). pp. 77-87.

Deeks, A. J. and Augarde, C. E. (2007) 'A hybrid meshless local Petrov-Galerkin method for unbounded domains.', *Computer methods in applied mechanics and engineering.*, 196 (4-6). pp. 843-852.

Scholes, S. C. and Unsworth, A. and Jones, E. (2007) 'Polyurethane unicondylar knee prostheses : simulator wear tests and lubrication studies.', *Physics in medicine and biology.*, 52 (1). pp. 197-212.

Wang, Q. (2007) 'Artificial neural networks as cost engineering methods in a collaborative manufacturing environment.', *International journal of production economics.*, 109 (1-2). pp. 53-64.

Augarde, C. E. and Ramage, A. and Staudacher, J. (2006) 'An element-based displacement preconditioner for linear elasticity problems.', *Computers and structures.*, 84 (31-32). pp. 2306-2315.

Lin, T. and Li, R. and Long, H. and Ou, H. (2006) 'Three-dimensional transient sealing analysis of the bolted flange connections of reactor pressure vessel.', *Nuclear engineering and design.*, 236 (24). pp. 2599-2607.

Matthews, P. C. and Chesters, P. E. (2006) 'Implementing the information pump using accessible technology.', *Journal of engineering design.*, 17 (6). pp. 563-585.

Smith, A. C. and Todd, R. and Barnes, M. and Tavner, P. J. (2006) 'Improved energy conversion for doubly fed wind generators.', *IEEE transactions on industry applications.*, 42 (6). pp. 1421-1428.

Osman, A. S. and Mair, R. J. and Bolton, M. D. (2006) 'On the kinematics of 2D tunnel collapse in undrained clay.', *Géotechnique.*, 56 (9). pp. 585-595.

Ran, L. and Spinato, F. and Taylor, P. and Wilson, R. and Jackman, D. (2006) 'Co-ordinated AVR and tap changing control for an autonomous industrial power system.', *IEE proceedings : generation, transmission and distribution.*, 153 (6). pp. 617-623.

Hilton, A. J. W. and Johnson, Matthew. (2006) 'Cycle decompositions of the complete graph.', *Ars combinatoria.*, 81 . pp. 311-324.

Bordewich, M. and Semple, C. and Steel, M. A. (2006) 'Identifying X-trees with few characters.', *The electronic journal of combinatorics.*, 13 (1). R83.

Mahkamov, K. (2006) 'Design improvements to a biomass stirling engine using mathematical analysis and 3D CFD modelling.', *Journal of energy resources technology : transactions of the ASME.*, 128 (3). pp. 203-215.

Xiang, D. and Ran, L. and Tavner, P. J. and Yang, S. (2006) 'Control of a doubly fed induction generator in a wind turbine during grid fault ride-through.', *IEEE transactions on energy conversion.*, 21 (3). pp. 652-662.

Polinder, H. and van der Pijl, F. F. A. and de Vilder, G-J. and Tavner, P. J. (2006) 'Comparison of direct-drive and geared generator concepts for wind turbines.', *IEEE transactions on energy conversion.*, 21 (3). pp. 725-733.

Bamforth, S. M. and Manning, D. A. C. and Singleton, I. and Younger, P. L. and Johnson, K. L. (2006) 'Manganese removal from mine waters : investigating the occurrence and importance of manganese carbonates.', *Applied geochemistry.*, 21 (8). pp. 1274-1287.

Maropoulos, P. G. and Kotsialos, A. and Bramall, D .G. (2006) 'A theoretical framework for the integration of resource aware planning with logistics for the dynamic validation of aggregate plans within a production network.', *CIRP annals.*, 55 (1). pp. 483-488.

Miland, H. and Glockner, R. and Taylor, P. and Aaberg, R. J. and Hagen, G. (2006) 'Load control of a wind-hydrogen stand-alone power system.', *International journal of hydrogen energy.*, 31 (9). pp. 1215-1235.

Palumbo, M. and Lee, K. U. and Ahn, B. T. and Suri, A. and Coleman, K. S. and Zeze, D. and Wood, D. and Pearson, C. and Petty, M. C. (2006) 'Electrical investigations of layer-by-layer films of carbon nanotubes.', *Journal of physics D : applied physics.*, 39 (14). pp. 3077-3085.

Tavner, P. J. and Xiang, J. and Spinato, F. (2006) 'Reliability analysis for wind turbines.', *Wind energy.*, 10 (1). pp. 1-18.

Beeby, A. W. and Scott, R. H. (2006) 'Mechanisms of long-term decay of tension stiffening.', *Magazine of concrete research.*, 58 (5). pp. 255-266.

Buckley, C. P. and Wu, J. J. and Haughie, D. W. (2006) 'The integrity of welded interfaces in ultra high molecular weight polyethylene : part 1 model.', *Biomaterials.*, 27 (17). pp. 3178-3186.

Petkovski, M. and Crouch, R. S. and Waldron, P. (2006) 'Apparatus for testing concrete under multiaxial compression at elevated temperature (mac2T).', *Experimental mechanics.*, 46 (3). pp. 387-398.

Johnson, K. L. and Younger, P. L. (2006) 'The co-treatment of sewage and mine waters in aerobic wetlands.', *Engineering geology.*, 85 (1-2). pp. 53-61.

Muscroft, R. J. M. and Sims-Williams, D. B. and Cardwell, D. A. (2006) 'The development of a passive magnetic levitation system for wind tunnel models.', *SAE transactions : journal of passenger cars : mechanical systems.*, 115 (6). pp. 415-419.

Osman, A. S. and Bolton, M. D. (2006) 'Ground movement predictions for braced excavations in undrained clay.', *Journal of geotechnical and geoenvironmental engineering.*, 132 (4). pp. 465-477.

McMahon, R. A. and Roberts, P. C. and Wang, X. and Tavner, P. J. (2006) 'Performance of BDFM as generator and motor.', *IEE proceedings : electric power applications.*, 153 (2). pp. 289-299.

Mahkamov, K. (2006) 'An axisymmetric computational fluid dynamics approach to the analysis of the working process of a solar stirling engine.', *Journal of solar energy engineering : transactions of the ASME.*, 128 (1). pp. 45-53.

Matthews, P. C. and Standingford, D. W. F. and Holden, C. M. E. and Wallace, K. M. (2006) 'Learning inexpensive parametric design models using an augmented genetic programming technique.', *Artificial intelligence for engineering design, analysis and manufacturing.*, 20 (1). pp. 1-18.

McWilliam, R. and Purvis, A. (2006) 'Potential uses of embedded RFID in appliance identification.', *International appliance manufacturing.*, 10 . pp. 100-107.

Krokhin, A. and Rosenberg, I. G. (2006) 'A monoidal interval of clones of selfdual functions.', *Journal of automata, languages and combinatorics.*, 11 (2).

Lomas, C. D. W. and Wilkinson, J. and Maropoulos, P. G. and Matthews, P. C. (2006) 'Measuring design process agility for the single company product development process.', *International journal of agile manufacturing.*, 9 (2). pp. 105-112.

Markvart, T. and Fragaki, A. and Ross, J.N. (2006) 'PV system sizing using observed time series of solar radiation.', *Solar energy.*, 80 (1). 46-50 .

Mertzios, G.B. (2006) 'Solution of parameter-varying linear matrix inequalities in Toeplitz form.', *Journal of applied functional analysis.*, 1 (2). pp. 131-152.

Bumby, J. R. and Spooner, E. and Jagiela, M. (2006) 'Equivalent circuit analysis of solid-rotor induction machines with reference to turbocharger accelerator applications.', *IEE proceedings : electric power applications.*, 153 (1). pp. 31-39.

Schaefer, D. (2006) 'A generic approach to automated product variant design technology.', *Engineering designer : the journal of the institution of engineering designers.*, 32 (1). pp. 30-33.

Xiang, D. W. and Ran, L. and Bumby, J. R. and Tavner, P. J. and Yang, S. C. (2006) 'Coordinated control of an HVDC link and doubly fed induction generators in a large offshore wind farm.', *IEEE transactions on power delivery.*, 21 (1). pp. 463-471.

Ahmed, M. and Putrus, G. A. and Ran, L. and Penlington, R. (2006) 'Development of a prototype solid state fault current limiting and interrupting device for low voltage distribution networks.', *IEEE transactions on power delivery.*, 21 (4). pp. 1997-2005.

Matthews, P. C. and Lomas, C. D. W. and Armoutis, N. D. and Maropoulos, P. G. (2006) 'Foundations of an agile design methodology.', *International journal of agile manufacturing.*, 9 (1). pp. 29-38.

Osman, A. S. and Bolton, M. D. and Mair, R. J. (2006) 'Predicting 2D ground movements around tunnels in undrained clay.', *Géotechnique.*, 56 (9). pp. 597-604.

Rigby, M. J. and Budgen, D. and Brereton, O. P. and Bennett, K. and Russell, M. and Turner, M. and Kotsiopoulos, I. and Layzell, P. J. and Keane, J. and Zhu, F. and Xu, J. (2006) 'Dynamic data integration : a service-based broker approach.', *International journal of business process integration and management.*, 1 (3). 175 - 191.

Scholes, S. C. and Burgess, I. C. and Marsden, H. R. and Unsworth, A. and Jones, E. and Smith, N. (2006) 'Compliant layer acetabular cups : friction testing of a range of materials and designs for a new generation of prosthesis which mimics the natural joint.', *Proceedings of the I MECH E part H : journal of engineering in medicine.*, 220 (5). pp. 583-596.

Vassilou, K. and Elfick, A. P. D. and Scholes, S. C. and Unsworth, A. (2006) 'The effect of 'running-in' on the tribology and surface morphology of metal-on-metal Birmingham hip resurfacing device in simulator studies.', *Proceedings of the I MECH E part H : journal of engineering in medicine.*, 220 (2). 269 - 277.

Wang, Q. and Potter, N. (2006) 'Incorporating life cycle costing in early product design.', *International journal of advanced manufacturing systems.*, 10 (1). pp. 33-40.

Wang, Q. and Scott, A. (2006) 'Development of a metal selector system.', *International journal of advanced manufacturing technology.*, 32 (9-10). pp. 843-855.

Beeby, A. W. and Scott, R. H. (2005) 'Cracking and deformation of axially reinforced members subjected to pure tension.', *Magazine of concrete research.*, 57 (10). pp. 611-621.

Salous, S. and Filippidis, P. and Lewenz, R. and Hawkins, I. and Razavi-Ghods, N. and Abdallah, M. (2005) 'Parallel receiver channel sounder for spatial and MIMO characterisation of the mobile radio channel.', *IEE proceedings : communications.*, 152 (6). pp. 912-918.

Salous, S. and Hinostroza, V. (2005) 'Wideband indoor frequency agile channel sounder and measurements.', *IEE proceedings : microwaves, antennas and propagation.*, 152 (6). pp. 573-580.

Tavner, P. J. and Anderson, A. F. (2005) 'Core faults in large generators.', *IEE proceedings : electric power applications.*, 152 (6). pp. 1427-1439.

Watson, I. A. and Crouch, R. S. and Bastian, P. and Oswald, S. E. (2005) 'Advantages of using adaptive remeshing and parallel processing for modelling biodegradation in groundwater.', *Advances in water resources.*, 28 (11). pp. 1143-1158.

Watson, I. A. and Oswald, S. E. and Banwart, S. A. and Crouch, R. S. and Thornton, S. F. (2005) 'Modeling the dynamics of fermentation and respiratory processes in a groundwater plume of phenolic contaminants interpreted from laboratory-to field-scale.', *Environmental science and technology.*, 39 (22). pp. 8829-8839.

Kotsialos, A. and Papageorgiou, M. and Middelham, F. (2005) 'Local and optimal coordinated ramp metering for freeway networks.', *Journal of intelligent transportation systems : technology, planning and operations.*, 9 (4). pp. 187-203.

Bagshaw, D. and Ingram, G. and Gregory-Smith, D. G. and Stokes, M. (2005) 'An experimental study of reverse compound lean in a linear turbine cascade.', *Proceedings of the I MECH E part A : journal of power and energy.*, 219 (6). pp. 443-449.

Bumby, J. R. and Martin, R. (2005) 'Axial-flux permanent-magnet air-cored generator for small-scale windturbines.', *IEE proceedings : electric power applications.*, 152 (5). pp. 1065-1075.

Turton, A. C. and Bhattacharyya, D. and Wood, D. (2005) 'High sensitivity love-mode liquid density sensors.', *Sensors and actuators A : physical.*, 123-24 . pp. 267-273.

Deeks, A. J. and Augarde, C. E. (2005) 'A meshless local Petrov-Galerkin scaled boundary method.', *Computational mechanics.*, 36 (3). pp. 159-170.

Gery, D. and Long, H. and Maropoulos, P. (2005) 'Effects of welding speed, energy input and heat source distribution on temperature variations in butt joint welding.', *Journal of materials processing technology.*, 167 (2-3). pp. 393-401.

Kotsialos, A. and Papageorgiou, M. and Poulimenos, A. (2005) 'Long-term sales forecasting using holt-winters and neural network methods.', *Journal of forecasting.*, 24 (5). pp. 353-368.

Osman, A. S. and Bolton, M. D. (2005) 'Simple plasticity-based prediction of the undrained settlement of shallow circular foundations on clay.', *Géotechnique.*, 55 (6). pp. 435-447.

Augarde, C. E. and Deeks, A. J. (2005) 'On the effects of nodal distributions for imposition of essential boundary conditions in the MLPG meshfree method.', *Communications in numerical methods in engineering.*, 21 (7). pp. 389-395.

Gallant, A. J. and Wood, D. (2005) 'Surface micromachined membranes for wafer level packaging.', *Journal of micromechanics and microengineering.*, 15 (7). S47-S52.

Ingram, G. and Gregory-Smith, D. and Harvey, N. (2005) 'The benefits of turbine endwall profiling in a cascade.', *Proceedings of the I MECH E part A : journal of power and energy.*, 219 (1). pp. 49-59.

Roberts, P. C. and McMahon, R. A. and Tavner, P. J. and Maciejowski, J. M. and Flack, T. J. (2005) 'Equivalent circuit for the brushless doubly fed machine (BDFM) including parameter estimation and experimental verification.', *IEE proceedings : electric power applications.*, 152 (4). pp. 933-942.

Spooner E., E. and Brown, N. L. and Haydock, L. and Mebarki, A. and Novinschi, A. (2005) 'Equivalent circuit modelling of new brushless synchronous alternator.', *IEE proceedings : electric power applications.*, 152 (4). pp. 812-820.

Maiden, A. and McWilliam, R. and Purvis, A. and Johnson, S. and Williams, G. L. and Seed, N. L. and Ivey, P. A. (2005) 'Nonplanar photolithography with computer-generated holograms.', *Optics letters.*, 30 (11). pp. 1300-1302.

Rigby, M. J. and Budgen, D. and Brereton, O. P. and Bennett, K. and Layzell, P. and Keane, J. and Russell, M. J. and Kotsiopoulos, I. and Turner, M. and Zhu, F. (2005) 'Proving the concept of a data broker as an emergent alternative to supra-enterprise EPR systems.', *Medical informatics and the internet in medicine.*, 30 (2). pp. 99-106.

Johnson, K. L. and Younger, P. L. (2005) 'Rapid manganese removal from mine waters using an aerated packed-bed bioreactor.', *Journal of environmental quality.*, 34 (3). pp. 987-993.

Johnson, K. L. and Baker, A. and Manning, D. A. C. (2005) 'Passive treatment of mn-rich mine water : using fluorescence to observe microbiological activity.', *Geomicrobiology journal.*, 22 (3-4). pp. 141-149.

Laghrouche, O. and Bettess, P. and Perrey-Debain, E. and Trevelyan, J. (2005) 'Wave interpolation finite elements for Helmholtz problems with jumps in the wave speed.', *Computer methods in applied mechanics and engineering.*, 194 (2-5). pp. 367-381.

Mahkamov, K. and Orda, E. P. (2005) 'Solar thermal water pumps : a preliminary analysis of the working process.', *Journal of solar energy engineering : transactions of the ASME.*, 127 (1). pp. 29-36.

Moffatt, S. and He, L. (2005) 'On decoupled and fully-coupled methods for blade forced response prediction.', *Journal of fluids and structures.*, 20 (2). pp. 217-234.

Perrey-Debain, E. and Trevelyan, J. and Bettess, P. (2005) 'On wave boundary elements for radiation and scattering problems with piecewise constant impedance.', *IEEE transactions on antennas and propagation.*, 53 (2). pp. 876-879.

Petit, D. and Faulkner, C. C. and Johnstone, S. and Wood, D. and Cowburn, R. P. (2005) 'Nanometer scale patterning using focused ion beam milling.', *Review of scientific instruments.*, 76 (2). 026105.

Scholes, S. C. and Unsworth, A. and Blamey, J. M. and Burgess, I. C. and Jones, E. and Smith, N. (2005) 'Design aspects of compliant, soft layer bearings for an experimental hip prosthesis.', *Proceedings of the I MECH E part H : journal of engineering in medicine.*, 219 (2). pp. 79-87.

Scott, R. H. and Whittle, R. T. (2005) 'Moment redistribution effects in beams.', *Magazine of concrete research.*, 57 (1). pp. 9-20.

Williams, G. L. and Seed, N. L. and Purvis, A. and Maiden, A. and McWilliam, R. and Ivey, P. A. and Johnson, S. (2005) 'Non-planar interconnect.', *Circuit world.*, 31 (2). pp. 10-14.

Ingram, G. and Gregory-Smith, D. G. and Harvey, N. W. (2005) 'Investigation of a novel secondary flow feature in a turbine cascade with end wall profiling.', *Journal of turbomachinery : transactions of the ASME.*, 127 (1). pp. 209-214.

Mabrook, M. F. and Pearson, C. and Petty, M. C. (2005) 'An inkjet-printed chemical fuse.', *Applied physics letters.*, 86 (1). 013507 .

Sabbuba, N. A. and Stickler, D. J. and Long, M. J. and Dong, Z. and Short, T. D. and Feneley, R. J. C. (2005) 'Does the valve-regulated release of urine from the bladder decrease encrustation and blockage of indwelling catheters by crystalline Proteus mirabilis biofilms ?', *The journal of urology.*, 173 (1). pp. 262-266.

Scott, R. H. and Beeby, A. W. (2005) 'Long term tension stiffening effects in concrete.', *ACI structural journal.*, 102 (1). pp. 31-39.

Spooner, E. and Gordon, P. and Bumby, J. R. and French, C. D. (2005) 'Lightweight ironless-stator PM generators for direct-drive wind turbines.', *IEE proceedings : electric power applications.*, 152 (1). pp. 17-26.

Vitanov, V. I. and Voutchkov, I. I. (2005) 'Process parameters selection for friction surfacing applications using intelligent decision support.', *Journal of materials processing technology.*, 159 (1). pp. 27-32.

Jonsson, P. and Krokhin, A. (2004) 'Complexity classification in qualitative temporal constraint reasoning.', *Artificial Intelligence.*, 160 (1-2). pp. 35-51.

Jonsson, P. and Krokhin, A. (2004) 'Recognizing frozen variables in constraint satisfaction problems.', *Theoretical computer science.*, 329 (1-3). pp. 93-113.

Kotsialos, A. and Papageorgiou, M. (2004) 'Efficiency and equity properties of freeway network-wide ramp metering with AMOC.', *Transportation research part C : emerging technologies.*, 12 (6). pp. 401-420.

Kotsialos, A. and Papageorgiou, M. (2004) 'Nonlinear optimal control applied to coordinated ramp metering.', *IEEE transactions on control systems technology.*, 12 (6). pp. 920-933.

Long, H. and Mynors, D. J. and Holland, P. and Standring, P. (2004) 'Knowledge-based process selection for rotationally symmetric and rotationally non-symmetric components in cold forming.', *Journal of materials processing technology.*, 153-54 . pp. 338-345.

Spooner, E. and Bumby, J. R. and Hamlaoui, M. N. and Mueller, M. A. (2004) 'Polynomial modelling of electromechanical devices : an efficient alternative to look-up tables.', *IEE proceedings : electric power applications.*, 151 (6). pp. 758-768.

Coates, G. and Duffy, A. H .B. and Whitfield, R. I. and Hills, W. (2004) 'Engineering management : operational design coordination.', *Journal of engineering design.*, 15 (5). pp. 433-446.

Boskovic, B. O. and Stolojan, V. and Zeze, D. A. and Forrest, R. D. and Silva, S. R. P. and Haq, S. (2004) 'Branched carbon nanofiber network synthesis at room temperature using radio frequency supported microwave plasmas.', *Journal of applied physics.*, 96 (6). pp. 3443-3446.

Long, H. (2004) 'Dimensional errors of cold formed components using FE simulation.', *Journal of materials processing technology.*, 151 (1-3). pp. 355-366.

Pechey, J. and Taylor, P. and Dixon, R. and Lawson, M. and Dinning, A. (2004) 'The role of medium voltage electrical system design in risk management for offshore wind farms.', *Wind engineering.*, 28 (5). pp. 489-502.

Bordewich, M. and Semple, C. and Talbot, J. (2004) 'Counting consistent phylogenetic trees is #P-complete.', *Advances in mathematics.*, 33 (2). pp. 416-430.

Ahn, J. H. and Wang, C. and Pearson, C. and Bryce, M. R. and Petty, M. C. (2004) 'Organic light-emitting diodes based on a blend of poly[2-(2-ethylhexyloxy)-5-methoxy-1,4-phenylenevinylene] and an electron transporting material.', *Applied physics letters.*, 85 (7). pp. 1283-1285.

Augarde, C. E. (2004) 'Generation of shape functions for rectangular plate elements.', *Communications in numerical methods in engineering.*, 20 (8). pp. 655-663.

Chen, G. J. and Gallipoli, D. (2004) 'Steady infiltration from buried point source into heterogeneous cross-anisotropic unsaturated soil.', *International journal for numerical and analytical methods in geomechanics.*, 28 (10). pp. 1033-1055.

Cohen, D. and Cooper, M. and Jeavons, P. and Krokhin, A. (2004) 'A maximal tractable class of soft constraints.', *Journal of artificial intelligence research.*, 22 . pp. 1-22.

Hilton, A. J. W. and Johnson, Matthew. (2004) 'Amalgamations of factorizations of complete equipartite graphs.', *Discrete mathematics.*, 284 (1-3). pp. 157-175.

Ran, L. and Liao, Y. (2004) 'Sampling-induced resonance in an encoderless vector-controlled induction motor drive.', *IEEE transactions on industrial electronics.*, 51 (3). pp. 551-557.

Wu, J. J. and Buckley, C. P. (2004) 'Plastic deformation of glassy polystyrene : a unified model of yield and the role of chain length.', *Journal of polymer science part B : polymer physics.*, 42 (11). pp. 2027-2040.

Orda, E. P. and Mahkamov, K. (2004) 'Development of 'low-tech' solar thermal water pumps for use in developing countries.', *Journal of solar energy engineering : transactions of the ASME.*, 126 (2). pp. 768-773.

Tavner, P. J. (2004) 'Cross magnetisation effects in electrical machines.', *IEE proceedings : electric power applications.*, 151 (3). pp. 249-259.

Bettess, P. (2004) 'Short wave scattering, problems and techniques.', *Philosophical transactions of the Royal Society A : mathematical, physical and engineering sciences.*, 362 (1816). 421 - 443.

Bumby, J. R. and Martin, R. and Mueller, M. A. and Spooner, E. and Brown, N. L. and Chalmers, B. J. (2004) 'Electromagnetic design of axial-flux permanent magnet machines.', *IEE proceedings : electric power applications.*, 151 (2). pp. 151-160.

Perrey-Debain, E. and Laghrouche, O. and Bettess, P. and Trevelyan, J. (2004) 'Plane-wave basis finite elements and boundary elements for three-dimensional wave scattering.', *Philosophical transactions of the Royal Society A : mathematical, physical and engineering sciences.*, 362 (1816). pp. 561-577.

Vassiliou, K. and Unsworth, A. (2004) 'Is the wear factor in total joint replacements dependent on the nominal contact stress in ultra-high molecular weight polyethylene contacts?', *Proceedings of the I MECH E part H : journal of engineering in medicine.*, 218 (2). pp. 101-107.

Giakos, G.C. and Fraiwan, L. and Patnekar, N. and Sumrain, S. and Mertzios, G.B. and Periyathamby, S. (2004) 'A sensitive optical polarimetric imaging technique for surface defects detection of aircraft turbine engines.', *IEEE transactions on instrumentation and measurement.*, 53 (1). pp. 216-222.

Gallant, A. J. and Wood, D. (2004) 'The role of fabrication techniques on the performance of widely tunable micromachined capacitors.', *Sensors and actuators A : physical.*, 110 (1-3). pp. 423-431.

Perrey-Debain, E. and Trevelyan, J. and Bettess, P. (2004) 'Wave boundary elements : a theoretical overview presenting applications in scattering of short waves.', *Engineering analysis with boundary elements.*, 28 (2). pp. 131-141.

Stockton, D. J. and Wang, Q. (2004) 'Developing cost models by advanced modelling technology.', *Proceedings of the I MECH E part B : journal of engineering manufacture.*, 218 (2). pp. 213-224.

Zeze, D. A. and Cox, D. C. and Weiss, B. L. and Silva, S. R. P. (2004) 'Lithography-free high aspect ratio submicron quartz columns by reactive ion etching.', *Applied physics letters.*, 84 (8). pp. 1362-1364.

Krokhin, A. and Jeavons, P. and Jonsson, P. (2004) 'Constraint satisfaction problems on intervals and lengths.', *SIAM journal on discrete mathematics.*, 17 (3). pp. 453-477.

Yang, H. and He, L. (2004) 'Experimental study on linear compressor cascade with three-dimensional blade oscillation.', *Journal of propulsion and power.*, 20 (1). pp. 180-188.

Hetherington, B. and Sims-Williams, D. B. (2004) 'Wind tunnel model support strut interference.', *SAE 2004 transactions : journal of passenger cars : mechanical systems.*, 113 (6). pp. 442-448.

Liao, Y. and Ran, L. and Putrus, G. A. and Smith, K. S. (2003) 'Evaluation of the effects of rotor harmonics in a doubly-fed induction generator with harmonic induced speed ripple.', *IEEE transactions on energy conversion.*, 18 (4). pp. 508-515.

Papageorgiou, M. and Diakaki, C. and Dinopoulou, V. and Kotsialos, A. and Wang, Y. (2003) 'Review of road traffic control strategies.', *Proceedings of the IEEE.*, 91 (12). pp. 2043-2067.

Coates, G. and Duffy, A. H. B. and Whitfield, I. and Hills, W. (2003) 'An integrated agent-oriented approach to real-time operational design coordination.', *Artificial intelligence for engineering design, analysis and manufacturing.*, 17 (4). pp. 287-311.

Snowdon, P. C. and Johnstone, S. and Dewey, S. (2003) 'Improving the probability of detection for a 2D ultrasonic array using digital signal processing techniques.', *Insight : non-destructive testing and condition monitoring.*, 45 (11). pp. 743-745.

Spooner, E. and Haydock, L. (2003) 'Vernier hybrid machines.', *IEE proceedings : electric power applications.*, 150 (6). pp. 655-662.

Toll, D. G. and Cubitt, A. C. (2003) 'Representing geotechnical entities on the world wide web.', *Advances in engineering software.*, 34 (11-12). pp. 729-736.

Lawson, A. A. and Dominy, R. G. and Sheppard, A. (2003) 'A comparison of on-track and wind tunnel surface pressure measurements on a compact SUV.', *SAE 2003 transactions : journal of passenger cars : mechanical systems.*, 112 (6). pp. 758-767.

Snowdon, P. C. and Johnstone, S. and Dewey, S. (2003) 'A 2D static ultrasonic array of passive probes for improved probability of detection.', *Nondestructive testing and evaluation.*, 19 (3). pp. 111-120.

Baghbani, A. and Gregory-Smith, D. G. (2003) 'A new infinite element for unbounded water wave problems.', *Applied ocean research.*, 25 (4). pp. 213-223.

Murray, A. K. and Cleland, D. J. and Gilbert, S. G. and Scott, R. H. (2003) 'Improved equivalent frame analysis method for flat plate structures in vicinity of edge columns.', *ACI structural journal.*, 100 (4). pp. 454-464.

Short, T. D. and Garside, J. A. and Appleton, E. A. (2003) 'Industry and the engineering student : a marriage made in heaven?', *Global journal of engineering education.*, 7 (1). pp. 77-86.

Short, T. D. and Thompson, P. (2003) 'Breaking the mould : solar water pumping - the challenges and the reality.', *Solar energy.*, 75 (1). pp. 1-9.

Spooner, E. and Chen, Z. (2003) 'Current source thyristor inverter and its active compensation system.', *IEE proceedings : generation, transmission and distribution.*, 150 (4). pp. 447-454.

Perrey-Debain, E. and Trevelyan, J. and Bettess, P. (2003) 'Use of wave boundary elements for acoustic computations.', *Journal of computational acoustics.*, 11 (2). pp. 305-321.

Whitfield, R. I. and Duffy, A. H. B. and Coates, G. and Hills, W. (2003) 'Efficient process optimization.', *Concurrent engineering : research and applications.*, 11 (2). pp. 83-92.

Elfick, A. P. D. and Green, S. M. and Krikler, S. and Unsworth, A. (2003) 'The nature and dissemination of UHMWPE wear debris retrieved from periprosthetic tissue of THR.', *Journal of biomedical materials research part A.*, 65A (1). pp. 95-108.

Paul, S. and Pearson, C. and Molloy, A. and Cousins, M. A. and Green, M. and Kolliopoulou, S. and Dimitrakis, P. and Normand, P. and Tsoukalas, D. and Petty, M. C. (2003) 'Langmuir-Blodgett film deposition of metallic nanoparticles and their application to electronic memory structures.', *Nano letters.*, 3 (4). pp. 533-536.

Perrey-Debain, E. and Trevelyan, J. and Bettess, P. (2003) 'Plane wave interpolation in direct collocation boundary element method for radiation and wave scattering : numerical aspects and applications.', *Journal of sound and vibration.*, 261 (5). pp. 839-858.

Augarde, C. E. and Lyamin, A. V and Sloan, S. W. (2003) 'Prediction of undrained sinkhole collapse.', *Journal of geotechnical and geoenvironmental engineering.*, 129 (3). pp. 197-205.

Liu, C. and Green, S. M. and Watkins, N. D. and Gregg, P. J. and McCaskie, A. W. (2003) 'A preliminary hip joint simulator study of the migration of a cemented femoral stem.', *Proceedings of the I MECH E part H : journal of engineering in medicine.*, 217 (2). pp. 127-135.

Long, H. and Lord, A. A. and Gethin, D. T. and Roylance, B. J. (2003) 'Operating temperatures of oil-lubricated medium-speed gears : numerical models and experimental results.', *Proceedings of the I MECH E part G : journal of aerospace engineering.*, 217 (2). pp. 87-106.

Schaefer, D. and Roller, D. (2003) 'Electrical engineering solutions : ECAD systeme der dritten generation.', *atp : automatisierungstechnische praxis.*, 45 (3). pp. 40-44.

Gallipoli, D. and Gens, A. and Sharma, R. and Vaunat, J. (2003) 'An elasto-plastic model for unsaturated soil incorporating the effects of suction and degree of saturation on mechanical behaviour.', *Géotechnique.*, 53 (1). pp. 123-136.

Gallipoli, D. and Wheeler, S. J. and Karstunen, M. (2003) 'Modelling the variation of degree of saturation in a deformable unsaturated soil.', *Géotechnique.*, 53 (1). pp. 105-112.

Short, T. D. and Oldach, R. (2003) 'Solar powered water pumps : the past, the present - and the future ?', *Journal of solar energy engineering : transactions of the ASME.*, 125 (1). pp. 76-82.

Toll, D. G. and Ong, B. H. (2003) 'Critical-state parameters for an unsaturated residual sandy clay.', *Géotechnique.*, 53 (1). pp. 93-103.

Short, T. D. and Burton, J. D. (2003) 'The benefits of induced flow solar powered water pumps.', *Solar energy.*, 74 (1). pp. 77-84.

Augarde, Dr. C.E. and Lyamin, A.V. and Sloan, S.W. (2003) 'Stability of an undrained plane strain heading revisited.', *Computers and geotechnics.*, 30 (5). pp. 419-430.

Boampong, D. K. and Green, S. M. and Unsworth, A. (2003) 'N+ ion implantation of Ti6Al4V alloy and UHMWPE for total joint replacement application.', *Journal of applied biomaterials and biomechanics.*, 1 . pp. 164-171.

Sims-Williams, D. B. and Duncan, B. D. (2003) 'The Ahmed model unsteady wake : experimental and computational analyses.', *SAE 2003 transactions : journal of passenger cars : mechanical systems.*, 112 (6). pp. 1385-1396.

Wang, Q. and Stockton, D. J. (2003) 'Artificial neural networks for improving the cost model development process.', *International journal for manufacturing science & production.*, 5 (1-2). pp. 91-94.

Kotsialos, A. and Papageorgiou, M. and Diakaki, C. and Pavlis, Y. and Middelham, F. (2002) 'Traffic flow modeling of large-scale motorway networks using the macroscopic modeling tool METANET.', *IEEE transactions on intelligent transportation systems.*, 3 (4). pp. 282-292.

Wheeler, S. J. and Gallipoli, D. and Karstunen, M. (2002) 'Comments on use of the Barcelona basic model for unsaturated soils.', *International journal for numerical and analytical methods in geomechanics.*, 26 (15). pp. 1561-1571.

Liu, C. and Green, S. M. and Watkins, N. D. and Gregg, P. J. and McCaskie, A. W. (2002) 'Creep behavior comparison of CMW1 and palacos R-40 clinical bone cements.', *Journal of materials science : materials in medicine.*, 13 (11). pp. 1021-1028.

Whitfield, R. I. and Duffy, A. H. B. and Coates, G. and Hills, W. (2002) 'Distributed design coordination.', *Research in engineering design.*, 13 (4). pp. 243-252.

He, L. and Chen, T. and Wells, R. G. and Li, Y. S. and Ning, W. (2002) 'Analysis of rotor-rotor and stator-stator interferences in multi-stage turbomachines.', *Transactions of the ASME : journal of turbomachinery.*, 124 (4). pp. 564-571.

Zeze, D.A . and Forrest, R. D. and Carey, J. D. and Cox, D. C. and Robertson, I. D. and Weiss, B. L. and Silva, S. R. P. (2002) 'Reactive ion etching of quartz and pyrex for micro electronic applications.', *Journal of applied physics.*, 92 (7). pp. 3624-3629.

Sims-Williams, D. B. and Dominy, R. G. and Howell, J. P. (2002) 'An investigation into large scale unsteady structures in the wake of real and idealized hatchback car models.', *SAE 2001 transactions : journal of passenger cars : mechanical systems.*, 110 (6). pp. 1197-1208.

Wu, J. J. and Buckley, C. P. and O'Connor, J. J. (2002) 'Mechanical integrity of compression-moulded ultra-high molecular weight polyethylene : effects of varying process conditions.', *Biomaterials.*, 23 (17). pp. 3773-3783.

Laghrouche, O. and Bettess, P. and Astley, R. J. (2002) 'Modelling of short wave diffraction problems using approximating systems of plane waves.', *International journal for numerical methods in engineering.*, 54 (10). pp. 1501-1533.

Wu, J. J. and Buckley, C. P. and O'Connor, J. J. (2002) 'Processing of ultra-high molecular weight polyethylene : modelling the decay of fusion defects.', *Chemical engineering research and design : official journal of the European federation of chemical engineering : part A.*, 80 (A5). pp. 423-431.

Qin, S. and He, J. and Qiu, Z. and Zhang, N. (2002) 'An algebraic hardware/software partitioning algorithm.', *Journal of computer science and technology.*, 17 (3). pp. 284-294.

Salous, S. and Gokalp, H. (2002) 'Dual-frequency sounder for UMTS frequency-division duplex channels.', *IEE proceedings : communications.*, 149 (2). pp. 117-122.

Wood, D. and Greener, V. and Hampshire, D. P. (2002) 'Physics : oxygen drips upwards from superconductors.', *Nature.*, 415 (6874). p. 860.

Zeze, D. A. and Silva, S. R. P. and Brown, N. M. D. and Joyce, A. M. and Anderson, C. A. (2002) 'Targeting mass-selected cluster ions for the deposition of advanced carbonaceous materials using an inductively coupled plasma.', *Journal of applied physics.*, 91 (4). pp. 1819-1827.

Krokhin, A. and Larose, B. (2002) 'A monoidal interval of isotone clones on a finite chain.', *Acta Scientiarum Mathematicarum.*, 68 (1-2). pp. 37-62.

Arikan, F. and Arikan, O. and Salous, S. (2002) 'A new algorithm for high-quality ionogram generation and analysis.', *Radio science.*, 37 (1). p. 1004.

Matthews, P. C. and Blessing, L. T. M. and Wallace, K. M. (2002) 'The introduction of a design heuristics extraction method.', *Advanced engineering informatics.*, 16 (1). pp. 3-19.

Ran, L. and Holdsworth, L. and Putrus, G. A. (2002) 'Dynamic selective harmonic elimination of a three-level inverter used for static VAr compensation.', *IEE proceedings : generation, transmission and distribution.*, 149 (1). pp. 83-89.

Tsaparas, I. and Rahardjo, H. and Toll, D. G. and Leong, E. C. (2002) 'Controlling parameters for rainfall-induced landslides.', *Computers and geotechnics.*, 29 (1). pp. 1-27.

Duncan, B. D. and Sengupta, R. and Mallick, S. and Sims-Williams, D. B. (2002) 'Numerical simulation and spectral analysis of pressure fluctuations in vehicle aerodynamic noise generation.', *SAE transactions 2002 : journal of passenger cars : mechanical systems.*, 111 (6). pp. 872-892.

Johnstone, S. and Peyton, A. J. (2001) 'The application of parametric 3D finite element modelling techniques to evaluate the performance of a magnetic sensor system.', *Sensors and actuators A : physical.*, 93 (2). pp. 109-116.

Bedford, G. M. and Vitanov, V. I. and Voutchkov, I. I. (2001) 'On the thermo-mechanical events during friction surfacing of high speed steels.', *Surface and coatings technology.*, 141 (1). pp. 34-39.

Elfick, A. P. D. and Smith, S. L. and Green, S. M. and Unsworth, A. (2001) 'The quantitative assessment of UHMWPE wear debris produced in hip simulator testing : the influence of head material and roughness, motion and loading.', *Wear : an international journal on the science and technology of friction, lubrication and wear.*, 249 (5-6). pp. 517-527.

Vitanov, V. I. and Voutchkov, I. I. and Bedford, G. M. (2001) 'Neurofuzzy approach to process parameter selection for friction surfacing applications.', *Surface and coatings technology.*, 140 (3). pp. 256-262.

Voutchkov, I. and Jaworski, B and Vitanov, V. I. and Bedford, G. M. (2001) 'An integrated approach to friction surfacing process optimisation.', *Surface and coatings technology.*, 141 (1). pp. 26-33.

Ning, W. and He, L. (2001) 'Some modeling issues on trailing-edge vortex shedding.', *AIAA journal.*, 39 (5). pp. 787-793.

Driessen, T. S. H. and Paulusma, Daniel (2001) 'Two extensions of the Shapley value for cooperative games.', *Mathematical methods of operations research.*, 53 (1). pp. 35-49.

Gregory-Smith, D. G. and Ingram, G. and Jayaraman, P. and Harvey, N. W. and Rose, M. G. (2001) 'Non-axisymmetric turbine end wall profiling.', *Proceedings of the I MECH E part A : journal of power and energy.*, 215 (6). pp. 721-734.

Gregory-Smith, D. G. and Crossland, S. C. (2001) 'Prediction of turbomachinery flow physics from CFD : review of recent computations of APPACET test cases.', *Task quarterly.*, 5 (4). pp. 407-432.

Malandraki, V. and Toll, D. G. (2001) 'Triaxial tests on weakly bonded soil with changes in stress path.', *Journal of geotechnical and geoenvironmental engineering.*, 127 (3). pp. 282-291.

Pandiaraj, K. and Taylor, P. and Jenkins, N. and Robb, C. (2001) 'Distributed load control of autonomous renewable energy systems.', *IEEE transactions on energy conversion.*, 16 (1). pp. 14-19.

Pearson, C. and Nagel, J. and Petty, M. C. (2001) 'Metal ion sensing using ultrathin organic films prepared by the layer-by-layer adsorption technique.', *Journal of physics D : applied physics.*, 34 (3). pp. 285-291.

Wu, J. J. and Buckley, C.P. and O'Connor., J. J (2001) 'The origin of fusion defects in ultra-high molecular weight polyethylene for joint replacement prostheses.', *Journal of materials science letters.*, 20 (5). pp. 473-475.

Bowden, M. and Gardiner, D. J. and Wood, D. and Burdess, J. and Harris, A. and Hedley, J. (2001) 'Raman and finite-element analysis of a mechanically strained silicon microstructure.', *Journal of micromechanics and microengineering.*, 11 (1). pp. 7-12.

Wang, Q. and Stockton, D. J. (2001) 'Cost model development using artificial neural networks.', *Aircraft engineering and aerospace technology.*, 73 (6). pp. 536-541.

Houlsby, G. T. and Liu, G. and Augarde, C.E. (2000) 'A tying scheme for imposing displacement constraints in finite element analysis.', *Communications in numerical methods in engineering.*, 16 (10). pp. 721-732.

Faigle, U. and Kern, W. and Paulusma, Daniel (2000) 'Note on the computational complexity of least core concepts for min-cost spanning tree games.', *Mathematical methods of operations research.*, 52 (1). pp. 23-38.

Dominy, R. G. and Ryan, A. and Sims-Williams, D. B. (2000) 'The aerodynamic stability of a Le Mans prototype race car under off-design pitch conditions.', *SAE 2000 transactions : journal of passenger cars : mechanical systems.*, 109 (6). pp. 1454-1460.

Ryan, A. and Dominy, R. G. (2000) 'Wake surveys behind a passenger car subjected to a transient cross-wind gust.', *SAE 2001 transactions : journal of passenger cars : mechanical systems.*, 109 (6). pp. 1461-1469.

## Book

Chin, W.-N. and Qin, S., eds. (2009) '3rd International Symposium on Theoretical Aspects of Software Engineering : 29-31 Jul 2009, Tianjin, China ; proceedings.', Los Alamitos, CA: IEEE.

Aldinger, Lars. and Alzaga, Aitor. and Baguley, Paul. and Bittner, Thomas. and Boër, Claudio. and Donna, Bossin. and Bramley, Alan. and Brissaud, Daniel. and Bünting, Frank. and Bufardi, Ahmed. and Chryssolouris, George. and Colledani, Marcello. and Dinkelmann, Max. and Dori, Dov. and Draghici, Gheorge. and Draghici, Anca. and Du Preez, Nicolaas Deetlefs. and Enparantza, Rafael. and Fischer, Anath. and Giess, Matt. and Grozav, Ion. and Haag, Holger. and Hayka, Haygazun. and Jovane, Francesco. and Kals, Hubert. and Kind, Christian. and Kjellberg, Torsten. and Komoto, Hitoshi. and Krause, Frank-Lothar. and Lutters, Eric. and Maropoulos, Paul. and Matthews, Peter C. and Mavrikios, Dimitris. and Molcho, Gila. and Monostori, László. and Niemann, Jörg. and Noel, Frédéric. and Nyqvist, Olof. and Paris, Henri. and Rogstrand, Victoria. and Romero, Ricardo. and Rothenburg, Uwe. and Roucoules, Lionel. and Sacco, Marco. and Salonitis, Konstantinos. and Schneor, Ronit. and Shpitalni, Moshe. and Shtub, Avraham. and Sivard, Gunilla. and Stavropoulos, Panagiotis. and Stolz, Marcus. and Te Riele, Freek L.S. and Tichkiewitch, Serge. and Tolio, Tullio. and Tomiyama, Tetsuo. and Toxopeus, Marten. and Turc, Cristian. and Urgo, Marcello. and Van Driel, Otto P. and Van Houten, Fred J.A.M. and Váncza, József. and Westkämper, Engelbert. and Xirouchakis, Paul. (2009) 'Design of sustainable product lifecycles.', Berlin: Springer.

Machowski, J. and Bialek, J. W. and Bumby, J. R. (2008) 'Power system dynamics : stability and control.', Oxford: John Wiley.

Schaefer, D. (2003) 'Variantentechnologie unter besonderer Beruecksichtigung von Elektrotechnik CAD.', Aachen, Germany: Shaker Verlag, p. 292. Berichte aus der Informatik.

Bettess, P. (1992) 'Infinite elements.', Sunderland: Penshaw Press.

## Book chapter

Mohid, M. and Miller, J.F. and Harding, S.L. and Tufte, G. and Lykkebo, O.R. and Massey, M.K. and Petty, M.C. (2014) 'Evolution-in-materio : solving function optimization problems using materials.', in *Computational Intelligence (UKCI) : 2014 14th UK Workshop on, 8-10 September 2014, Bradford, UK ; proceedings.* , pp. 1-8.

Coombs, W.M. and Crouch, R.S. (2014) 'Fabric anisotropy & DEM informed two-surface hyperplasticity : constitutive formulation, asymptotic states & experimental validation.', in *Geomechanics from micro to macro : IS-Cambridge 2014, 1-3 September, Cambridge, UK ; proceedings.* , pp. 777-782.

Akrida, E.C. and Gasieniec, L. and Mertzios, G.B. and Spirakis, P.G. (2014) 'Ephemeral networks with random availability of links : diameter and connectivity.', in *Proceedings of the 26th ACM symposium on Parallelism in algorithms and architectures.* New York, NY, USA: Association for Computing Machinery, pp. 267-276.

Weinzierl, Tobias and Wittmann, Roland and Unterweger, Kristof and Bader, Michael and Breuer, Alexander and Rettenberger, Sebastian (2014) 'Hardware-aware block size tailoring on adaptive spacetree grids for shallow water waves.', in *HiStencils 2014 - Proceedings of the 1st international workshop on high-performance stencil computations.* , pp. 57-64. HiPEAC.

Díaz, J. and Mertzios, G.B. (2014) 'Minimum bisection is NP-hard on unit disk graphs.', in *Mathematical foundations of computer science 2014 : 39th international symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, part II.* Berlin, Heidelberg: Springer, pp. 251-262. Lecture notes in computer science. (8635).

Felsner, S. and Knauer, K. and Mertzios, G.B. and Ueckerdt, T. (2014) 'Intersection graphs of L-shapes and segments in the plane.', in *Mathematical foundations of computer science 2014 : 39th international symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, part II.* Berlin, Heidelberg: Springer, pp. 299-310. Lecture notes in computer science. (8635).

Mertzios, G.B. and Nikoletseas, S. and Raptopoulos, C. and Spirakis, P.G. (2014) 'Determining majority in networks with local interactions and very small local memory.', in *Automata, languages, and programming : 41st international colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, proceedings, part I.* Berlin, Heidelberg: Springer, pp. 871-882. Lecture notes in computer science. (8572).

Chen, Bindi and Song, W.W. and Qiu, Y.N. and Feng, Y. and Tavner, P.J. (2013) 'Knowledge-based information systems : a wind farm case study.', in *Information systems development.* , pp. 539-550.

Paulusma, Daniel and Slivovksy, F. and Szeider, S. (2013) 'Model counting for CNF formuals of bounded module treewidth.', in *30th International Symposium on Theoretical Aspects of Computer Science (STACS 2013).* Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, pp. 55-66. Leibniz International Proceedings in Informatics (LIPIcs).

Felsner, S. and Mertzios, G.B. and Mustata, I. (2013) 'On the recognition of four-directional orthogonal ray graphs.', in *Mathematical foundations of computer science 2013 : 38th international symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings.* Berlin, Heidelberg: Springer, pp. 373-384. Lecture notes in computer science. (8087).

Mertzios, G.B. (2013) 'The recognition of simple-triangle graphs and of linear-interval orders is polynomial.', in *Algorithms - ESA 2013 : 21st annual European symposium, Sophia Antipolis, France, September 2-4, 2013. Proceedings.* Berlin, Heidelberg: Springer, pp. 719-730. Lecture notes in computer science. (8125).

Mertzios, G.B. and Michail, O. and Chatzigiannakis, I. and Spirakis, P.G. (2013) 'Temporal network optimization subject to connectivity constraints.', in *Automata, languages, and programming : 40th international colloquium, ICALP 2013, Riga, Latvia, July 8 - 12, 2013, proceedings, part II.* Berlin, Heidelberg: Springer, pp. 657-668. Lecture notes in computer science. (7966).

Mertzios, G.B. and Spirakis, P.G. (2013) 'Algorithms and almost tight results for 3-colorability of small diameter graphs.', in *SOFSEM 2013 : theory and practice of computer science : 39th international conference on current trends in theory and practice of computer science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings.* Berlin, Heidelberg: Springer, pp. 332-343. Lecture notes in computer science. (7741).

Mertzios, G.B. and Spirakis, P.G. (2013) 'Strong bounds for evolution in networks.', in *Automata, languages, and programming : 40th international colloquium, ICALP 2013, Riga, Latvia, July 8 - 12, 2013, proceedings, part II.* Berlin, Heidelberg: Springer, pp. 669-680. Lecture notes in computer science. (7966).

Chiu, W.-Y. and Sun, Hongjian and Poor, H. V. (2012) 'Demand-side energy storage system management in smart grid.', in *Smart grid communications (SmartGridComm), 2012 IEEE third International conference on.* , pp. 73-78. Durham Energy Institute.

Zhang, C. and Budgen, D. and Drummond, S. (2012) 'Using a follow-on survey to investigate why use of the visitor, singleton and facade patterns is controversial.', in *6th International Symposium on Empirical Software Engineering and Measurement (ESEM'12) ; proceedings.* New York: ACM Press, pp. 79-88.

Budgen, D. and Drummond, S. and Brereton, P. and Holland, N. (2012) 'What scope is there for adopting evidence-informed teaching in software engineering ?', in *34th International Conference on Software Engineering ICSE 2012, 2-9 June 2012, Zurich, Switzerland ; proceedings.* , pp. 1205-1214.

Anuta, Oghenetejiri H. and Crossland, Andrew F. and Jones, Darren and Wade, Neal S. (2012) 'Regulatory and financial hurdles for the installation of energy storage in UK distribution networks.', in *CIRED 2012 workshop : integration of renewables into the distribution grid.* . Durham Energy Institute.

Diaz, J. and Goldberg, L.A. and Mertzios, G.B. and Richerby, D. and Serna, M. and Spirakis, P.G. (2012) 'Approximating fixation probabilities in the generalized moran process.', in *Proceedings of the Twenty-Third Annual ACM-SIAM Symposium on Discrete Algorithms, Kyoto, Japan, January 17-19, 2012.* Philadelphia, US: Society for Industrial and Applied Mathematics, pp. 954-960.

Belmonte, R. and van 't Hof, P. and Kaminski, M. and Paulusma, Daniel and Thilikos, D.M. (2012) 'Characterizing graphs of small carving-width.', in *Combinatorial optimization and applications : 6th International Conference, COCOA 2012, 5-9 August 2012, Banff, AB, Canada ; proceedings.* Berlin ; Heidelberg: Springer, pp. 360-370. Lecture notes in computer science. (7402).

Biró, P. and Bomhoff, M. and Golovach, P.A. and Kern, W. and Paulusma, Daniel (2012) 'Solutions for the stable rommates problem with payments.', in *Graph-theoretic concepts in computer science : 38th International Workshop, WG 2012, Jerusalem, Israel, 26-28 June 2012 ; revised selected papers.* Berlin ; Heidelberg: Springer, 69-80 . Lecture notes in computer science., 7551 (9551).

Golovach, P.A and Kratsch, D. and Paulusma, Daniel (2012) 'Detecting induced minors in AT-free graphs.', in *Algorithms and computation : 23rd International Symposium, ISAAC 2012, Taipei, Taiwan, 19-21 December 2012 ; proceedings.* Berlin ; Heidelberg: Springer, pp. 495-505. Lecture notes in computer science., 7676 (7676).

Golovach, P.A. and Heggernes, P. and van 't Hof, P. and Manne, F. and Paulusma, Daniel and Pilipczuk, M. (2012) 'How to eliminate a graph.', in *Graph-theoretic concepts in computer science: 38th international workshop, WG 2012, Jerusalem, Israel, June 26-28, 2012, revised selected papers.* Berlin ; Heidelberg: Springer, 320-331 . Lecture notes in computer science. (7551).

Golovach, P.A. and Lidicky, B. and Martin, B. and Paulusma, Daniel (2012) 'Finding vertex-surjective graph homomorphisms.', in *Computer science : theory and applications : 7th International Computer Science Symposium in Russia, CSR 2012, 3-7 July 2012, Nizhny Novgorod, Russia ; proceedings.* Berlin Heidelberg: Springer, pp. 160-171. Lecture notes in computer science. (7353).

Golovach, P.A. and Paulusma, Daniel and Ries, B. (2012) 'Coloring graphs characterized by a forbidden subgraph.', in *Mathematical foundations of computer science 2012 : 37th International Symposium, MFCS 2012, Bratislava, Slovakia, 27-31 August 2012 ; proceedings.* Berlin ; Heidelberg: Springer, 443-454 . Lecture notes in computer science., 7464 (7464).

Golovach, P.A. and Paulusma, Daniel and Song, J. (2012) '4-Coloring H-free graphs when H is small.', in *Theory and practice of computer science : 38th Conference on Current trends in theory and practice of computer science, SOFSEM 2012, Špindlerův Mlýn, Czech Republic, 21-27 January 2012 ; proceedings.* Berlin ; Heidelberg: Springer, pp. 289-300. Lecture notes in computer science. (7147).

Golovach, P.A. and Paulusma, Daniel and Song, J. (2012) 'Closing complexity gaps for coloring problems on H-free graphs.', in *Algorithms and computation : 23rd International Symposium, ISAAC 2012, Taipei, Taiwan, 19-21 December 2012 ; proceedings.* Berlin ; Heidelberg: Springer, pp. 14-23. Lecture notes in computer science., 7676 (7676).

Golovach, P.A. and Paulusma, Daniel and van Leeuwen, E.J. (2012) 'Induced disjoint paths in AT-free graphs.', in *Algorithm Theory : 13th Scandinavian Symposium and Workshops, SWAT 2012, Helsinki, Finland, 4-6 July 2012 ; proceedings.* Berlin ; Heidelberg: Springer, pp. 153-164. Lecture notes in computer science. (7357).

Golovach, P.A. and Paulusma, Daniel and van Leeuwen, E.J. (2012) 'Induced disjoint paths in claw-free graphs.', in *Algorithms, 20th Annual European Symposium, ESA 2012, Ljubljana, Slovenia, 10-12 September 2012 ; proceedings.* Berlin ; Heidelberg: Springer, pp. 515-526. Lecture notes in computer science. (7501).

Golovach, P.A. and van 't Hog, P. and Paulusma, Daniel (2012) 'Obtaining planarity by contracting few edges.', in *Mathematical foundations of computer science 2012 : 37th international symposium, MFCS 2012, Bratislava, Slovakia, 27-31 August 2012 ; proceedings.* Berlin ; Heidelberg: Springer, pp. 455-466. Lecture notes in computer science. (7464).

Mertzios, G.B. and Nikoletseas, S. and Raptopoulos, C. and Spirakis, P.G. (2011) 'Natural models for evolution on networks.', in *Internet and network economics : 7th international workshop, WINE 2011, 11-14 December 2011 ; proceedings.* Berlin, Heidelberg: Springer, pp. 290-301. Lecture notes in computer science. (7090).

Mertzios, G.B. and Shalom, M. and Wong, P.W.H. and Zaks, S. (2011) 'Online regenerator placement.', in *Principles of distributed systems, OPODIS 2011, 15th International Conference, 13-16 December 2011, Toulouse, France ; proceedings.* Berlin, Heidelberg: Springer, pp. 4-17. Lecture notes in computer science. (7109).

Smith, S. P. and Burd, E. L. and Ma, L and Alagha, I. and Hatch, A. (2011) 'Relative and absolute mappings for rotating remote 3D objects on multi-touch tabletops.', in *25th BCS Conference on Human-Computer Interaction, BCS-HCI '11, 4-8 July 2011, Newcastle-upon-Tyne, Electronic Workshops in Computing (eWiC) ; proceedings.* Swindon: BCS, pp. 299-308.

Belmonte, R. and Golovach, P.A. and Heggernes, P. and Hof van 't, P. and Kaminski, M. and Paulusma, Daniel (2011) 'Finding contractions and induced minors in chordal graphs via disjoint paths.', in *Algorithms and Computation, 22nd International Symposium, ISAAC 2011, Yokohama, Japan, 5-8 December 2011 ; proceedings.* Berlin: Springer, pp. 110-119. Lecture notes in computer science. (7074).

Berenbrink, Petra and Cooper, Colin and Friedetzky, Tom and Friedrich, Tobias and Sauerwald, Thomas (2011) 'Randomized diffusion for indivisible loads.', in *Proceedings of the Twenty-Second Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2011, San Francisco, California, USA, January 23-25, 2011.* Philadelphia, Penn.: Society for Industrial and Applied Mathematics (SIAM), pp. 429-439.

Bindi, Chen and Qiu, Y.N and Feng, Y. and Tavner, P.J. and Song, W.W. (2011) 'Wind turbine SCADA alarm pattern recognition.', in *IET Conference on Renewable Power Generation 2011 (RPG 2011).* , pp. 363-368. IET Conference Publications. (579).

Couturier, J.F. and Golovach, P.A. and Kratsch, D. and Paulusma, Daniel (2011) 'List coloring in the absence of a linear forest.', in *Graph-theoretic concepts in computer science, 37th International Workshop, WG 2011, Teplá Monastery, Czech Republic, June 21-24, 2011 ; revised papers.* Berlin: Springer, pp. 119-130. Lecture notes in computer science. (6986).

Golovach, P.A. and Kaminski, M. and Paulusma, Daniel (2011) 'Contracting a chordal graph to a split graph or a tree.', in *Mathematical Foundations of Computer Science 2011, 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011 ; proceedings.* Berlin: Springer, pp. 339-350. Lecture notes in computer science. (6907).

Golovach, P.A. and Paulusma, Daniel and Song, J. (2011) 'Coloring graphs without short cycles and long induced paths.', in *Fundamentals of computation theory, 18th International Symposium (FCT 2011), 22-25 August 2011, Oslo, Norway ; proceedings.* Berlin: Springer, pp. 193-204. Lecture notes in computer science. (6914).

Golovach, P.A. and Paulusma, Daniel and Song, J. (2011) 'Computing vertex-surjective homomorphisms to partially reflexive trees.', in *Computer Science : Theory and Applications, 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011 ; proceedings.* Berlin: Springer, pp. 261-274. Lecture notes in computer science. (6651).

Lourenço, S. D. N. and Gallipoli, D. and Toll, D.G. and Augarde, C.E. and Evans, F.D. (2011) 'Advances in tensiometer-based suction control systems.', in *Unsaturated soils.* The Netherlands: CRC Press/Balkema , pp. 695-700.

Martin, B. and Paulusma, Daniel (2011) 'The computational complexity of disconnected cut and 2K2-partition.', in *Principles and practice of constraint programming, 17th International Conference, CP 2011, 12-16 September 2011, Perugia, Italy ; proceedings.* Berlin: Springer, pp. 561-575. Lecture notes in computer science. (6876).

Mertzios, G.B. (2011) 'An intersection model for multitolerance graphs : efficient algorithms and hierarchy.', in *Twenty-Second Annual ACM-SIAM Symposium on Discrete Algorithms, 23-25 January 2011, San Francisco ; proceedings.* Philadelphia: Society for Industrial and Applied Mathematics, pp. 1306-1317.

Mertzios, G.B. (2011) 'The recognition of triangle graphs.', in *28th International Symposium on Theoretical Aspects of Computer Science, STACS 2011, 10-12 March 2011, Dortmund, Germany ; proceedings.* Dagstuhl, Germany: Schloss Dagstuhl, pp. 591-602. Leibniz International Proceedings in Informatics (LIPIcs). (9).

Ordyniak, S. and Paulusma, Daniel and Szeider, S. (2011) 'Satisfiability of acyclic and almost acyclic CNF formulas (II).', in *Theory and Applications of Satisfiability Testing - SAT 2011, 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011 ; proceedings.* Berlin: Springer, pp. 47-60. Lecture notes in computer science. (6695).

Mertzios, G.B. and Zaks, S. (2010) 'On the intersection of tolerance and cocomparability graphs.', in *Algorithms and Computation, 21st International Symposium, ISAAC 2010, 15-17 December 2010, Jeju Island, Korea ; proceedings Part I.* Berlin, Heidelberg: Springer, pp. 230-240. Lecture notes in computer science. (6506).

Javadi, A.A. and Johari, A. and Ahangar-Asr, A. and Faramarzi, A. and Toll, D.G. and Khalili, N. (2010) 'Prediction of the behaviour of unsaturated soils using evolutionary polynomial regression : an incremental approach.', in *Unsaturated soils.* The Netherlands: CRC Press/Balkema, pp. 837-842.

Dent, C. J. and Keane, A. and Bialek, J. W. (2010) 'Simplified methods for renewable generation capacity credit calculation : a critical review.', in *Power and energy society general meeting, 2010 IEEE.* , 1 - 8.

Mertzios, G.B. and Sau, I. and Shalom, M. and Zaks, S. (2010) 'Placing regenerators in optical networks to satisfy multiple sets of requests.', in *Automata, Languages and Programming : 37th International Colloquium, ICALP 2010, 6-10 July 2010, Bordeaux, France ; proceedings, Part II.* Berlin, Heidelberg: Springer, pp. 333-344. Lecture notes in computer science. (6199).

Gate, J. and Stewart, I. A. (2010) 'Frameworks for logically classifying polynomial-time optimisation problems.', in *5th International Computer Science Symposium in Russia, CSR 2010, 16-20 June 2010, Kazan, Russia ; proceedings.* Berlin: Springer, pp. 120-131. Lecture notes in computer science. (6072).

Johnson, M. and Patel, V. and Paulusma, Daniel and Trunck, T. (2010) 'Obtaining online ecological colourings by generalizing first-fit.', in *Computer science : theory and applications : 5th International Computer Science Symposium in Russia, CSR, 16-20 June 2010, Kazan, Russia ; proceedings.* Berlin ; Heidelberg: Springer, pp. 240-251. Lecture notes in computer science. (6072).

Dent, C.J. and Bell, K.R.W. and Richards, A.W. and Zachary, S. and Eager, D. and Harrison, G.P. and Bialek, J.W. (2010) 'The role of risk modelling in the Great Britain transmission planning and operational standards.', in *Probabilistic methods applied to power systems (PMAPS), 2010 IEEE 11th international conference on.* , 325 - 330.

Mertzios, G.B. and Sau, I. and Zaks, S. (2010) 'A new intersection model and improved algorithms for tolerance graphs.', in *Graph-theoretic concepts in computer science : 35th international workshop, WG 2009, 24-26 June 2009, Montpellier, France ; revised papers.* Berlin, Heidelberg: Springer, pp. 285-295. Lecture notes in computer science. (5911).

Williams, R. and Ingram, G. and Gregory-Smith, D. (2010) 'Large tip clearance flows in two compressor cascades.', in *ASME Turbo Expo 2010 : Power for land, sea and air, 14-18 June 2010, Glasgow ; proceedings.* New York: American Society of Mechanical Engineers, pp. 391-402.

Stewart, I. A. (2010) 'A general algorithm for detecting faults under the comparison diagnosis model.', in *2010 IEEE International Symposium on Parallel and Distributed Processing IPDPS, 19-23 April 2010, Atlanta GA, ; proceedings.* , pp. 1-9.

Mertzios, G.B. and Sau, I. and Zaks, S. (2010) 'The recognition of tolerance and bounded tolerance graphs.', in *27th International Symposium on Theoretical Aspects of Computer Science, STACS 2010, 4-6 March 2010 ; proceedings.* Dagstuhl, Germany: Schloss Dagstuhl , pp. 585-596. Leibniz International Proceedings in Informatics (LIPICS)., 5

Bialek, J. W. (2010) 'Critical interrelations between ICT and electricity system.', in *Securing electricity supply in the cyber age : exploring the risks of Information and communication technology in tomorrow's electricity infrastructure.* , pp. 53-70. Topics in safety, risk, reliability and quality. (15).

Biro, P. and Kern, W. and Paulusma, Daniel (2010) 'On solution concepts for matching games.', in *Theory and applications of mdels of computation, 7th Annual Conference, TAMC 2010, 7-11 June 2010, Prague, Czech Republic ; proceedings.* Berlin ; Heidelberg: Springer, pp. 211-221. Lecture notes in computer science. (6108).

Chalopin, J. and Paulusma, Daniel (2010) 'Packing bipartite graphs with covers of complete bipartite graphs.', in *Algorithms and complexity, 7th International Conference, CIAC 2010, 26-28 May 2010, Rome, Italy ; proceedings.* Berlin ; Heidelberg: Springer, 276-287 . Lecture notes in computer science. (6078).

Fiala, J. and Kaminski, M. and Lidicky, B. and Paulusma, Daniel (2010) 'The k-in-a-path problem for claw-free graphs.', in *27th International symposium on theoretical aspects of computer science, STACS 2010, 4-6 March 2010 ; proceedings.* Saarbrücken, Germany: Dagstuhl, 371-382 . Leibniz international proceedings in informatics. (5).

Golovach, P.A. and Lidicky, B. and Paulusma, Daniel (2010) 'L(2,1,1)-labeling is NP-complete for trees.', in *Theory and applications of mdels of computation, 7th Annual Conference, TAMC 2010, 7-11 June 2010, Prague, Czech Republic ; proceedings.* Berlin ; Heidelburg: Springer, pp. 211-221. Lecture notes in computer science. (6108).

Hof van 't, P. and Kaminski, M. and Paulusma, Daniel and Szeider, S. and Thilikos, D.M. (2010) 'On contracting graphs to fixed pattern graphs.', in *Theory and Practice of Computer Science, 36th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2010, Špindleruv Mlýn, Czech Republic, 23-29 January 2010 ; proceedings.* Berlin ; Heidelburg: Springer, pp. 503-514. Lecture notes in computer science. (5901).

Ivrissimtzis, Ioannis (2010) 'Effects of noise on quantized triangle meshes.', in *Mathematical methods for curves and surfaces : 7th International Conference, MMCS 2008, 26 June - 1 July, 2008, Tønsberg, Norway ; revised selected papers.* Berlin ; Heidelberg: Springer, pp. 274-284. Lecture notes in computer science. (5862).

Kaminski, M. and Paulusma, Daniel and Thilikos, D.M. (2010) 'Contractions of planar graphs in polynomial time.', in *Algorithms : ESA 2010 : 18th Annual European Symposium, 6-8 September 2010, Liverpool UK ; proceedings part I.* Berlin ; Heidelberg: Springer, pp. 122-133. Lecture notes in computer science. (6346).

Krokhin, A. and Marx, D. (2010) 'On the hardness of losing weight.', in *ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming.* Berlin, Heidelberg : Springer-Verlag , pp. 662-673. Lecture notes in computer science. (5125).

Broersma, H. J. and Fomin, F. V. and Hof van 't, P. and Paulusma, Daniel (2009) 'Fast exact algorithms for hamiltonicity in claw-free graphs.', in *Graph-theoretic concepts in computer science : 35th International Workshop, WG 2009, 24-26 June 2009, Montpellier, France ; revised papers.* Berlin: Springer, pp. 44-53. Lecture notes in computer science. (5911).

Golovach, P. A. and Kaminski, M. and Paulusma, Daniel and Thilikos, D. M. (2009) 'Induced packing of odd cycles in a planar graph.', in *Algorithms and computation : 20th International Symposium, ISAAC 2009, 16-18 December 2009, Honolulu, Hawaii, USA ; proceedings.* Berlin: Springer, pp. 514-523. Lecture notes in computer science. (5878).

Hof van 't, P. and Kaminski, M. and Paulusma, Daniel (2009) 'Finding induced paths of given parity in claw-free graphs.', in *Graph-theoretic concepts in computer science.* Berlin: Springer, pp. 341-352. Lecture notes in computer science. (5911).

Ito, T. and Kaminski, M. and Paulusma, Daniel and Thilikos, D. M. (2009) 'Parameterizing cut sets in a graph by the number of their components.', in *Algorithms and computation : 20th International Symposium, ISAAC 2009, 16-18 December 2009, Honolulu, Hawaii, USA ; proceedings.* Berlin: Springer, pp. 605-615. Lecture notes in computer science. (5878).

Paulusma, Daniel and van Rooij , J. M. M. (2009) 'On partitioning a graph into two connected subgraphs.', in *Algorithms and computation : 20th International Symposium, ISAAC 2009, 16-18 December 2009, Honolulu, Hawaii, USA ; proceedings.* Berlin: Springer, pp. 1215-1224. Lecture notes in computer science. (5878).

Xiang, Y. and Stewart, I.A. (2009) 'Pancyclicity and panconnectivity in augmented k-ary n-cubes.', in *15th International Conference on Parallel and Distributed Systems, ICPADS, 8-11 December 2009, Shenzhen, China ; proceedings.* Los Alamitos, CA: IEEE, pp. 308-315.

Broersma, H. J. and Fomin, F. V. and Golovach, P. A. and Paulusma, Daniel (2009) 'Three complexity results on coloring Pk-free graphs.', in *Combinatorial algorithms : 20th InternationalWorkshop, IWOCA 2009, 28 June - 2 July 2009, Hradec nad Moravicí, Czech Republic ; revised selected papers.* Berlin: Springer, pp. 95-104. Lecture notes in computer science. (5874).

Broersma, H. J. and Kratsch, D. and Woeginger, G. J. (2009) 'Fully decomposable split graphs.', in *Combinatorial algorithms : 20th International Workshop, IWOCA 2009, 28 June - 2 July 2009, Hradec nad Moravicí, Czech Republic ; revised selected papers.* Heidelberg: Springer, pp. 105-112. Lecture notes in computer science. (5874).

Xiang, Y. and Stewart, I. A. (2009) 'Pancyclicity in faulty k-ary 2-cubes.', in *Proceedings of the 21st IASTED International Conference on Parallel and Distributed Computing and Systems PDCS, 2-4 November, Cambridge, Massachusetts.* , pp. 77-84.

He, G. and Qin, S. and Luo, C. and Chin , W.-N. (2009) 'Memory usage verification using Hip/Sleek.', in *Automated technology for verification and analysis : 7th International Symposium, ATVA 2009, 14-16 October, 2009, Macao, China ; proceedings.* Berlin: Springer, pp. 166-181. Lecture notes in computer science. (5799).

Hof, P. van 't and Paulusma, Daniel and Rooij, J. M. M. van (2009) 'Computing role assignments of chordal graphs.', in *Fundamentals of computation theory.* Heidelberg: Springer, pp. 193-204. Lecture notes in computer science. (5699).

Zhang, Y. and Gallipoli, D. and Augarde, C. E. (2009) 'Parallel hybrid particle swarm optimization and applications in geotechnical engineering.', in *Advances in computation and intelligence.* Berlin: Springer, pp. 466-475. Lecture notes in computer science. (5821).

Hof, P. van 't and Paulusma, Daniel and Woeginger, G. J. (2009) 'Partitioning graphs into connected parts.', in *Computer science - theory and applications.* Heidelberg: Springer, pp. 143-154. Lecture notes in computer science. (5675).

Ioannidou, K. and Mertzios, G.B. and Nikolopoulos, S.D. (2009) 'The longest path problem is polynomial on interval graphs.', in *Mathematical foundations of computer science 2009 34th international symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009 : proceedings.* Berlin, Heidelberg: Springer, pp. 403-414. Lecture notes in computer science. (5734).

Lavery, Janet. (2009) 'Evolution of an induction programme.', in *10th Annual Conference of the Subject Centre for Information and Computer Sciences, 25-27 August 2009, Canterbury, England ; proceedings.* Newtownabbey, Co Antrim: Higher Education Academy Subject Centre for Information and Computer Science, pp. 35-39.

Dantchev, Stefan. and Friedetzky, Tom. and Nagel, Lars. (2009) 'Sublinear-time algorithms for tournament graphs.', in *Computing and combinatorics : 15th Annual International Conference, COCOON 2009, 13-15 July 2009, Niagara Falls, NY, USA ; proceedings.* Berlin: Springer , pp. 459-471. Lecture notes in computer science. (5609).

Abbasi, N. and Gunashekar, S. D. and Warrington, E. M. and Salous, S. and Feeney, S. M. and Bertel, L. and Lemur, D. and Oger, M. (2009) 'Capacity estimation of HF-MIMO systems.', in *11th International Conference on Ionospheric Radio Systems and Techniques, IRST 2009, 28-30 April 2009, Edinburgh, Scotland ; proceedings.* Herts, UK: IET.

Feeney, S. M. and Salous, S. and Warrington, E. M. and Gunashekar, S. D. and Abbasi, N. and Bertel, L. and Lemur, D. and Oger, M. (2009) 'Compact antenna arrays for HF MIMO applications.', in *11th International Conference on Ionospheric Radio Systems and Techniques, IRST 2009, 28-30 April 2009, Edinburgh, Scotland ; proceedings.* Herts, UK: IET, pp. 1-5.

Bagshaw, David and Ingram, Grant and Gregory-Smith, David and Atkins, W. S. (2009) 'Vorticity development in highly loaded cascade blades.', in *8th European Conference on Turbomachinery : fluid dynamics and thermodynamics (EUROTURBO 8), 23-27 March 2009, Graz, Austria ; proceedings.* Graz, Austria: Verlag der TU Graz, pp. 1277-1287.

Craciun, F. and Chin, W.-N. and He, G. and Qin, S. (2009) 'An interval-based inference of variant parametric types.', in *Programming languages and systems : 18th European Symposium on Programming, ESOP 2009 : held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, 22-29 March, 2009 ; proceedings.* Berlin: Springer, pp. 112-127. Lecture notes in computer science. (5502).

Williams, Richard and Gregory-Smith, David and Ingram, Grant (2009) 'Large tip clearances and highly skewed inlet conditions.', in *8th European Conference on Turbomachinery : fluid dynamics and thermodynamics (EUROTURBO 8), 23-27 March 2009, Graz, Austria ; proceedings.* Graz, Austria: Verlag der TU Graz, pp. 355-366.

Liversedge, S. P. and Holliman, N. S. and Blythe, H. I. (2009) 'Binocular coordination in response to stereoscopic stimuli.', in *Stereoscopic displays and applications XX.* Bellingham, WA: SPIE Press, 72370M. Proceedings of SPIE. (7327).

Geldart, J. and Song, W. (2008) 'A web of active knowledge.', in *4th International Conference on Semantics, Knowledge and Grid, SKG '08, 3-5 December 2008, Beijing, China ; proceedings.* Los Alamitos, CA: IEEE, pp. 465-468.

Luo, C. and He, G. and Qin, S. (2008) 'A heap model for Java bytecode to support separation logic.', in *15th Asia-Pacific Software Engineering Conference, 2-5 December 2008, Beijing, China ; proceedings.* Los Alamitos, CA: IEEE, pp. 127-134.

Craciun, F. and Qin, S. and Chin, W.-N. (2008) 'A formal soundness proof of region-based memory management for object-oriented paradigm.', in *Formal methods and software engineering : 10th International Conference on Formal Engineering Methods, ICFEM 2008, 27-31 October 2008, Kitakyushu-City, Japan ; proceedings.* Berlin: Springer, pp. 126-146. Lecture notes in computer science. (5256).

Fragaki, A. and Alexander, D. and Jones, P. and Lannon, S. and Smith, A. (2008) 'Input dataflow management for the simulation of community energy use.', in *25th Passive and Lower Energy Architecture International Conference (PLEA 2008), Dublin, Ireland, 22-24 October 2008 ; proceedings.* Dublin, Ireland: University College Dublin.

Jones, D. and McWilliam, R. and Purvis, A. (2008) 'Mimicking morphogenesis for robust behaviour of cellular architectures.', in *Proceedings of World Academy of Science, Engineering and Technology International Conference on Biosciences and Bioengineering 2008, 29-31 October 2008, Venice, Italy.* , pp. 59-61.

Lavery, Janet. and Low, Adam. (2008) 'Concept mapping in lectures.', in *9th Annual Conference of the Subject Centre for Information and Computer Sciences : 26-28 August 2008, Liverpool, UK ; proceedings.* Newtownabbey, Co Antrim: Higher Education Academy Subject Centre for Information and Computer Science, pp. 76-81.

Don, Liam and Ivrissimtzis, Ioannis (2008) 'Multicolour sketch recognition in a learning environment.', in *1st IEEE International Conference on Ubi-Media Computing, 15-16 July 2008, Lanzhou, China ; proceedings.* Los Alamitos, CA: IEEE, pp. 441-443.

Carvalho, C. and Dalmau, V. and Krokhin, A. (2008) 'Caterpillar duality for constraint satisfaction problems.', in *23rd Annual IEEE Symposium on Logic in Computer Science, 24-27 June 2008, Pittsburgh, Pennsylvania ; proceedings.* Los Alamitos, CA: IEEE, pp. 307-316.

Chin, W.-N. and Nguyen, H. H. and Popeea, C. and Qin, S. (2008) 'Analysing memory resource bounds for low-level programs.', in *2008 International Symposium on Memory Management, ISMM’08, 7-8 June 2008, Tucson, AZ ; proceedings.* New York: Association for Computing Machinery, pp. 151-160.

Luo, C. and Qin, S. and Qiu, Z. (2008) 'Verifying BPEL-like programs with Hoare logic.', in *2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2008, 17-19 June 2008, Nanjing, China; proceedings.* Los Alamitos, CA: IEEE, pp. 151-158.

Williams, Richard and Gregory-Smith, David and He, Li and Ingram, Grant (2008) 'Experiments and computations on large tip clearance effects in a linear cascade.', in *ASME Turbo Expo 2008 : power for land, sea and air, 9-13 June 2008, Berlin, Germany ; proceedings.* New York: American Society of Mechanical Engineers, GT2008.

Broersma, H.J. and Paulusma, Daniel (2008) 'Computing sharp 2-factors in claw-free graphs.', in *Mathematical foundations of computer science 2008, 33rd International Symposium, MFCS 2008, 25-29 August 2008, Toru´n, Poland ; proceedings.* Berlin ; Heidelberg: Springer, pp. 193-204. Lecture notes in computer science. (5162).

Bulatov, A. and Krokhin, A. and Larose, B. (2008) 'Dualities for constraint satisfaction problems.', in *Complexity of constraints : an overview of current research themes.* Berlin: Springer, pp. 93-124. Lecture notes in computer science. (5250).

Carvalho, C. and Dalmau, V. and Krokhin, A. (2008) 'Caterpillar duality for constraint satisfaction problems.', in *Logic in computer science : 23rd Annual IEEE Symposium, LICS 2008, 24-27 June 2008, Pittsburgh, PA ; proceedings.* Washington D.C.: IEEE, 307 -316 .

Catalano, Chiara and Ivrissimtzis, Ioannis and Nasri, Ahmad (2008) 'Subdivision surfaces and applications.', in *Shape analysis and structuring.* Berlin: Springer, pp. 115-143. Mathematics and visualization.

Fiala, J. and Paulusma, Daniel (2008) 'Comparing universal covers in polynomial time.', in *Computer science – theory and applications, Third International Computer Science Symposium in Russia, CSR 2008, 7-12 June 2008, Moscow, Russia ; proceedings.* Berlin ; Heidelberg: Springer, pp. 158-167. Lecture notes in computer science. (5010).

Hof, P. van 't and Paulusma, Daniel (2008) 'A new characterization of P6-free graphs.', in *Computing and combinatorics, 14th Annual International Conference, COCOON 2008, 27-29 June 2008 Dalian, China ; proceedings.* Berlin ; Heidelberg: Springer, pp. 415-424. Lecture notes in computer science. (5092).

Pollit, M. and Bialek, J. W. (2008) 'Electricity network investment and regulation for a low-carbon future.', in *Delivering a low-carbon electricity system : technologies, economics and policy.* Cambridge: Cambridge University Press, pp. 183-207. Department of Applied Economics occasional papers. (68).

Cereceda, Luis and van den Heuvel, Jan and Johnson, Matthew (2007) 'Mixing 3-colourings in bipartite graphs.', in *Graph-theoretic concepts in computer science.* Berlin: Springer, pp. 166-177. Lecture notes in computer science. (4769).

Chin, W.-N. and David, C. and Nguyen, H. H. and Qin, S. (2007) 'Multiple pre/post specifications for heap-manipulating methods.', in *IEEE International Symposium on High Assurance Systems Engineering : 14-16 November 2007, Dallas, Texas ; proceedings..* Los Alamitos, CA: IEEE, pp. 357-364.

Jaquin, P.A. and Augarde, C.E. and Gerrard, C.M. (2007) 'Historic rammed earth structures in Spain : construction techniques and a preliminary classification.', in *Proceedings of International Symposium on Earthen Structures 2007.* Bangalore, India: Interline Publishing.

Chin, W.-N. and David, C. and Nguyen, H.H. and Qin, S. (2007) 'Automated verification of shape, size and bag properties.', in *12th IEEE International Conference on Engineering of Complex Computer Systems, 11-14 Jul 2007, Auckland, New Zealand ; proceedings.* Los Alamitos, CA: IEEE, pp. 307-320.

Matthews, P. C. and Coates, G. (2007) 'Stochastic based pre-emptive planning and scheduling.', in *IET International Conference on Agile Manufacturing, ICAM, 9-11 July 2007, Durham, UK.* , pp. 203-211.

Qin, S. and He, G. (2007) 'Linking Object-Z with Spec#.', in *12th IEEE International Conference on Engineering of Complex Computer Systems, 11-14 Jul 2007, Auckland, New Zealand ; proceedings.* Los Alamitos, CA: IEEE, pp. 185-196.

Wang, H. and Qin, S. and Sun, J. and Dong, J. S. (2007) 'Realizing live sequence charts in SystemVerilog.', in *1st Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering : June 6-8 2007, Shanghai ; proceedings.* Los Alamitos, CA: IEEE , pp. 379-388.

Lomas, C. D. .W and Maropoulos, P. G. and Matthews, P. C. (2007) 'Implementing digital enterprise technologies for agile design in the virtual enterprise.', in *Digital enterprise technology : perspectives and future challenges.* , pp. 177-184.

Matthews, P.C. (2007) 'Bayesian networks for engineering design decision support.', in *2007 International Conference of Data Mining and Knowledge Engineering, ICDMKE07, 2-4 July 2007, London, UK ; proceedings.* Hong Kong: International Association of Engineers, pp. 284-289.

Nguyen, H. H. and David, C. and Qin, S. and Chin, W.-N. (2007) 'Automated verification of shape and size properties via separation logic.', in *Proceeding of the 8th international conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2007).* Berlin: Springer, pp. 251-266. Lecture notes in computer science. (4349).

Smith, Shamus P. and Willans, James S. (2006) 'Virtual object specification for usable virtual environments.', in *20th Conference of the Computer-Human Interaction Special Interest Group of Australia on Computer-Human Interaction, 20-24 November 2006, Sydney, Australia ; proceedings.* New York: Association for Computing Machinery, pp. 183-190. ACM conference proceedings. (206).

Lavery, Janet. and Burd, Liz. and Hodgson, Brendan. (2006) 'Getting sustainable development into the curriculum.', in *7th Annual Conference of the Higher Education Academy Subject Centre for Information and Computer Sciences : 29-31 August 2006, Dublin, Ireland ; proceedings.* Newtownabbey, Co Antrim: Higher Education Academy Subject Centre for Information and Computer Science, pp. 23-28.

Dong, J. S. and Hao, P. and Zhang, X. and Qin, S. (2006) 'HighSpec : a tool for building and checking OZTA models.', in *28th International Conference on Software Engineering, 20-28 May 2006, Shanghai, China ; proceedings.* , pp. 775-778.

Ivey, P.A. and McWilliam, R. and Maiden, A. and Williams, G.L. and Purvis, A. and Seed, N.L. (2006) 'Photolithography on three dimensional substrates.', in *56th Electronic Components and Technology Conference, 30 May-2 June 2006, San Diego, California ; proceedings.* New York: IEEE, pp. 283-288.

Zhu, H. and Qin, S. and He, J. and Bowen, J. (2006) 'Integrating probability with time and shared-variable concurrency.', in *30th Annual IEEE/NASA Software Engineering Workshop, SEW-30, 24-28 April 2005, Columbia, Maryland ; proceedings.* Los Alamitos, CA: IEEE, pp. 179-189.

Broersma, Hajo and Johnson, Matthew and Paulusma, Daniel and Stewart, Iain A. (2006) 'The computational complexity of the parallel knock-out problem.', in *LATIN 2006 : theoretical informatics.* Heidelberg: Springer Berlin, pp. 250-261. Lecture notes in computer science. (3887).

He, J. and Qin, S. and Sherif, A. (2006) 'Constructing property-oriented models for verification.', in *Unifying theories of programming : first international symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006 : revised selected papers.* Berlin: Springer, pp. 85-100. Lecture notes in computer science. (4010).

Gallipoli, D. and Toll, D. G. and Augarde, C. E. and Tarantino, A. and De Gennaro, V. and Vaunat, J. and Wheeler, S. and Mancuso, C. (2006) 'The MUSE Network : sharing research expertise on unsaturated soils across Europe.', in *4th International Conference on Unsaturated Soils ; 2-5 April, 2006, Carefree, AZ, USA.; proceedings.* Reston, Virginia: American Society of Civil Engineers. Geotechnical special publication., 189 (147).

Dong, J. S. and Hao, P. and Qin, S. and Zhang, X. (2005) 'The semantics and tool support of OZTA.', in *Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, 1-4 November, 2005, Manchester, UK ; proceedings.* Berlin: Springer , pp. 66-80. Lecture notes in computer science. (3785).

Chin, W.-N. and Nguyen, H. H. and Qin, S. and Rinard, M. C. (2005) 'Memory usage verification for OO programs.', in *Static analysis : 12th International Symposium, SAS 2005, 7-9 September 2005, London, UK ; proceedings.* Berlin: Springer, pp. 70-86. Lecture notes in computer science. (3672).

Matthews, P.C. (2005) 'Machine learning stochastic design models.', in *15th International Conference on Engineering Design, ICED05, 15-18 August 2005, Melbourne, Australia ; proceedings.* Melbourne, Australia: Design Society, DS35_29.44.

Matthews, P.C. and Keegan, J.D. and Robson, J.R. (2005) 'Development of a simple information pump.', in *Proceedings of the International Conference on Engineering Design.* Melbourne, Australia: Design Society, DS35_28.44.

Krokhin, A. and Bulatov, A. and Jeavons, P. (2005) 'The complexity of constraint satisfaction : an algebraic approach.', in *Structural theory of automata, semigroups, and universal algebra.* Dordrecht, The Netherlands: Springer Netherlands, pp. 181-213. NATO science series II : mathematics, physics, chemistry. (207).

Koungelis, D. K. and Augarde, C. E. (2004) 'Interaction between multiple tunnels in soft ground.', in *Developments in mechanics of structures & materials : proceedings of the 18th Australasian Conference on the Mechanics of Structures and Materials, Perth, Australia, 1-3 December 2004.* London: Taylor & Francis, pp. 1031-1036. Developments in mechanics of structures and materials., 2

He, J. and Liu, Z. and Li, X. and Qin, S. (2004) 'A relational model for object-oriented designs.', in *Programming languages and systems : Second Asian Symposium, APLAS 2004, 4-6 November 2004, Taipei, Taiwan ; proceedings.* Berlin: Springer, pp. 415-436. Lecture notes in computer science. (3302).

Viet-Anh, T. V. and Qin, S. and Chin, W.-N. (2004) 'An automatic mapping from Statecharts to Verilog.', in *Theoretical computing : 1st International Colloquium, ICTAC 2004, 20-24 September 2004, Guiyang, China ; revised selected papers.* Berlin: Springer , pp. 187-203. Lecture notes in computer science. (3407).

Simpson, B. (2004) 'Localising a brave new world : new reproductive technologies and the politics of fertility in contemporary Sri Lanka.', in *Reproductive agency, medicine and the State.* New York and Oxford: Berghahn, pp. 43-58.

Bennett, K. H. and Layzell, P. J. and Zhu, F. and Brereton, O. P. and Budgen, D. and Keane, J. and Kotsiopoulos, I. and Russell, M. and Turner, M. and Rigby, M. (2004) 'Using web service technologies to create an information broker : an experience report.', in *26th International Conference on Software Engineering, ICSE 2004, 23-28 May 2004, Edinburgh, Scotland ; proceedings.* New York: IEEE, pp. 552-561.

Dong, J. S. and Qin, S. and Sun, J. (2004) 'Generating MSCs from an integrated formal specification language.', in *Integrated Formal Methods : 4th International Conference, IFM 2004, 4-7 April 4 2004, Canterbury, UK : proceedings.* Berlin: Springer , pp. 168-186. Lecture notes in computer science., 2999

Dalmau, V. and Krokhin, A. and Larose, B. (2004) 'First-order definable retraction problems for posets and reflexive graphs.', in *19th annual IEEE symposium on logic in computer science, LICS'04, 13-17 July 2004, Turku, Finland ; proceedings.* , pp. 232-241.

Dong, J. S. and Hao, P. and Qin, S. and Sun, J. and Wang, Y. (2004) 'Timed patterns : TCOZ to timed automata.', in *Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, 8-12 November 2004, Seattle, WA, USA. ; proceedings.* Berlin: Springer , pp. 483-498. Lecture notes in computer science. (3308).

Karras, D.A. and Mertzios, G.B. (2004) 'Discretization schemes and numerical approximations of PDE impainting models and a comparative evaluation on novel real world MRI reconstruction applications.', in *2004 IEEE International Workshop on Imaging Systems and Techniques (IST) : 14 May 2004, Stresa, Italy ; proceedings.* Piscataway, N.J.: IEEE, pp. 153-158.

Long, Q. and Qiu, Z. and Qin, S. (2003) 'The equivalence of statecharts.', in *Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, 5-7 November 2003, Singapore ; proceedings.* Berlin: Springer , pp. 125-143. Lecture notes in computer science. (2885).

Qin, S. and Chin, W. N. (2003) 'Mapping statecharts to Verilog for hardware/software co-specification.', in *FME 2003 : formal methods : International Symposium of Formal Methods Europe, 8-14 September 2003, Pisa, Italy: proceedings.* Berlin: Springer, pp. 282-299. Lecture notes in computer science. (2805).

Krokhin, A. and Bulatov, A. and Jeavons, P. (2003) 'Functions of multiple-valued logic and the complexity of constraint satisfaction : a short survey.', in *33rd international symposium on multiple-valued logic, ISMVL'03, 16-19 May 2003, Meiji University, Tokyo, Japan ; proceedings.* , pp. 343-351.

Krokhin, A. and Larose, B. (2003) 'Solving order constraints in logarithmic space.', in *20th Annual Symposium on Theoretical Aspects of Computer Science, STACS 2003, 27 February-1 March 1 2003 ; proceedings.* Berlin ; Heidelberg: Springer, pp. 379-390. Lecture notes in computer science. (2607).

Augarde, C. E. (2003) 'Numerical models in soft ground tunnelling.', in *Progress in civil and structural engineering computing.* Stirling: Saxe-Coburg , pp. 285-314.

Giakos, G.C. and Patnekar, N. and Sumrain, S. and Fraiwan, L. and Kumar, V. and Mertzios, G.B. (2003) 'A novel multipath dispersion reduction technique based on controlled-polarization optical wireless link set-up.', in *Instrumentation and Measurement Technology, 20th Annual Conference, IMTC '03, 20-22 May 2003, Colorado, USA ; proceedings.* New York: IEEE, pp. 1622-1626.

Scholes, S. C. and Smith, S. L. and Ash, H. and Unsworth, A. (2002) 'The lubrication and friction of conventional UHMWPE novel compliant layer and hard bearing surfaces for use in total hip prostheses.', in *Friction, lubrication and wear of artificial joints.* , pp. 59-74.

Qin, S. and He, J. and Qiu, Z. and Zhang, N. (2002) 'Hardware/software partitioning in Verilog.', in *Formal methods and software engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002, 21-25 October 2002, Shanghai, China ; proceedings.* Berlin: Springer, pp. 168-179. Lecture notes in computer science. (2495).

Johnson, K. L. and Younger, P. L. (2002) 'Hydrogeological and geochemical consequences of the abandonment of Frazer's Grove carbonate hosted Pb/Zn fluorspar mine, North Pennines, UK.', in *Mine water and the environment.* London: Geological Society, pp. 347-365. Geological Society special publication., 198

Crouch, R. S. (2002) 'Finite element non-linear dynamic soil-fluid-structure interaction.', in *Engineering computational technology.* Stirling: Saxe-Coburg, pp. 121-146.

Bennett, K. H. and Rajlich, V. T. and Wilde, N. (2002) 'Software evolution and the staged model of the software lifecycle.', in *Advances in computers.* Toronto: Academic Press, pp. 1-54. Advances in Computers., 56

Roller, D. and Eck, O. and Rieg, B. and Schaefer, D. (2002) 'Representation and conversion of dimension units in CAD data models.', in *From knowledge intensive CAD to knowledge intensive engineering.* Boston, US: Kluwer, pp. 91-102.

Bulatov, A. and Krokhin, A. and Jeavons, P. (2001) 'The complexity of maximal constraint languages.', in *Proceedings of the 33rd annual ACM symposium on theory of computing.* New York: Association for Computing Machinery, pp. 667-674. Annual ACM symposium on theory of computing. (STOC '01).

Qin, S. and He, J. (2001) 'Partitioning program into hardware and software.', in *8th Asia-Pacific Software Engineering Conference, APSEC 2001, 4-7 December 2001, Macao, China ; proceedings.* Los Alamitos, CA: IEEE, pp. 309-316.

Qin, S. and Qiu, Z. and He, J. (2001) 'Constructing hardware/software interface using protocol converters.', in *2nd Asia-Pacific Conference on Quality Software, 10-11 December 2000, Hong Kong ; proceedings.* Los Alamitos, CA: IEEE, pp. 141-148.

Qin, S. and He, J. (2000) 'An algebraic approach to hardware/software partitioning.', in *7th IEEE International Conference on Electronics, Circuits and Systems, ICECS 2000 : 17-20 December 2000, Jounieh, Lebanon ; proceedings.* Piscataway, New Jersey: IEEE, pp. 273-276.

Stewart, I. A. (1999) 'A perspective on Lindström quantifiers and oracles.', in *Generalized quantifiers and computation : 9th European Summer School in Logic, Language, and Information ESSLLI’97 Workshop, 11-22 August 1997, Aix-en-Provence, France ; revised lectures.* Berlin: Springer, pp. 51-71. Lecture notes in computer science. (1754).

## Conference item

Dent, C.J. and Zachary, S. (2014) 'Further results on the probability theory of capacity value of additional generation.', *International Conference on Probabilistic Methods Applied to Power Systems (PMAPS)* Durham, England, 7-10 July 2014.

Chen, Bindi and Matthews, P.C. and Tavner, P.J. (2013) 'Automated wind turbine pitch fault prognosis using ANFIS.', *EWEA 2013* Vienna, Austria, 4-7 February 2013.

Chen, Bindi and Tavner, P.J. and Feng, Y. and Song, W.W. and Qiu, Y.N. (2012) 'Bayesian network for wind turbine fault diagnosis.', *EWEA 2012* Copenhagen, Denmark, 16-19 April 2012.

Lang, Peter and Wade, Neal and Taylor, Philip and Jones, Peter and Larsson, Tomas (2011) 'Early findings of an energy storage practical demonstration.', *21st International Conference on Electricity Distribution* Frankfurt, Germany, 6-9 June 2011.

Dent, C.J and Bialek, J.W. and Hasche, B. and Keane, A. (2010) 'Application of wind generation capacity credits in the Great Britain and Irish systems.', *CIGRE 2010* Paris.

Matthews, P. C. (2010) 'Comparing stochastic design decision belief models : pointwise versus interval probabilities.', *4th International Conference on Design Computing and Cognition DCC'10* Stuttgart, Germany, 12-14 July 2010.

Liu, Ling and Munro, Malcolm and Song, William (2010) 'Evaluation of collecting reviews in centralized online reputation systems.', *6th International Conference on Web Information Systems and Technologies, WEBIST.* Valencia, Spain, 7-10 April 2010.

Kaye, David and Ivrissimtzis, Ioannis (2010) 'Implicit surface reconstruction and feature detection with a learning algorithm.', *Theory and Practice of Computer Graphics* Sheffield, UK, 6-8 Sep 2010.

Mertzios, G.B. (2009) 'Fast convergence of routing games with splittable flows.', *International Conference on Theoretical and Mathematical Foundations of Computer Science (TMFCS- 09)* Orlando, Florida, 13-16 July 2009.

Mertzios, G.B. and Unger, W. (2009) 'A parameterized algorithm for the preemptive scheduling of equal-length jobs.', *International Conference on Theoretical and Mathematical Foundations of Computer Science (TMFCS-09)* Orlando, Florida, 16-19 July 2009.

Long, H. and Hamilton, S. (2008) 'Simulation of effects of material deformation on thickness variation in conventional spinning.', *9th International Conference on Technology of Plasticity.* Gyeongju, South Korea, 7-11 Sept 2008.

Lourenço, S. D. N. and Toll, D. G. and Augarde, C. E. and Gallipoli, D. and Congreve, A. and Smart, T. and Evans, F. D. (2008) 'Observations of unsaturated soils by Environmental Scanning Electron Microscopy in dynamic mode.', *1st European Conference on Unsaturated Soils, E-UNSAT 2008* Durham, UK, 2-4 July 2008.

Yoon, Mincheol and Ivrissimtzis, Ioannis and Lee, Seungyong (2008) 'Self-organising maps for implicit surface reconstruction.', *6th Theory and Practice of Computer Graphics* Manchester, UK, 9-11 Jun 2008.

Augarde, C. E. and Crouch, R. S. and Li, T. and Ramage, A. (2008) 'The effects of geotechnical material properties on the convergence of iterative solvers.', *12th IACMAG* Goa, India, 1-6 October 2008.

Jaquin, P. A. and Augarde, C. E. and Legrand, L. (2008) 'Unsaturated characteristics of rammed earth materials.', *1st European Conference on Unsaturated Soils, E-UNSAT 2008* Durham, UK, 2-4 July 2008.

Mertzios, G.B. and Unger, W. (2008) 'An optimal algorithm for the k-fixed-endpoint path cover on proper interval graphs.', *19th International Workshop on Combinatorial Algorithms (IWOCA)* Nagoya, Japan, 13-15 May 2008.

Mertzios, G.B. and Unger, W. (2008) 'The friendship problem on graphs.', *1st International Conference on Relations, Orders and Graphs : Interaction with Computer Science (ROGICS)* Mahdia, Tunisia, 12-17 May 2008.

Matthews, P. C. and Coates, G. (2007) 'Pre-emptive concurrent design planning and scheduling.', *16th International Conference on Engineering Design* Paris, 28-31 Aug 2007 .

Mendes, J. and Gallipoli, D. and Augarde, C. E. and Toll, D. G. and Medero, G. (2007) 'Suction measurements of a sandy-clay soil with the filter paper technique.', *6th Brazilian Symposium of Unsaturated Soils, NSAT2007* Salvador, Brazil, 22-24 Aug 2007.

Zhang, Y. and Gallipoli, D. and Augarde, C. (2007) 'Parallel computing of unsaturated soils using element-by-element and domain decomposition methods.', *Proceedings of the 3rd Asian conference on unsaturated soils* Nanjing, China, 21-23 April 2007.

McWilliam, R. and Purvis, A. and Johnson, S. and Maiden, A. and Williams, G. and Seed, L. and Ivey, P. (2006) 'Non-planar photolithography using digital holograms.', *Frontiers in Optics 2006 : Laser Science XXII* Rochester, New York, 8-12 October 2006.

Gregory-Smith, D. G. and Williams, R. W. and He, L. (2006) 'A study of large tip clearance flows in an axial compressor cascade.', *ASME turbo expo : power for land, sea, and air 2006* Barcelona, Spain, 8-11 May 2006.

Curry, R. and Johnson, S. (2005) 'A versatile low power integrated circuit for the recording and analysis of in-vivo and in-vitro neural signals.', *PRIME 2005.* Lausanne, Switzerland, 25-28 July 2005.

Wang, Q. and Maropoulos, P. (2005) 'Artificial neural networks as a cost engineering methods in collaborative manufacturing environment.', *12th ISPE International Conference on Concurrent Engineering : Research and Applications.* Fort Worth/Dallas, USA.

Bennett, K. H. and Layzell, P. J. and Zhu, F. and Breretona, O. P. and Budgena, D. and Keane, J. and Russell, M. and Kotsiopoulos, I. and Turner, M. and Xu, J. and Rigby, M. (2004) 'Dynamic data integration using web services.', *IEEE International Conference on Web Services.* San Diego, 6-9 July 2004.

Legge, D. and Baxendale, P. R. (2004) 'The strategic control of an ant-based routing system using neural net q-learning agents.', *AISB 2004 Convention : motion, emotion and cognition.* Leeds, England.

Augarde, Dr. C.E. and Jaquin, P.A. and Gerrard, Dr. C.M. (2004) 'Analysis of Tapial structures for modern use and conservation.', *Structural analysis of historical constructions.* Padua, Italy, 10-13 November 2004.

Legge, D. and Baxendale, P. R. (2003) 'An agent managed ant-based network control system.', *AISB 2003.* Aberystwyth, Wales, 7-11 Jul 2003.

Matthews, P. C. and Lowe, D. R. (2003) 'Inducing change propagation models using previous designs.', *14th International Conference on Engineering Design* Stockholm, 19-21 August 2003 .

Matthews, P. C. and Wallace, K. M. (2003) 'Using self organizing maps as a design exploration tool.', *14th International Conference on Engineering Design* Stockholm, 19-21 August 2003 .

Yang, E. Y. and Xu, J. and Bennett, K. H. (2002) 'Private information retrieval in the presence of malicious failures.', *26th Annual International Computer Software and Applications Conference, 2002.* Oxford, England, 26-29 August 2002.

Gregory-Smith, D. G. and Hartland, J. H. (2002) 'A design method for the profiling of end walls in turbines.', *ASME turbo expo 2002 : land, sea and air* Amsterdam, The Netherlands, 3-6 June 2002.

Gregory-Smith, D. G. and Ingram, I. and Rose, M. G. and Harvey, N. and Brennan, G. (2002) 'The effect of end-wall profiling on secondary flow and loss development in a turbine cascade.', *ASME turbo expo 2002 : land, sea and air* Amsterdam, The Netherlands, 3-6 June 2002.

Ingram, G. and Gregory-Smith, D. and Rose, M. and Harvey, N. and Brennan, G. (2002) 'The effect of end-wall profiling on secondary flow and loss development in a turbine cascade.', *ASME Turbo Expo 2002 : land, sea and air (GT2002).* Amsterdam, The Netherlands.

Legge, D. N. and Baxendale, P. R. (2002) 'An agent-based network management system.', *AISB 2002.* London, England.

Matthews, P. C. and Langdon, P. M. and Wallace, K. M. (2001) 'New techniques for design knowledge exploration : a comparison of three data grouping approaches.', *13th International Conference on Engineering Design* Glasgow, 21-23 Aug 2001.

## Monograph

Chen, B. and Zappalá, D. and Crabtree, C.J. and Tavner, P.J. (2014) 'Survey of commercially available SCADA data analysis tools for wind turbine health monitoring.', Technical Report. Durham University School of Engineering and Computing Sciences.

Crabtree, C.J. and Zappalá, D. and Tavner, P.J. (2014) 'Survey of commercially available condition monitoring systems for wind turbines.', Technical Report. Durham University School of Engineering and Computing Sciences and the SUPERGEN Wind Energy Technologies Consortium.

Dent, C. J. and Bialek, J. W. and Zachary, S. (2010) 'NETS SQSS fundamental review : April consultation response.', Technical Report. Durham University.

Swift, J. S. and Wilson, D. (2004) 'TCS final report : University of Durham and Stephenson Gobin Ltd.', Project Report. UNSPECIFIED.

Swift, J.S. and Watson, W. (2003) 'TCS final report : University of Durham and Pipeline Engineering & Supply Co. Ltd.', Project Report. UNSPECIFIED.

Swift, J.S. and Stainton, D. (2002) 'TCS final report : University of Durham and Castle Labelling Ltd.', Project Report. UNSPECIFIED, Durham.

List was generated at **Sun Nov 23 03:28:21 2014 GMT**.