Home > Research > Publications & Outputs
  1. Published

    Improving a constructive heuristic for the general routing problem

    Boyacı, B., Dang, T. & Letchford, A., 31/01/2023, In: Networks. 81, 1, p. 93-106 14 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  2. Published

    A Matheuristic Approach for Finding Effective Base Locations and Team Configurations for North West Air Ambulance

    Boyacı, B., Nayeem, M. A. & Kheiri, A., 8/07/2021, GECCO '21: Proceedings of the Genetic and Evolutionary Computation Conference Companion. Chicano, F. (ed.). New York: ACM, p. 1817-1824 8 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  3. Published

    An optimization framework for the development of efficient one-way car-sharing systems

    Boyacı, B., Geroliminis, N. & Zografos, K. G., 24/04/2013.

    Research output: Contribution to conference - Without ISBN/ISSN Conference paperpeer-review

  4. Published

    Exploring the effect of variability of urban systems characteristics in the network capacity

    Boyacı, B. & Geroliminis, N., 1/09/2010. 27 p.

    Research output: Contribution to conference - Without ISBN/ISSN Conference paperpeer-review

  5. Published

    Handling User-based Relocations in One-way Carsharing Systems Considering User Acceptance Rates

    Boyacı, B., Bekli, S. & Zografos, K. G., 28/04/2023.

    Research output: Contribution to conference - Without ISBN/ISSN Abstractpeer-review

  6. Published

    Fast upper and lower bounds for a large-scale real-world arc routing problem

    Boyacı, B., Dang, T. & Letchford, A., 31/01/2023, In: Networks. 81, 1, p. 107-124 18 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  7. Published

    Optimizing vehicle and personnel relocations in one-way car-sharing systems with reservations

    Boyacı, B., Zografos, K. G. & Geroliminis, N., 12/07/2015.

    Research output: Contribution to conference - Without ISBN/ISSN Abstract

  8. Published

    An optimization framework for the development of efficient one-way car-sharing systems

    Boyaci, B., Zografos, K. & Geroliminis, N., 1/02/2015, In: European Journal of Operational Research. 240, 3, p. 718-733 16 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  9. Published

    Approximation methods for large-scale spatial queueing systems

    Boyaci, B. & Geroliminis, N., 1/04/2015, In: Transportation Research Part B: Methodological. 74, p. 151-181 31 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  10. Published

    An integrated optimization-simulation framework for vehicle and personnel relocations of electric carsharing systems with reservations

    Boyaci, B., Zografos, K. G. & Geroliminis, N., 01/2017, In: Transportation Research Part B: Methodological. 95, p. 214-237 24 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  11. Published

    Approximate solution methods for the capacitated multi-facility Weber problem

    Boyaci, B., Altinel, I. K. & Aras, N., 01/2013, In: IIE Transactions. 45, 1, p. 97-120 24 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  12. Published

    Photoelectrophoresis of colloidal semiconductors. Part 2.—Transient experiments on TiO2 particles

    BOXALL, C. & KELSALL, G. H., 1991, In: Journal of the Chemical Society. Faraday Transactions Part 2. 87, 21, p. 3547-3556 10 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  13. Published

    Photoelectrophoresis of colloidal semiconductors. Part 1.—The technique and its applications

    BOXALL, C. & KELSALL, G. H., 7/11/1991, In: Journal of the Chemical Society, Faraday Transactions. 87, 21, p. 3537-3545 9 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  14. Published

    HYPOCHLORITE ELECTROGENERATION .2. THERMODYNAMICS AND KINETIC-MODEL OF THE ANODE REACTION LAYER

    BOXALL, C. & KELSALL, G. H., 1992, ELECTROCHEMICAL ENGINEERING AND THE ENVIRONMENT 92. RUGBY: INST CHEMICAL ENGINEERS, p. 59-70 12 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  15. Published

    Photoelectrophoresis of colloidal semiconductors part III. Transient experiments on SnO2 particles

    BOXALL, C. & KELSALL, G. H., 1/07/1992, In: Journal of Electroanalytical Chemistry. 328, 1-2, p. 75-97 23 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  16. Published

    The electrophoresis of semiconductor particles

    BOXALL, C., 04/1994, In: Chemical Society Reviews. 23, 2, p. 137-145 9 p.

    Research output: Contribution to Journal/MagazineLiterature reviewpeer-review

  17. Published

    Surface Decontamination by Photocatalysis

    Boxall, C., Wilbraham, R., Taylor, R. J. & Woodbury, S., 2012, In: MRS Online Proceedings Library. 1383, 7 p., mrsf11-1383-a07-07.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  18. Published

    Photoelectrophoresis of colloidal iron oxides .2. Magnetite (Fe3O4)

    Boxall, C., Kelsall, G. & Zhang, Z., 7/03/1996, In: Journal of the Chemical Society, Faraday Transactions. 92, 5, p. 791-802 12 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  19. Published

    Hydrolysis of Hydroxamic Acid Complexants in the Presence of Non-Oxidizing Metal Ions

    Boxall, C., Andrieux, F., Edwards, S., Taylor, R. J. & Woodhead, D., 2012, In: MRS Online Proceedings Library. 1383, 6 p., mrsf11-1383-a07-02.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  20. Published

    Mesoporous and Nanoparticulate Metal Oxides: Applications in New Photocatalysis

    Boxall, C., 2006, Proceedings of the 10th Asian Conference on Solid State Ionics: Advanced Materials for Emerging Technologies. Chowdari, B. V. R., Careem, M. A., Dissanayake, M. A. K. L., Rajapakse, R. M. G. & Seneviratne, V. A. (eds.). Singapore: World Scientific, p. 788 1 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  21. Published

    Photoelectrochemistry with the optical rotating disc electrode Part 4. Steady state and transient studies on colloidal US in the presence of solution phase photogenerated charge scavengers

    Boxall, C., 31/05/2002, In: Journal of Photochemistry and Photobiology A: Chemistry. 148, 1-3, p. 375-386 12 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  22. Published

    Kinetic modeling of electron transfer processes in colloidal semiconductor photocatalysis

    Boxall, C., 1999, Applications of Kinetic Modelling. Compton, R. G. & Hancock, G. (eds.). Elsevier, Vol. 37. p. 281-368 88 p. (Comprehensive Chemical Kinetics).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter

  23. Published

    Photoelectrochemistry with the optical rotating disc electrode - Part 3. The theoretical analysis for photophysical-chemical-electrochemical (PCE) processes

    Boxall, C. & Albery, W. J., 2000, In: Physical Chemistry Chemical Physics. 2, 16, p. 3651-3662 12 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  24. Published

    The Photoelectrophoresis of Colloidal Iron Oxides I: Hematite (alpha-Fe2O3)

    Boxall, C., Zhang, Z. & KELSALL, G. H., 1993, Colloids in the Aquatic Environment. Thadros, T. & Gregory, J. (eds.). Amsterdam: Elsevier Science Ltd., p. 145-163 19 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter (peer-reviewed)

  25. Published

    The Application of Colloidal Photocatalysis in Actinide Photoredox Chemistry

    Boxall, C., Taylor, R. & LeGurun, G., 2006, RSC Special Publication: Recent Advances in Actinide Science. May, I., Alvares, R. & Bryan, N. (eds.). Cambridge: Royal Society of Chemistry, Vol. 305. p. 113-115 3 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  26. Published

    Photoelectrochemistry with the optical rotating disc electrode - Part 2. Steady-state and transient studies on colloidal CdS

    Boxall, C. & Albery, W. J., 2000, In: Physical Chemistry Chemical Physics. 2, 16, p. 3641-3650 10 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  27. Published

    Investigation of water adsorption on metal oxide surfaces under conditions representative of PuO2 storage containers

    Boxall, C., Murphy, P., Taylor, R. & Woodhead, D., 09/2013, In: ECS Transactions. 53, 21, p. 81-94 14 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  28. Published

    Impacts of climate change on indirect human exposure to pathogens and chemicals from agriculture

    Boxall, A. B. A., Hardy, A., Beulke, S., Boucard, T., Burgin, L., Falloon, P. D., Haygarth, P. M., Hutchinson, T., Kovats, R. S., Leonardi, G., Levy, L. S., Nichols, G., Parsons, S. A., Potts, L., Stone, D., Topp, E., Turley, D. B., Walsh, K., Wellington, E. M. H. & Williams, R. J., 10/12/2008, In: Environmental Health Perspectives. 117, 4, p. 508-514 7 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  29. Published

    The Micro-Optical Ring Electrode: development of a thin ring electrode for spectrophotoelectrochemistry

    Boxall, C., Andrieux, F., Xiao, S. & O'Hare, D., 2001, Chemical and Biological Sensors and Analytical Methods II. Butler, M. A., Vanysek , P. & Yamazoe , N. (eds.). Pennington, New Jersey: ELECTROCHEMICAL SOCIETY INC, p. 531-543 13 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  30. Published

    Fixed Contamination on Steel Surfaces: First Use of Quartz Crystal Microgravimetry to Measure Oxide Growth on Process Steels Under Conditions Typical of Nuclear Reprocessing

    Boxall, C., Woodhouse, B. & Wilbraham, R., 2012, In: MRS Online Proceedings Library. 1383, 6 p., mrsf11-1383-a07-04.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  31. Published

    The application of photocatalysis in transition metal and actinide redox chemistry

    Boxall, C., Le Gurun, G. & Taylor, R. J., 2004, Recent Research Developments in Photochemistry and Photobiology. Trivandrum, India: Transworld Research Network, Vol. 7. p. 39-78 40 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter

  32. Published

    Drivers of Seasonal Land‐Ice‐Flow Variability in the Antarctic Peninsula

    Boxall, K., Christie, F. D. W., Willis, I. C., Wuite, J., Nagler, T. & Scheiblauer, S., 30/06/2024, In: Journal of Geophysical Research: Earth Surface. 129, 6, e2023JF007378.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  33. Published

    Circum-Antarctic seasonality in grounded ice flow

    Boxall, K., Willis, I., Wuite, J., Nagler, T., Scheiblauer, S. & Christie, F., 14/04/2024.

    Research output: Contribution to conference - Without ISBN/ISSN Posterpeer-review

  34. Published

    Photoelectrochemistry with the optical rotating disc electrode - Part 1. The theoretical analysis for photophysical-electrochemical processes

    Boxall, C. & Albery, W. J., 2000, In: Physical Chemistry Chemical Physics. 2, 16, p. 3631-3639 9 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  35. Published

    Recent Studies of Heterogeneous and Homogeneous Reduction–Oxidation Reactions of U(IV) Ions in Nitric Acid and TBP Phases

    Boxall, C., Taylor, R., Xiao, S., Koltunov, V. & Marchenko, V., 2002, Proceedings of 3rd NUCEF International Symposium: NUCEF 2001: Scientific Basis for Criticality Safety, Separations and Waste Disposal. Banba, T. & Tsubata, Y. (eds.). Tokai, Ibaraki, Japan: Japan Atomic Energy Research Institute, p. 205-212 7 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  36. Published

    Seasonal land-ice-flow variability in the Antarctic Peninsula

    Boxall, K., Christie, F. D. W., Willis, I. C., Wuite, J. & Nagler, T., 6/10/2022, In: The Cryosphere. 16, 10, p. 3907-3932 26 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  37. Published

    The effect of acetohydroxamic acid on stainless steel corrosion in nitric acid

    Boxall, C. & Wilbraham, R. J., 01/2016, In: Electrochemistry Communications. 62, p. 52-55 4 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  38. Published

    Quantifying Patterns of Supraglacial Debris Thickness and Their Glaciological Controls in High Mountain Asia

    Boxall, K., Willis, I., Giese, A. & Liu, Q., 14/07/2021, In: Frontiers in Earth Science. 9, 657440.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  39. Published

    The applications of photocatalytic waste minimisation in nuclear fuel processing

    Boxall, C., Le Gurun, G., Taylor, R. J. & Xiao, S., 2005, Handbook of Environmental Chemistry. Huntzinger, O. (ed.). Berlin: SPRINGER-VERLAG BERLIN, Vol. 2. p. 451-481 31 p. (Handbook of Environmental Chemistry ; vol. 2).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter (peer-reviewed)

  40. Published

    The reduction of Pu(IV) by formohydroxamic acid in nitric acid.

    Boxall, C., Taylor, R. J., Mason, C. & Cooke, R., 2002, In: Journal of Nuclear Science and Technology. supplement 3, p. 278-281 4 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  41. Published

    Prevalence of psychotropic medication use and association with challenging behaviour in adults with an intellectual disability: a total population study

    Bowring, D., Totsika, V., Hastings, R., Toogood, S. & McMahon, M., 06/2017, In: Journal of Intellectual Disability Research. 61, 6, p. 604-617 14 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  42. Published

    Adaptive synchronization between chaotic dynamical systems of different order.

    Bowong, S. & McClintock, P. V. E., 9/10/2006, In: Physics Letters A. 358, 2, p. 134-141 8 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  43. Published

    A Relational Approach to Brain Injury Rehabilitation

    Bowne, C., Hall, T., Newby, G., Walsh, B., Weatherhead, S. & Yeates, G., 2009, In: Human Systems : The Journal of Therapy Consultation and Training. 20, 1, p. 65-80 16 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  44. Published

    Global Value Chains and the Removal of Trade Protection

    Bown, C., Erbahar, A. & Zanardi, M., 02/2020, Centre for Economic Policy Research.

    Research output: Working paperDiscussion paper

  45. Published

    Formal description of multimedia systems : an assessment of potential techniques.

    Bowman, H., Blair, L., Blair, G. S. & Chetwynd, A. G., 12/1995, In: Computer Communications. 18, 12, p. 964-977 14 p.

    Research output: Contribution to Journal/MagazineJournal article

  46. Published

    On Lie algebras all of whose minimal subalgebras are lower modular.

    Bowman, K., Towers, D. A. & Varea, V. R., 2004, In: Communications in Algebra. 32, 12, p. 4515-4533 19 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  47. Published

    On almost nilpotent-by-abelian Lie algebras.

    Bowman, K. & Towers, D. A., 1/11/1996, In: Linear Algebra and its Applications. 247, 1, p. 159-167 9 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  48. Published

    On upper modular subalgebras of a Lie algebra.

    Bowman, K., Towers, D. A. & Varea, V. R., 1/06/2004, In: Proceedings of the Edinburgh Mathematical Society. 47, 2, p. 325-337 13 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  49. Published

    Two Generator Subalgebras Of Lie Algebras.

    Bowman, K., Towers, D. A. & Varea, V. R., 09/2007, In: Linear and Multilinear Algebra. 55, 5, p. 429-438 10 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  50. Published

    Mining in Africa after the supercycle: New directions and geographies

    Bowman, A., Frederiksen, T., Bryceson, D., Childs, J., Gilberthorpe, E. & Newman, S., 31/12/2021, In: Area. 53, 4, p. 647-658 12 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  51. Published

    Formal description of distributed multimedia systems.

    Bowman, H., Blair, L., Blair, G. S. & Chetwynd, A. G., 1993, Proceedings of the 9th British Colloquium for Theoretical Computer Science. York

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter

  52. Published

    A formal description technique supporting quality of service and media synchronisation.

    Bowman, H., Blair, L., Blair, G. S. & Chetwynd, A. G., 1994, Proceedings of Cost 237 : multimedia transport and teleservices. Springer

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter

  53. Published

    Time versus abstraction in formal descriptions.

    Bowman, H., Blair, L., Blair, G. S. & Chetwynd, A. G., 1994, Proceedings of the Sixth International Conference on Formal Description Techniques (Forte '93). Tenney, R. L., Amer, P. D. & Uyar, U. (eds.). North Holland: Elsevier

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter

  54. Published

    On Flags And Maximal Chains Of Lower Modular Subalgebras Of Lie Algebras.

    Bowman, K., Towers, D. A. & Varea, V. R., 2007, In: Journal of Lie Theory. 17, 3, p. 605-616 12 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  55. Published

    Evaluation of ACCMIP outgoing longwave radiation from tropospheric ozone using TES satellite observations

    Bowman, K., Shindell, D. T., Worden, H., Lamarque, J. F., Young, P., Stevenson, D. S., Qu, Z., de la Torre, M., Bergmann, D., Cameron-Smith, P., Collins, W. J., Doherty, R. M., Dalsoren, S. B., Eyring, V., Faluvegi, G., Folberth, G., Ghan, S., Horowitz, L. W., Josse, B. & Lee, Y. H. & 14 others, MacKenzie, I. A., Myhre, G., Nagashima, T., Naik, V., Plummer, D. A., Skeie, R., Strode, S., Sudo, K., Szopa, S., Voulgarakis, A., Zeng, G., Kulawik, S., Aghedo, A. & Worden, J., 18/04/2013, In: Atmospheric Chemistry and Physics . 13, 8, p. 4057-4072 16 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  56. Published

    Time versus abstraction in formal description.

    Bowman, H., Blair, G. S., Blair, L. & Chetwynd, A. G., 1994, In: IFIP Transactions C. 22, p. 407-482 76 p.

    Research output: Contribution to Journal/MagazineJournal article

  57. Published

    A formal description technique supporting expression of quality of service and media synchronization

    Bowman, H., Blair, L., Blair, G. S. & Chetwynd, A. G., 1/01/1994, Multimedia Transport and Teleservices - International COST 237 Workshop, Proceedings. Springer-Verlag, p. 145-167 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 882 LNCS).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  58. Published

    A study of documentary and skeletal evidence relating to the 18th and 19th century burials in the City of London

    Bowman, J. E., MacLaughlin, S. M. & Scheuer, J. L., 1993, In: American Journal of Physical Anthropology. 36, Suppl. 16

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  59. Published

    Structural and spectroscopic studies of some copper(I) halide tert-butyl isocyanide adducts

    Bowmaker, G. A., Hanna, J. V., Hahn, F. E., Lipton, A. S., Oldham, C. E., Skelton, B. W., Smith, M. E. & White, A. H., 2008, In: Dalton Transactions. 2008, 13, p. 1710-1720 11 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  60. Published

    Detecting and monitoring subglacial lakes beneath the Greenland Ice Sheet

    Bowling, J., 2022, Lancaster University. 275 p.

    Research output: ThesisDoctoral Thesis

  61. Published

    Distribution and dynamics of Greenland subglacial lakes

    Bowling, J., Livingstone, S., Sole, A. & Chu, W., 26/06/2019, In: Nature Communications. 10, 1, 11 p., 2810.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  62. Published

    Vortex nucleation in ultradilute superfluid 3He/4He solutions.

    Bowley, R. M., Nancolas, G. G. & McClintock, P. V. E., 20/02/1984, In: Physical review letters. 52, 8, p. 659-662 4 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  63. Published

    The breakdown of superfluidity in liquid He-4 : III. Nucleation of quantized vortex rings.

    Bowley, R. M. & McClintock, P. V. E., 1982, In: Philosophical Transactions of the Royal Society of London A. 307, p. 201-260 60 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  64. Published

    Roton assisted vortex nucleation in isotopically pure superfluid 4He.

    Bowley, R. M., McClintock, P. V. E., Moss, F. E. & Nancolas, G. G., 1981, In: Physica B: Condensed Matter. 107, p. 571-572 2 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  65. Published

    Vortex nucleation in isotopically pure superfluid 4He.

    Bowley, R. M., McClintock, P. V. E., Moss, F. E. & Stamp, P. C. E., 21/01/1980, In: Physical review letters. 44, 3, p. 161-164 4 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  66. Published

    A formally verified SMT approach to true concurrency

    Bowles, J. & Caminati, M. B., 24/10/2020, Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  67. Published

    An integrated approach to a combinatorial optimisation problem

    Bowles, J. & Caminati, M. B., 22/11/2019, Integrated Formal Methods. Springer, Vol. 11918. p. 204-382

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  68. Published

    The High Engagement Work Culture

    Bowles, D. & Cooper, C., 2012, Basingstoke: Palgrave Macmillan. 192 p.

    Research output: Book/Report/ProceedingsBook

  69. Published

    Employee Morale: Driving Performance in Challenging Times

    Bowles, D. & Cooper, C. L., 2009, Basingstoke: Palgrave Macmillan.

    Research output: Book/Report/ProceedingsBook

  70. Published

    A verified algorithm enumerating event structures

    Bowles, J. & Caminati, M. B., 28/06/2017, Intelligent Computer Mathematics. Springer, Vol. 10383.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  71. Published

    Correct composition of dephased behavioural models

    Bowles, J. & Caminati, M. B., 14/09/2017, Formal Aspects of Component Software: 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings 14. Springer, Vol. 10487.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  72. Published

    An integrated framework for verifying multiple care pathways

    Bowles, J., Caminati, M. B. & Cha, S., 7/02/2018, 2017 International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE, 17595273

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  73. Published
  74. Published

    Balancing prescriptions with constraint solvers

    Bowles, J. & Caminati, M. B., 12/06/2019, Automated Reasoning for Systems Biology and Medicine. Springer, Vol. 30.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter

  75. Published

    Correct composition in the presence of behavioural conflicts and dephasing

    Bowles, J. & Caminati, M. B., 15/10/2019, In: Science of Computer Programming. 185, 102323.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  76. Published

    A framework for automated conflict detection and resolution in medical guidelines

    Bowles, J., Caminati, M. B., Cha, S. & Mendoza, J., 1/08/2019, In: Science of Computer Programming. p. 42-63

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  77. Published

    A flexible approach for finding optimal paths with minimal conflicts

    Bowles, J. & Caminati, M. B., 11/10/2017, ICFEM: International Conference on Formal Engineering Methods. Springer, Vol. 10610. p. 209-225

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  78. Published

    Mind the gap: addressing behavioural inconsistencies with formal methods

    Bowles, J. & Caminati, M. B., 6/12/2016, 2016 23rd Asia-Pacific Software Engineering Conference (APSEC). IEEE, 16777776

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  79. Published

    Q&A Isobel Hook

    Bowler, S. & Hook, I., 30/04/2025, In: Astronomy and Geophysics. 66, 2, p. 2.43-2.43 1 p.

    Research output: Contribution to Journal/MagazineJournal article

  80. Published

    The development of alternative farm enterprises : a study of family labour farms in the Northern Pennines of England.

    Bowler, I., Clark, G., Crockett, A., Ilbery, B. & Shaw, A., 07/1996, In: Journal of Rural Studies. 12, 3, p. 285-295 11 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  81. Published

    Transdisciplinary ethical principles and standards for mobile mental health

    Bowie-DaBreo, D., Iles-Smith, H., Sunram-Lea, S.-I. & Sas, C., 6/07/2020.

    Research output: Contribution to conference - Without ISBN/ISSN Conference paper

  82. Published

    A call for responsible innovation in mobile mental health: findings from a content analysis and ethical review of the depression app marketplace

    Bowie-DaBreo, D., Sas, C., Sunram-Lea, S.-I. & Iles-Smith, H., 7/10/2020.

    Research output: Contribution to conference - Without ISBN/ISSN Conference paperpeer-review

  83. Published

    A transdisciplinary framework for ethical mobile mental health

    Bowie-DaBreo, D., 2024, Lancaster University. 240 p.

    Research output: ThesisDoctoral Thesis

  84. Published

    A content analysis and ethical review of mobile applications for depression: Exploring the app marketplace

    Bowie-DaBreo, D., Sunram-Lea, S.-I., Sas, C. & Iles-Smith, H., 4/05/2019.

    Research output: Contribution to conference - Without ISBN/ISSN Conference paper

  85. Published

    Evaluation of depression app store treatment descriptions and alignment with clinical guidance: Systematic search and content analysis

    Bowie-DaBreo, D., Sunram-Lea, S.-I., Sas, C. & Iles-Smith, H., 13/11/2020, In: JMIR Formative Research. 4, 11, 18 p., e14988.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  86. Published

    Viral evasion and subversion of pattern-recognition receptor signalling

    Bowie, A. G. & Unterholzner, L., 12/2008, In: Nature Immunology. 8, 12, p. 911-922 12 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  87. Published

    User perspectives and ethical experiences of apps for depression: A qualitative analysis of user reviews

    Bowie, D., Sas, C., Iles-Smith, H. & Sunram-Lea, S.-I., 29/04/2022, CHI 2022 - Proceedings of the 2022 CHI Conference on Human Factors in Computing Systems. New York: ACM, p. 21:1-21:24 24 p. 21. (Conference on Human Factors in Computing Systems - Proceedings).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  88. Published

    Introduction: new issues, trends and strategies in workplace violence

    Bowie, V., Fisher, B. S. & Cooper, C. L., 2005, Workplace Violence: Issues, trends, strategies. Devon: Willan Publishing, p. 1-12 12 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter

  89. Published

    A systemic ethical framework for mobile mental health: From design to implementation

    Bowie, D., Sunram-Lea, S.-I., Sas, C. & Iles-Smith, H., 5/12/2018.

    Research output: Contribution to conference - Without ISBN/ISSN Poster

  90. Published

    Workplace Violence: Issues, trends, strategies

    Bowie, V., Fisher, B. S. & Cooper, C. L., 2005, 1 ed. Devon: Willan Publishing.

    Research output: Book/Report/ProceedingsBook

  91. Published

    Entrepreneurial social capital unplugged: an activity bases analysis

    Bowey, J. L. & Easton, G., 2007, In: International Small Business Journal. 25, 3, p. 268-298 31 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  92. Published

    Net social capital and cooperative groups: the case of groupement Quebecoise

    Bowey, J. A. & Easton, G., 2004, 20th Industrial Marketing and Purchasing Group International Conference (Copenhagen Business School, Denmark) - 2004. N/A: unknown

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  93. Published

    A critical realist framework for explaining changes in entrepreneurial relationships

    Bowey, J. A. & Easton, G., 2003, 19th Industrial Marketing and Purchasing Group International Conference (University of Lugano, Switzerland ) - 2003. N/A: unknown

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  94. Published

    Net social capital processes

    Bowey, J. L. & Easton, G., 2007, In: Journal of Business and Industrial Marketing. 22, 3, p. 171-177 7 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  95. Published

    Comparing the performance of fault prediction models which report multiple performance measures: Recomputing the confusion matrix

    Bowes, D., Hall, T. & Gray, D., 2012, PROMISE '12 Proceedings of the 8th International Conference on Predictive Models in Software Engineering. ACM, p. 109-118 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  96. Published

    The role of lateral inhibition in the sensory processing in a simulated spiking neural controller for a robot

    Bowes, D., Adams, R., Cãnamero, L., Steuber, V. & Davey, N., 2009, 2009 IEEE Symposium on Artificial Life, ALIFE 2009 - Proceedings. IEEE, p. 179-183 5 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  97. Published

    DConfusion: A technique to allow cross study performance evaluation of fault prediction studies

    Bowes, D., Hall, T. & Gray, D., 04/2014, In: Automated Software Engineering. 21, 2, p. 287-313 27 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  98. Published

    Software defect prediction: do different classifiers find the same defects?

    Bowes, D., Hall, T. & Petrić, J., 1/06/2018, In: Software Quality Journal. 26, 2, p. 525-552 28 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  99. Published

    Getting defect prediction into industrial practice: The ELFF tool

    Bowes, D., Counsell, S., Hall, T., Petric, J. & Shippey, T., 14/11/2017, Proceedings - 2017 IEEE 28th International Symposium on Software Reliability Engineering Workshops, ISSREW 2017. Institute of Electrical and Electronics Engineers Inc., p. 44-47 4 p. 8109247

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  100. Published

    The inconsistent measurement of Message Chains

    Bowes, D., Randall, D. & Hall, T., 2013, 2013 4th International Workshop on Emerging Trends in Software Metrics (WETSoM). IEEE, p. 62-68 7 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

Back to top