Taolue Chen

2.8k total citations
108 papers, 979 citations indexed

About

Taolue Chen is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Software. According to data from OpenAlex, Taolue Chen has authored 108 papers receiving a total of 979 indexed citations (citations by other indexed papers that have themselves been cited), including 69 papers in Artificial Intelligence, 43 papers in Computational Theory and Mathematics and 33 papers in Software. Recurrent topics in Taolue Chen's work include Formal Methods in Verification (39 papers), Software Testing and Debugging Techniques (26 papers) and Software Engineering Research (21 papers). Taolue Chen is often cited by papers focused on Formal Methods in Verification (39 papers), Software Testing and Debugging Techniques (26 papers) and Software Engineering Research (21 papers). Taolue Chen collaborates with scholars based in United Kingdom, China and Netherlands. Taolue Chen's co-authors include Yu Zhou, Tingting Han, Marta Kwiatkowska, Harald C. Gall, Alexandru Mereacre, Zhiqiu Huang, Sebastiano Panichella, Jian Lü, Joost-Pieter Katoen and Xiang Chen 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

Taolue Chen

95 papers receiving 954 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Taolue Chen United Kingdom 18 449 383 305 283 153 108 979
Maxime Cordy Luxembourg 15 524 1.2× 317 0.8× 457 1.5× 184 0.7× 137 0.9× 80 847
Christian Schallhart United Kingdom 13 547 1.2× 299 0.8× 393 1.3× 469 1.7× 313 2.0× 38 1.1k
Silvio Ranise Italy 16 575 1.3× 256 0.7× 155 0.5× 280 1.0× 298 1.9× 114 922
Shengchao Qin United Kingdom 17 443 1.0× 255 0.7× 314 1.0× 337 1.2× 194 1.3× 97 909
Angelo Gargantini Italy 16 347 0.8× 370 1.0× 837 2.7× 405 1.4× 157 1.0× 123 1.1k
Margus Veanes United States 16 512 1.1× 423 1.1× 598 2.0× 423 1.5× 247 1.6× 97 1.2k
Elvinia Riccobene Italy 15 448 1.0× 361 0.9× 417 1.4× 250 0.9× 324 2.1× 101 958
Erik Poll Netherlands 15 931 2.1× 367 1.0× 471 1.5× 441 1.6× 265 1.7× 58 1.4k
Arnaud Gotlieb Norway 19 275 0.6× 472 1.2× 809 2.7× 188 0.7× 184 1.2× 83 1.1k
Juergen Dingel Canada 18 509 1.1× 431 1.1× 673 2.2× 233 0.8× 330 2.2× 88 1.1k

Countries citing papers authored by Taolue Chen

Since Specialization
Citations

This map shows the geographic impact of Taolue Chen's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Taolue Chen with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Taolue Chen more than expected).

Fields of papers citing papers by Taolue Chen

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Taolue Chen. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Taolue Chen. The network helps show where Taolue Chen may publish in the future.

Co-authorship network of co-authors of Taolue Chen

