VDM '90 VDM and Z — Formal Methods in Software Development: Third International Symposium of VDM Europe Kiel, FRG, April 17–21, 1990 Proceedings von Bjørner, D, Hoare, C. A. R, Langmaack, H

Volltext

Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings von Ribeiro, Pedro, Sampaio, Augusto

Volltext

The verified software initiative: A manifesto von Hoare, C.A.R., Misra, Jayadev, Leavens, Gary T., Shankar, Natarajan

Volltext

Systematic review of treatments for atopic eczema von Hoare, C, Li Wan Po, A, Williams, H

Volltext

The odyssey to next-generation computers: cognitive computers (κC) inspired by the brain and powered by intelligent mathematics von Wang, Yingxu, Widrow, Bernard, Hoare, C. A. R., Pedrycz, Witold, Berwick, Robert C., Plataniotis, Konstantinos N., Rudas, Imre J., Lu, Jianhua, Kacprzyk, Janusz

Volltext

Edsger Wybe Dijkstra: His Life, Work, and Legacy von Apt, Krzysztof R, Hoare, Tony

Volltext

Integrating Ecosystem Services and Disservices in Valuing Smallholder Livestock and Poultry Production in Three Villages in South Africa von Herd-Hoare, Shannon C., Shackleton, Charlie M.

Volltext

Adhesion enhancement of polymer surfaces by atmospheric plasma treatment von Shenton, M J, Lovell-Hoare, M C, Stevens, G C

Volltext

Responding to the climate crisis – taking action on the IPCC 6th Assessment Report von Misal, Haleema, Hoare, Victoria H. C., Miles, Verity

Volltext

Shallow sampling by multi-shot laser ablation and its application within U-Pb zircon geochronology von Corbett, Eoghan P., Simonetti, Antonio, Shaw, Phil, Corcoran, Loretta, Crowley, Quentin G., Hoare, Brendan C.

Volltext

Nonunion after trapeziometacarpal arthrodesis: comparison between K-wire and internal fixation von Singh, H. P., Hoare, C., Beresford-Cleary, N., Anakwe, R., Hayton, M.

Volltext

Correction to: U–Pb dating of gem‑quality vanadium‑bearing grossular garnet (var. tsavorite) from north‑eastern Tanzania von Hoare, Brendan C., Arden, Sarah E., O’Sullivan, Gary J.

Volltext

U–Pb dating of gem-quality vanadium-bearing grossular garnet (var. tsavorite) from north-eastern Tanzania von Hoare, Brendan C., Arden, Sarah E., O’Sullivan, Gary J.

Volltext

Uranium–lead geochronology applied to pyrope garnet with very low concentrations of uranium von O’Sullivan, Gary J, Hoare, Brendan C, Mark, Chris, Drakou, Foteini, Tomlinson, Emma L

Volltext

Preface to special issue on software verification von Hoare, C. A. R., Misra, Jayadev

Volltext

Graphical models of separation logic von Wehrman, Ian, Hoare, C.A.R., O'Hearn, Peter W.

Volltext

Metamorphism as the cause of bone alteration in the Jarrow assemblage (Langsettian, Pennsylvanian) of Ireland von Gogáin, Aodhán Ó, O'Sullivan, Gary, Clements, Thomas, Hoare, Brendan C., Murray, John, Wyse Jackson, Patrick N., Sansom, Robert

Volltext

The verifying compiler, a grand challenge for computing research von Hoare, C. A. R.

Volltext

Transcranial Doppler detected cerebral microembolism following carotid endarterectomy : High microembolic signal loads predict postoperative cerebral ischaemia von LEVI, C. R, O'MALLEY, H. M, DONNAN, G. A, FELL, G, ROBERTS, A. K, HOARE, M. C, ROYLE, J. P, CHAN, A, BEILES, B. C, CHAMBERS, B. R, BLADIN, C. F

Volltext

Clearcut with seed trees in red pine forests associated with increased occupancy by Eastern Whip-poor-wills von Tozer, Douglas C., Hoare, Jennifer C., Inglis, Jeremy E., Yaraskavitch, Joe, Kitching, Hugo, Dobbyn, Sandy

Volltext