Yu Teng

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 6

Top Topics

Fusion Framework

Inductive Learning

Related Problems

Top Venues

J. Syst. Softw.

Publications

Yu Teng, Miaomiao Zhang, Jie An
Learning Deterministic Multi-Clock Timed Automata. HSCC (2024)
Yu Teng, Miaomiao Zhang, Jie An
Learning Deterministic Multi-Clock Timed Automata. CoRR (2024)
Miaomiao Zhang, Yu Teng, Hui Kong, John W. Baugh Jr., Yu Su, Junri Mi, Bowen Du
Automatic modelling and verification of Autosar architectures. J. Syst. Softw. 201 (2023)
Jingwei Yan, Yitong Liu, Shuqi Qin, Yun Shen, Yu Teng, Hongwen Yang
Edge Fusion of Intelligent Industrial Park Based on MatrixOne and Pravega. BMSB (2023)
Shi Yin, Yu Teng, Ning Hu, Xu Dong Jia
Decentralization of DNS: Old Problems and New Challenges. CIAT (2020)
Ai-Guo Wu, Hui-Zhen Wang, Yu Teng
The Division Ring Over Conjugate Product. IEEE Access 7 (2019)
Yu Teng, Nan Kong, Wanzhu Tu
Estimating age-dependent per-encounter chlamydia trachomatis acquisition risk via a Markov-based state-transition model. J. Clin. Bioinform. 4 (2014)
Yu Teng, Lanshan Han, Wanzhu Tu, Nan Kong
Optimizing coverage for a Chlamydia trachomatis screening program. CASE (2011)