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

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