I agree that this site is using cookies. You can find further informations here.
X
Baxter, James
1108  results:
OpenAccess-fulltext X
Search for persons X
?
1

Understanding the leading indicators of hospital admissions..:

Mellor, Jonathon ; Overton, Christopher E ; Fyles, Martyn...
http://arxiv.org/abs/2303.12037.  , 2023
Link: http://arxiv.org/abs/230..
 
?
2

Inferring the multiplicity of founder variants initiating H..:

Baxter, James ; Langhorne, Sarah ; Shi, Ting...
https://researchonline.lshtm.ac.uk/id/eprint/4668584/2/Baxter_etal_2023_Inferring-the-multiplicity-of-founder.pdf.  , 2023
Link: https://researchonline.l..
 
?
3

Optical control of ultrafast structural dynamics in a fluor..:

Hutchison, Christopher ; Baxter, James ; Fitzpatrick, Ann...
qt0dj4h675.  , 2023
Link: https://escholarship.org..
 
?
4

RoboWorld : Verification of Robotic Systems with Environmen..:

Baxter, James ; Carvalho, Gustavo ; Cavalcanti, Ana.
https://eprints.whiterose.ac.uk/207085/1/3625563.pdf.  , 2023
Link: https://eprints.whiteros..
 
?
5

Sound reasoning in tock-CSP:

Baxter, James ; Ribeiro, Pedro ; Cavalcanti, Ana
https://eprints.whiterose.ac.uk/174356/1/Baxter2021_Article_SoundReasoningInTock_CSP.pdf.  , 2021
Link: https://eprints.whiteros..
 
?
6

Unifying Semantic Foundations for Automated Verification To..:

Foster, Simon David ; Baxter, James ; Cavalcanti, Ana Lucia Caneca..
https://eprints.whiterose.ac.uk/149060/8/FACS_SCP.pdf.  , 2020
Link: https://eprints.whiteros..
 
?
7

Unifying Semantic Foundations for Automated Verification To..:

Foster, Simon ; Baxter, James ; Cavalcanti, Ana..
http://arxiv.org/abs/1905.05500.  , 2019
Link: http://arxiv.org/abs/190..
 
?
8

Priorities in tock-CSP:

Ribeiro, Pedro ; Baxter, James ; Cavalcanti, Ana
http://arxiv.org/abs/1907.07974.  , 2019
Link: http://arxiv.org/abs/190..
 
?
9

On the Information Advantage of Sidescan Sonar Three-Freque..:

Tamsett, Duncan ; McIlvenny, Jason ; Baxter, James..
Tamsett , D , McIlvenny , J , Baxter , J , Gois , P & Williamson , B 2019 , ' On the Information Advantage of Sidescan Sonar Three-Frequency Colour over Greyscale Imagery ' , Journal of Marine Science and Engineering , vol. 7 , pp. 276-296 . https://doi.org/10.3390/jmse7080276.  , 2019
Link: https://pure.uhi.ac.uk/e..
 
?
10

Automating Verification of State Machines with Reactive Des..:

Foster, Simon ; Baxter, James ; Cavalcanti, Ana..
http://arxiv.org/abs/1807.08588.  , 2018
Link: http://arxiv.org/abs/180..
 
?
11

Ahead-of-Time Algebraic Compilation for Safety-Critical Jav:

Baxter, James
https://etheses.whiterose.ac.uk/22698/1/thesis.pdf.  , 2018
Link: https://etheses.whiteros..
 
?
12

Modelling and Verifying a Priority Scheduler for an SCJ Run..:

Freitas, Leo ; Baxter, James ; Cavalcanti, Ana Lucia Caneca.
https://eprints.whiterose.ac.uk/103287/1/chp_3A10.1007_2F978_3_319_33693_0_5.pdf.  , 2016
Link: https://eprints.whiteros..
 
?
13

History of District 141, IAM EAP ; Interview: Rudy Asuncion..:

Abromitis, Al ; Asuncion, Rudy ; Combs, Bill.
http://hdl.handle.net/10713/6100.  , 2008
Link: http://hdl.handle.net/10..
 
?
14

A scientific note on observations of the small hive beetle,..:

Elzen, Patti ; BAXTER, James ; Westervelt, David..
info:eu-repo/semantics/altIdentifier/doi/10.1051/apido:2000149.  , 2000
Link: https://hal.archives-ouv..
 
?
15

Control of Varroa jacobsoni Oud. resistant to fluvalinate a..:

Elzen, Patti ; BAXTER, James ; Spivak, Marla.
info:eu-repo/semantics/altIdentifier/doi/10.1051/apido:2000134.  , 2000
Link: https://hal.archives-ouv..
 
1-15