76 citations · 156 across the 20 of their papers we have counts for
20 papers
Local Reasoning about Probabilistic Behaviour for Classical-Quantum Programs
Huiling Wu, Yuxin Deng, Ming Xu
Verifying the functional correctness of programs with both classical and quantum constructs is a challenging task. The presence of probabilistic behaviour entailed by quantum measu…
A Pattern Matching-Based Framework for Quantum Circuit Rewriting
Hui Jiang, Diankang Li, Yuxin Deng +1
The realization of quantum algorithms relies on specific quantum compilations according to the underlying quantum processors. However, there are various ways to physically implemen…
Encodability Criteria for Quantum Based Systems
Anna Schmitt, Kirstin Peters, Yuxin Deng
Quantum based systems are a relatively new research area for that different modelling languages including process calculi are currently under development. Encodings are often used…
Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains
Ming Xu, Jingyi Mei, Ji Guan +2
Verifying quantum systems has attracted a lot of interest in the last decades.In this paper, we study the quantitative model-checking of quantum continuous-time Markov chains (quan…
Formal Semantics of a Classical-Quantum Language
Yuxin Deng, Yuan Feng
We investigate the formal semantics of a simple imperative language that has both classical and quantum constructs. More specifically, we provide an operational semantics, a denota…
SDGMNet: Statistic-based Dynamic Gradient Modulation for Local Descriptor Learning
Jiayi Ma, Yuxin Deng
Modifications on triplet loss that rescale the back-propagated gradients of special pairs have made significant progress on local descriptor learning. However, current gradient mod…