Runqing Xu

From MaRDI portal
Person:2055880

Available identifiers

zbMath Open xu.runqingMaRDI QIDQ2055880

List of research outcomes





PublicationDate of PublicationType
Iscalc: An Interactive Symbolic Computation Framework (System Description)2024-04-26Paper
Optimized quantum implementation of AES2023-10-13Paper
Rotational-XOR differential rectangle cryptanalysis on \textsc{Simon}-like ciphers2023-10-04Paper
Quantum circuit implementations of SM4 block cipher based on different gate sets2023-08-11Paper
Active learning of one-clock timed automata using constraint solving2023-06-02Paper
Verified interactive computation of definite integrals2021-12-01Paper

Research outcomes over time

This page was built for person: Runqing Xu

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2055880&oldid=6670479"
Powered by MediaWiki