Yuxin Deng
This page is a disambiguation page, it actually contains multiple papers from persons of the same or a similar name.
Known people with the same name:
- Yuxin Deng 001 (East China Normal University, Shanghai, China)
- Yuxin Deng 002 (Wuhan University, Wuhan, Hubei, China)
- Yuxin Deng 003 (Xidian University, Xi'an, China)
Bibliography
2026
Multiconfiguration Pair-Density Functional Theory Calculations of Ground and Excited States of Complex Chemical Systems with Quantum Computers.
CoRR, February, 2026
2025
Stat. Comput., October, 2025
Acta Informatica, March, 2025
QAS-BO : Quantum Architecture Search Based on Bayesian Optimization Applied to Variational Quantum Algorithms.
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2025
"You Need to Know What I Can Do": Revealing Sighted People's Workplace Bias Toward the Visually Impaired and Exploring Intervention Through Serious Games.
Proceedings of the Companion Publication of the 2025 Conference on Computer-Supported Cooperative Work and Social Computing, 2025
Proceedings of the Workshop on Hybrid Automation Experiences, 2025
BEVSync: Asynchronous Data Alignment for Camera-based Vehicle-Infrastructure Cooperative Perception Under Uncertain Delays.
Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence, 2025
2024
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2024
2023
Preface for the special issue of Theoretical Computer Science in honor of the 60<sup>th</sup> birthday of Yuxi Fu.
Theor. Comput. Sci., February, 2023
Child Safety and Data Privacy in Smart Homes With Speakers: Comparison of Privacy Policies in the United States and China.
IEEE Secur. Priv., 2023
2022
CoRR, 2022
Proceedings of the International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols co-located with the 23rd International Conference on Formal Engineering Methods (ICFEM 2022), 2022
2021
Int. J. Softw. Informatics, 2021
2016
Math. Struct. Comput. Sci., 2016
2015
Book Introduction by the Author: Semantics of Probabilistic Processes An Operational Approach.
Bull. EATCS, 2015
2012
CoRR, 2012
2011
2009
Proceedings of the TASE 2009, 2009
2008
A Simpler Framework Based on the Applied Pi Calculus and Its Application to Electronic Cash Protocol.
Proceedings of the 2008 International Symposium on Computer Science and Computational Technology, 2008
2007
A Simple Completeness Proof for the Axiomatisations of Weak Behavioural Equivalences.
Bull. EATCS, 2007
Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007
2005
Axiomatisations and Types for Probabilistic and Mobile Processes. (Axiomatisations et types pour des processus probabilistes et mobiles).
PhD thesis, 2005