Thai Son Hoang
Identifiers
- name variant Thai Son Hoang 0.60 · backfill
Papers (4)
- Vancomycert: A Certified Neuro-Symbolic Drug Delivery System (Case Study) cs.LO · 2026 · author #6
- DeepSaucer: Unified Environment for Verifying Deep Neural Networks cs.SE · 2018 · author #6
- Proof Hints for Event-B cs.SE · 2012 · author #1
- Abstract Data Types in Event-B - An Application of Generic Instantiation cs.SE · 2012 · author #3
Mentions
- 2606.19532 #6 · arxiv_oai · confidence 0.70 Thai Son Hoang
- 1211.1172 #1 · backfill · confidence 0.70 Thai Son Hoang
- 1210.7283 #3 · backfill · confidence 0.70 Thai Son Hoang
Frequent Coauthors
- Naoto Sato 2 shared papers
- Alessandro Bruni 1 shared papers
- Alistair Sirman 1 shared papers
- Andreas F\"urst 1 shared papers
- David Basin 1 shared papers
- Ekaterina Komendantskaya 1 shared papers
- Fleur Conway 1 shared papers
- Gusts Gustavs Gr\=inbergs 1 shared papers
- Hideto Ogawa 1 shared papers
- Hironobu Kuruma 1 shared papers
- Jessica Ciupa 1 shared papers
- Kunihiko Miyazaki 1 shared papers
- Masanori Kaneko 1 shared papers
- Michael Butler 1 shared papers
- Michael John Williams 1 shared papers
- Michael Rawson 1 shared papers
- Vaishak Belle 1 shared papers
- Yuichiroh Nakagawa 1 shared papers