Zhenyu Qian
According to our database1,
Zhenyu Qian
authored at least 29 papers
between 1987 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepage:
On csauthors.net:
Bibliography
2019
Electromagnetic and Thrust Characteristics of Double-sided Permanent Magnet Linear Synchronous Motor Adopting Staggering Primaries Structure.
IEEE Trans. Industrial Electronics, 2019
2018
Sectional Combinations of the Modular Tubular Permanent Magnet Linear Motor and the Optimization Design.
IEEE Trans. Industrial Electronics, 2018
A Hyper Heuristic Algorithm for Low Carbon Location Routing Problem.
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.
IEEE Trans. Industrial Electronics, 2017
2000
Standard fixpoint iteration for Java bytecode verification.
ACM Trans. Program. Lang. Syst., 2000
A formal specification of JavaTM class loading.
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.
Proceedings of the Formal Syntax and Semantics of Java, 1999
1997
Entwurf und prototypische Implementierung einer objektorientierten funktionalen Programmiersprache.
Proceedings of the Informatik '97, 1997
1996
Unification of Higher-Order Patterns in Linear Time and Space.
J. Log. Comput., 1996
Modular Higher-Order Equational Preunification.
J. Symb. Comput., 1996
Efficient Second-Order Matching.
Proceedings of the Rewriting Techniques and Applications, 7th International Conference, 1996
Typed Object-Oriented Functional Programming with Late Binding.
Proceedings of the ECOOP'96, 1996
1995
Object-Oriented Functional Programming and Type Reconstruction.
Proceedings of the Recent Trends in Data Type Specification, 1995
1994
Another Look at Parameterization for Order-Sorted Algebraic Specifications.
J. Comput. Syst. Sci., 1994
Reduction and Unification in Lambda Calculi with a General Notion of Subtype.
J. Autom. Reasoning, 1994
Higher-Order Equational Logic Programming.
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.
Proceedings of the Constraints in Computational Logics, First International Conference, 1994
1993
An Algebraic Semantics of Higher-Order Types with Subtypes.
Acta Inf., 1993
Linear Unification of Higher-Order Patterns.
Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993
1992
Higher-Order E-Unification for Arbitrary Theories.
Proceedings of the Logic Programming, 1992
Reduction and Unification in Lambda Calculi with Subtypes.
Proceedings of the Automated Deduction, 1992
1991
Extensions of order-sorted algebraic specifications: parameterization, higher-order functions and polymorphism.
PhD thesis, 1991
Modular Higher-Order E-Unification.
Proceedings of the Rewriting Techniques and Applications, 4th International Conference, 1991
1990
Relation-Sorted Algebraic Specifications with Built-in Coercers: Basic Notions and Results.
Proceedings of the STACS 90, 1990
Second-Order Unification in the Presence of Linear Shallow Algebraic Equations (Extended Abstract).
Proceedings of the Conditional and Typed Rewriting Systems, 1990
Higher-Order Order-Sorted Algebras.
Proceedings of the Algebraic and Logic Programming, 1990
1988
Relation-Sorted Algebraic Specifications with Built-in Coercers: Parameterization and Parameter Passing.
Proceedings of the Categorial Methods in Computer Science: With Aspects from Topology [Workshop, 1988
Parameterization of Order-Sorted Algebraic Specifications with Built-In Coercers.
ADT, 1988
1987
Structured Contextual Rewriting.
Proceedings of the Rewriting Techniques and Applications, 2nd International Conference, 1987