Mark Slaymaker
Mark Slaymaker
Selected Publications
-
On an infrastructure to support sharing and aggregating pre− and post−publication systems biology research data
Mark Slaymaker‚ James Osborne‚ Andrew Simpson and David Gavaghan
In Systems and Synthetic Biology. Vol. 6. No. 1–2. Pages 35–49. 2012.
Details about On an infrastructure to support sharing and aggregating pre− and post−publication systems biology research data | BibTeX data for On an infrastructure to support sharing and aggregating pre− and post−publication systems biology research data | DOI (10.1007/s11693-012-9095-x)
-
Virtual experiments for reusable models
Jonathan Cooper‚ Gary Mirams‚ Mark Slaymaker‚ Andrew Simpson‚ Jon Olav Vik and Dagmar Waltemath
In Proceedings of VPH 2012. 2012.
Details about Virtual experiments for reusable models | BibTeX data for Virtual experiments for reusable models
-
Conformance checking of dynamic access control policies
D. J. Power‚ M. A. Slaymaker and A. C. Simpson
In Proceedings of the 13th International Conference on Formal Methods and Software Engineering (ICFEM 2011). Vol. 6255 of Lecture Notes in Computer Science. Pages 227–242. Springer. 2011.
Details about Conformance checking of dynamic access control policies | BibTeX data for Conformance checking of dynamic access control policies
Activities
- Software Engineering
- Cyber Security Oxford
- Models and technologies for secure data sharing
- Research Informatics
- Systems Security