Women’s Sense of Belonging in Computer Science Education: The Need for a Collective Response

Widdicks, K., Ashcroft, A., Winter, E. & Blair, L., 2/09/2021, UKICER 2021 - Proceedings of the 2021 Conference on United Kingdom and Ireland Computing Education Research. New York: ACM, p. 4:1-4:7 7 p. 4

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

Using Dynamic Aspect-Oriented Programming to Implement an Autonomic System

Greenwood, P. & Blair, L., 2004, Proceedings of the 2004 Dynamic Aspects Workshop (DAW04). Filman, R. E., Haupt, M., Mehner, K. & Mezini, M. (eds.). p. 76-88 13 p.

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

Using children’s literature to introduce computing principles and concepts in primary schools: work in progress

Twigg, S., Blair, L. & Winter, E., 23/10/2019, WiPSCE'19 Proceedings of the 14th Workshop in Primary and Secondary Computing Education. New York: ACM, 4 p. 23

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

Trustworthy by design

Knowles, B., Harding, M., Blair, L., Davies, N., Hannon, J., Rouncefield, M. & Walden, J., 2014, CSCW '14 Proceedings of the 17th ACM conference on Computer supported cooperative work & social computing. New York: ACM, p. 1060-1071 12 p.

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

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/ISSN › Chapter

The use of automata in modelling and building a real-time component based system

Blair, L. & Jones, T., 2001, Object-Oriented Real-Time Dependable Systems, 2001. Proceedings. Sixth International Workshop on. IEEE, p. 69-76 8 p.

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

The technological mediation of sustainability: Design as a mode of inquiry

Thomas, L., Walker, S. & Blair, L., 5/04/2019, Designing sustainability for all: Proceedings of the 3rd LeNS World Distributed Conference, Milano, Mexico City, Beijing, Bangalore, Curitiba, Cape Town, 3-5 April 2019. Ambrosio, M. & Vezzoli, C. (eds.). Milan: Edizione POLL design, Vol. 4. p. 1326-1331 6 p.

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

The role of software architecture in constraining adaptation in component-based middleware platforms

Blair, G. S., Blair, L., Issarny, V., Tuma, P. & Zarras, A., 1/01/2000, Middleware 2000 - IFIP/ACM International Conference on Distributed Systems Platforms and Open Distributed Processing, Proceedings. Sventek, J. & Coulson, G. (eds.). Springer-Verlag, p. 164-184 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1795).

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

The role of reflection in supporting dynamic QoS management functions

Blair, G., Andersen, A., Blair, L. & Coulson, G., 1999, IWQOS '99: 1999 7th International Workshop on Quality of Service. New York: IEEE, p. 49-51 3 p.

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

Stochastically enhanced timed automata

Blair, L., Jones, T. & Blair, G., 1/12/2000, Formal Methods for Open Object-Based Distributed Systems IV - TC6/WG6.1, Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2000. p. 327-347 21 p. (IFIP Advances in Information and Communication Technology; vol. 49 AICT).

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

Specifying and analysing multimedia systems

Blair, L. & Blair, G. S., 2001, Formal methods for distributed processing : a survey of object-oriented approaches. Bowman, H. & Derrick, J. (eds.). Cambridge: Cambridge University Press, p. 373-399 27 p.

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

Specification and analysis of automata-based designs

Bryans, J., Blair, L., Bowman, H. & Derrick, J., 1/12/2000, Integrated Formal Methods - Second International Conference, IFM 2000, Proceedings. Springer, p. 176-193 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1945 LNCS).

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

Securing Aspect Composition

Camilleri, A., Blair, L. & Coulson, G., 2008, Proceedings of the 2008 ACM Symposium on Applied Computing. New York: ACM, p. 278-279 2 p.

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

Rethinking plan A for sustainable HCI

Knowles, B., Blair, L., Coulton, P. & Lochrie, M., 2014, CHI '14 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. New York: ACM, p. 3593-3596 4 p.

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