Department of Computer Science

• E-pub ahead of print

  A Formal Model for Checking Cryptographic API Usage in JavaScript

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Published

  The asymptotic number of prefix normal words

  Research output: Contribution to journal › Article

• E-pub ahead of print

  A RESTful middleware for AI controlled sensors, actuators and smart devices

  Research output: Contribution to journal › Article

View all »

• String Constraint Solving with Real-World Regular Expressions

  Project: Research

• A Reconfigurable Robotic Platform (s) With Advanced Sensing For Confined Spaces

  Project: Research

• Transatlantic Perspectives on the Use of Data Science in Museums and Heritage

  Project: Research

View all »