Zhenyu Qian

According to our database, Zhenyu Qian authored at least 38 papers between 1987 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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, Yun You, Hang Zhang

IEEE Access, 2023

A Novel Algorithm to Multi-view TSK Classification Based on the Dirichlet Distribution.

Lei Nie, Zhenyu Qian, Yaping Zhao, Yizhang Jiang

Proceedings of the Advanced Intelligent Computing Technology and Applications, 2023

2022

Short Text Topic Modeling Techniques, Applications, and Performance: A Survey.

Jipeng Qiang, Zhenyu Qian, Yun Li, Yunhao Yuan, Xindong Wu

IEEE Trans. Knowl. Data Eng., 2022

Recent studies of atomic-resolution structures of tau protein and structure-based inhibitors.

Lili Zhu, Zhenyu Qian

Quant. Biol., 2022

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

2021

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, Zhenyu Qian

Sensors, 2021

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, Liyi Li, David Gerada, Chris Gerada, Zhenyu Qian

IEEE Trans. Ind. Electron., 2020

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

IEEE Trans. Ind. Electron., 2020

2019

Electromagnetic and Thrust Characteristics of Double-sided Permanent Magnet Linear Synchronous Motor Adopting Staggering Primaries Structure.

Xuzhen Huang, Jing Li, Chengming Zhang, Zhenyu Qian, Liyi Li, David Gerada

IEEE Trans. Ind. Electron., 2019

2018

Sectional Combinations of the Modular Tubular Permanent Magnet Linear Motor and the Optimization Design.

Xuzhen Huang, Jing Li, Qiang Tan, Zhenyu Qian, Chengming Zhang, Liyi Li

IEEE Trans. Ind. Electron., 2018

A Hyper Heuristic Algorithm for Low Carbon Location Routing Problem.

Zhenyu Qian, Yanwei Zhao, Shun Wang, Longlong Leng, Wanliang Wang

Proceedings of the Advances in Neural Networks - ISNN 2018, 2018

2017

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, Jing Li, Zhenyu Qian

IEEE Trans. Ind. Electron., 2017

2000

Standard fixpoint iteration for Java bytecode verification.

Zhenyu Qian

ACM Trans. Program. Lang. Syst., 2000

A formal specification of Java^TM class loading.

Zhenyu Qian, Allen Goldberg, Alessandro Coglio

Proceedings of the 2000 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2000

1999

A Formal Specification of Java Virtual Machine Instructions for Objects, Methods and Subrountines.

Zhenyu Qian

Proceedings of the Formal Syntax and Semantics of Java, 1999

1997

Entwurf und prototypische Implementierung einer objektorientierten funktionalen Programmiersprache.

Zhenyu Qian, Besma Abd Moulah

Proceedings of the Informatik '97, 1997

1996

Unification of Higher-Order Patterns in Linear Time and Space.

Zhenyu Qian

J. Log. Comput., 1996

Modular Higher-Order Equational Preunification.

Zhenyu Qian, Kang Wang

J. Symb. Comput., 1996

Efficient Second-Order Matching.

Régis Curien, Zhenyu Qian, Hui Shi

Proceedings of the Rewriting Techniques and Applications, 7th International Conference, 1996

Typed Object-Oriented Functional Programming with Late Binding.

Zhenyu Qian, Bernd Krieg-Brückner

Proceedings of the ECOOP'96, 1996

1995

Efficient Second-Order AC-Matching Algorithm.

Régis Curien, Zhenyu Qian

Proceedings of the 9th International Workshop on Unification, 1995

Object-Oriented Functional Programming and Type Reconstruction.

Zhenyu Qian, Bernd Krieg-Brückner

Proceedings of the Recent Trends in Data Type Specification, 1995

1994

Another Look at Parameterization for Order-Sorted Algebraic Specifications.

Zhenyu Qian

J. Comput. Syst. Sci., 1994

Reduction and Unification in Lambda Calculi with a General Notion of Subtype.

Zhenyu Qian, Tobias Nipkow

J. Autom. Reason., 1994

Higher-Order Equational Logic Programming.

Zhenyu Qian

Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994

Modular AC Unification of Higher-Order Patterns.

Zhenyu Qian, Kang Wang

Proceedings of the Constraints in Computational Logics, First International Conference, 1994

1993

An Algebraic Semantics of Higher-Order Types with Subtypes.

Zhenyu Qian

Acta Informatica, 1993

Linear Unification of Higher-Order Patterns.

Zhenyu Qian

Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

1992

Higher-Order E-Unification for Arbitrary Theories.

Zhenyu Qian, Kang Wang

Proceedings of the Logic Programming, 1992

Reduction and Unification in Lambda Calculi with Subtypes.

Tobias Nipkow, Zhenyu Qian

Proceedings of the Automated Deduction, 1992

1991

Extensions of order-sorted algebraic specifications: parameterization, higher-order functions and polymorphism.

Zhenyu Qian

PhD thesis, 1991

Modular Higher-Order <i>E</i>-Unification.

Tobias Nipkow, Zhenyu Qian

Proceedings of the Rewriting Techniques and Applications, 4th International Conference, 1991

1990

Relation-Sorted Algebraic Specifications with Built-in Coercers: Basic Notions and Results.

Hans-Jörg Kreowski, Zhenyu Qian

Proceedings of the STACS 90, 1990

Second-Order Unification in the Presence of Linear Shallow Algebraic Equations (Extended Abstract).

Zhenyu Qian

Proceedings of the Conditional and Typed Rewriting Systems, 1990

Higher-Order Order-Sorted Algebras.

Zhenyu Qian

Proceedings of the Algebraic and Logic Programming, 1990

1988

Relation-Sorted Algebraic Specifications with Built-in Coercers: Parameterization and Parameter Passing.

Zhenyu Qian

Proceedings of the Categorial Methods in Computer Science: With Aspects from Topology [Workshop, 1988

Parameterization of Order-Sorted Algebraic Specifications with Built-In Coercers.

Zhenyu Qian

Proceedings of the 6st Workshop on Abstract Data Type, 1988. University of Berlin, Germany, 1988

1987

Structured Contextual Rewriting.

Zhenyu Qian

Proceedings of the Rewriting Techniques and Applications, 2nd International Conference, 1987