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 fields papers by Břetislav Teplý are about Top journals papers by Joshua Soderholm are published in Top countries impacted by papers by Maria P. Ikonomopoulou Top countries impacted by papers by Yuting Ji Top fields papers by Mior A. Said are about Top journals papers by S. Gowri are published in Top authors papers by Raphaèle Ducrot are co-authored with Top fields papers by Sapan D. Gandhi are about