Lego®-like Bricks to Go from the Real to the Virtual World. | 0 | 0.34 | 2021 |
Property-Directed Verified Monitoring of Signal Temporal Logic. | 0 | 0.34 | 2020 |
Autonomous void detection and characterisation in point clouds and triangular meshes. | 0 | 0.34 | 2019 |
The Bond-Calculus: A Process Algebra for Complex Biological Interaction Dynamics. | 0 | 0.34 | 2018 |
The Impossibility of Certain Types of Carmichael Numbers | 0 | 0.34 | 2012 |
Security, privacy, and anonymity | 6 | 0.58 | 2004 |
Visible Surface Plotting Program [J6] (Algorithm 475) | 1 | 0.80 | 1974 |