Browse by Research Centres and Groups

Up a level
Export as [feed] Atom [feed] RSS
Group by: Authors | Item Type | No Grouping
Jump to: A | B | H | J | M | P | R | T | Y
Number of items at this level: 14.

A

Alasmar, Mohammed, Parisis, George, Clegg, Richard and Zakhleniuk, Nickolay (2018) 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: Proceedings of the 38th Annual IEEE International Conference on Computer Communications,. (Accepted)

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

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

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, 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

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

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

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 (Accepted)

This list was generated on Thu Jun 20 14:03:12 2019 BST.