A Graphical Calculus di Curtis, S, Lowe, G

“...Lecture Notes in Computer Science...”

Proceedings of TAPSOFT 91

“...Springer Lecture Notes in Computer Science...”

Semantic Segmentation and Depth Estimation with RGB and DVS Sensor Fusion for Multi-view Driving Perception di Natan, Oskar, Miura, Jun

“...Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)...”

Automatic conformance checking of role−based access control policies via Alloy di Power, D, Slaymaker, M, Simpson, A

“...Springer−Verlag Lecture Notes in Computer Science‚ volume 6542...”

Formalising and validating RBAC−to−XACML translation using lightweight formal methods di Slaymaker, M, Power, D, Simpson, A

“...Springer−Verlag Lecture Notes in Computer Science‚ volume 5977...”

On the secure sharing and aggregation of data to support Systems Biology research di Simpson, A, Slaymaker, M, Gavaghan, D

“...Springer−Verlag Lecture Notes in Computer Science‚ volume 6254...”

On the modelling and analysis of Amazon Web Services access policies di Power, D, Slaymaker, M, Simpson, A

“...Springer−Verlag Lecture Notes in Computer Science‚ volume 5977...”