This figure shows the co-authorship network connecting the top 25 collaborators of Taolue Chen. A scholar is included among the top collaborators of Taolue Chen based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Taolue Chen. Taolue Chen is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Yang, Guang, Yu Zhou, Xiang Chen, et al.. (2025). Less Is More: DocString Compression in Code Generation. ACM Transactions on Software Engineering and Methodology. 35(2). 1–31.
2.
Yang, Guang, Yu Zhou, Xiang Chen, et al.. (2025). Defending Code Language Models against Backdoor Attacks with Deceptive Cross-Entropy Loss. ACM Transactions on Software Engineering and Methodology. 35(2). 1–27.
3.
Yang, Guang, et al.. (2025). Assessing and improving syntactic adversarial robustness of pre-trained models for code translation. Information and Software Technology. 181. 107699–107699. 3 indexed citations
4.
Zhou, Yu, et al.. (2025). Anchor Attention, Small Cache: Code Generation With Large Language Models. IEEE Transactions on Software Engineering. 51(6). 1866–1881. 1 indexed citations
5.
Zhang, Xiangyu, Yu Zhou, Guang Yang, Tingting Han, & Taolue Chen. (2024). Context-aware code generation with synchronous bidirectional decoder. Journal of Systems and Software. 214. 112066–112066. 4 indexed citations
6.
Yang, Guang, et al.. (2024). Chain-of-Thought in Neural Code Generation: From and for Lightweight Language Models. IEEE Transactions on Software Engineering. 50(9). 2437–2457. 13 indexed citations
7.
Song, Fu, et al.. (2024). Towards Efficient Verification of Constant-Time Cryptographic Implementations. Proceedings of the ACM on software engineering.. 1(FSE). 1019–1042.
8.
Zhou, Yu, et al.. (2023). Context-aware API recommendation using tensor factorization. Science China Information Sciences. 66(2). 6 indexed citations
9.
Chen, Taolue, et al.. (2022). Solving string constraints with Regex-dependent functions through transducers with priorities and variables. Proceedings of the ACM on Programming Languages. 6(POPL). 1–31. 11 indexed citations
10.
Zhou, Yu, et al.. (2021). BRAID: an API recommender supporting implicit user feedback. TUbilio (Technical University of Darmstadt). 1510–1514. 6 indexed citations
11.
Zhou, Yu, et al.. (2020). Automatic Detection and Repair Recommendation of Directive Defects in Java API Documentation. IEEE Transactions on Software Engineering. 46(9). 1004–1023. 33 indexed citations
12.
Zhou, Yu, Tingting Han, Taolue Chen, & Shiqi Zhou. (2019). Probabilistic analysis of QoS‐aware service composition with explicit environment models. IET Software. 14(1). 59–71. 1 indexed citations
13.
Chen, Taolue, Tingting Han, & Yongzhi Cao. (2018). Polynomial-time algorithms for computing distances of fuzzy transition systems. Theoretical Computer Science. 727. 24–36. 5 indexed citations
14.
Zhou, Yu, et al.. (2017). Analyzing APIs Documentation and Code to Detect Directive Defects. Zurich Open Repository and Archive (University of Zurich). 27–37. 78 indexed citations
15.
Chen, Taolue, Fu Song, & Zhilin Wu. (2016). Verifying pushdown multi-agent systems against strategy logics. Middlesex University Research Repository (Middlesex University Of London). 180–186. 1 indexed citations
16.
Chen, Taolue, Wan Fokkink, & Rob van Glabbeek. (2015). On the Axiomatizability of Impossible Futures. Logical Methods in Computer Science. Volume 11, Issue 3.
17.
Aceto, Luca, Taolue Chen, Anna Ingólfsdóttir, Bas Luttik, & Jaco van de Pol. (2011). On the axiomatizability of priority II. Theoretical Computer Science. 412(28). 3035–3044. 1 indexed citations
18.
Chen, Taolue & Wan Fokkink. (2008). On the axiomatizability of impossible futures: preorder versus equivalence. Data Archiving and Networked Services (DANS). 1–21. 1 indexed citations
19.
Chen, Taolue, et al.. (2008). On finite alphabets and infinite bases. Information and Computation. 206(5). 492–519. 7 indexed citations
20.
Chen, Taolue, et al.. (2006). On the complete axiomatization for prefix iteration modulo observation congruence. Acta Cybernetica. 17(3). 471–483. 1 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Maxime Cordy Breakdown of academic impact, for papers by Christian Schallhart Breakdown of academic impact, for papers by Silvio Ranise Breakdown of academic impact, for papers by Shengchao Qin Breakdown of academic impact, for papers by Angelo Gargantini Breakdown of academic impact, for papers by Margus Veanes Breakdown of academic impact, for papers by Elvinia Riccobene Breakdown of academic impact, for papers by Erik Poll Breakdown of academic impact, for papers by Arnaud Gotlieb Breakdown of academic impact, for papers by Juergen Dingel
Rankless by CCL
2026