‪Ruize Tang‬ - ‪Google Scholar‬

Crea il mio profilo

Citata da

	Tutte	Dal 2019
Citazioni	1	1
Indice H	1	1
i10-index	0	0

Coautori

Hengfeng WeiSoftware Institute, Nanjing UniversityEmail verificata su nju.edu.cn
Yu HuangNanjing UniversityEmail verificata su nju.edu.cn
Lingzhi OuyangNanjing UniversityEmail verificata su smail.nju.edu.cn
Xudong SunPh.D. student, University of Illinois at Urbana-ChampaignEmail verificata su illinois.edu

Ruize Tang

Ruize Tang

Ph.D. student, Nanjing University

Email verificata su smail.nju.edu.cn - Home page

distributed systems model checking


Titolo Ordina per citazioni Ordina per anno Ordina per titolo	Citata da Citata da	Anno
Jupiter made abstract, and then refined HF Wei, RZ Tang, Y Huang, J Lv Journal of Computer Science and Technology 35, 1343-1364, 2020	1	2020
SandTable: Scalable Distributed System Model Checking with Specification-Level State Exploration R Tang, X Sun, Y Huang, Y Wei, L Ouyang, X Ma Proceedings of the Nineteenth European Conference on Computer Systems, 736-753, 2024		2024

Il sistema al momento non può eseguire l'operazione. Riprova più tardi.

Articoli 1–2