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 journals papers by Didem Özdemir are published in Top fields papers by M. Nevřiva are about Top countries impacted by papers by Karem López Ortega Top fields papers by Xiwei Chen are about Top countries impacted by papers by Taehong Kim Top authors papers by J. C. Pérez are co-authored with Top countries impacted by papers by Mayra Gonçalves Menegüeti Top authors papers by А. В. Пестов are co-authored with