I agree that this site is using cookies. You can find further informations here.
X
Bos, Nathaniel
17  results:
Search for persons X
?
1

Lassie: HOL4 tactics by example:

, In: Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs,
Becker, Heiko ; Bos, Nathaniel ; Gavran, Ivan.. - p. 212-223 , 2021
Link: https://dl.acm.org/doi/1..
 
?
2

Lassie: HOL4 Tactics by Example:

Becker, Heiko ; Bos, Nathaniel ; Gavran, Ivan..
http://arxiv.org/abs/2101.00930.  , 2021
Link: http://arxiv.org/abs/210..
 
?
3

Is Impredicativity Implicitly Implicit?:

Monnier, Stefan ; Bos, Nathaniel
doi:10.4230/LIPIcs.TYPES.2019.9.  , 2020
Link: https://doi.org/10.4230/..
 
?
4

Bathyal octopus, Muusoctopus leioderma, living in a world o..:

Trueblood, Lloyd A. ; Onthank, Kirt ; Bos, Noah...
Frontiers in Physiology.  13 (2022)  - p. , 2022
Link: https://doi.org/10.3389/..
 
?
5

Clinical implications of differential antivenom efficacy in..:

Debono, Jordan ; Bos, Mettine H.A. ; Frank, Nathaniel.
Toxicology Letters.  316 (2019)  - p. 35-48 , 2019
Link: https://doi.org/10.1016/..
 
?
6

Basal but divergent: Clinical implications of differential ..:

Debono, Jordan ; Bos, Mettine H.A. ; Coimbra, Francisco...
Toxicology in Vitro.  58 (2019)  - p. 195-206 , 2019
Link: https://doi.org/10.1016/..
 
?
7

Habu coagulotoxicity: Clinical implications of the function..:

Debono, Jordan ; Bos, Mettine H.A. ; Nouwens, Amanda...
Toxicology in Vitro.  55 (2019)  - p. 62-74 , 2019
Link: https://doi.org/10.1016/..
 
?
8

Urothelial cell DNA adducts in rubber workers†:

Vermeulen, Roel ; Talaska, Glenn ; Schumann, Brenda...
Environmental and Molecular Mutagenesis.  39 (2002)  4 - p. 306-313 , 2002
Link: https://doi.org/10.1002/..
 
?
9

Bathyal octopus, Muusoctopus leioderma, living in a world o..:

Trueblood, Lloyd A ; Onthank, Kirt ; Bos, Noah...
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC9751821/.  , 2022
Link: http://www.ncbi.nlm.nih...
 
?
10

Mapping the human genetic architecture of COVID-19:

Niemi, Mari E. K ; Karjalainen, Juha ; Liao, Rachel G...
info:eu-repo/semantics/altIdentifier/pmid/34237774.  , 2021
Link: http://hdl.handle.net/24..
 
?
11

Mapping the human genetic architecture of COVID-19:

Niemi, Mari E. K ; Karjalainen, Juha ; Liao, Rachel G...
https://eprints.gla.ac.uk/261053/1/261053.pdf.  , 2021
Link: https://eprints.gla.ac.u..
 
?
12

Mapping the human genetic architecture of COVID-19:

Niemi, Mari E. K ; Karjalainen, Juha ; Liao, Rachel G...
info:eu-repo/semantics/altIdentifier/pmid/34237774.  , 2021
Link: http://hdl.handle.net/23..
 
?
13

Mapping the human genetic architecture of COVID-19:

Niemi, Mari E. K ; Karjalainen, Juha ; Liao, Rachel G...
info:eu-repo/semantics/altIdentifier/pmid/34237774.  , 2021
Link: http://hdl.handle.net/11..
 
?
14

Image1_Bathyal octopus, Muusoctopus leioderma, living in a ..:

Lloyd A. Trueblood ; Kirt Onthank ; Noah Bos...
doi:10.3389/fphys.2022.1039401.s001.  , 2022
Link: https://doi.org/10.3389/..
 
?
15

Bathyal octopus, Muusoctopus leioderma, living in a world o..:

Lloyd A. Trueblood ; Kirt Onthank ; Noah Bos...
https://www.frontiersin.org/articles/10.3389/fphys.2022.1039401/full.  , 2022
Link: https://doi.org/10.3389/..
 
1-15