The SCEAS System
Navigation Menu

Search the dblp DataBase


Zhenyu Qian: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

Search in 0.006secs, Finished in 0.008secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002