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

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