A Graphical Calculus за авторством 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 за авторством 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 за авторством 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 за авторством 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 за авторством 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 за авторством Power, D, Slaymaker, M, Simpson, A

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