James M. Hull College of Business

Fingerprint The fingerprint is based on mining the text of the scientific documents related to the associated persons. Based on that an index of weighted terms is created, which defines the key subjects of research unit

Quantum cryptography Engineering & Materials Science
Linear Logic Mathematics
Web services Engineering & Materials Science
Communication Engineering & Materials Science
Data storage equipment Engineering & Materials Science
Computer programming languages Engineering & Materials Science
Semantics Engineering & Materials Science
Algebra Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1988 2019

On linear logic, functional programming, and attack trees

Eades, H. D., Jiang, J. & Bryant, A., Jan 1 2019, Graphical Models for Security - 5th International Workshop, GraMSec 2018, Revised Selected Papers. Pym, D., Fila, B. & Cybenko, G. (eds.). Springer Verlag, p. 71-89 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11086 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Functional programming
Functional Programming
Linear Logic
Semantics
Attack

The unforeseen in unmanned vehicles

Maxwell, P. & Nowatkowski, M. E., Feb 8 2019, 2018 IEEE International Symposium on Technology and Society, ISTAS 2018. Cunningham, M. & Cunningham, P. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 60-65 6 p. 8638276. (International Symposium on Technology and Society, Proceedings; vol. 2018-November).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Unmanned vehicles

Unleashing and speeding up readers in atomic object implementations

Georgiou, C., Hadjistasi, T., Nicolaou, N. & Schwarzmann, A. A., Jan 1 2019, Networked Systems - 6th International Conference, NETYS 2018, Revised Selected Papers. Podelski, A. & Taïani, F. (eds.). Springer Verlag, p. 175-190 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11028 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Communication
Message passing
Message Passing
Replica
Distributed computer systems