Personal information
Autonomous Systems, Formal Methods and Verification, and Automated Planning and Scheduling
United Kingdom
Activities
Employment (4)
2023-09-01
to
present
|
Lecturer
(School of Computing)
Employment
Source:
Mengwei Xu
2023-09-01
to
present
|
Lecturer in Computing
(SAgE Computing)
Employment
Source:
check_circle
Newcastle University
via
ORCID Member Portal
2023-03-01
to
2023-08-31
|
Research Fellow
( Department of Computer Science)
Employment
Source:
Mengwei Xu
2020-06-01
to
2022-12-31
|
Research Associate
(School of Computer Science)
Employment
Source:
Mengwei Xu
Education and qualifications (2)
2017-03-27
to
2020-02-25
|
PhD Candidate
(School of Computer Science, Electrical and Electronic Engineering, and Engineering Maths)
Qualification
Source:
Mengwei Xu
2016-07-06
|
Mathematics Undergraduate
(School of Mathematics and Physics)
Qualification
Source:
Mengwei Xu
Works (11)
27TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, Santiago de Compostela, Spain, 19/10/24
2024-10-22
|
Conference paper
|
Author
SOURCE-WORK-ID:
c6ed9e3e-f41f-4e2f-81c2-386e1e590703
Contributors:
Mengwei Xu;
Tom Lumley;
Ramon Fraga Pereira;
Felipe Meneguzzi
Source:
check_circle
University of Manchester - PURE
Lecture Notes in Computer Science
2023
|
Book chapter
Contributors:
Blair Archibald;
Muffy Calder;
Michele Sevegnani;
Mengwei Xu
Source:
Mengwei Xu
2023
|
Book chapter
Contributors:
Simon Kolker;
Louise Dennis;
Ramon Fraga Pereira;
Mengwei Xu
Source:
check_circle
Crossref
grade
Preferred source
(of
2)
Software and Systems Modeling
2023-08-28
|
Journal article
Contributors:
Blair Archibald;
Muffy Calder;
Michele Sevegnani;
Mengwei Xu
Source:
Mengwei Xu
Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering
2022-07-01
|
Conference paper
Contributors:
Mengwei Xu
Source:
Mengwei Xu
Science of Computer Programming
2022-03
|
Journal article
Contributors:
Blair Archibald;
Muffy Calder;
Michele Sevegnani;
Mengwei Xu
Source:
check_circle
Crossref
Software Engineering and Formal Methods
2021-12-03
|
Book chapter
Source:
Mengwei Xu
Electronic Proceedings in Theoretical Computer Science
2021-10-21
|
Book chapter
Source:
Mengwei Xu
2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI)
2020-02-13
|
Conference paper
Source:
Mengwei Xu
2018 IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI)
2018-12-17
|
Conference paper
Source:
Mengwei Xu
Source:
Mengwei Xu