The ADORA Approach to Object-Oriented Modeling of Software. - Martin Glinz; Stefan Berner; Stefan Joos; Johannes Ryser; Nancy Schett; Yong Xia 006 (CAiSE, 2001)

Rigorous EBNF-based Definition for a Graphic Modeling Language. - Yong Xia 006; Martin Glinz (APSEC, 2003)

Extending a Graphic Modeling Language to Support Partial and Evolutionary Specification. - Yong Xia 006; Martin Glinz (APSEC, 2004)

CEV Framework: A Central Bank Digital Currency Evaluation and Verification Framework with Focus of Consensus Algorithms and Operating Models. - Si Yuan Jin; Yong Xia 006 (CoRR, 2021)

A UTXO-based Sharding Method for Stablecoin. - Si Yuan Jin; Botong Xu; Philip Intallura; Yong Xia 006 (BCCA, 2022)

CEV Framework: A Central Bank Digital Currency Evaluation and Verification Framework With a Focus on Consensus Algorithms and Operating Architectures. - Si Yuan Jin; Yong Xia 006 (IEEE Access, 2022)