CSV
publication icon
Jehan F (2019) Should fast breathing pneumonia cases be treated with antibiotics? The scientific rationale for revisiting management in Low and Middle income countries. in International journal of infectious diseases : IJID : official publication of the International Society for Infectious Diseases
publication icon
Foster S (2018) Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra in Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings
publication icon
Schmidt R (2011) Synthesising Terminating Tableau Calculi for Relational Logics in Relational and Algebraic Methods in Computer Science - 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. Proceedings
publication icon
Schmidt R (2011) Synthesising Terminating Tableau Calculi for Relational Logics in Relational and Algebraic Methods in Computer Science - 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. Proceedings
publication icon
Burnett, A (2022) Incentivising 'regenerative value' to improve sustainability outcomes in Transformative metrics. Contributions to the studies for monitoring and evaluating how science, technology, and innovation can address social and environmental challenges
publication icon
Sprinks James Christopher (2016) Better the Martian you know? Trust in the crowd vs. trust in the machine when using a Martian Citizen Science platform in AAS/Division for Planetary Sciences Meeting Abstracts #48
publication icon
Dove ES (2020) To What Extent Does the EU General Data Protection Regulation (GDPR) Apply to Citizen Scientist-Led Health Research with Mobile Devices? in The Journal of law, medicine & ethics : a journal of the American Society of Law, Medicine & Ethics
publication icon
Foster S (2011) Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL in Relational and Algebraic Methods in Computer Science - 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. Proceedings
publication icon
Foster S (2011) Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL in Relational and Algebraic Methods in Computer Science - 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. Proceedings
publication icon
Vélez-Cuartas G (2022) 5. Incentivising 'Regenerative Value' to Improve Sustainability Outcomes in Transformative Metrics. Contributions to the Studies for Monitoring and Evaluating How Science, Technology, and Innovation Can Address Social and Environmental Challenges
publication icon
Foster S (2018) Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra in Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings
publication icon
Prandle D (2011) Coastal Circulation. In: Wolanski, E.; McLusky, D., (eds.) Treatise on Estuarine and Coastal Science. Volume 2: Water and Fine Sediment Circulation in Coastal Circulation. In: Wolanski, E.; McLusky, D., (eds.) Treatise on Estuarine and Coastal Science. Volume 2: Water and Fine Sediment Circulation
publication icon
Florescu D (2020) Improved Cross-Validation for Classifiers that Make Algorithmic Choices to Minimise Runtime Without Compromising Output Correctness in Mathematical Aspects of Computer and Information Sciences - 8th International Conference, MACIS 2019, Gebze, Turkey, November 13-15, 2019, Revised Selected Papers