Mark Reynolds

ORCID

Publication Activity (10 Years)

Years Active: 1996-2023
Publications (10 Years): 6

Top Venues

Sensors

Frontiers Digit. Health

SciPy

Informatics

Imperial College London, UK (PHD)

Education History

Imperial College London, UK

PHD

Publications

Benjamin R. McFadden, Mark Reynolds, Timothy J. J. Inglis
Developing machine learning systems worthy of trust for infection science: a requirement for future implementation into clinical practice. Frontiers Digit. Health 5 (2023)
Yangjinbo Zhang, Mark Reynolds, Artur Lugmayr, Katarina Damjanov, Ghulam Mubashar Hassan
A Visual Data Storytelling Framework. Informatics 9 (4) (2022)
Ryan W. Bunney, Andreas Wicenec, Mark Reynolds
SHADOW: A workflow scheduling algorithm reference and testing framework. SciPy (2020)
Arthur T. Maness, Erik Rasmussen, Aika Cho, John Hofer, Jared Luther, Mark Reynolds, Shirleen Hewitt, David Nix, Andrew Post
Genomic Sequencing : Tracking, Ordering and Collaboration with GNomEx. AMIA (2020)
Katjana Ehrlich, Helen E. Parker, Duncan K. McNicholl, Peter Reid, Mark Reynolds, Vincent Bussiere, Graham Crawford, Angela Deighan, Alice Garrett, András Kufcsák, Dominic R. Norberg, Giulia Spennati, Gregor Steele, Helen Szoor-McElhinney, Melanie Jimenez
Demonstrating the Use of Optical Fibres in Biomedical Sensing: A Collaborative Approach for Engagement and Education. Sensors 20 (2) (2020)
Mark Reynolds, Sean Turner, Stephen T. Kent
A Profile for BGPsec Router Certificates, Certificate Revocation Lists, and Certification Requests. RFC 8209 (2017)
David J. Montana, Mark Reynolds
Validation Algorithms for a Secure Internet Routing PKI. EuroPKI (2008)
Kaile Su, Abdul Sattar, Han Lin, Mark Reynolds
A Modal Logic for Beliefs and Pro Attitudes. AAAI (2007)
Xiangyu Luo, Kaile Su, Abdul Sattar, Mark Reynolds
Verification of Multi-agent Systems Via Bounded Model Checking. Australian Conference on Artificial Intelligence (2006)
Ian M. Hodkinson, Mark Reynolds
Separation - Past, Present, and Future. We Will Show Them! (2) (2005)
April Krukowski, Mark Reynolds
Students as service champions: a success story. SIGUCCS (2004)
Howard Barringer, Graham Gough, Derek Brough, Dov M. Gabbay, Ian M. Hodkinson, Anthony Hunter, Richard Owens, Peter McBrien, Mark Reynolds, Michael Fisher
Languages, Meta-languages and METATEM, A Discussion Paper. Log. J. IGPL 4 (2) (1996)

Mark Reynolds.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mark Reynolds