TS

Thai Son Hoang

University of Southampton 0000-0003-4095-0732

133

Publications

1,597

Citations

19

h-index

30

i10-index

Loading papers...

Search by keywords

Filter by Type

Article (61)
Book Chapter (48)
Dataset (12)
Preprint (9)
Book (2)

Filter by Open Access Type

Open Access (63)
Closed Access (70)

Filter by Authors

Thai Son Hoang (133)
Michael Butler (63)
Colin Snook (42)
Dana Dghaym (29)
Asieh Salehi Fathabadi (21)

Filter by Topics

Formal Methods in Verification (69)
Software Reliability and Analysis Research (24)
Logic, programming, and type systems (23)
Advanced Software Engineering Methodologies (23)
Model-Driven Software Engineering Techniques (23)