Home > Research > Publications & Outputs
  1. Conference contribution/Paper
  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/ISSNConference contribution/Paperpeer-review

  3. Published

    Investigating teams of neuro-typical and neuro-atypical students learning together using COGLE: A multi case study

    Malik, M. & Sime, J. A., 21/10/2020, Frontiers in Education 2020: Education for a Sustainable Future. Uppsala, Sweden: Institute of Electrical and Electronics Engineers Inc., 5 p. 9273980. (Proceedings - Frontiers in Education Conference, FIE; vol. 2020-October).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  4. Published

    The distribution and direction of extreme geomagnetic fluctuations over 1-60 minute periods

    Rogers, N., Wild, J. & Eastoe, E., 20/10/2020, 2020 XXXIIIrd General Assembly and Scientific Symposium of the International Union of Radio Science. IEEE, p. 1-4 4 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  5. Published

    Reactive Video: Adaptive Video Playback Based on User Motion for Supporting Physical Activity

    Clarke, C., Cavdir, D., Chiu, P., Denoue, L. & Kimber, D., 20/10/2020, ACM Symposium on User Interface Software and Technology (UIST). New York: ACM, p. 196-208 13 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  6. Published

    Design and Microfabrication of a Double Corrugated Waveguide for G-band TWTs

    Basu, R., Billa, L., Rao, J. M., Himes, L., Zheng, Y., Renninson, N., Rodgers, B., Letizia, R., Luhmann, N. C., Gamzina, D. & Paoloni, C., 19/10/2020, 2020 IEEE 21st International Conference on Vacuum Electronics (IVEC).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  7. Published

    TWTs for Point to Point D-band Wireless Links

    Basu, R., Billa, L., Mahadev Rao, J., Letizia, R. & Paoloni, C., 19/10/2020, 2020 IEEE 21st International Conference on Vacuum Electronics (IVEC).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  8. Published

    Towards Deep Machine Reasoning: A Prototype-based Deep Neural Network with Decision Tree Inference

    Angelov, P. & Soares, E., 11/10/2020, 2020 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2020. Institute of Electrical and Electronics Engineers Inc., Vol. October. p. 2092-2099 8 p. 9282812

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  9. Published

    SCADA-agnostic Power Modelling for Distributed Renewable Energy Sources

    Althobaiti, A., Jindal, A. & Marnerides, A., 9/10/2020, 2020 IEEE 21st International Symposium on "A World of Wireless, Mobile and Multimedia Networks" (WoWMoM). IEEE, p. 379-384 6 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  10. Published

    Using Orbital Angular Momentum (OAM) Modes on Multi-Conductor Cables for Crosstalk Mitigation

    Wulff, M., Wang, L., Yang, C., Brüns, H.-D. & Schuster, C., 9/10/2020, IEEE 24th Workshop on Signal and Power Integrity (SPI).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  11. Published

    Efficient Frequent Subgraph Mining in Transactional Databases.

    Welke, P., 9/10/2020, Efficient Frequent Subgraph Mining in Transactional Databases.. IEEE, p. 307-314 7 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  12. Published

    Decoding probability analysis of network-coded data collection and delivery by relay drones

    Chatzigeorgiou, I. & Manole, E., 8/10/2020, 2020 IEEE 31st Annual International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC). IEEE

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  13. Published

    The impact of 5G channel models on the performance of intelligent reflecting surfaces and decode-and-forward relaying

    Chatzigeorgiou, I., 8/10/2020, 2020 IEEE 31st Annual International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC). IEEE, 4 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  14. Published

    Concept Drift Detection Using Autoencoders in Data Streams Processing

    Jaworski, M., Rutkowski, L. & Angelov, P., 7/10/2020, Artificial Intelligence and Soft Computing: 19th International Conference, ICAISC 2020, Zakopane, Poland, October 12-14, 2020, Proceedings, Part I. Rutkowski, L., Scherer, R., Korytkowski, M., Pedrycz, W., Tadeusiewicz, R. & Zurada, J. M. (eds.). Cham: Springer, p. 124-133 10 p. (Lecture Notes in Computer Science; vol. 12415 ).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  15. Published

    GP Benchmark: Engineering a Crowd-Sourcing Platform for Real-Time Understanding of Personality and Cognitive Biases in Clinical Error

    Hutchinson, W., Helal, S. & Bull, C., 7/10/2020, 2020 IEEE First International Workshop on Requirements Engineering for Well-Being, Aging, and Health (REWBAH). IEEE, p. 41-46 6 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  16. Published

    Uncontrolled Randomness in Blockchains: Covert Bulletin Board for Illicit Activity

    Al-Salami, N. & Zhang, B., 6/10/2020, 2020 IEEE/ACM 28th International Symposium on Quality of Service (IWQoS). IEEE, 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  17. Published

    Localizing Failure Root Causes in a Microservice through Causality Inference

    Meng, Y., Zhang, S., Sun, Y., Zhang, R., Hu, Z., Zhang, Y., Jia, C., Wang, Z. & Pei, D., 6/10/2020, 2020 IEEE/ACM 28th International Symposium on Quality of Service (IWQoS). IEEE, p. 1-10 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  18. Published

    BugVis: Commit slicing for fault visualisation

    Bowes, D., Petric, J. & Hall, T., 5/10/2020, ICPC '20: Proceedings of the 28th International Conference on Program Comprehension. New York: ACM, p. 436-440 5 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  19. Published

    Are Thermal Attacks Ubiquitous?: When Non-Expert Attackers Use Off the shelf Thermal Cameras.

    Abdrabou, Y., Abdelrahman, Y., Ayman, A., Mougy, A. E. & Khamis, M., 2/10/2020, AVI. p. 1-5 5 p. 47

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  20. Published

    Co-Designing Flavor-Based Memory Cues with Older Adults

    Gayler, T., Sas, C. & Kalnikaitė, V., 1/10/2020, ICMI '20 Companion: Companion Publication of the 2020 International Conference on Multimodal Interaction. ACM, p. 287–291 5 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  21. Published

    Backfiring and favouring: how design processes in HCI lead to anti-patterns and repentant designers

    Widdicks, K., Pargman, D. & Björk, S., 1/10/2020, NordiCHI '20: Proceedings of the 11th Nordic Conference on Human-Computer Interaction: Shaping Experiences, Shaping Society. ACM, p. 1–12 12 p. 16

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  22. Published

    从地平线到地面: 从视觉走向物质的摄影之路

    Griffiths, R., 1/10/2020, 场所 空间 艺术: 优选文集. China: China Academy of Art, Hangzhou, p. 148-162 15 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

  23. Published

    Horus: An Interference-aware Resource Manager for Deep Learning Systems

    Yeung, G., Borowiec, D., Yang, R., Friday, A., Harper, R. H. R. & Garraghan, P., 29/09/2020, Algorithms and Architectures for Parallel Processing. ICA3PP 2020. Qiu, M. (ed.). Springer, p. 492-508 17 p. (Lecture Notes in Computer Science; vol. 12453).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  24. Published

    Numerical Investigation of OAM Based Indoor Communication in a Corridor with Electrical Conducting Walls

    Wang, L., Wulff, M., Yang, C., Park, W. & Schuster, C., 29/09/2020, 2020 International Conference on UK-China Emerging Technologies (UCET). IEEE

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  25. Published

    Investigating Agile Adoption in Saudi Arabian Mobile Application Development

    Altuwaijri, F. S. & Ferrario, M. A., 24/09/2020, International Conference on Agile Software Development: XP 2020: Agile Processes in Software Engineering and Extreme Programming – Workshops. Paasivaara, M. & Kruchten, P. (eds.). Cham: Springer, p. 265-271 7 p. (Lecture Notes in Business Information Processing).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  26. Published

    Towards understanding the impact of convective weather on aircraft arrival traffic at the Hong Kong International Airport

    Lui, G. N., Liem, R. & Hon, K. K., 24/09/2020, IOP Conference Series: Earth and Environmental Science. 1 ed. Vol. 569. 012067. (IOP Conference Series: Earth and Environmental Science).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

Back to top