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…”