Edinburgh Research Explorer

Prof David Robertson

Vice-Principal & Head of College of Science & Engineering

  1. Graphical Input Sketches for Producing Formalised Behavioural Requirements

    Funk, P. & Robertson, D., 1 Apr 1998, Workshop on Visual Issues for Formal Methods (Visual'98) - part of TAPSoft'98. 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  2. Capturing and Matching Dynamic Behaviour in Case-Based Reasoning

    Funk, P. & Robertson, D., 1 Jan 1995, Progress in Case-Based Reasoning: First United Kingdom Workshop Salford, UK, January 12, 1995 Proceedings. Springer-Verlag GmbH, p. 85-90 6 p. (Lecture Notes in Computer Science; vol. 1020).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. Case-based Selection Requirements Specifications for Telecommunication Systems

    Funk, P. & Robertson, D. S., 1994, Proceedings of the 2nd European Workshop on Case-Based Reasoning (EWCBR 94).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  4. Requirements Specification of Telecommunication Services Assisted by Case-Based Reasoning

    Funk, P. & Robertson, D., 1994, Proceedings of the 2nd International Conference on Telecommunication Systems, Modelling and Analysis.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  5. Case-Based Support for the Design of Dynamic System Requirements

    Funk, P. & Robertson, D., 1995, Advances in Case-Based Reasoning: Second European Workshop, EWCBR-94 Chantilly, France, November 7–10, 1994 Selected Papers. Haton, J., Keane, M. & Manago, M. (eds.). Springer-Verlag GmbH, p. 211-225 15 p. (Lecture Notes in Computer Science; vol. 984).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  6. Representing the Structure of Reserve Selection Arguments Using Logic Programs

    Goldsborough, D. & Robertson, D., 1994, Proceedings of the Eighth Annual Symposium on Geographical Information systems. Sawayama, G. (ed.).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  7. Enacting the Distributed Business Workflows Using BPEL4WS on the Multi-agent Platform

    Guo, L., Robertson, D. & Chen-Burger, Y-H., 2005, Multiagent System Technologies: Third German Conference, MATES 2005, Koblenz, Germany, September 11-13, 2005. Proceedings. Eymann, T., Klügl, F., Lamersdorf, W., Klusch, M. & Huhns, M. N. (eds.). Berlin, Heidelberg: Springer Berlin Heidelberg, p. 35-46 12 p. (Lecture Notes in Computer Science; vol. 3550).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  8. Using Multi-agent Platform for Pure Decentralised Business Workflows

    Guo, L., Robertson, D. & Chen-Burger, Y-H., Aug 2008, In : Web Intelligence and Agent Systems. 6, 3, p. 295-311 17 p.

    Research output: Contribution to journalArticle

  9. Conducting The Agile Negotiation Processes Involved In The BPEL4WS Model On a Multi-agent Platform

    Guo, L., Robertson, D., Chen-Burger, Y-H. & Wang, J., 2005, The proceedings of China Association for Information Systems (CNAIS2005). 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  10. Designing a Social Machine for the Heart Manual Service

    Hanschke, V., Manataki, A., Alexandru, C., Papapanagiotou, P., Deighan, C., Taylor, L. & Robertson, D., 27 Feb 2017, Proceedings of the 10th International Joint Conference on Biomedical Engineering Systems and Technologies - Volume 5: HEALTHINF, (BIOSTEC 2017). SCITEPRESS, p. 435-440 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

Previous 12 3 4 5 6 7 8 9 ...18 Next