Affordances of presentations in multi-display learning spaces for supporting small group discussion

Bligh, B. & Sharples, M., 09/2010, Sustaining TEL : from innovation to learning and practice: 5th European Conference on Technology Enhanced Learning, EC-TEL 2010, Barcelona, Spain, September 28 - October 1, 2010. Proceedings. Wolpers, M., Kirschner, P. A., Scheffel, M., Lindstaedt, S. & Dimitrova, V. (eds.). Berlin: Springer Verlag, p. 464-469 6 p. (Lecture Notes in Computer Science; vol. 6383).

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

Switching sensitive driver circuit to combat dynamic delay in on-chip buses

Weerasekera, R., Zheng, L.-R., Pamunuwa, D. B., Tenhunen, H., Paliouras, V. (Editor), Vounckx, J. (Editor) & Verkest, D. (Editor), 09/2005, Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation: 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005. Proceedings. Paliouras, V., Vounckx, J. & Verkest, D. (eds.). Berlin: Springer, p. 277-285 9 p. (Lecture Notes in Computer Science; vol. 3728).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

General Program Synthesis using Guided Corpus Generation and Automatic Refactoring

Wild, A. & Porter, B., 31/08/2019, Search-Based Software Engineering: 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings. Nejati, S. & Gay, G. (eds.). Cham: Springer-Verlag, p. 89-104 15 p. (Lecture Notes in Computer Science; vol. 11664).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis.

Kretínský, J., Manta, A. & Meggendorfer, T., 21/10/2019, Automated Technology for Verification and Analysis- 17th International Symposium, AVTA 2019, Proceedings. Chen, Y.-F., Cheng, C.-H. & Esparza, J. (eds.). p. 404-422 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11781 LNCS).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages

Farrell, M., Bradbury, M., Fisher, M., Dennis, L. A., Dixon, C., Yuan, H. & Maple, C., 1/09/2019, Software Engineering and Formal Methods: 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings. Ölveczky, P. C. & Salaün, G. (eds.). Cham: Springer International Publishing, p. 471-490 20 p. (Lecture Notes in Computer Science ; vol. 11724).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Supporting dependable distributed applications through a component-oriented middleware-based group service

Saikoski, K. & Coulson, G., 2004, Architecting Dependable Systems II. de Lemos, R., Gacek , C. & Romanovsky, A. (eds.). Berlin: Springer Verlag, p. 270-293 24 p. (Lecture Notes in Computer Science; vol. 3069).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

A specification-to-deployment architecture for overlay networks

Behnel, S., Buchmann, A., Grace, P., Porter, B. & Coulson, G., 2006, On the Move to Meaningful Internet Systems 2006: COOPIS, DOA, GADA, and ODBASE, Proceedings Part II. Meersman, R. & Tari, Z. (eds.). Berlin: Springer Verlag, p. 1522-1540 19 p. (Lecture Notes in Computer Science; vol. 4276).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

OWL-P: a methodology for business process development

Desai, N., Mallya, A. U., Chopra, A. K. & Singh, M. P., 2006, Agent-Oriented Information Systems III: 7th International Bi-Conference Workshop, AOIS 2005, Utrecht, Netherlands, July 26, 2005, and Klagenfurt, Austria, October 27, 2005, Revised Selected Papers. Kolp, M., Bresciani, P., Henderson-Sellers, B. & Winikoff, M. (eds.). Berlin: Springer, p. 79-94 16 p. (Lecture Notes in Computer Science; vol. 3529).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Interoperation in protocol enactment

Chopra, A. K. & Singh, M. P., 2008, Declarative Agent Languages and Technologies V: 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers. Baldoni, M., Son, T. C. & Riemsdijk, M. B. V. (eds.). Berlin: Springer, p. 36-49 14 p. (Lecture Notes in Computer Science; vol. 4897).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Elements of a business-level architecture for multiagent systems

Chopra, A. K. & Singh, M. P., 2010, Programming Multi-Agent Systems: 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papers. Braubach, L., Briot, J.-P. & Thangarajah, J. (eds.). Berlin: Springer, p. 15-30 16 p. (Lecture Notes in Computer Science; vol. 5919).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review