Li Jiaying

Cituota

	Visi	Nuo 2020
Šaltiniai	255	233
h-rodyklė	5	5
i10-rodyklė	3	3

201820192020202120222023202420259 12 25 49 41 49 59 10

Viešas pasiekiamumas

Peržiūrėti viską

3 straipsniai

0 straipsnių

pasiekiami

nepasiekiami

Pagal finansavimo įpareigojimus

Bendraautoriai

Sun JunProfessor of SCIS, SMUPatvirtintas el. paštas smu.edu.sg
Ngai-Man CheungAssociate Professor, Singapore University of Technology and DesignPatvirtintas el. paštas sutd.edu.sg
Guangdong BaiAssociate Professor of The University of QueenslandPatvirtintas el. paštas uq.edu.au
Shang-Wei LINAssociate Professor, Singapore Institute of Technology (SIT)Patvirtintas el. paštas singaporetech.edu.sg
Li LiPhD of School of Computing, National University of SigaporePatvirtintas el. paštas comp.nus.edu.sg
Quang Loc LeUniversity College LondonPatvirtintas el. paštas ucl.ac.uk
Yepang LiuAssociate Professor, CSE, Southern University of Science and TechnologyPatvirtintas el. paštas sustech.edu.cn
Pham Hong LongSenior Research Scientist, Singapore Management UniversityPatvirtintas el. paštas smu.edu.sg
Étienne AndréUniversité Paris 13, LIPN, CNRS, UMR 7030, F-93430, Villetaneuse, FrancePatvirtintas el. paštas univ-paris13.fr
Yang LiuNanyang Technological UniversityPatvirtintas el. paštas ntu.edu.sg
Jin Song DongProfessor of Computer Science, National University of SingaporePatvirtintas el. paštas nus.edu.sg
Tian Huat TanAmerican Express

Stebėti

Li Jiaying

Research Scientist

Patvirtintas el. paštas smu.edu.sg - Pagrindinis puslapis

Software Engineering Programming Languages


Pavadinimas Rūšiuoti pagal šaltinius Rūšiuoti pagal metus Rūšiuoti pagal pavadinimą	Cituota Cituota	Metai
Deep Clustering by Gaussian Mixture Variational Autoencoders With Graph Embedding L Yang, NM Cheung, J Li, J Fang Proceedings of the IEEE International Conference on Computer Vision, 6440-6449, 2019	172	2019
Automatic Loop-Invariant Generation and Refinement through Selective Sampling J Li, J Sun, L Li, QL Le, SW Lin the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017	43	2017
A comprehensive study of real-world bugs in machine learning model optimization H Guan, Y Xiao, J Li, Y Liu, G Bai 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE …, 2023	13	2023
Classification-based parameter synthesis for parametric timed automata J Li, J Sun, B Gao, É André Formal Methods and Software Engineering: 19th International Conference on …, 2017	7	2017
Verification assisted gas reduction for smart contracts B Gao, S Shen, L Shi, J Li, J Sun, L Bu 2021 28th Asia-Pacific Software Engineering Conference (APSEC), 264-274, 2021	6	2021
sverify: Verifying smart contracts through lazy annotation and learning B Gao, L Shi, J Li, J Chang, J Sun, Z Yang Leveraging Applications of Formal Methods, Verification and Validation: 10th …, 2021	5	2021
RELU hull approximation Z Ma, J Li, G Bai Proceedings of the ACM on Programming Languages 8 (POPL), 2260-2287, 2024	4	2024
SOCRATES: Towards a unified platform for neural network analysis LH Pham, J Li, J Sun arXiv preprint arXiv:2007.11206, 2020	3	2020
Towards an effective and interpretable refinement approach for DNN verification J Li, G Bai, LH Pham, J Sun 2023 IEEE 23rd International Conference on Software Quality, Reliability …, 2023	1	2023
Scaling BDD-based timed verification with simulation reduction TK Nguyen, TH Tan, J Sun, J Li, Y Liu, M Chen, JS Dong Formal Methods and Software Engineering: 18th International Conference on …, 2016	1	2016

Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.

Straipsniai 1–10

Šaltinių per metus

Dubliuoti šaltiniai

Sujungti šaltiniai

Pridėti bendraautoriusBendraautoriai

Stebėti

Cituota

Bendraautoriai