CSV
publication icon
Leonelli S (2012) Introduction: Making sense of data-driven research in the biological and biomedical sciences. in Studies in history and philosophy of biological and biomedical sciences
publication icon
Timmins KA (2018) How has big data contributed to obesity research? A review of the literature in International Journal of Obesity
publication icon
Freitas L (2018) A Methodology for Protocol Verification Applied to EMV® 1 in Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings
publication icon
Gorrell G (2018) Quantifying Media Influence and Partisan Attention on Twitter During the UK EU Referendum in Social Informatics - 10th International Conference, SocInfo 2018, St. Petersburg, Russia, September 25-28, 2018, Proceedings, Part I
publication icon
Karafili E (2018) A Logic-Based Reasoner for Discovering Authentication Vulnerabilities Between Interconnected Accounts in Emerging Technologies for Authorization and Authentication - First International Workshop, ETAA 2018, Barcelona, Spain, September 7, 2018, Proceedings
publication icon
Karafili E (2018) A Logic-Based Reasoner for Discovering Authentication Vulnerabilities Between Interconnected Accounts in Emerging Technologies for Authorization and Authentication - First International Workshop, ETAA 2018, Barcelona, Spain, September 7, 2018, Proceedings
publication icon
Dowling B (2018) A Cryptographic Analysis of the WireGuard Protocol in Applied Cryptography and Network Security - 16th International Conference, ACNS 2018, Leuven, Belgium, July 2-4, 2018, Proceedings
publication icon
Albrecht M (2018) Estimate All the {LWE, NTRU} Schemes! in Security and Cryptography for Networks - 11th International Conference, SCN 2018, Amalfi, Italy, September 5-7, 2018, Proceedings
publication icon
Albrecht M (2018) Estimate All the {LWE, NTRU} Schemes! in Security and Cryptography for Networks - 11th International Conference, SCN 2018, Amalfi, Italy, September 5-7, 2018, Proceedings
publication icon
Olaosebikan S (2018) Super-Stability in the Student-Project Allocation Problem with Ties in Combinatorial Optimization and Applications - 12th International Conference, COCOA 2018, Atlanta, GA, USA, December 15-17, 2018, Proceedings
publication icon
Olaosebikan S (2018) Super-Stability in the Student-Project Allocation Problem with Ties in Combinatorial Optimization and Applications - 12th International Conference, COCOA 2018, Atlanta, GA, USA, December 15-17, 2018, Proceedings
publication icon
Conserva Filho M (2018) Analysing RoboChart with Probabilities in Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings
publication icon
Amiri R (2018) Efficient Unconditionally Secure Signatures Using Universal Hashing in Applied Cryptography and Network Security - 16th International Conference, ACNS 2018, Leuven, Belgium, July 2-4, 2018, Proceedings
publication icon
Freitas L (2018) A Methodology for Protocol Verification Applied to EMV® 1 in Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings
publication icon
Albrecht M (2018) Estimate All the {LWE, NTRU} Schemes! in Security and Cryptography for Networks - 11th International Conference, SCN 2018, Amalfi, Italy, September 5-7, 2018, Proceedings
publication icon
Keller M (2018) Reducing Communication Channels in MPC in Security and Cryptography for Networks - 11th International Conference, SCN 2018, Amalfi, Italy, September 5-7, 2018, Proceedings
publication icon
Brotherston J (2018) On the Complexity of Pointer Arithmetic in Separation Logic in Programming Languages and Systems - 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings
publication icon
Jiang Y (2018) Machine Learning for Inductive Theorem Proving in Artificial Intelligence and Symbolic Computation - 13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018, Proceedings
publication icon
Bellomarini L (2018) Vadalog: A Language and System for Knowledge Graphs in Rules and Reasoning - Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018, Proceedings
publication icon
Dragan C (2018) Hierarchical Attribute-Based Signatures in Cryptology and Network Security - 17th International Conference, CANS 2018, Naples, Italy, September 30 - October 3, 2018, Proceedings
publication icon
Cheng Z (2018) Certificateless Public Key Signature Schemes from Standard Algorithms in Information Security Practice and Experience - 14th International Conference, ISPEC 2018, Tokyo, Japan, September 25-27, 2018, Proceedings
publication icon
Liu J (2018) Time-Based Direct Revocable Ciphertext-Policy Attribute-Based Encryption with Short Revocation List in Applied Cryptography and Network Security - 16th International Conference, ACNS 2018, Leuven, Belgium, July 2-4, 2018, Proceedings
publication icon
Dragan C (2018) Hierarchical Attribute-Based Signatures in Cryptology and Network Security - 17th International Conference, CANS 2018, Naples, Italy, September 30 - October 3, 2018, Proceedings
publication icon
Jiang Y (2018) Machine Learning for Inductive Theorem Proving in Artificial Intelligence and Symbolic Computation - 13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018, Proceedings
publication icon
Amano H (2018) The 2018 GaN power electronics roadmap in Journal of Physics D: Applied Physics
publication icon
Antonio Giustozzi (2019) The Taliban at War 2001-2018
publication icon
Collaboration P (2018) Planck 2018 results. VIII. Gravitational lensing in arXiv e-prints
publication icon
Blunden J (2019) State of the Climate in 2018 in Bulletin of the American Meteorological Society
publication icon
Amano H (2018) The 2018 GaN power electronics roadmap in Journal of Physics D: Applied Physics
publication icon
Oliver Dolly J (2018) Eric A. Barnard FRS (1927-2018) in Journal of Neurochemistry
publication icon
Oliver Dolly J (2018) Eric A. Barnard FRS (1927-2018) in Journal of Neurochemistry
publication icon
Blunden J (2019) State of the Climate in 2018 in Bulletin of the American Meteorological Society
publication icon
Blunden J (2019) State of the Climate in 2018 in Bulletin of the American Meteorological Society
publication icon
Harrison PW (2019) The European Nucleotide Archive in 2018. in Nucleic acids research
publication icon
Antonio Giustozzi (2019) The Taliban at War 2001-2018
publication icon
Meen T (2020) Selected Papers from IEEE ICASI 2018 in Applied Sciences
publication icon
Buggs RJA (2018) Plant-killers: Fungal threats to ecosystems in State of the World's Fungi 2018
publication icon
Ando T (2018) The 2018 correlative microscopy techniques roadmap. in Journal of physics D: Applied physics
publication icon
Ando T (2018) The 2018 correlative microscopy techniques roadmap. in Journal of physics D: Applied physics
publication icon
Collaboration P (2018) Planck 2018 results. VI. Cosmological parameters in arXiv e-prints
publication icon
Blunden J (2019) State of the Climate in 2018 in Bulletin of the American Meteorological Society
publication icon
Harrison PW (2019) The European Nucleotide Archive in 2018. in Nucleic acids research
publication icon
Harrison PW (2019) The European Nucleotide Archive in 2018. in Nucleic acids research
publication icon
Harrison PW (2019) The European Nucleotide Archive in 2018. in Nucleic acids research
publication icon
Chakraborty N (2019) Special issue on UKCTRF workshop 2018 in Combustion Science and Technology
publication icon
Chakraborty N (2019) Special issue on UKCTRF workshop 2018 in Combustion Science and Technology
publication icon
Blunden J (2019) State of the Climate in 2018 in Bulletin of the American Meteorological Society
publication icon
Blunden J (2019) State of the Climate in 2018 in Bulletin of the American Meteorological Society
publication icon
Blunden J (2019) State of the Climate in 2018 in Bulletin of the American Meteorological Society
publication icon
Lee Williamson (Co-Author) (2011) Longitudinal Studies Centre - Scotland
publication icon
Laura Vaughan (Author) (2012) Adaptive Suburban Town Centres
publication icon
Schrader M (2018) Peroxisomes take centre stage in SciTech Europa Quarterly
publication icon
E. Keep (2013) Towards a VET centre
publication icon
Speed C (2017) Centre for design informatics in Interactions
publication icon
Jeremy Allouche (Author) (2014) STEPS Centre Securitization Project
publication icon
Speed C (2017) Centre for design informatics in Interactions