Zhenyu Qian Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2000
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhenyu Qian, Allen Goldberg, Alessandro Coglio: A formal specification of JavaTM class loading. OOPSLA 2000: 325-336
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhenyu Qian: Standard fixpoint iteration for Java bytecode verification. ACM Trans. Program. Lang. Syst. 22(4): 638-672 (2000)
1999
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhenyu Qian: A Formal Specification of Java Virtual Machine Instructions for Objects, Methods and Subrountines. Formal Syntax and Semantics of Java 1999: 271-312
1997
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhenyu Qian, Besma Abd Moulah: Entwurf und prototypische Implementierung einer objektorientierten funktionalen Programmiersprache. GI Jahrestagung 1997: 612-621
1996
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhenyu Qian, Bernd Krieg-Brückner: Typed Object-Oriented Functional Programming with Late Binding. ECOOP 1996: 48-72
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRégis Curien, Zhenyu Qian, Hui Shi: Efficient Second-Order Matching. RTA 1996: 317-331
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhenyu Qian: Unification of Higher-Order Patterns in Linear Time and Space. J. Log. Comput. 6(3): 315-341 (1996)
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhenyu Qian, Kang Wang: Modular Higher-Order Equational Preunification. J. Symb. Comput. 22(4): 401-424 (1996)
1995
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhenyu Qian, Bernd Krieg-Brückner: Object-Oriented Functional Programming and Type Reconstruction. COMPASS/ADT 1995: 458-477
1994
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhenyu Qian, Kang Wang: Modular AC Unification of Higher-Order Patterns. CCL 1994: 105-120
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhenyu Qian: Higher-Order Equational Logic Programming. POPL 1994: 254-267
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhenyu Qian, Tobias Nipkow: Reduction and Unification in Lambda Calculi with a General Notion of Subtype. J. Autom. Reasoning 12(3): 389-406 (1994)
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhenyu Qian: Another Look at Parameterization for Order-Sorted Algebraic Specifications. J. Comput. Syst. Sci. 49(3): 620-666 (1994)
1993
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhenyu Qian: Linear Unification of Higher-Order Patterns. TAPSOFT 1993: 391-405
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhenyu Qian: An Algebraic Semantics of Higher-Order Types with Subtypes. Acta Inf. 30(6): 569-607 (1993)
1992
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTobias Nipkow, Zhenyu Qian: Reduction and Unification in Lambda Calculi with Subtypes. CADE 1992: 66-78
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhenyu Qian, Kang Wang: Higher-Order E-Unification for Arbitrary Theories. JICSLP 1992: 52-66
1991
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTobias Nipkow, Zhenyu Qian: Modular Higher-Order E-Unification. RTA 1991: 200-214
1990
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhenyu Qian: Higher-Order Order-Sorted Algebras. ALP 1990: 86-100
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhenyu Qian: Second-Order Unification in the Presence of Linear Shallow Algebraic Equations (Extended Abstract). CTRS 1990: 448-453
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Jörg Kreowski, Zhenyu Qian: Relation-Sorted Algebraic Specifications with Built-in Coercers: Basic Notions and Results. STACS 1990: 165-175
1988
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhenyu Qian: Parameterization of Order-Sorted Algebraic Specifications with Built-In Coercers. ADT 1988
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhenyu Qian: Relation-Sorted Algebraic Specifications with Built-in Coercers: Parameterization and Parameter Passing. Categorial Methods in Computer Science 1988: 244-260
1987
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhenyu Qian: Structured Contextual Rewriting. RTA 1987: 168-179

Coauthor Index

1Alessandro Coglio [24]
2Régis Curien [19]
3Allen Goldberg [24]
4Hans-Jörg Kreowski [4]
5Bernd Krieg-Brückner [16] [20]
6Besma Abd Moulah [21]
7Tobias Nipkow [7] [9] [13]
8Hui Shi [19]
9Kang Wang [8] [15] [17]

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)