Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

CAN-verify: A Verification Tool For BDI Agents.

M. Xu, T. Rivoalen, B. Archibald, and M. Sevegnani. iFM, volume 14300 of Lecture Notes in Computer Science, page 364-373. Springer, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Xu Xu

Xianxiang Xu

Imaging findings of cerebral schistosomiasis in ChinaX. Xu. Uni Hamburg, (2010)

Yan Xu

Untersuchungen zur Verleimung von Holz und Holzspanplatten mit UF-Leimharzen und PMDIY. Xu. TU Braunschweig, (2009)

Jianyong Xu

Other publications of authors with the same name

A First Look at Deep Learning Apps on Smartphones.M. Xu, J. Liu, Y. Liu, F. Lin, Y. Liu, and X. Liu. WWW, page 2125-2136. ACM, (2019)ShuffleDog: Characterizing and Adapting User-Perceived Latency of Android Apps.G. Huang, M. Xu, F. Lin, Y. Liu, Y. Ma, S. Pushp, and X. Liu. IEEE Trans. Mob. Comput., 16 (10): 2913-2926 (2017)Smoothing SQP Methods for Solving Degenerate Nonsmooth Constrained Optimization Problems with Applications to Bilevel Programs.M. Xu, J. Ye, and L. Zhang. SIAM J. Optim., 25 (3): 1388-1410 (2015)Smoothing augmented Lagrangian method for nonsmooth constrained optimization problems.M. Xu, J. Ye, and L. Zhang. J. Glob. Optim., 62 (4): 675-694 (2015)Resource-efficient In-orbit Detection of Earth Objects.Q. Zhang, X. Yuan, R. Xing, Y. Zhang, Z. Zheng, X. Ma, M. Xu, S. Dustdar, and S. Wang. CoRR, (2024)Joint Placement of UPF and Edge Server for 6G Network.Y. Li, X. Ma, M. Xu, A. Zhou, Q. Sun, N. Zhang, and S. Wang. IEEE Internet Things J., 8 (22): 16370-16378 (2021)Characterizing Impacts of Heterogeneity in Federated Learning upon Large-Scale Smartphone Data.C. Yang, Q. Wang, M. Xu, Z. Chen, K. Bian, Y. Liu, and X. Liu. WWW, page 935-946. ACM / IW3C2, (2021)Efficient Federated Learning for Modern NLP.D. Cai, Y. Wu, S. Wang, F. Lin, and M. Xu. MobiCom, page 37:1-37:16. ACM, (2023)Position Paper: Renovating Edge Servers with ARM SoCs.M. Xu, L. Zhang, and S. Wang. SEC, page 216-223. IEEE, (2022)Power sandbox: power awareness redefined.L. Guo, T. Xu, M. Xu, X. Liu, and F. Lin. EuroSys, page 37:1-37:15. ACM, (2018)

BibSonomy

Disambiguation of "Xu, Mengwei"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

CAN-verify: A Verification Tool For BDI Agents.

Please choose a person to relate this publication to

Xu Xu

Xu Xu

Xianxiang Xu

Yan Xu

Jianyong Xu

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Xu, Mengwei"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML CAN-verify: A Verification Tool For BDI Agents.

Please choose a person to relate this publication to

Xu Xu

Xu Xu

Xianxiang Xu

Yan Xu

Jianyong Xu

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

CAN-verify: A Verification Tool For BDI Agents.