A

Alasmar, Mohammed and Parisis, George (2019) Evaluating modern data centre transport protocols in OMNeT++/INET. In: 6th OMNeT++ Community Summit, September 4-6, 2019, Hamburg University of Technology.

Alasmar, Mohammed, Parisis, George, Clegg, Richard and Zakhleniuk, Nickolay (2019) On the distribution of traffic volumes in the internet and its implications. The 38th IEEE International Conference on Computer Communications (INFOCOM 2019), Paris, France, 29th April-2nd May 2019. Published in: IEEE INFOCOM 2019 - IEEE conference on computer communications. 955-963. IEEE, Piscataway, New Jersey. ISSN 2641-9874 ISBN 9781728105154

Alasmar, Mohammed, Parisis, Georgios Angelos and Crowcroft, Jon (2018) Polyraptor: embracing path and data redundancy in data centres for efficient data transport. SIGCOMM 2018, Budapest, Hungary, August 20-25 2018. Published in: SIGCOMM '18 Proceedings of the ACM SIGCOMM 2018 Conference on Posters and Demos. 69-71. Association for Computing Machinery ISBN 9781450359153

Alsowail, Rakan and Mackie, Ian (2017) Controlling file access with types. Electronic Notes in Theoretical Computer Science, 332. pp. 3-20. ISSN 1571-0661

Asaamoning, Godwin, Mendes, Paulo and Magaia, Naercio (2021) A dynamic clustering mechanism with load-balancing for Flying Ad Hoc NETworks. IEEE Access, 9. pp. 158574-158586. ISSN 2169-3536

B

Berger, Martin and Tratt, Laurie (2015) Program logics for homogeneous generative run-time meta-programming. Logical Methods in Computer Science, 11 (1). ISSN 1860-5974

H

Ho, Hsi-Ming, Zhou, Ruoyu and Jones, Timothy M (2020) Timed hyperproperties. Information and Computation. a104639. ISSN 0890-5401

Honda, Kohei, Yoshida, Nobuko and Berger, Martin (2014) Process types as a descriptive tool for interaction. Rewriting and Typed Lambda Calculi. RTA 2014, Vienna, Austria, 14-17 July 2014. Published in: Rewriting and Typed Lambda Calculi. RTA 2014. 1-20. Springer ISBN 9783319089171

Honda, Kohei, Yoshida, Nobuko and Berger, Martin (2014) An observationally complete program logic for imperative higher-order functions. Theoretical Computer Science, 517. pp. 75-101. ISSN 0304-3975

J

Jeffery, Alex and Berger, Martin (2020) Asynchronous sessions with implicit functions and messages. Science of Computer Programming. ISSN 0167-6423

Jeffery, Alexander and Berger, Martin (2018) Asynchronous sessions with implicit functions and messages. 12th International Symposium on Theoretical Aspects of Software Engineering, Guangzhou, China, August 29-31 2018. Published in: 2018 International Symposium on Theoretical Aspects of Software Engineering (TASE). Institute of Electrical and Electronics Engineers ISBN 9781538673058

K

Kheirkhah, Morteza, Wakeman, Ian and Parisis, George (2019) Multipath transport and packet spraying for efficient data delivery in data centres. Computer Networks, 162 (106852). ISSN 1389-1286

M

Mackie, Ian (2017) A geometry of interaction machine for Gödel's System T. Published in: Kennedy, Juliette and de Queiroz, Ruy J G B, (eds.) Proceedings of the 24th International Workshop on Logic, Language, Information, and Computation; London, UK; 18-21 July 2017. 10388 229-241. Springer Verlag ISSN 9783662553855 ISBN 0302-9743

Mackie, Ian and Yildirim, Merve (2018) A novel hybrid password authentication scheme based on text and image. 32nd Annual IFIP WG 11.3 Conference on Data and Applications Security and Privacy, Italy, 16-18 July 2018. Published in: Kerschbaum, Florian and Parboschi, Stefano, (eds.) Data and Applications Security and Privacy. 182-197. Springer Verlag ISSN 0302-9743 ISBN 978-3-319-95729-6

Magaia, Naercio, Ferreira, Pedro and Pereira, Paulo Rogerio (2022) An edge-based smart network monitoring system for the Internet of Vehicles. IEEE International Conference on Communications 2022, Seoul, South Korea, 16–20 May 2022. Published in: IEEE International Conference on Communications (ICC). IEEE ISSN 1938-1883 ISBN 9781538683477

Magaia, Naercio, Ferreira, Pedro, Pereira, Paulo Rogério, Muhammad, Khan, Del Ser, Javi and Albuquerque, Victor Hugo C de (2022) Group'n Route: an edge learning-based clustering and efficient routing scheme leveraging social strength for the Internet of Vehicles. IEEE Transactions on Intelligent Transportation Systems. pp. 1-13. ISSN 1524-9050

Magaia, Naercio, Ribeiro, Igor de L, de Aguiar, André W O, Fonseca, Ramon, Muhammad, Khan and de Albuquerque, Victor Hugo C (2021) An Artificial Intelligence application for drone-assisted 5G remote e-Health. Internet of Things Magazine, 4 (4). pp. 30-35. ISSN 2576-3199

Muhammad, Khan, Del Ser, Javier, Magaia, Naercio, Fonseca, Ramon, Hussain, Tanveer, Gandomi, Amir, Daneshmand, Mahmoud and de Albuquerque, Victor (2022) Communication technologies for edge learning and inference: a novel framework, open issues, and perspectives. IEEE Network: the magazine of global information exchange. pp. 1-7. ISSN 1558-156X

P

Parisis, Georgios Angelos, Sourlas, Vasilis, Katsaros, Konstantinos, Chai, Wei Koong, Pavlou, George and Wakeman, Ian (2017) Efficient content delivery through fountain coding in opportunistic information-centric networks. Computer Communications, 100. pp. 118-128. ISSN 0140-3664

R

Rajaei, Aydin, Chalmers, Dan, Wakeman, Ian and Parisis, George (2018) Efficient geocasting in opportunistic networks. Computer Communications, 127. pp. 105-121. ISSN 0140-3664

Reus, Bernhard, Knapp, Alexander and Mühlberger, Heribert (2023) Interpreting knowledge-based programs. ESOP 32nd European Symposium on Programming, Paris, France, 22-27 April 2023. Published in: ESOP 2023 : 32st European Symposium on Programming. 13990 Springer ISBN 9783031300431 (Accepted)

S

Sousa, Breno, Magaia, Naercio and Silva, Sara (2023) An intelligent intrusion detection system for 5G-enabled internet of vehicles. Electronics, 12 (8). ISSN 2079-9292

T

Tee, Philip, Parisis, George, Berthouze, Luc and Wakeman, Ian (2018) Relating vertex and global graph entropy in randomly generated graphs. Entropy, 20 (7). ISSN 1099-4300

Tee, Philip, Parisis, George and Wakeman, Ian (2017) Vertex entropy as a critical node measure in network monitoring. IEEE Transactions on Network and Service Management, 14 (3). pp. 646-660. ISSN 1932-4537

Y

Yildirim, M and Mackie, I (2019) Encouraging users to improve password security and memorability. International Journal of Information Security. ISSN 1615-5262