-
1
A Graphical Calculus
Foilsithe / Cruthaithe 1995“…Lecture Notes in Computer Science…”
Conference item -
2
Proceedings of TAPSOFT 91
Foilsithe / Cruthaithe 1991“…Springer Lecture Notes in Computer Science…”
LEABHAR -
3
Semantic Segmentation and Depth Estimation with RGB and DVS Sensor Fusion for Multi-view Driving Perception
Foilsithe / Cruthaithe 2022“…Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)…”
Other -
4
Automatic conformance checking of role−based access control policies via Alloy
Foilsithe / Cruthaithe 2011“…Springer−Verlag Lecture Notes in Computer Science‚ volume 6542…”
Conference item -
5
Formalising and validating RBAC−to−XACML translation using lightweight formal methods
Foilsithe / Cruthaithe 2010“…Springer−Verlag Lecture Notes in Computer Science‚ volume 5977…”
Conference item -
6
On the secure sharing and aggregation of data to support Systems Biology research
Foilsithe / Cruthaithe 2010“…Springer−Verlag Lecture Notes in Computer Science‚ volume 6254…”
Conference item -
7
On the modelling and analysis of Amazon Web Services access policies
Foilsithe / Cruthaithe 2010“…Springer−Verlag Lecture Notes in Computer Science‚ volume 5977…”
Conference item