Search research publications and outputs

  1. 2004
  2. A Z Patterns Catalogue II: definitions and laws, v0.1

    Valentine, S. H., Stepney, S. & Toyn, I., 1 Oct 2004, Department of Computer Science, University of York. (Department of Computer Science Technical Report; vol. YCS-2004-383)

    Research output: Book/ReportOther report

  3. 2005
  4. Advances in Artificial Life: 8th European Conference, ECAL 2005, Canterbury, UK, September 5-9, 2005, Proceedings

    Capcarrère, M. S., Freitas, A. A., Bentley, P. J., Johnson, C. G. & Timmis, J., 2005, Springer. (Lecture Notes in Artificial Intelligence; vol. 3630)

    Research output: Book/ReportBook

  5. 2006
  6. Theoretical Aspects of Computing: ICTAC 2006, Third International Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings

    Barkaoui, K. (ed.), Cavalcanti, A. (ed.) & Cerone, A. (ed.), 2006, Springer. (Lecture Notes in Computer Science; vol. 4281)

    Research output: Book/ReportBook

  7. Unconventional Computation: 5th International Conference, UC 2006, York, UK, September 4-8, 2006, Proceedings

    Calude, C. S., Dinneen, M. J., Paun, G., Rozenberg, G. & Stepney, S., 2006, Springer. (Lecture Notes in Computer Science; vol. 4135)

    Research output: Book/ReportBook

  8. Learning Worst-Case Execution Time Loop Bounds with Inductive Logic Programming

    Kazakov, D., Bate, I., Muggleton, S. (ed.) & Otero, R. (ed.), 1 Aug 2006, Santiago de Compostela: University of Corunna.

    Research output: Book/ReportCommissioned report

  9. 2007
  10. Concurrent and real-time programming in Ada

    Burns, A. & Wellings, A. J., 2007, Cambridge University Press. 467 p.

    Research output: Book/ReportBook

  11. 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

  12. 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

  13. Theoretical Aspects of Computing - ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings

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

    Research output: Book/ReportBook

  14. Unconventional Computing 2007: Bristol, UK, July 2007

    Adamatzky, A. (ed.), Bull, L. (ed.), Costello, B. D. L. (ed.), Stepney, S. (ed.) & Teuscher, C. (ed.), 2007, Luniver Press.

    Research output: Book/ReportBook

  15. 2008
  16. Communicating Process Architectures 2008

    Welch, P. H. (ed.), Stepney, S. (ed.), Polack, F. (ed.), Barnes, F. R. M. (ed.), McEwan, A. A. (ed.), Stiles, G. S. (ed.), Broenink, J. F. (ed.) & Sampson, A. T. (ed.), 2008, IOS Press. (Concurrent Systems Engineering Series; vol. 66)

    Research output: Book/ReportBook

  17. Objects, Components, Models and Patterns: 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings

    Paige, R. F. (ed.) & Meyer, B. (ed.), 2008, Springer. (Lecture notes in Business Information Processing; vol. 11)

    Research output: Book/ReportBook

  18. Practical Distributed Processing

    Brooke, P. J. & Paige, R. F., 2008, Springer. 262 p. (Undergraduate Topics in Computer Science)

    Research output: Book/ReportBook

  19. Remove this!

    Nasios, N. & Bors, AG., 2008, en.scientificcommons.org.

    Research output: Book/ReportBook

  20. Research Method for Human-Computer Interaction

    Cairns, P. A. (ed.) & Cox, A. L. (ed.), 2008, Cambridge University Press. 264 p.

    Research output: Book/ReportBook

  21. Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings

    Shankar, N. (ed.) & Woodcock, J. (ed.), 2008, Springer. (Lecture Notes in Computer Science; vol. 5295)

    Research output: Book/ReportBook

  22. 2009
  23. Artificial Immune Systems, 8th International Conference, ICARIS 2009, York, UK, August 9-12, 2009. Proceedings

    Andrews, P. S. (ed.), Timmis, J. (ed.), Owens, N. D. L. (ed.), Aickelin, U. (ed.), Hart, E. (ed.), Hone, A. (ed.) & Tyrrell, A. M. (ed.), 2009, Springer. (Lecture Notes in Computer Science; vol. 5666)

    Research output: Book/ReportBook

  24. 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

  25. 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

  26. 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