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.

Linear Logic Mathematics
Computer programming languages Engineering & Materials Science
Semantics Engineering & Materials Science
Web services Engineering & Materials Science
Algebra Engineering & Materials Science
Complexity Classes Mathematics
Logarithmic Mathematics
Intuitionistic Logic Mathematics

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

Research Output 1990 2019

  • 14 Conference contribution
  • 11 Article
  • 5 Conference article
  • 1 Chapter

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., Cybenko, G. & Fila, B. (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