The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Neng-Fa Zhou: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Neng-Fa Zhou
    Building Java Applets by Using DJ - A Java-based Constraint Language. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1999, pp:442-0 [Conf]
  2. Neng-Fa Zhou
    A Constraint-Based Graphics Library for B-Prolog. [Citation Graph (0, 0)][DBLP]
    CP, 2004, pp:819-820 [Conf]
  3. Neng-Fa Zhou
    Authoring graphics-rich and interactive documents in CGLIB: a constraint-based graphics library. [Citation Graph (0, 0)][DBLP]
    ACM Symposium on Document Engineering, 2001, pp:28-37 [Conf]
  4. Yoshitaka Kameya, Taisuke Sato, Neng-Fa Zhou
    Yet More Efficient EM Learning for Parameterized Logic Programs by Inter-Goal Sharing. [Citation Graph (0, 0)][DBLP]
    ECAI, 2004, pp:490-494 [Conf]
  5. Neng-Fa Zhou
    On the Scheme of Passing Arguments in Stack Frames for Prolog. [Citation Graph (0, 0)][DBLP]
    ICLP, 1994, pp:159-174 [Conf]
  6. Neng-Fa Zhou
    A Logic Programming Approach to Channel Routing. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:217-231 [Conf]
  7. Neng-Fa Zhou
    A Novel Implementation Method of Delay. [Citation Graph (0, 0)][DBLP]
    JICSLP, 1996, pp:97-111 [Conf]
  8. Neng-Fa Zhou
    A High-Level Intermediate Language and the Algorithms for Compiling Finite-Domain Constraints. [Citation Graph (0, 0)][DBLP]
    IJCSLP, 1998, pp:70-84 [Conf]
  9. Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You
    A Linear Tabling Mechanism. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:618- [Conf]
  10. Neng-Fa Zhou, Toshihisa Takagi, Kazuo Ushijima
    A Matching Tree Oriented Abstract Machine for Prolog. [Citation Graph (0, 0)][DBLP]
    ICLP, 1990, pp:159-173 [Conf]
  11. Neng-Fa Zhou
    Beta-Prolog: An Extended Prolog with Boolean Tables for Combinatorial Searching. [Citation Graph (0, 0)][DBLP]
    ICTAI, 1993, pp:312-319 [Conf]
  12. Neng-Fa Zhou
    Implementing Constrant Solvers in B-Prolog. [Citation Graph (0, 0)][DBLP]
    Intelligent Information Processing, 2002, pp:249-260 [Conf]
  13. Taisuke Sato, Yoshitaka Kameya, Neng-Fa Zhou
    Generative Modeling with Failure in PRISM. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2005, pp:847-852 [Conf]
  14. Neng-Fa Zhou
    Action Rules for Programming Constraint Propagators and Interactive User Interfaces. [Citation Graph (0, 0)][DBLP]
    INAP, 2001, pp:57- [Conf]
  15. Neng-Fa Zhou
    Action Rules for Programming Constraint Propagators and Interactive User Interfaces. [Citation Graph (0, 0)][DBLP]
    INAP (LNCS Volume), 2001, pp:197-204 [Conf]
  16. Neng-Fa Zhou, Isao Nagasawa
    Implementing Graph Algorithms in BeTa-Prolog. [Citation Graph (0, 0)][DBLP]
    IWAR, 1992, pp:23-32 [Conf]
  17. Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou
    Linear Tabulated Resolutions for the Well-Founded Semantics. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1999, pp:192-205 [Conf]
  18. Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You
    Implementation of a Linear Tabling Mechanism. [Citation Graph (0, 0)][DBLP]
    PADL, 2000, pp:109-123 [Conf]
  19. Neng-Fa Zhou, Taisuke Sato
    Efficient fixpoint computation in linear tabling. [Citation Graph (0, 0)][DBLP]
    PPDP, 2003, pp:275-283 [Conf]
  20. Neng-Fa Zhou, Yi-Dong Shen, Taisuke Sato
    Semi-naive evaluation in linear tabling. [Citation Graph (0, 0)][DBLP]
    PPDP, 2004, pp:90-97 [Conf]
  21. Neng-Fa Zhou
    On the Direct Parameter Passing Mechanism for Prolog Compilers. [Citation Graph (0, 0)][DBLP]
    ILPS, 1993, pp:655- [Conf]
  22. Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou
    Linear Tabulated Resolution Based on Prolog Control Strategy [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  23. Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You
    Implementation of a Linear Tabling Mechanism. [Citation Graph (0, 0)][DBLP]
    Journal of Functional and Logic Programming, 2001, v:2001, n:10, pp:- [Journal]
  24. Neng-Fa Zhou
    Global Optimizations in a Prolog Compiler for the TOAM. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1993, v:15, n:4, pp:275-294 [Journal]
  25. Neng-Fa Zhou
    CGLIB - a constraint-based graphics library. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 2003, v:33, n:13, pp:1199-1216 [Journal]
  26. Neng-Fa Zhou, Sosuke Kaneko
    A Hybrid Algorithm for Compiling Equality Constraints and its Implementation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:30, n:2, pp:- [Journal]
  27. Neng-Fa Zhou
    Parameter Passing and Control Stack Management in Prolog Implementation Revisited. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1996, v:18, n:6, pp:752-779 [Journal]
  28. Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou
    Linear tabulated resolution based on Prolog control strategy. [Citation Graph (0, 0)][DBLP]
    TPLP, 2001, v:1, n:1, pp:71-103 [Journal]
  29. Neng-Fa Zhou
    Programming finite-domain constraint propagators in Action Rules. [Citation Graph (0, 0)][DBLP]
    TPLP, 2006, v:6, n:5, pp:483-507 [Journal]
  30. Neng-Fa Zhou
    A Register-Free Abstract Prolog Machine with Jumbo Instructions. [Citation Graph (0, 0)][DBLP]
    ICLP, 2007, pp:455-457 [Conf]
  31. Neng-Fa Zhou, Taisuke Sato, Yi-Dong Shen
    Linear Tabling Strategies and Optimizations [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]

  32. Encoding Table Constraints in CLP(FD) Based on Pair-Wise AC. [Citation Graph (, )][DBLP]


  33. Channel Routing with Constraint Logic Programming and Delay. [Citation Graph (, )][DBLP]


  34. B-Prolog: A High Performance Prolog Compiler. [Citation Graph (, )][DBLP]


  35. Programming Finite-Domain Constraint Propagators in Action Rules [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.303secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002