Seed, Thomas
257  results:
Search for persons X
?
1

Polynomial Analysis of Modular Arithmetic:

, In: Static Analysis; Lecture Notes in Computer Science,
Seed, Thomas ; Coppins, Chris ; King, Andy. - p. 508-539 , 2023
 
?
2

Reducing Bit-Vector Polynomials to SAT Using Gröbner Bases:

, In: Theory and Applications of Satisfiability Testing – SAT 2020; Lecture Notes in Computer Science,
Seed, Thomas ; King, Andy ; Evans, Neil - p. 361-377 , 2020
 
?
6

New Strategies for the Prevention of Radiation Injury: Poss..:

SEED, THOMAS ; KUMAR, SREE ; WHITNALL, MARK...
Journal of Radiation Research.  43 (2002)  S - p. S239-S244 , 2002
 
?
14

Novel biomarkers for acute radiation injury and countermeas..:

Singh, Vijay K ; Fatanmi, Oluseyi O ; Wise, Stephen Y...
Radiation Protection Dosimetry.  199 (2023)  14 - p. 1526-1532 , 2023
 
?
 
1-15