default search action
Zhenyu Qian
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j17]Xiaolei Guo, Kushal Kumar Nerella, Jiahui Dong, Zhenyu Qian
, Yingjie Chen
Understanding Pitfalls and Opportunities of Applying Heuristic Evaluation Methods to VR Training Systems: An Empirical Study. Int. J. Hum. Comput. Interact. 40(9): 2168-2184 (2024) - [c24]Zhenyu Qian, Yiming Qian, Yuting Song, Fei Gao, Hai Jin, Chen Yu, Xia Xie:
Harnessing the Power of Large Language Model for Uncertainty Aware Graph Processing. LREC/COLING 2024: 8035-8049 - [c23]Zhenyu Qian, Zhou Hong, Yaping Zhao, Lei Nie, Yizhang Jiang, Kaijian Xia:
Deep Multi-scale Subspace Clustering Based on Bayesian Optimization. ICIC (LNBI 2) 2024: 381-391 - [c22]Yaping Zhao, Yizhang Jiang, Zhenyu Qian, Lei Nie, Kaijian Xia:
Hippocampus Segmentation with Transformer-UNet Fusion and Squeeze-And-Excitation Block. ICIC (LNBI 2) 2024: 420-430 - 2023
- [j16]Chia Ho Wu
A Direct Near-Field Observation of Conversion Between Waveguide Modes and Leaky Modes in Periodic Metal Structures. IEEE Access 11: 16128-16141 (2023) - [c21]Lei Nie, Zhenyu Qian, Yaping Zhao, Yizhang Jiang:
A Novel Algorithm to Multi-view TSK Classification Based on the Dirichlet Distribution. ICIC (5) 2023: 549-558 - 2022
- [j15]Chia Ho Wu
An Application of the Subwavelength Periodic Microstrip Guard Trace in High-Speed Circuits. IEEE Access 10: 42640-42655 (2022) - [j14]Lili Zhu, Zhenyu Qian
Recent studies of atomic-resolution structures of tau protein and structure-based inhibitors. Quant. Biol. 10(1): 17 (2022) - [j13]Jipeng Qiang
Short Text Topic Modeling Techniques, Applications, and Performance: A Survey. IEEE Trans. Knowl. Data Eng. 34(3): 1427-1445 (2022) - 2021
- [j12]Xinlong Tong
Research and Development of a Wireless Self-Powered Sensing Device Based on Bridge Vibration Energy Collection. Sensors 21(24): 8319 (2021) - 2020
- [j11]Xuzhen Huang
Detent-Force Minimization of Double-Sided Permanent Magnet Linear Synchronous Motor by Shifting One of the Primary Components. IEEE Trans. Ind. Electron. 67(1): 180-191 (2020) - [j10]Xuzhen Huang
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): 8252-8261 (2020)
2010 – 2019
- 2019
- [j9]Xuzhen Huang
Electromagnetic and Thrust Characteristics of Double-sided Permanent Magnet Linear Synchronous Motor Adopting Staggering Primaries Structure. IEEE Trans. Ind. Electron. 66(6): 4826-4836 (2019) - [i1]Jipeng Qiang, Zhenyu Qian, Yun Li, Yunhao Yuan, Xindong Wu:
Short Text Topic Modeling Techniques, Applications, and Performance: A Survey. CoRR abs/1904.07695 (2019) - 2018
- [j8]Xuzhen Huang
Sectional Combinations of the Modular Tubular Permanent Magnet Linear Motor and the Optimization Design. IEEE Trans. Ind. Electron. 65(12): 9658-9667 (2018) - [c20]Zhenyu Qian, Yanwei Zhao, Shun Wang, Longlong Leng
A Hyper Heuristic Algorithm for Low Carbon Location Routing Problem. ISNN 2018: 173-182 - 2017
- [j7]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): 2168-2177 (2017)
2000 – 2009
- 2000
- [j6]Zhenyu Qian:
Standard fixpoint iteration for Java bytecode verification. ACM Trans. Program. Lang. Syst. 22(4): 638-672 (2000) - [c19]Zhenyu Qian, Allen Goldberg, Alessandro Coglio:
A formal specification of JavaTM class loading. OOPSLA 2000: 325-336
1990 – 1999
- 1999
- [c18]Zhenyu Qian:
A Formal Specification of Java Virtual Machine Instructions for Objects, Methods and Subrountines. Formal Syntax and Semantics of Java 1999: 271-312 - 1997
- [c17]Zhenyu Qian, Besma Abd Moulah:
Entwurf und prototypische Implementierung einer objektorientierten funktionalen Programmiersprache. GI Jahrestagung 1997: 612-621 - 1996
- [j5]Zhenyu Qian, Kang Wang:
Modular Higher-Order Equational Preunification. J. Symb. Comput. 22(4): 401-424 (1996) - [j4]Zhenyu Qian:
Unification of Higher-Order Patterns in Linear Time and Space. J. Log. Comput. 6(3): 315-341 (1996) - [c16]Zhenyu Qian, Bernd Krieg-Brückner:
Typed Object-Oriented Functional Programming with Late Binding. ECOOP 1996: 48-72 - [c15]Régis Curien, Zhenyu Qian, Hui Shi:
Efficient Second-Order Matching. RTA 1996: 317-331 - 1995
- [c14]Zhenyu Qian, Bernd Krieg-Brückner:
Object-Oriented Functional Programming and Type Reconstruction. COMPASS/ADT 1995: 458-477 - [c13]Régis Curien, Zhenyu Qian:
Efficient Second-Order AC-Matching Algorithm. UNIF 1995: 14-16 - 1994
- [j3]Zhenyu Qian, Tobias Nipkow
Reduction and Unification in Lambda Calculi with a General Notion of Subtype. J. Autom. Reason. 12(3): 389-406 (1994) - [j2]Zhenyu Qian:
Another Look at Parameterization for Order-Sorted Algebraic Specifications. J. Comput. Syst. Sci. 49(3): 620-666 (1994) - [c12]Zhenyu Qian, Kang Wang:
Modular AC Unification of Higher-Order Patterns. CCL 1994: 105-120 - [c11]Zhenyu Qian:
Higher-Order Equational Logic Programming. POPL 1994: 254-267 - 1993
- [j1]Zhenyu Qian:
An Algebraic Semantics of Higher-Order Types with Subtypes. Acta Informatica 30(6): 569-607 (1993) - [c10]Zhenyu Qian:
Linear Unification of Higher-Order Patterns. TAPSOFT 1993: 391-405 - 1992
- [c9]Tobias Nipkow, Zhenyu Qian:
Reduction and Unification in Lambda Calculi with Subtypes. CADE 1992: 66-78 - [c8]Zhenyu Qian, Kang Wang:
Higher-Order E-Unification for Arbitrary Theories. JICSLP 1992: 52-66 - 1991
- [b1]Zhenyu Qian:
Extensions of order-sorted algebraic specifications: parameterization, higher-order functions and polymorphism. University of Bremen, Germany, 1991, pp. 1-155 - [c7]Tobias Nipkow
Modular Higher-Order E-Unification. RTA 1991: 200-214 - 1990
- [c6]Zhenyu Qian:
Higher-Order Order-Sorted Algebras. ALP 1990: 86-100 - [c5]Zhenyu Qian:
Second-Order Unification in the Presence of Linear Shallow Algebraic Equations (Extended Abstract). CTRS 1990: 448-453 - [c4]Hans-Jörg Kreowski, Zhenyu Qian:
Relation-Sorted Algebraic Specifications with Built-in Coercers: Basic Notions and Results. STACS 1990: 165-175
1980 – 1989
- 1988
- [c3]Zhenyu Qian:
Parameterization of Order-Sorted Algebraic Specifications with Built-In Coercers. ADT 1988 - [c2]Zhenyu Qian:
Relation-Sorted Algebraic Specifications with Built-in Coercers: Parameterization and Parameter Passing. Categorial Methods in Computer Science 1988: 244-260 - 1987
- [c1]Zhenyu Qian:
Structured Contextual Rewriting. RTA 1987: 168-179
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-06 20:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: