output
20092026
most citedMulti-Agent Distributed Optimization via Inexact Consensus ADMM

464 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing 2021Show all

5 papers · 1 filter

cs.LO2021

On Decidability of the Bisimilarity on Higher-order Processes with Parameterization

Xian Xu, Wenbo Zhang

Higher-order processes with parameterization are capable of abstraction and application (migrated from the lambda-calculus), and thus are computationally more expressive. For the m…

cs.LO2021★ 1 cited

Countability of Inductive Types Formalized in the Object-Logic Level

Qinxiang Cao, Xiwei Wu

The set of integer number lists with finite length, and the set of binary trees with integer labels are both countably infinite. Many inductively defined types also have countably…

cs.IT2021

Byzantine-Resilient Federated Machine Learning via Over-the-Air Computation

Shaoming Huang, Yong Zhou, Ting Wang +1

Federated learning (FL) is recognized as a key enabling technology to provide intelligent services for future wireless networks and industrial systems with delay and privacy guaran…

quant-ph2021

Model Checking Quantum Continuous-Time Markov Chains

Ming Xu, Jingyi Mei, Ji Guan +1

Verifying quantum systems has attracted a lot of interests in the last decades. In this paper, we initialised the model checking of quantum continuous-time Markov chain (QCTMC). As…

cs.LO2021★ 4 cited

An Algebraic Method to Fidelity-based Model Checking over Quantum Markov Chains

Ming Xu, Jianling Fu, Jingyi Mei +1

Fidelity is one of the most widely used quantities in quantum information that measure the distance of quantum states through a noisy channel. In this paper, we introduce a quantum…