Mark Slaymaker
|
Mark
Slaymaker
Research Officer
+44 1865 283528
|
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. 2012. |
| 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. |
| 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 Springer−Verlag Lecture Notes in Computer Science. Pages 227–242. 2011. |
Info
|
Themes |
|
|
Activities |
Cyber Security Centre | Models and technologies for secure data sharing | Research Informatics | Systems Security |
|
Projects |
|
|
Completed Projects |
Generic Infrastructure for Medical Informatics | sif | Models and technologies for assured, context-sensitive access control | SOFA | |
