Aldous, Peter
68  results:
Search for persons X
?
1

A challenge we can no longer afford to ignore:

Aldous, Peter
British Dental Journal.  232 (2022)  1 - p. 12-12 , 2022
 
?
2

The Java Pathfinder Workshop 2019:

Artho, Cyrille ; Phan, Quoc-Sang ; Aldous, Peter...
ACM SIGSOFT Software Engineering Notes.  45 (2021)  2 - p. 20-22 , 2021
 
?
3

The Java Pathfinder Workshop 2019:

Artho, Cyrille ; Phan, Quoc-Sang ; Aldous, Peter...
ACM SIGSOFT Software Engineering Notes.  45 (2020)  2 - p. 20-22 , 2020
 
?
4

Model-checking task-parallel programs for data-race:

Nakade, Radha ; Mercer, Eric ; Aldous, Peter...
Innovations in Systems and Software Engineering.  15 (2019)  3-4 - p. 289-306 , 2019
 
?
5

Optimized Sound and Complete Data Race Detection in Structu..:

, In: Languages and Compilers for Parallel Computing; Lecture Notes in Computer Science,
Storey, Kyle ; Powell, Jacob ; Ogles, Ben... - p. 94-111 , 2019
 
?
6

JPF-HJ: A Tool for Task Parallel Program Analysis:

Hooker, Joshua ; Aldous, Peter ; Mercer, Eric...
ACM SIGSOFT Software Engineering Notes.  44 (2019)  4 - p. 19 ff. , 2019
 
?
7

Memory safety in C by abstract interpretation:

Jones, Joseph ; Wasson, James ; Brown, Sean...
ACM SIGSOFT Software Engineering Notes.  43 (2019)  4 - p. 56 ff. , 2019
 
?
8

A survey of southern hemisphere meteor showers:

Jenniskens, Peter ; Baggaley, Jack ; Crumpton, Ian...
Planetary and Space Science.  154 (2018)  - p. 21-29 , 2018
 
?
9

Memory safety in C by abstract interpretation:

Jones, Joseph ; Wasson, James ; Brown, Sean...
ACM SIGSOFT Software Engineering Notes.  43 (2018)  4 - p. 56-60 , 2018
 
?
10

Will EC policy boost European health studies?:

Aldous, Peter
Nature.  355 (1992)  6358 - p. 286-286 , 1992
 
?
11

A last chance to catch up?:

Aldous, Peter
Nature.  349 (1991)  6311 - p. 645-645 , 1991
 
?
12

Remote-sensing satellite agreement:

Coles, Peter ; Aldous, Peter
Nature.  346 (1990)  6281 - p. 206-206 , 1990
 
?
15

Derivation and Validation of Thresholds Using Synthetic Dat..:

Pickering, John W ; Young, Joanna M ; George, Peter M...
The Journal of Applied Laboratory Medicine.  9 (2024)  3 - p. 526-539 , 2024
 
1-15