CSV
publication icon
Awan-Scully R (2019) European elections: Wales
publication icon
Jones C (2011) The HadGEM2-ES implementation of CMIP5 centennial simulations in Geoscientific Model Development
publication icon
Chang W (2020) Development Automation of Real-Time Java Model-Driven Transformation and Synthesis in ACM Transactions on Embedded Computing Systems
publication icon
Kulik T (2022) A Survey of Practical Formal Methods for Security in Formal Aspects of Computing
publication icon
Professor Anand Menon (2018) Blog: The crippling cost of a no-deal Brexit
publication icon
Migon, Piotr (2009) in Geomorphological Landscapes of the World
publication icon
Ciaran Gillespie (2018) Blog: Brexit, trade wars and Cold Wars
publication icon
Crowley M (2019) The Brexit Scorecard
publication icon
Zhang K (2020) A Multimode Transverse Dynamic Force Microscope-Design, Identification, and Control in IEEE Transactions on Industrial Electronics
publication icon
Allegrini AG (2019) Genomic prediction of cognitive traits in childhood and adolescence. in Molecular psychiatry
publication icon
Wright M (2022) Within-person variability in performance across school subjects in Learning and Individual Differences
publication icon
Professor David Howarth (2019) Blog: Seizing control of Brexit
publication icon
Phillimore AB (2010) Differences in spawning date between populations of common frog reveal local adaptation. in Proceedings of the National Academy of Sciences of the United States of America
publication icon
Dr Simon Usherwood (2018) Blog: Article 50 one year on: transition
publication icon
Agarwal N (2020) Adaptive regularization with cubics on manifolds in Mathematical Programming
publication icon
Buan A (2010) Denominators in cluster algebras of affine type in Journal of Algebra
publication icon
Gleirscher M (2021) Proceedings First Workshop on Applicable Formal Methods Preface in Electronic Proceedings in Theoretical Computer Science
publication icon
Araujo H (2023) Testing, Validation, and Verification of Robotic and Autonomous Systems: A Systematic Review in ACM Transactions on Software Engineering and Methodology