Mengwei Xu
Scholar

Mengwei Xu

Google Scholar ID: HPpcpoQAAAAJ
Lecturer at University of Newcastle
Autonomous AgentsFormal MethodsAutomated Planning
Citations & Impact
All-time
Citations
87
 
H-index
6
 
i10-index
2
 
Publications
20
 
Co-authors
12
list available
Publications
20 items
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Academic Achievements
  • Published multiple papers in top-tier venues including AAMAS, ECAI, iFM, Science of Computer Programming, and Software and Systems Modeling
  • Several papers accepted in CORE A*/A ranked conferences (e.g., AAMAS, ECAI)
  • Developed CAN-Verify, a verification tool for BDI agents, with an invited paper at iFM 2023
  • Some works received Artifact Available and Artifact Evaluated badges
  • Serves as principal/corresponding author (marked with *) on key publications