Karoliine Hõim

Recent publications · Crossref

5 total works indexed

1. Esophageal feeding tube placement and the associated complications in 248 cats

   · 2019 · cited 26x

2. Ultrabright and Stable Luminescent Labels for Correlative Cathodoluminescence Electron Microscopy Bioimaging

   · 2019 · cited 23x

3. Goblint: Abstract Interpretation for Memory Safety and Termination

   · 2024 · cited 10x

4. Computed tomographic findings in dogs with multiple myeloma

   · 2023 · cited 6x

5. Goblint Validator: Correctness Witness Validation by Abstract Interpretation

   · 2024 · cited 6x

via Crossref · CC0