Back, R. -J. R.
8850  Ergebnisse:
Personensuche X
?
 
?
2

The SNO+ experiment:

Albanese, V. ; Alves, R. ; Anderson, M.R....
Journal of Instrumentation.  16 (2021)  8 - p. P08059 , 2021
 
?
3

Measurement of beam-correlated background neutrons from the..:

Back, A.R. ; Beacom, J.F. ; Boschi, T....
Journal of Instrumentation.  15 (2020)  3 - p. P03011-P03011 , 2020
 
?
5

Central nervous system lymphoma in 18 dogs (2001 to 2015):

LaRue, M. K. ; Taylor, A. R. ; Back, A. R....
Journal of Small Animal Practice.  59 (2018)  9 - p. 547-552 , 2018
 
?
6

The Art of Estimating a Moving Parameter and Reducing Bias ..:

Wooten, R. D. ; Jelsovsky, D. ; Back, R..
American Journal of Computational Mathematics.  8 (2018)  1 - p. 27-41 , 2018
 
?
7

Physics capabilities of the SNO+ experiment:

Arushanova, E ; Back, A R ; SNO+ collaboration
Journal of Physics: Conference Series.  888 (2017)  - p. 012245 , 2017
 
?
8

Current Status and Future Prospects of the SNO+ Experiment:

Andringa, S. ; Arushanova, E. ; Asahi, S....
Advances in High Energy Physics.  2016 (2016)  - p. 1-21 , 2016
 
?
9

Current status of the SNO+ detector: preparations for first..:

Back, A R ; SNO+ Collaboration
Journal of Physics: Conference Series.  598 (2015)  - p. 012013 , 2015
 
?
10

Mechlorethamine, vincristine, melphalan and prednisone (MOM..:

Back, A. R. ; Schleis, S. E. ; Smrkovski, O. A....
Veterinary and Comparative Oncology.  13 (2013)  4 - p. 398-408 , 2013
 
?
11

Compositional Action System Refinement:

Back, R. J. R. ; Wright, J. von
Formal Aspects of Computing.  15 (2003)  2-3 - p. 103-117 , 2003
 
?
12

Reasoning algebraically about loops:

Back, R.J.R. ; von Wright, J.
Acta Informatica.  36 (1999)  4 - p. 295-334 , 1999
 
?
13

Contracts, Games and Refinement:

Back, R.J.R. ; von Wright, J.
Electronic Notes in Theoretical Computer Science.  7 (1997)  - p. 20-33 , 1997
 
?
14

Specifying the Caltech asynchronous microprocessor:

Back, R.J.R. ; Martin, A.J. ; Sere, K.
Science of Computer Programming.  26 (1996)  1-3 - p. 79-97 , 1996
 
?
15

Superposition refinement of reactive systems:

Back, R. J. R. ; Sere, K.
Formal Aspects of Computing.  8 (1996)  3 - p. 324-346 , 1996
 
1-15