Runqing Xu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2021–2025
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ECOOP | Mono Types - First-Class Containers for Datalog. | Runqing Xu, David Klopp, Sebastian Erdweg |
| 2023 | CADE | Iscalc: An Interactive Symbolic Computation Framework (System Description). | Bohua Zhan, Yuheng Fan, Weiqiang Xiong, Runqing Xu |
| 2022 | ATVA | Active Learning of One-Clock Timed Automata Using Constraint Solving. | Runqing Xu, Jie An, Bohua Zhan |
| 2021 | CADE | Verified Interactive Computation of Definite Integrals. | Runqing Xu, Liming Li, Bohua Zhan |
| 2021 | ISKE | Dominance Matrix of Hypergraph and Its Application in Cyclic Graph Judgement. | Runqing Xu, Shengling Geng, Banghe Han, Ruize Wu |