Structured Contextual Rewriting. - Zhenyu Qian (RTA, 1987)

Parameterization of Order-Sorted Algebraic Specifications with Built-In Coercers. - Zhenyu Qian (ADT, 1988)

Relation-Sorted Algebraic Specifications with Built-in Coercers: Parameterization and Parameter Passing. - Zhenyu Qian (Categorial Methods in Computer Science, 1988)

Higher-Order Order-Sorted Algebras. - Zhenyu Qian (ALP, 1990)

Second-Order Unification in the Presence of Linear Shallow Algebraic Equations (Extended Abstract). - Zhenyu Qian (CTRS, 1990)

Relation-Sorted Algebraic Specifications with Built-in Coercers: Basic Notions and Results. - Hans-Jörg Kreowski; Zhenyu Qian (STACS, 1990)

Modular Higher-Order E-Unification. - Tobias Nipkow; Zhenyu Qian (RTA, 1991)

Extensions of order-sorted algebraic specifications: parameterization, higher-order functions and polymorphism. - Zhenyu Qian (1991)

Reduction and Unification in Lambda Calculi with Subtypes. - Tobias Nipkow; Zhenyu Qian (CADE, 1992)

Higher-Order E-Unification for Arbitrary Theories. - Zhenyu Qian; Kang Wang (JICSLP, 1992)

Linear Unification of Higher-Order Patterns. - Zhenyu Qian (TAPSOFT, 1993)

An Algebraic Semantics of Higher-Order Types with Subtypes. - Zhenyu Qian (Acta Informatica, 1993)

Modular AC Unification of Higher-Order Patterns. - Zhenyu Qian; Kang Wang (CCL, 1994)

Higher-Order Equational Logic Programming. - Zhenyu Qian (POPL, 1994)

Reduction and Unification in Lambda Calculi with a General Notion of Subtype. - Zhenyu Qian; Tobias Nipkow (J. Autom. Reason., 1994)

Another Look at Parameterization for Order-Sorted Algebraic Specifications. - Zhenyu Qian (J. Comput. Syst. Sci., 1994)

Object-Oriented Functional Programming and Type Reconstruction. - Zhenyu Qian; Bernd Krieg-Brückner (COMPASS/ADT, 1995)

Efficient Second-Order AC-Matching Algorithm. - Régis Curien; Zhenyu Qian (UNIF, 1995)

Typed Object-Oriented Functional Programming with Late Binding. - Zhenyu Qian; Bernd Krieg-Brückner (ECOOP, 1996)

Efficient Second-Order Matching. - Régis Curien; Zhenyu Qian; Hui Shi 001 (RTA, 1996)

Modular Higher-Order Equational Preunification. - Zhenyu Qian; Kang Wang (J. Symb. Comput., 1996)

Unification of Higher-Order Patterns in Linear Time and Space. - Zhenyu Qian (J. Log. Comput., 1996)

Entwurf und prototypische Implementierung einer objektorientierten funktionalen Programmiersprache. - Zhenyu Qian; Besma Abd Moulah (GI Jahrestagung, 1997)

A Formal Specification of Java Virtual Machine Instructions for Objects, Methods and Subrountines. - Zhenyu Qian (Formal Syntax and Semantics of Java, 1999)

A formal specification of JavaTM class loading. - Zhenyu Qian; Allen Goldberg; Alessandro Coglio (OOPSLA, 2000)

Standard fixpoint iteration for Java bytecode verification. - Zhenyu Qian (ACM Trans. Program. Lang. Syst., 2000)

Winding Temperature Field Model Considering Void Ratio and Temperature Rise of a Permanent-Magnet Synchronous Motor With High Current Density. - Xuzhen Huang; Qiang Tan; Liyi Li 001; Jing Li 078; Zhenyu Qian (IEEE Trans. Ind. Electron., 2017)

A Hyper Heuristic Algorithm for Low Carbon Location Routing Problem. - Zhenyu Qian; Yanwei Zhao; Shun Wang; Longlong Leng; Wanliang Wang (ISNN, 2018)

Sectional Combinations of the Modular Tubular Permanent Magnet Linear Motor and the Optimization Design. - Xuzhen Huang; Jing Li 078; Qiang Tan; Zhenyu Qian; Chengming Zhang 001; Liyi Li 001 (IEEE Trans. Ind. Electron., 2018)

