Hongyang Qu

37 papers and 437 indexed citations i.

About

Hongyang Qu has authored 37 papers that have received a total of 437 indexed citations. This includes 21 papers in Computational Theory and Mathematics, 20 papers in Artificial Intelligence and 6 papers in Software. The topics of these papers are Formal Methods in Verification (21 papers), Logic, Reasoning, and Knowledge (15 papers) and Multi-Agent Systems and Negotiation (11 papers). Hongyang Qu is often cited by papers focused on Formal Methods in Verification (21 papers), Logic, Reasoning, and Knowledge (15 papers) and Multi-Agent Systems and Negotiation (11 papers) and collaborates with scholars based in United Kingdom, China and Canada. Hongyang Qu's co-authors include Jamal Bentahar, Alessio Lomuscio, Rachida Dssouli, Sándor M. Veres and Mohamed El Menshawy and has published in prestigious journals such as Expert Systems with Applications, Knowledge-Based Systems and Future Generation Computer Systems

In The Last Decade

Rankless by CCL
2025