Demo Data from EDBT 2026 / reviewers in the wild / expert
Yu Teng
dblp:36/10319
· DBLP profile ↗
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
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Algorithms and data structures › learning algorithms
active learning |
0.9 | 1 | 2025 | Active learning of deterministic timed automata via timed classification tree · Sci. China Inf. Sci. 2025 |
Automata and formal languages
timed automata |
0.9 | 1 | 2025 | Active learning of deterministic timed automata via timed classification tree · Sci. China Inf. Sci. 2025 |
Automated reasoning and model checking
real-time verification |
0.3 | 1 | 2025 | 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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 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 |
CIDR | 7 |
| 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 NetworksabstractLink 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. Data | 2 |
| 2024 | Learning Deterministic Multi-Clock Timed AutomataabstractWe 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 |
HSCC | 1 |
| 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 |