Side-Effect Removal Transformation. - Mark Harman; Malcolm Munro; Lin Hu 005; Xingyuan Zhang (IWPC, 2001)

GUSTT: An Amorphous Slicing System which Combines Slicing and Transformation. - Mark Harman; Lin Hu 005; Malcolm Munro; Xingyuan Zhang (WCRE, 2001)

Type System in Programming Languages. - Hui Jiang 004; Dong Lin; Xingyuan Zhang; Xiren Xie (J. Comput. Sci. Technol., 2001)

A Post-Placement Side-Effect Removal Algorithm. - Mark Harman; Lin Hu 005; Robert M. Hierons; Malcolm Munro; Xingyuan Zhang; José Javier Dolado; Mari Carmen Otero; Joachim Wegener (ICSM, 2002)

An Interprocedural Amorphous Slicer for WSL. - Mark Harman; Lin Hu 005; Malcolm Munro; Xingyuan Zhang; Sebastian Danicic; Mohammed Daoudi; Lahcen Ouarbya (SCAM, 2002)

Mechanized Operational Semantics of WSL. - Xingyuan Zhang; Malcolm Munro; Mark Harman; Lin Hu 005 (SCAM, 2002)

Weakest Precondition for General Recursive Programs Formalized in Coq. - Xingyuan Zhang; Malcolm Munro; Mark Harman; Lin Hu 005 (TPHOLs, 2002)

Source code analysis and manipulation. - Mark Harman; Malcolm Munro; Lin Hu 005; Xingyuan Zhang (Inf. Softw. Technol., 2002)

Syntax-Directed Amorphous Slicing. - Mark Harman; Lin Hu 005; Malcolm Munro; Xingyuan Zhang; David W. Binkley; Sebastian Danicic; Mohammed Daoudi; Lahcen Ouarbya (Autom. Softw. Eng., 2004)

Bayesian and non-bayesian analysis of gamma stochastic frontier models by Markov Chain Monte Carlo methods. - Hideo Kozumi; Xingyuan Zhang (Comput. Stat., 2005)

A correctness proof of the SRP protocol. - Huabing Yang; Xingyuan Zhang; Yuanyuan Wang (IPDPS, 2006)

A Correctness Proof of the DSR Protocol. - Huabing Yang; Xingyuan Zhang; Yuanyuan Wang (MSN, 2006)

A Replay-Oriented Software Architecture for Easy Debugging. - Chunhan Wu; Xingyuan Zhang; Yuanyuan Wang (CSSE (2), 2008)

Liveness Reasoning with Isabelle/HOL. - Jinshuang Wang; Huabing Yang; Xingyuan Zhang (TPHOLs, 2009)

A Formalisation of the Myhill-Nerode Theorem Based on Regular Expressions (Proof Pearl). - Chunhan Wu; Xingyuan Zhang; Christian Urban (ITP, 2011)

The Myhill-Nerode Theorem Based on Regular Expressions. - Chunhan Wu; Xingyuan Zhang; Christian Urban (Arch. Formal Proofs, 2011)

A Formal Model and Correctness Proof for an Access Control Policy Framework. - Chunhan Wu; Xingyuan Zhang; Christian Urban (CPP, 2013)

Mechanising Turing Machines and Computability Theory in Isabelle/HOL. - Jian Xu; Xingyuan Zhang; Christian Urban (ITP, 2013)

A Formalisation of the Myhill-Nerode Theorem Based on Regular Expressions. - Chunhan Wu; Xingyuan Zhang; Christian Urban (J. Autom. Reason., 2014)

Effects of Image Degradations to CNN-based Image Classification. - Yanting Pei; Yaping Huang; Qi Zou 001; Hao Zang; Xingyuan Zhang; Song Wang 002 (CoRR, 2018)

Making better use of edges for sketch generation. - Xingyuan Zhang; Yaping Huang; Qi Zou 001; Qingji Guan; Junbo Liu (J. Electronic Imaging, 2018)

