Haniel Langaro

Music · MusicBrainz

via MusicBrainz · CC0

Recent publications · Crossref

5 total works indexed

1. cvc5: A Versatile and Industrial-Strength SMT Solver

   · 2022 · cited 423x

2. TLR2 and neutrophils potentiate endothelial stress, apoptosis and detachment: implications for superficial erosion

   · 2015 · cited 336x

3. Understanding the use of Virtual Reality in Marketing: A text mining-based review

   · 2019 · cited 277x

4. Comutations and KRASG12C Inhibitor Efficacy in Advanced NSCLC

   · 2023 · cited 180x

5. On the sensitivity of distributed acoustic sensing

   · 2016 · cited 174x

via Crossref · CC0