Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Yu Teng

dblp:36/10319 · DBLP profile ↗
← Back
5ranked-venue papers
2as first author
5since 2021 · last 2026
—ORCID · conflict

Domains — the database's venue-derived domains; a paper can count in several

Databases, data management, data science and information retrieval · 2 · 2 since 2021Software engineering, systems software and programming languages · 1 · 1 since 2021Theory of computation · 1 · 1 first-author · 1 since 2021Applied, interdisciplinary, general and emerging computing · 1 · 1 first-author · 1 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science
1 paper
Automata and formal languages · 44% Algorithms and data structures · 44% Automated reasoning and model checking · 13%

Topics — the 3 heaviest of 3, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Algorithms and data structures › learning algorithms
active learning
0.912025
Active learning of deterministic timed automata via timed classification tree · Sci. China Inf. Sci. 2025
Automata and formal languages
timed automata
0.912025
Active learning of deterministic timed automata via timed classification tree · Sci. China Inf. Sci. 2025
Automated reasoning and model checking
real-time verification
0.312025
Active learning of deterministic timed automata via timed classification tree · Sci. China Inf. Sci. 2025

Methods — techniques the papers use, named apart from their topics

classification tree · 0.9active learning · 0.9
YearPublicationVenuePosition
2026 Rethinking Analytical Processing in the GPU Era
Bobbi W. Yogatama, Kevin Kristensen, Devesh Sarda, Abigale Kim, Adrian Cockcroft, Yu Teng, Joshua Patterson, Gregory Kimball, Wes McKinney, Weiwei Gong, Xiangyao Yu
CIDR7
2025 Active learning of deterministic timed automata via timed classification tree
Yu Teng, Hanyue Chen, Junri Mi, Miaomiao Zhang 0003, Jie An 0001, Naijun Zhan
Sci. China Inf. Sci.1
2025 A Multiple Attention Layer-shareable Method for Link Prediction in Multilayer Networks
abstract
Link prediction in multilayer networks aims to predict missing links at the target layer by incorporating structural information from both auxiliary layers and the target layer. Existing methods tend to learn layer-specific knowledge to maximize the link prediction performance on a specific network layer. However, they have difficulty incorporating multilayer structural information to improve the link prediction performance. Therefore, we propose a Multiple Attention Layer-shareable Method (MALM) for link prediction in multilayer networks, which consists of a feature encoder, a knowledge learner, and a fusion predictor. The feature encoder introduces multiple attention mechanisms to encode the feature representations of links by differentiating the importance of structural information for each link. In cooperation with the feature encoder, the knowledge learner splits the link prediction tasks into different layers and employs meta-learning to learn layer-shareable knowledge from these link prediction tasks. Finally, the fusion predictor combines the learned layer-shareable knowledge with the layer-specific knowledge at the target layer for link prediction. Experiments on real-world datasets demonstrate that the proposed MALM outperforms existing state-of-the-art baselines in link prediction in multilayer networks.
Huan Wang 0005, Yu Teng, Lingsong Qin, Xuan Guo 0004, Po Hu 0001
ACM Trans. Knowl. Discov. Data2
2024 Learning Deterministic Multi-Clock Timed Automata
abstract
We present an algorithm for active learning of deterministic timed automata with multiple clocks. The algorithm is within the querying framework of Angluin’s L* algorithm and follows the idea proposed in existing work on the active learning of deterministic one-clock timed automata. We introduce an equivalence relation over the reset-clocked language of a timed automaton and then transform the learning problem into learning the corresponding reset-clocked language of the target automaton. Since a reset-clocked language includes the clocks reset information which is not observable, we first present the approach of learning from a powerful teacher who can provide reset information by answering reset information queries from the learner. Then we extend the algorithm in a normal teacher situation in which the learner can only ask standard membership query and equivalence query while the learner guesses the reset information. We prove that the learning algorithm terminates and returns a correct deterministic timed automaton. Due to the need of guessing whether the clocks reset at the transitions, the algorithm is of exponential complexity in the size of the target automaton.
Yu Teng, Miaomiao Zhang 0003, Jie An 0001
HSCC1
2023 Automatic modelling and verification of Autosar architectures
Miaomiao Zhang 0003, Yu Teng, Hui Kong 0007, John W. Baugh Jr., Junri Mi, Bowen Du 0002
J. Syst. Softw.2