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 Alicja Niewiadomska are co-authored with Top fields papers by A. I. Zenchuk are about Top fields papers by Takuya Maruyama are about Top authors papers by Guoguang Mu are co-authored with Top journals papers by Hiroshi Muto are published in Top fields papers by Guang Hu are about Top countries impacted by papers by Nan Zhou Top fields papers by Ting Zhi are about