Runqing Xu

16 papers A 3B 2Misc 1Journal 9Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
Stateful Differential Operators for Incremental Computing.
Proc. ACM Program. Lang.
Runqing Xu, Sebastian Erdweg
2025 A conf
Mono Types - First-Class Containers for Datalog.
ECOOP
Runqing Xu, David Klopp, Sebastian Erdweg
2024 — conf
AUTOINC: Incrementality for Free.
SPLASH Companion
André Pacak, Prashant Kumar, Runqing Xu, Sebastian Erdweg
2024 J jnl
Optimizing Dilithium Implementation with AVX2/-512.
ACM Trans. Embed. Comput. Syst.
Runqing Xu, Debiao He, Min Luo, Cong Peng, Xiangyong Zeng
2023 A conf
Iscalc: An Interactive Symbolic Computation Framework (System Description).
CADE
Bohua Zhan, Yuheng Fan, Weiqiang Xiong, Runqing Xu
2023 J jnl
Optimized Quantum Implementation of AES.
IACR Cryptol. ePrint Arch.
Da Lin, Zejun Xiang, Runqing Xu, Shasha Zhang, Xiangyong Zeng
2023 J jnl
Optimized quantum implementation of AES.
Quantum Inf. Process.
Da Lin, Zejun Xiang, Runqing Xu, Shasha Zhang, Xiangyong Zeng
2023 J jnl
Quantum circuit implementations of SM4 block cipher based on different gate sets.
Quantum Inf. Process.
Da Lin, Zejun Xiang, Runqing Xu, Xiangyong Zeng, Shasha Zhang
2023 B conf
Rotational-XOR Differential Rectangle Cryptanalysis on Simon-Like Ciphers.
CT-RSA
Siwei Chen, Mingming Zhu, Zejun Xiang, Runqing Xu, Xiangyong Zeng, Shasha Zhang
2023 J jnl
Rotational-XOR Differential Rectangle Cryptanalysis on Simon-like Ciphers.
IACR Cryptol. ePrint Arch.
Siwei Chen, Mingming Zhu, Zejun Xiang, Runqing Xu, Xiangyong Zeng, Shasha Zhang
2022 B conf
Active Learning of One-Clock Timed Automata Using Constraint Solving.
ATVA
Runqing Xu, Jie An, Bohua Zhan
2022 J jnl
Active Learning of One-Clock Timed Automata using Constraint Solving.
CoRR
Runqing Xu, Jie An, Bohua Zhan
2022 J jnl
High-throughput block cipher implementations with SIMD.
J. Inf. Secur. Appl.
Runqing Xu, Zejun Xiang, Da Lin, Shasha Zhang, Debiao He, Xiangyong Zeng
2021 Misc conf
Dominance Matrix of Hypergraph and Its Application in Cyclic Graph Judgement.
ISKE
Runqing Xu, Shengling Geng, Banghe Han, Ruize Wu
2021 A conf
Verified Interactive Computation of Definite Integrals.
CADE
Runqing Xu, Liming Li, Bohua Zhan
2020 J jnl
An Offline and Online Algorithm for All Minimal k|U| Parameter Subsets of a Soft Set Based on Integer Partition.
IEEE Access
Shengling Geng, Banghe Han, Ruize Wu, Runqing Xu