Scholar
Mengwei Xu
Google Scholar ID: HPpcpoQAAAAJ
Lecturer at University of Newcastle
Autonomous Agents
Formal Methods
Automated Planning
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
87
H-index
6
i10-index
2
Publications
20
Co-authors
12
list available
Contact
Email
mengwei.xu@newcastle.ac.uk
CV
Open ↗
Twitter
Open ↗
GitHub
Open ↗
LinkedIn
Open ↗
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
Co-authors
12 total
Michele Sevegnani
Senior Lecturer, School of Computing Science, University of Glasgow
Blair Archibald
Lecturer, University of Glasgow
Muffy Calder
Professor of Computing Science, University of Glasgow
Weiru Liu
Professor of Artificial Intelligence, University of Bristol
Co-author 5
Louise Dennis
Department of Computer Science, University of Manchester
Ramon Fraga Pereira
The University of Manchester
Simon Kolker
University of Manchester
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up