Fingerprint Dive into the research topics where Computer Science is active. These topic labels come from the works of this organization's members. Together they form a unique fingerprint.

Web services Engineering & Materials Science
Linear Logic Mathematics
Computer programming languages Engineering & Materials Science
Semantics Engineering & Materials Science
Chemical analysis Engineering & Materials Science
Logarithmic Mathematics
Composite materials Engineering & Materials Science
Intuitionistic Logic Mathematics

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

Research Output 2007 2019

A look at the security and privacy of Fitbit as a health activity tracker

Orlosky, J., Ezenwoye, O., Yates, H. & Besenyi, G., Apr 18 2019, ACMSE 2019 - Proceedings of the 2019 ACM Southeast Conference. Association for Computing Machinery, Inc, p. 241-244 4 p. (ACMSE 2019 - Proceedings of the 2019 ACM Southeast Conference).

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

Open Access
Health
Accelerometers
Experiments

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

On the Lambek calculus with an exchange modality

Jiang, J., Eades, H. D. & de Paiva, V., Apr 15 2019, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 292, p. 43-89 47 p.

Research output: Contribution to journalConference article

Open Access