Taolue Chen
About
Taolue Chen has authored 75 papers that have received a total of 586 indexed citations.
This includes 44 papers in Artificial Intelligence, 35 papers in Computational Theory and Mathematics and 23 papers in Software. The topics of these papers are Formal Methods in Verification (31 papers), Software Testing and Debugging Techniques (18 papers) and Logic, programming, and type systems (16 papers). Taolue Chen is often cited by papers focused on Formal Methods in Verification (31 papers), Software Testing and Debugging Techniques (18 papers) and Logic, programming, and type systems (16 papers) and collaborates with scholars based in United Kingdom, China and The Netherlands. Taolue Chen's co-authors include Tingting Han, Marta Kwiatkowska, Harald Gall and Wan Fokkink and has published in prestigious journals such as IEEE Transactions on Software Engineering, Applied Soft Computing and Computers & Mathematics with Applications
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by N.J. McEwan are co-authored with Top authors papers by Koichi Takamiya are co-authored with Top countries impacted by papers by B. B. Brodie Top journals papers by Borja Bordel are published in Top authors papers by Koji Nii are co-authored with Top fields papers by Shefali Sharma are about Top authors papers by David Altschul are co-authored with Top countries impacted by papers by Ionelia Voiculescu