Yuxin Deng

24 papers A* 1B 1Misc 2Journal 14Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
Multiconfiguration Pair-Density Functional Theory Calculations of Ground and Excited States of Complex Chemical Systems with Quantum Computers.
CoRR
Zhanou Liu, Yuhao Chen, Yingjin Ma, Xiao He, Yuxin Deng
2025 — conf
"You Need to Know What I Can Do": Revealing Sighted People's Workplace Bias Toward the Visually Impaired and Exploring Intervention Through Serious Games.
CSCW Companion
Qixuan Xu, Ruolan Hu, Yilin Yuan, Yuxin Deng, Tianhui Xiong, Shuchang Xu, Guanhong Liu
2025 J jnl
A binary integer programming-based method for qubit mapping in sparse architectures.
Acta Informatica
Hui Jiang, Jianling Fu, Yuxin Deng, Jun Wu
2025 A* conf
BEVSync: Asynchronous Data Alignment for Camera-based Vehicle-Infrastructure Cooperative Perception Under Uncertain Delays.
AAAI
Wentao Wang, Jiaqian Wang, Yuxin Deng, Guang Tan
2025 J jnl
Identifying Collapsible Sets in Directed Graphical Models via Inducing Paths.
Stat. Comput.
Yuxin Deng, Yi Sun, Huaxiong Liu
2025 B conf
QAS-BO : Quantum Architecture Search Based on Bayesian Optimization Applied to Variational Quantum Algorithms.
SMC
Shuyan Chao, Yuxin Deng, Zhanou Liu, Yuwei Zhang
2024 Misc conf
An Assertion-Based Logic for Local Reasoning about Probabilistic Programs.
SETTA
Huiling Wu, Anran Cui, Yuxin Deng
2024 J jnl
The Expansion Methods of Inception and Its Application.
Symmetry
Cuiping Shi, Zhenquan Liu, Jiageng Qu, Yuxin Deng
2023 J jnl
Child Safety and Data Privacy in Smart Homes With Speakers: Comparison of Privacy Policies in the United States and China.
IEEE Secur. Priv.
Jingwei Wu, Wanxi Mao, Yuxin Deng, Jinghong Xu
2023 J jnl
Preface for the special issue of Theoretical Computer Science in honor of the 60
Theor. Comput. Sci.
Yijia Chen, Pierre-Louis Curien, Yuxin Deng, Min Zhang
2022 — conf
Invited talk: Formal Verification of Quantum Protocols.
FAVPQC@ICFEM
Yuxin Deng
2022 J jnl
Too Slow to Be Useful? On Incorporating Humans in the Loop of Smart Speakers.
CoRR
Shih-Hong Huang, Chieh-Yang Huang, Yuxin Deng, Hua Shen, Szu-Chi Kuan, Ting-Hao Kenneth Huang
2021 J jnl
Preface to the Topic of Formal Methods and Their Applications.
Int. J. Softw. Informatics
Cong Tian, Yuxin Deng, Yu Jiang
2016 J jnl
Relating reasoning methodologies in linear logic and process algebra.
Math. Struct. Comput. Sci.
Yuxin Deng, Robert J. Simmons, Iliano Cervesato
2015 J jnl
Book Introduction by the Author: Semantics of Probabilistic Processes An Operational Approach.
Bull. EATCS
Yuxin Deng
2012 J jnl
Characterisations of Testing Preorders for a Finite Probabilistic pi-Calculus
CoRR
Yuxin Deng, Alwen Tiu
2012 — conf
Relating Reasoning Methodologies in Linear Logic and Process Algebra
LINEARITY
Yuxin Deng, Iliano Cervesato, Robert J. Simmons
2012 J jnl
The Buffered π-Calculus: A Model for Concurrent Languages
CoRR
Xiaojie Deng, Yu Zhang, Yuxin Deng, Farong Zhong
2011 J jnl
Program Equivalence in Linear Contexts
CoRR
Yuxin Deng, Yu Zhang
2009 Misc conf
Verifying Self-stabilizing Population Protocols with Coq.
TASE
Yuxin Deng, Jean-François Monin
2008 — conf
A Simpler Framework Based on the Applied Pi Calculus and Its Application to Electronic Cash Protocol.
ISCSCT (2)
Xiaojuan Cai, Yuxin Deng
2007 J jnl
A Simple Completeness Proof for the Axiomatisations of Weak Behavioural Equivalences.
Bull. EATCS
Yuxin Deng
2007 — conf
Towards Automatic Measurement of Probabilistic Processes.
QSIC
Lin Song, Yuxin Deng, Xiaojuan Cai
2005 — —
Axiomatisations and Types for Probabilistic and Mobile Processes. (Axiomatisations et types pour des processus probabilistes et mobiles).
Yuxin Deng