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

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