Universal Turing Machine. - Jian Xu; Xingyuan Zhang; Christian Urban; Sebastiaan J. C. Joosten (Arch. Formal Proofs, 2019)

Pixel-wise Regression: 3D Hand Pose Estimation via Spatial-form Representation and Differentiable Decoder. - Xingyuan Zhang; Fuhai Zhang (CoRR, 2019)

Classification-driven Single Image Dehazing. - Yanting Pei; Yaping Huang; Xingyuan Zhang (CoRR, 2019)

Selected Extended Papers of ITP 2015: Preface. - Xingyuan Zhang; Christian Urban (J. Autom. Reason., 2019)

Detecting dense text in natural images. - Dianzhuan Jiang; Shengsheng Zhang; Yaping Huang; Qi Zou 001; Xingyuan Zhang; Mengyang Pu; Junbo Liu (IET Comput. Vis., 2020)

Priority Inheritance Protocol Proved Correct. - Xingyuan Zhang; Christian Urban; Chunhan Wu (J. Autom. Reason., 2020)

A Hybrid convolutional neural network for sketch recognition. - Xingyuan Zhang; Yaping Huang; Qi Zou 001; Yanting Pei; Runsheng Zhang; Song Wang 002 (Pattern Recognit. Lett., 2020)

Dual-Branch Network With a Subtle Motion Detector for Microaction Recognition in Videos. - Yang Mi; Xingyuan Zhang; Zhongguo Li; Song Wang 002 (IEEE Trans. Image Process., 2020)

Video sketch: A middle-level representation for action recognition. - Xingyuan Zhang; Ya-Ping Huang; Yang Mi; Yanting Pei; Qi Zou 001; Song Wang 002 (Appl. Intell., 2021)

NeoRL: A Near Real-World Benchmark for Offline Reinforcement Learning. - Rongjun Qin; Songyi Gao; Xingyuan Zhang; Zhen Xu; Shengkai Huang; Zewen Li; Weinan Zhang 001; Yang Yu 001 (CoRR, 2021)

Effects of Image Degradation and Degradation Removal to CNN-Based Image Classification. - Yanting Pei; Yaping Huang; Qi Zou 001; Xingyuan Zhang; Song Wang 002 (IEEE Trans. Pattern Anal. Mach. Intell., 2021)

Consistency Guided Network for Degraded Image Classification. - Yanting Pei; Yaping Huang; Xingyuan Zhang (IEEE Trans. Circuits Syst. Video Technol., 2021)

NeoRL: A Near Real-World Benchmark for Offline Reinforcement Learning. - Rongjun Qin; Xingyuan Zhang; Songyi Gao; Xiong-Hui Chen; Zewen Li; Weinan Zhang 001; Yang Yu 001 (NeurIPS, 2022)

Propagation Prediction of Body Waves in Fluid-Saturated Soils with Flow-Independent Viscosity. - Bo Wang; Xingyuan Zhang; Bo Sun (Symmetry, 2022)

Differentiable Spatial Regression: A Novel Method for 3D Hand Pose Estimation. - Xingyuan Zhang; Fuhai Zhang (IEEE Trans. Multim., 2022)

Action Inference by Maximising Evidence: Zero-Shot Imitation from Observation with World Models. - Xingyuan Zhang; Philip Becker-Ehmck; Patrick van der Smagt; Maximilian Karl (NeurIPS, 2023)

Average Age of Information for Multi-Source Single Buffer Preemption Queueing Model with Packet Dropping in Service. - Xingyuan Zhang; Xiangdong Jia; Heng Chang; Hailong Tian (VTC Fall, 2024)

Overcoming Knowledge Barriers: Online Imitation Learning from Observation with Pretrained World Models. - Xingyuan Zhang; Philip Becker-Ehmck; Patrick van der Smagt; Maximilian Karl (CoRR, 2024)

Overcoming Knowledge Barriers: Online Imitation Learning from Visual Observation with Pretrained World Models. - Xingyuan Zhang; Philip Becker-Ehmck; Patrick van der Smagt; Maximilian Karl (Trans. Mach. Learn. Res., 2025)