Thai Son Hoang

Identifiers

• name variant Thai Son Hoang 0.60 · backfill

Papers (4)

1. Vancomycert: A Certified Neuro-Symbolic Drug Delivery System (Case Study) cs.LO · 2026 · author #6
2. DeepSaucer: Unified Environment for Verifying Deep Neural Networks cs.SE · 2018 · author #6
3. Proof Hints for Event-B cs.SE · 2012 · author #1
4. 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