default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDZhenyu Qian 0002
Person information
- affiliation (PhD 1991): University of Bremen, Bremen Institute for Safe Systems (BISS), FB3 mathematics/computer science, Germany
Other persons with the same name
- Zhenyu Qian — disambiguation page
- Cheryl Z. Qian (aka: Cheryl Zhenyu Qian, Zhenyu Cheryl Qian, Zhenyu Qian 0001) — Purdue University, School of Visual and Performing Arts, West Lafayette, IN, USA (and 1 more)
- Zhenyu Qian 0003 (aka: Zhen Yu Qian 0003) — Nanjing University of Aeronautics and Astronautics, Department of Electrical Engineering, China
- Zhenyu Qian 0004 — Jiangnan University, School of Artificial Intelligence and Computer Science, Wuxi, China
- Zhenyu Qian 0005
![[0000-0002-3921-3818]](https://dblp.dagstuhl.de/img/orcid-mark.12x12.png "0000-0002-3921-3818")
— Shanghai University of Sport, School of Kinesiology, Key Laboratory of Exercise and Health Sciences, China - Zhenyu Qian 0006 — Yangzhou University, Department of Computer Science, Jiangsu, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
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, Zhenyu Qian:
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
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 2025-10-11 21:51 CEST 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:
