Zhenyu Qian

ORCID

Publication Activity (10 Years)

Years Active: 1987-2023
Publications (10 Years): 13

Top Venues

IEEE Trans. Ind. Electron.

IEEE Access

ISNN

CoRR

University of Bremen, Germany (PHD)

Education History

University of Bremen, Germany

PHD

Publications

Lei Nie, Zhenyu Qian, Yaping Zhao, Yizhang Jiang
A Novel Algorithm to Multi-view TSK Classification Based on the Dirichlet Distribution. ICIC (5) (2023)
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, Yun You, Hang Zhang
A Direct Near-Field Observation of Conversion Between Waveguide Modes and Leaky Modes in Periodic Metal Structures. IEEE Access 11 (2023)
Lili Zhu, Zhenyu Qian
Recent studies of atomic-resolution structures of tau protein and structure-based inhibitors. Quant. Biol. 10 (1) (2022)
Chia Ho Wu, Peixun Ma, Guobing Zhou, Jianqi Shen, Zhenyu Qian, Linfang Shen, Hang Zhang, Zhuoyuan Wang, Xiaolong Wang, Fang He
An Application of the Subwavelength Periodic Microstrip Guard Trace in High-Speed Circuits. IEEE Access 10 (2022)
Jipeng Qiang, Zhenyu Qian, Yun Li, Yunhao Yuan, Xindong Wu
Short Text Topic Modeling Techniques, Applications, and Performance: A Survey. IEEE Trans. Knowl. Data Eng. 34 (3) (2022)
Xinlong Tong, Yun Hou, Yuanshuai Dong, Yanhong Zhang, Hailu Yang, Zhenyu Qian
Research and Development of a Wireless Self-Powered Sensing Device Based on Bridge Vibration Energy Collection. Sensors 21 (24) (2021)
Xuzhen Huang, Jin Liang, Zhenyu Qian, Jing Li
An Iterative Estimation Algorithm of Prepositioning Focusing on the Detent Force in the Permanent Magnet Linear Synchronous Motor System. IEEE Trans. Ind. Electron. 67 (10) (2020)
Xuzhen Huang, Han Chuan Yu, Bo Zhou, Liyi Li, David Gerada, Chris Gerada, Zhenyu Qian
Detent-Force Minimization of Double-Sided Permanent Magnet Linear Synchronous Motor by Shifting One of the Primary Components. IEEE Trans. Ind. Electron. 67 (1) (2020)
Xuzhen Huang, Jing Li, Chengming Zhang, Zhenyu Qian, Liyi Li, David Gerada
Electromagnetic and Thrust Characteristics of Double-sided Permanent Magnet Linear Synchronous Motor Adopting Staggering Primaries Structure. IEEE Trans. Ind. Electron. 66 (6) (2019)
Jipeng Qiang, Zhenyu Qian, Yun Li, Yunhao Yuan, Xindong Wu
Short Text Topic Modeling Techniques, Applications, and Performance: A Survey. CoRR (2019)
Zhenyu Qian, Yanwei Zhao, Shun Wang, Longlong Leng, Wanliang Wang
A Hyper Heuristic Algorithm for Low Carbon Location Routing Problem. ISNN (2018)
Xuzhen Huang, Jing Li, Qiang Tan, Zhenyu Qian, Chengming Zhang, Liyi Li
Sectional Combinations of the Modular Tubular Permanent Magnet Linear Motor and the Optimization Design. IEEE Trans. Ind. Electron. 65 (12) (2018)
Xuzhen Huang, Qiang Tan, Liyi Li, Jing Li, Zhenyu Qian
Winding Temperature Field Model Considering Void Ratio and Temperature Rise of a Permanent-Magnet Synchronous Motor With High Current Density. IEEE Trans. Ind. Electron. 64 (3) (2017)
Zhenyu Qian
Standard fixpoint iteration for Java bytecode verification. ACM Trans. Program. Lang. Syst. 22 (4) (2000)
Zhenyu Qian, Allen Goldberg, Alessandro Coglio
class loading. OOPSLA (2000)
Zhenyu Qian
A Formal Specification of Java Virtual Machine Instructions for Objects, Methods and Subrountines. Formal Syntax and Semantics of Java (1999)
Zhenyu Qian, Besma Abd Moulah
Entwurf und prototypische Implementierung einer objektorientierten funktionalen Programmiersprache. GI Jahrestagung (1997)
Régis Curien, Zhenyu Qian, Hui Shi
Efficient Second-Order Matching. RTA (1996)
Zhenyu Qian, Kang Wang
Modular Higher-Order Equational Preunification. J. Symb. Comput. 22 (4) (1996)
Zhenyu Qian, Bernd Krieg-Brückner
Typed Object-Oriented Functional Programming with Late Binding. ECOOP (1996)
Zhenyu Qian
Unification of Higher-Order Patterns in Linear Time and Space. J. Log. Comput. 6 (3) (1996)
Zhenyu Qian, Bernd Krieg-Brückner
Object-Oriented Functional Programming and Type Reconstruction. COMPASS/ADT (1995)
Régis Curien, Zhenyu Qian
Efficient Second-Order AC-Matching Algorithm. UNIF (1995)
Zhenyu Qian
Another Look at Parameterization for Order-Sorted Algebraic Specifications. J. Comput. Syst. Sci. 49 (3) (1994)
Zhenyu Qian, Tobias Nipkow
Reduction and Unification in Lambda Calculi with a General Notion of Subtype. J. Autom. Reason. 12 (3) (1994)
Zhenyu Qian, Kang Wang
Modular AC Unification of Higher-Order Patterns. CCL (1994)
Zhenyu Qian
Higher-Order Equational Logic Programming. POPL (1994)
Zhenyu Qian
An Algebraic Semantics of Higher-Order Types with Subtypes. Acta Informatica 30 (6) (1993)
Zhenyu Qian
Linear Unification of Higher-Order Patterns. TAPSOFT (1993)
Tobias Nipkow, Zhenyu Qian
Reduction and Unification in Lambda Calculi with Subtypes. CADE (1992)
Zhenyu Qian, Kang Wang
Higher-Order E-Unification for Arbitrary Theories. JICSLP (1992)
Tobias Nipkow, Zhenyu Qian
-Unification. RTA (1991)
Hans-Jörg Kreowski, Zhenyu Qian
Relation-Sorted Algebraic Specifications with Built-in Coercers: Basic Notions and Results. STACS (1990)
Zhenyu Qian
Second-Order Unification in the Presence of Linear Shallow Algebraic Equations (Extended Abstract). CTRS (1990)
Zhenyu Qian
Higher-Order Order-Sorted Algebras. ALP (1990)
Zhenyu Qian
Relation-Sorted Algebraic Specifications with Built-in Coercers: Parameterization and Parameter Passing. Categorial Methods in Computer Science (1988)
Zhenyu Qian
Parameterization of Order-Sorted Algebraic Specifications with Built-In Coercers. ADT (1988)
Zhenyu Qian
Structured Contextual Rewriting. RTA (1987)

Zhenyu Qian.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Zhenyu Qian