Thanh Nguyen
- Kani: A Model Checker for Rust
2026/07/01 by Rémi Delmas, Zyad Hassan, Qinheping Hu +9 · 11 voices
#cs.SE #cs.LO #cs.PL
- Topological superconductors from a materials perspective
2023/03/27 by Manasi Mandal, Nathan C. Drucker, Mandal, Manasi +15 · 2 citations
Physics and Astronomy · #Advanced Condensed Matter Physics #FOS: Physical sciences #Materials Science (cond-mat.mtrl-sci) #Physics of Superconductivity and Magnetism #Topological Materials and Phenomena
- Recent Synthetic Strategies to Access Seven-Membered Carbocycles in Natural Product Synthesis
2013/03/04 by Dieter Enders, Thành Vinh Nguyễn, Thanh Nguyen +1 · 1 citation
Chemistry · Medicine · #Synthetic Organic Chemistry Methods #Oxidative Organic Chemistry Reactions #Microbial Natural Products and Biosynthesis
- Chemical pathways of SO2 with hydrogen atoms on interstellar ice analogues
2024/11/14 by Thanh Nguyen, Yasuhiro Oba, Nguyen, Thanh +7 · 2 citations
Chemistry · Earth and Planetary Sciences · Physics and Astronomy · #Astrophysics and Star Formation Studies #Astrophysics of Galaxies (astro-ph.GA) #Atmospheric Ozone and Climate #FOS: Physical sciences #Molecular Spectroscopy and Structure
- Germline variants in tumor suppressor FBXW7 lead to impaired ubiquitination and a neurodevelopmental syndrome
2022/04/01 by Sarah Stephenson, Sarah E.M. Stephenson, Gregory Costain +127 · 20 citations
Biochemistry, Genetics and Molecular Biology · #Genomic variations and chromosomal abnormalities #Genetics and Neurodevelopmental Disorders #Ubiquitin and proteasome pathways
- From Literature to Practice: Exploring Fairness Testing Tools for the Software Industry Adoption
2024/09/04 by Thanh Nguyen, Luiz Fernando F. P. de Lima, Nguyen, Thanh +5 · 1 citation
Decision Sciences · Social Sciences · #Ethics and Social Impacts of AI #Ethics in Business and Education #FOS: Computer and information sciences #Privacy, Security, and Data Protection #Software Engineering (cs.SE)
- Deterministic single-electron trapping on solid neon using engineered dielectric surface geometry
2026/07/15 by Kundan Surse, Eric Helgemo, Andrew Palmer +5
#quant-ph #cond-mat.mes-hall