Electromagnetic and Thrust Characteristics of Double-sided Permanent Magnet Linear Synchronous Motor Adopting Staggering Primaries Structure. - Xuzhen Huang; Jing Li 078; Chengming Zhang 001; Zhenyu Qian; Liyi Li 001; David Gerada (IEEE Trans. Ind. Electron., 2019)

An Iterative Estimation Algorithm of Prepositioning Focusing on the Detent Force in the Permanent Magnet Linear Synchronous Motor System. - Xuzhen Huang; Jin Liang; Zhenyu Qian; Jing Li 078 (IEEE Trans. Ind. Electron., 2020)

Detent-Force Minimization of Double-Sided Permanent Magnet Linear Synchronous Motor by Shifting One of the Primary Components. - Xuzhen Huang; Han Chuan Yu; Bo Zhou 014; Liyi Li 001; David Gerada; Chris Gerada; Zhenyu Qian (IEEE Trans. Ind. Electron., 2020)

Research and Development of a Wireless Self-Powered Sensing Device Based on Bridge Vibration Energy Collection. - Xinlong Tong; Yun Hou; Yuanshuai Dong; Yanhong Zhang; Hailu Yang 002; Zhenyu Qian (Sensors, 2021)

An Application of the Subwavelength Periodic Microstrip Guard Trace in High-Speed Circuits. - Chia Ho Wu; Peixun Ma; Guobing Zhou; Jianqi Shen; Zhenyu Qian; Linfang Shen; Hang Zhang; Zhuoyuan Wang; Xiaolong Wang; Fang He (IEEE Access, 2022)

Recent studies of atomic-resolution structures of tau protein and structure-based inhibitors. - Lili Zhu; Zhenyu Qian (Quant. Biol., 2022)

Short Text Topic Modeling Techniques, Applications, and Performance: A Survey. - Jipeng Qiang; Zhenyu Qian; Yun Li 010; Yunhao Yuan 001; Xindong Wu 001 (IEEE Trans. Knowl. Data Eng., 2022)

A Novel Algorithm to Multi-view TSK Classification Based on the Dirichlet Distribution. - Lei Nie; Zhenyu Qian; Yaping Zhao; Yizhang Jiang (ICIC (5), 2023)

A Direct Near-Field Observation of Conversion Between Waveguide Modes and Leaky Modes in Periodic Metal Structures. - Chia Ho Wu; Zhenyu Qian; Wei Wang; Jianqi Shen; Xianqing Lin; Li-Yi Zheng; Fang He; Xiaolong Wang; Zhuoyuan Wang; Song Tsuen Peng; Guobing Zhou; Linfang Shen; et al. (IEEE Access, 2023)

Harnessing the Power of Large Language Model for Uncertainty Aware Graph Processing. - Zhenyu Qian; Yiming Qian; Yuting Song; Fei Gao; Hai Jin 001; Chen Yu 003; Xia Xie (LREC/COLING, 2024)

Deep Multi-scale Subspace Clustering Based on Bayesian Optimization. - Zhenyu Qian; Zhou Hong; Yaping Zhao; Lei Nie; Yizhang Jiang; Kaijian Xia (ICIC (LNBI 2), 2024)

Hippocampus Segmentation with Transformer-UNet Fusion and Squeeze-And-Excitation Block. - Yaping Zhao; Yizhang Jiang; Zhenyu Qian; Lei Nie; Kaijian Xia (ICIC (LNBI 2), 2024)

Robust Nonlinear Observer-based Adaptive Visual Servo Control for a Multirotor. - Yu Long; Hang Zhong; Zhenyu Qian; Min Liu 008; Hui Zhang 023; Yiming Jiang 001; Yaonan Wang 001 (RCAR, 2024)

Understanding Pitfalls and Opportunities of Applying Heuristic Evaluation Methods to VR Training Systems: An Empirical Study. - Xiaolei Guo; Kushal Kumar Nerella; Jiahui Dong; Zhenyu Qian; Yingjie Chen (Int. J. Hum. Comput. Interact., 2024)

Unpaired Image Style Translations Using Mamba Adversarial Networks. - Zhou Hong; Zhenyu Qian; Zhanjie Zhang; Juqin Wang; Yanzhao Shan; Jie Liu; Le Chen; Ning Dong; Yuan Liang; Jingwen Yu; Qingxia Chen (ICIC (10), 2025)