A Graphical Calculus gan 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 gan 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 gan 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 gan 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 gan 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 gan Power, D, Slaymaker, M, Simpson, A

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