Thai Son Hoang
About
Thai Son Hoang has authored 31 papers that have received a total of 338 indexed citations.
This includes 19 papers in Computational Theory and Mathematics, 17 papers in Artificial Intelligence and 11 papers in Software. The topics of these papers are Formal Methods in Verification (19 papers), Advanced Software Engineering Methodologies (9 papers) and Distributed systems and fault tolerance (7 papers). Thai Son Hoang is often cited by papers focused on Formal Methods in Verification (19 papers), Advanced Software Engineering Methodologies (9 papers) and Distributed systems and fault tolerance (7 papers) and collaborates with scholars based in United Kingdom, Switzerland and Germany. Thai Son Hoang's co-authors include Michael Butler, Jean-Raymond Abrial, Andreas Fürst, Colin Snook and Stefan Hallerstede and has published in prestigious journals such as Scientific Reports, Safety Science and Lecture notes in computer science
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Lene Jarlbæk Top fields papers by Juhyon Kim are about Top countries impacted by papers by Mario Jreige Top journals papers by Yaxuan Wang are published in Top authors papers by Mohammad Nadeem Akhtar are co-authored with Top authors papers by Peter Adatara are co-authored with Top journals papers by Dae-Up Kim are published in Top fields papers by Tong Xu are about