Home > Research > Publications & Outputs

Research

Publications and Research Outputs

Advanced search »

83911 - 83920 out of 98,696Page size: 10
  1. 2020
  2. Published

    A formally verified SMT approach to true concurrency

    Bowles, J. & Caminati, M. B., 24/10/2020, Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020.

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

  3. Published

    Crash Blossoms: IF & ONLY IF

    Tom Schofield & Skinner, S., 24/10/2020

    Research output: Exhibits, objects and web-based outputs › Digital or Visual Products

  4. Published

    Open but Unfair- The role of social justice in Open Access publishing

    Batterbury, S., 24/10/2020

    Research output: Exhibits, objects and web-based outputs › Blog

  5. Published

    Empowering Children's Critical Reflections on AI, Robotics and Other Intelligent Technologies

    Charisi, V., Malinverni, L., Rubegni, E. & Schaper, M-M., 25/10/2020, NordiCHI '20: Proceedings of the 11th Nordic Conference on Human-Computer Interaction: Shaping Experiences, Shaping Society. New York: ACM, p. 1-4 4 p. 128

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

  6. Published

    LOOP: Exploring Physicalization of Activity Tracking Data

    Sauvé, K., Bakker, S. E., Marquardt, N. & Houben, S., 25/10/2020, NordiCHI'20: 11th Nordic Conference on Human-Computer Interaction: Shaping Experiences, Shaping Society, NordiCHI 2020. Neew York: ACM, p. 1-12 12 p. 52

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

  7. Unpublished

    Play Partners: Evaluating the effects of embodied cognition as a learning process for children

    Ale, M. & Rubegni, E., 25/10/2020, (Unpublished).

    Research output: Contribution to conference - Without ISBN/ISSN › Other › peer-review

  8. Published

    Sharing & Cooperativism: Designing For Economies

    Subasi, Ö., Fedosov, A., Bates, O., Lampinen, A. & Light, A., 25/10/2020, NordiCHI '20: Proceedings of the 11th Nordic Conference on Human-Computer Interaction: Shaping Experiences, Shaping Society. New York: ACM, p. 1-3 3 p. 135

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

  9. Published

    Supporting Pedagogy Through Automation and Social Structures in Student-Led Online Learning Environments

    Celina, H., Lambton-Howard, D., Lee, C. & Kharrufa, A., 25/10/2020.

    Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review

  10. Published

    When the Good Turns Ugly: Speculating Next Steps for Digital Wellbeing Tools

    Widdicks, K., 25/10/2020, 11th Nordic Conference on Human-Computer Interaction: Shaping Experiences, Shaping Society (NordiCHI ’20). ACM

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

  11. Published

    Household intervention to improve indoor air quality and health of children with asthma in the US-Mexico border: A pilot study

    Moreno Rangel, A., Baek, J., Rho, T., Cabrera-Conner, L. & Carrillo, G., 26/10/2020. 2 p.

    Research output: Contribution to conference - Without ISBN/ISSN › Abstract › peer-review

Previous 1...8388 8389 8390 8391 8392 8393 8394 8395 ...9870 Next

Back to top