Xingyuan Zhang

46 papers A* 2A 1B 5C 2Journal 27Unranked 9

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	AoI-Optimized Scheduling for Wireless-Powered Cognitive Radio Networks with Short-Packet Communication. VTC2025-Fall Xingyuan Zhang, Xiangdong Jia, Hongli Bao, Jingjing Wu
2025	J	`jnl`	Experimental research of wheel-legged robot crossing obstacles. Robotica Xin Mei, Yongle Wei, Chenguang Guo, Xingyuan Zhang
2025	J	`jnl`	Latent Action World Models for Control with Unlabeled Trajectories. CoRR Marvin Alles, Xingyuan Zhang, Patrick van der Smagt, Philip Becker-Ehmck
2025	J	`jnl`	Overcoming Knowledge Barriers: Online Imitation Learning from Visual Observation with Pretrained World Models. Trans. Mach. Learn. Res. Xingyuan Zhang, Philip Becker-Ehmck, Patrick van der Smagt, Maximilian Karl
2024	—	`conf`	Average Age of Information for Multi-Source Single Buffer Preemption Queueing Model with Packet Dropping in Service. VTC Fall Xingyuan Zhang, Xiangdong Jia, Heng Chang, Hailong Tian
2024	J	`jnl`	Overcoming Knowledge Barriers: Online Imitation Learning from Observation with Pretrained World Models. CoRR Xingyuan Zhang, Philip Becker-Ehmck, Patrick van der Smagt, Maximilian Karl
2023	A*	`conf`	Action Inference by Maximising Evidence: Zero-Shot Imitation from Observation with World Models. NeurIPS Xingyuan Zhang, Philip Becker-Ehmck, Patrick van der Smagt, Maximilian Karl
2023	J	`jnl`	Action Inference by Maximising Evidence: Zero-Shot Imitation from Observation with World Models. CoRR Xingyuan Zhang, Philip Becker-Ehmck, Patrick van der Smagt, Maximilian Karl
2022	J	`jnl`	Differentiable Spatial Regression: A Novel Method for 3D Hand Pose Estimation. IEEE Trans. Multim. Xingyuan Zhang, Fuhai Zhang
2022	A*	`conf`	NeoRL: A Near Real-World Benchmark for Offline Reinforcement Learning. NeurIPS Rongjun Qin, Xingyuan Zhang, Songyi Gao, Xiong-Hui Chen, Zewen Li, Weinan Zhang, Yang Yu
2022	J	`jnl`	Propagation Prediction of Body Waves in Fluid-Saturated Soils with Flow-Independent Viscosity. Symmetry Bo Wang, Xingyuan Zhang, Bo Sun
2021	J	`jnl`	Consistency Guided Network for Degraded Image Classification. IEEE Trans. Circuits Syst. Video Technol. Yanting Pei, Yaping Huang, Xingyuan Zhang
2021	J	`jnl`	Effects of Image Degradation and Degradation Removal to CNN-Based Image Classification. IEEE Trans. Pattern Anal. Mach. Intell. Yanting Pei, Yaping Huang, Qi Zou, Xingyuan Zhang, Song Wang
2021	J	`jnl`	NeoRL: A Near Real-World Benchmark for Offline Reinforcement Learning. CoRR Rongjun Qin, Songyi Gao, Xingyuan Zhang, Zhen Xu, Shengkai Huang, Zewen Li, Weinan Zhang, Yang Yu
2021	J	`jnl`	Video sketch: A middle-level representation for action recognition. Appl. Intell. Xingyuan Zhang, Ya-Ping Huang, Yang Mi, Yanting Pei, Qi Zou, Song Wang
2020	J	`jnl`	A Hybrid convolutional neural network for sketch recognition. Pattern Recognit. Lett. Xingyuan Zhang, Yaping Huang, Qi Zou, Yanting Pei, Runsheng Zhang, Song Wang
2020	J	`jnl`	Detecting dense text in natural images. IET Comput. Vis. Dianzhuan Jiang, Shengsheng Zhang, Yaping Huang, Qi Zou, Xingyuan Zhang, Mengyang Pu, Junbo Liu
2020	J	`jnl`	Dual-Branch Network With a Subtle Motion Detector for Microaction Recognition in Videos. IEEE Trans. Image Process. Yang Mi, Xingyuan Zhang, Zhongguo Li, Song Wang
2020	J	`jnl`	Priority Inheritance Protocol Proved Correct. J. Autom. Reason. Xingyuan Zhang, Christian Urban, Chunhan Wu
2019	J	`jnl`	Classification-driven Single Image Dehazing. CoRR Yanting Pei, Yaping Huang, Xingyuan Zhang
2019	J	`jnl`	Pixel-wise Regression: 3D Hand Pose Estimation via Spatial-form Representation and Differentiable Decoder. CoRR Xingyuan Zhang, Fuhai Zhang
2019	J	`jnl`	Selected Extended Papers of ITP 2015: Preface. J. Autom. Reason. Xingyuan Zhang, Christian Urban
2019	J	`jnl`	Universal Turing Machine. Arch. Formal Proofs Jian Xu, Xingyuan Zhang, Christian Urban, Sebastiaan J. C. Joosten
2018	J	`jnl`	Effects of Image Degradations to CNN-based Image Classification. CoRR Yanting Pei, Yaping Huang, Qi Zou, Hao Zang, Xingyuan Zhang, Song Wang
2018	J	`jnl`	Making better use of edges for sketch generation. J. Electronic Imaging Xingyuan Zhang, Yaping Huang, Qi Zou, Qingji Guan, Junbo Liu
2015	B	`ed.`	Interactive Theorem Proving - 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings ITP Christian Urban, Xingyuan Zhang
2014	J	`jnl`	A Formalisation of the Myhill-Nerode Theorem Based on Regular Expressions. J. Autom. Reason. Chunhan Wu, Xingyuan Zhang, Christian Urban
2013	B	`conf`	A Formal Model and Correctness Proof for an Access Control Policy Framework. CPP Chunhan Wu, Xingyuan Zhang, Christian Urban
2013	B	`conf`	Mechanising Turing Machines and Computability Theory in Isabelle/HOL. ITP Jian Xu, Xingyuan Zhang, Christian Urban
2012	B	`conf`	Priority Inheritance Protocol Proved Correct. ITP Xingyuan Zhang, Christian Urban, Chunhan Wu
2011	B	`conf`	A Formalisation of the Myhill-Nerode Theorem Based on Regular Expressions (Proof Pearl). ITP Chunhan Wu, Xingyuan Zhang, Christian Urban
2011	J	`jnl`	The Myhill-Nerode Theorem Based on Regular Expressions. Arch. Formal Proofs Chunhan Wu, Xingyuan Zhang, Christian Urban
2009	—	`conf`	Liveness Reasoning with Isabelle/HOL. TPHOLs Jinshuang Wang, Huabing Yang, Xingyuan Zhang
2008	—	`conf`	A Replay-Oriented Software Architecture for Easy Debugging. CSSE (2) Chunhan Wu, Xingyuan Zhang, Yuanyuan Wang
2006	—	`conf`	A Correctness Proof of the DSR Protocol. MSN Huabing Yang, Xingyuan Zhang, Yuanyuan Wang
2006	A	`conf`	A correctness proof of the SRP protocol. IPDPS Huabing Yang, Xingyuan Zhang, Yuanyuan Wang
2005	J	`jnl`	Bayesian and non-bayesian analysis of gamma stochastic frontier models by Markov Chain Monte Carlo methods. Comput. Stat. Hideo Kozumi, Xingyuan Zhang
2004	J	`jnl`	Syntax-Directed Amorphous Slicing. Autom. Softw. Eng. Mark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang, David W. Binkley, Sebastian Danicic, Mohammed Daoudi, Lahcen Ouarbya
2002	—	`conf`	A Post-Placement Side-Effect Removal Algorithm. ICSM Mark Harman, Lin Hu, Robert M. Hierons, Malcolm Munro, Xingyuan Zhang, José Javier Dolado, Mari Carmen Otero, Joachim Wegener
2002	C	`conf`	An Interprocedural Amorphous Slicer for WSL. SCAM Mark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang, Sebastian Danicic, Mohammed Daoudi, Lahcen Ouarbya
2002	C	`conf`	Mechanized Operational Semantics of WSL. SCAM Xingyuan Zhang, Malcolm Munro, Mark Harman, Lin Hu
2002	J	`jnl`	Source code analysis and manipulation. Inf. Softw. Technol. Mark Harman, Malcolm Munro, Lin Hu, Xingyuan Zhang
2002	—	`conf`	Weakest Precondition for General Recursive Programs Formalized in Coq. TPHOLs Xingyuan Zhang, Malcolm Munro, Mark Harman, Lin Hu
2001	—	`conf`	GUSTT: An Amorphous Slicing System which Combines Slicing and Transformation. WCRE Mark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang
2001	—	`conf`	Side-Effect Removal Transformation. IWPC Mark Harman, Malcolm Munro, Lin Hu, Xingyuan Zhang
2001	J	`jnl`	Type System in Programming Languages. J. Comput. Sci. Technol. Hui Jiang, Dong Lin, Xingyuan Zhang, Xiren Xie