A Functional HDL in ReFLect by Melham, T, O'Leary, J

Xs Are for Trajectory Evaluation‚ Booleans Are for Theorem Proving by Aagaard, M, Melham, T, O'Leary, J

Relational STE and Theorem Proving for Formal Verification of Industrial Circuit Designs by O'Leary, J, Kaivola, R, Melham, T

Xs are for Trajectory Evaluation‚ Booleans are for Theorem Proving (Extended Version) by Aagaard, M, Melham, T, O'Leary, J

A Reflective Functional Language for Hardware Design and Theorem Proving by Grundy, J, Melham, T, O'Leary, J

A Reflective Functional Language for Hardware Design and Theorem Proving by Grundy, J, Melham, T, O'Leary, J

Relational STE and theorem proving for formal verification of industrial circuit designs by O'Leary, J, Kaivola, R, Melham, T

Glycobiology against viruses: Antiviral drug discovery by Zitzmann, N, O'Leary, J, Dwek, R

Conservation of hydrophobicity within viral envelope glycoproteins reveals a putative hepatitis C virus fusion peptide by Taylor, A, O'Leary, J, Pollock, S, Zitzmann, N

Learning concise models from long execution traces by Yogananda Jeppu, N, Melham, T, Kroening, D, O'Leary, J

A Methodology for Large−Scale Hardware Verification by Aagaard, M, Jones, R, Melham, T, O'Leary, J, Seger, C

Practical Formal Verification in Microprocessor Design by Jones, R, O'Leary, J, Seger, C, Aagaard, M, Melham, T

Can the UK develop accommodation centres in a trauma-informed way? by Blair, J, Bolt, D, Hunt, J, Katona, C, O’Leary, J

A unified framework for de-duplication and population size estimation (with discussion) by Ju, N, Biswas, N, Jacob, PE, Mena, G, O'Leary, J, Pompe, E

Solution structure and dynamics of a prototypical chordin-like cysteine-rich repeat (von Willebrand Factor type C module) from collagen IIA. by O'Leary, J, Hamilton, J, Deane, C, Valeyev, N, Sandell, L, Downing, A

An Industrially Effective Environment for Formal Hardware Verification by Seger, C, Jones, R, O'Leary, J, Melham, T, Aagaard, M, Barrett, C, Syme, D

ret/PTC-1 expression alters the immunoprofile of thyroid follicular cells. by Denning, K, Smyth, P, Cahill, S, Li, J, Flavin, R, Aherne, S, O' Leary, J, Sheils, O

Analysis of microRNA let-7a and mir-140 Expression Levels Using Laser Capture Microdissected (LCM) Samples of Thyroid Formalin Fixed Paraffin Embedded (FFPE)Tissues by Li, J, Smyth, P, Denning, K, Flavin, R, Aherne, S, Guenther, S, O'Leary, J, Sheils, O

Solution structure of the third TB domain from LTBP1 provides insight into assembly of the large latent complex that sequesters latent TGF-beta. by Lack, J, O'Leary, J, Knott, V, Yuan, X, Rifkin, D, Handford, P, Downing, A

Analysis of microRNA let-7a and mir-140 Expression Levels Using Laser Capture Microdissected (LCM) Samples of Thyroid Formalin Fixed Paraffin Embedded (FFPE) Tissues by Li, J, Smyth, P, Denning, K, Flavin, R, Aherne, S, Guenther, S, O'Leary, J, Sheils, O