Search research publications and outputs

  1. Book › Research
  2. Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures

    George, C. (ed.), Liu, Z. (ed.) & Woodcock, J. (ed.), 2007, Springer. (Lecture Notes in Computer science; vol. 4710)

    Research output: Book/ReportBook

  3. Dynamic Resource Allocation in Embedded, High-Performance and Cloud Computing

    Soares Indrusiak, L., Dziurzanski, P. & Singh, A. K., Oct 2016, Delft: River Publishers. 178 p.

    Research output: Book/ReportBook

  4. ESEC '89: 2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September 11-15, 1989, Proceedings

    Ghezzi, C. (ed.) & McDermid, J. A. (ed.), 1989, Springer. (Lecture Notes in Computer science; vol. 387)

    Research output: Book/ReportBook

  5. ESEC'89 — Proceedings of the Second European Conference on Software Engineering

    Ghezzi, C. & McDermid, J. A., 1989, Springer-verlag. (Lecture Notes in Computer Science)

    Research output: Book/ReportBook

  6. Education and Training for Safety-Critical Systems Practitoners

    McDermid, J. A. & Wichmann, B. A. (ed.), 1992, John Wiley & Sons.

    Research output: Book/ReportBook

  7. Emotion in Video Game Soundtracking

    Williams, D. A. H. & Lee, N., 21 Mar 2018, 1 ed. New York: Springer. 180 p. (International Series on Computer Entertainment and Media Technology)

    Research output: Book/ReportBook

  8. FM 2009: Formal Methods, Second World Congress

    Cavalcanti, A. (ed.) & Dams, D. (ed.), 2009, Springer. (Lecture Notes in Computer Science; vol. 5850)

    Research output: Book/ReportBook

  9. FM'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings

    Wing, J. M. (ed.), Woodcock, J. (ed.) & Davies, J. (ed.), 1999, Springer. (Lecture Notes in Computer Science)

    Research output: Book/ReportBook

  10. FM'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings

    Wing, J. M. (ed.), Woodcock, J. (ed.) & Davies, J. (ed.), 1999, Springer. (Lecture Notes in Computer Science; vol. 1709)

    Research output: Book/ReportBook

  11. FME '93 - Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993, Proceedings

    Woodcock, J. (ed.) & Larsen, P. G. (ed.), 1993, Springer. (Lecture Notes in Computer Science; vol. 670)

    Research output: Book/ReportBook

  12. Feature point matching using a hermitian property matrix

    Haseeb, M. & Hancock, E. R., 2011, Springer. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics))

    Research output: Book/ReportBook

  13. Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

    Jones, C. B. (ed.), Liu, Z. (ed.) & Woodcock, J. (ed.), 2007, Springer. (Lecture Notes in Computer Science; vol. 4700)

    Research output: Book/ReportBook

  14. Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods, ICFEM 2009

    Breitman, K. (ed.) & Cavalcanti, A. (ed.), 2009, Springer. (Lecture Notes in Computer Science; vol. 5885)

    Research output: Book/ReportBook

  15. Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings

    Dong, J. S. (ed.) & Woodcock, J. (ed.), 2003, Springer. (Lecture Notes in Computer Science; vol. 2885)

    Research output: Book/ReportBook

  16. Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009, Revised Selected Papers

    Oliveira, M. V. M. (ed.) & Woodcock, J. (ed.), 2009, Springer. (Lecture Notes in Computer Science; vol. 5902)

    Research output: Book/ReportBook

  17. Four methods for maintenance scheduling

    Smith, A., Clark, J. A. & Burke, EK., 1997, Citeseer.

    Research output: Book/ReportBook

  18. Games User Research

    Drachen, A., Nacke, L. E. & Mirza-Babaei, P., 25 Jan 2018, London: Oxford: Oxford University Press. 560 p.

    Research output: Book/ReportBook

  19. Gender and poverty in Britain

    Bradshaw, J., Finch, N., Kemp, P., Mayhew, E. & Williams, J., 2003, Manchester: Equal Opportunities Commission. (Working paper series)

    Research output: Book/ReportBook

  20. Global thoughts, local designs: INTERACT 2017 IFIP TC 13 Workshops, Mumbai, India, September 25-27, 2017, Revised Selected Papers

    Clemmensen, T. (ed.), Rajamanickam, V. (ed.), Dannenmann, P. (ed.), Petrie, H. (ed.) & Winckler, M. (ed.), 2018, Cham, Switzerland: Springer. 188 p. (Lecture Notes in Computer Science)

    Research output: Book/ReportBook

  21. Graph characterization via backtrackless paths

    Aziz, F., Wilson, R. C. & Hancock, E. R., 2011, Springer. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics))

    Research output: Book/ReportBook

  22. Graph-Based Methods in Computer Vision: Developments and Applications

    Xiao, B., Cheng, J. & Hancock, E. R., Jul 2012, IGI Global. 410 p.

    Research output: Book/ReportBook

  23. Handbook of Research on Embedded Systems Design

    Bagnato, A., Soares Indrusiak, L., Quadri, I. R. & Rossi, M., 2014, Hershey: IGI Global. 520 p.

    Research output: Book/ReportBook

  24. High integrity compilation - a case study

    Stepney, S., 1993, Prentice Hall.

    Research output: Book/ReportBook

  25. High order structural matching using dominant cluster analysis

    Ren, P., Wilson, R. C. & Hancock, E. R., 2011, Springer. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics))

    Research output: Book/ReportBook