share record
persistent URL:
Mohammad A. Alhejji , Graeme Smith : A Tight Uniform Continuity Bound for Equivocation. ISIT 2020 : 2270-2274 2019 export record
dblp key:
journals/arobots/SmithBYH19 share record
persistent URL:
Andrew J. Smith , Graeme Best , Javier Yu , Geoffrey A. Hollinger : Real-time distributed non-myopic task selection for heterogeneous robotic teams. Auton. Robots 43 (3 ) : 789-811 (2019 )share record
persistent URL:
Kirsten Winter , Graeme Smith , John Derrick : Modelling concurrent objects running on the TSO and ARMv8 memory models. Sci. Comput. Program. 184 (2019 )share record
persistent URL:
Joseph Landon Garry , Graeme E. Smith : Experimental Observations of Micro-Doppler Signatures With Passive Radar. IEEE Trans. Aerosp. Electron. Syst. 55 (2 ) : 1045-1052 (2019 )export record
dblp key:
journals/taes/WijesundaraBSOJ19 share record
persistent URL:
Shanka N. Wijesundara , Kristine L. Bell , Graeme E. Smith , Andrew O'Brien , Joel T. Johnson : Comparison of Maximum-Likelihood Estimation and Other Methods for Clutter Doppler Centroid Estimation. IEEE Trans. Aerosp. Electron. Syst. 55 (5 ) : 2359-2369 (2019 )export record
dblp key:
journals/tgrs/MitchellGDSBR19 share record
persistent URL:
Adam E. Mitchell , Joseph Landon Garry , Andrew J. Duly , Graeme E. Smith , Kristine L. Bell , Muralidhar Rangaswamy : Fully Adaptive Radar for Variable Resolution Imaging. IEEE Trans. Geosci. Remote. Sens. 57 (12 ) : 9810-9819 (2019 )export record
dblp key:
conf/camsap/John-BaptisteSJ19 share record
persistent URL:
Peter John-Baptiste , Graeme E. Smith , Aaron M. Jones , Trevor J. Bihl : Rapid Waveform Design Through Machine Learning. CAMSAP 2019 : 659-663 share record
persistent URL:
Graeme Smith , Nicholas Coughlin , Toby Murray : Value-Dependent Information-Flow Security on Weak Memory Models. FM 2019 : 539-555 share record
persistent URL:
Graeme Smith , David J. Duke : Specification with Class: A Brief History of Object-Z. FM Workshops (2) 2019 : 73-86 share record
persistent URL:
Graeme Smith , Lindsay Groves : Weakening Correctness and Linearizability for Concurrent Objects on Multicore Processors. FM Workshops (2) 2019 : 342-357 share record
persistent URL:
Brijesh Dongol , Luigia Petre , Graeme Smith : Formal Methods Teaching - Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings. Lecture Notes in Computer Science 11758, Springer 2019 , ISBN 978-3-030-32440-7 [contents] export record
dblp key:
journals/corr/abs-1909-00787 share record
persistent URL:
Mohammad A. Alhejji , Graeme Smith : A Tight Uniform Continuity Bound for Equivocation. CoRR abs/1909.00787 (2019 )export record
dblp key:
journals/corr/abs-1909-02479 share record
persistent URL:
Felix Leditzky , Mohammad A. Alhejji , Joshua Levin , Graeme Smith : Playing Games with Multiple Access Channels. CoRR abs/1909.02479 (2019 )2018 export record
dblp key:
journals/taes/NavratilGOS18 share record
persistent URL:
Václav Navrátil , Joseph Landon Garry , Andrew J. O'Brien , Graeme E. Smith : Exploiting Terrestrial Positioning Signals to Enable a Low-Cost Passive Radar. IEEE Trans. Aerosp. Electron. Syst. 54 (5 ) : 2246-2256 (2018 )export record
dblp key:
journals/tit/LeditzkyDS18 share record
persistent URL:
Felix Leditzky , Nilanjana Datta , Graeme Smith : Useful States and Entanglement Distillation. IEEE Trans. Inf. Theory 64 (7 ) : 4689-4708 (2018 )share record
persistent URL:
Kristine L. Bell , Graeme E. Smith , Adam E. Mitchell , Muralidhar Rangaswamy : Multiple Task Hierarchical Fully Adaptive Radar. ACSSC 2018 : 1344-1348 share record
persistent URL:
Robert J. Colvin , Graeme Smith : A Wide-Spectrum Language for Verification of Programs on Weak Memory Models. FM 2018 : 240-257 share record
persistent URL:
Kirsten Winter , Graeme Smith , John Derrick : Observational Models for Linearizability Checking on Weak Memory Models. TASE 2018 : 100-107 export record
dblp key:
journals/corr/abs-1810-09612 share record
persistent URL:
Graeme Smith , Kirsten Winter , Robert J. Colvin : Correctness of Concurrent Objects under Weak Memory Models. Refine@FM 2018 : 53-67 export record
dblp key:
journals/corr/abs-1802-04406 share record
persistent URL:
Robert J. Colvin , Graeme Smith : A wide-spectrum language for verification of programs on weak memory models. CoRR abs/1802.04406 (2018 )export record
dblp key:
journals/corr/abs-1802-04954 share record
persistent URL:
Graeme Smith , Kirsten Winter , Robert J. Colvin : A sound and complete definition of linearizability on weak memory models. CoRR abs/1802.04954 (2018 )export record
dblp key:
journals/corr/abs-1812-00996 share record
persistent URL:
Robert J. Colvin , Graeme Smith : A high-level operational semantics for hardware weak memory models. CoRR abs/1812.00996 (2018 )2017 share record
persistent URL:
Qin Li , Graeme Smith : Refining autonomous agents with declarative beliefs and desires. Formal Aspects Comput. 29 (2 ) : 227-249 (2017 )share record
persistent URL:
Graeme Smith , Kirsten Winter : Relating trace refinement and linearizability. Formal Aspects Comput. 29 (6 ) : 935-950 (2017 )export record
dblp key:
journals/neuroimage/RaffeltTSVJRC17 share record
persistent URL:
David A. Raffelt , Jacques-Donald Tournier , Robert E. Smith , David N. Vaughan , Graeme D. Jackson , Gerard R. Ridgway , Alan Connelly : Investigating white matter fibre density and morphology using fixel-based analysis. NeuroImage 144 : 58-73 (2017 )