Neng-Fa Zhou

	2012
42		Claudio V. Russo, Neng-Fa Zhou: Practical Aspects of Declarative Languages - 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings Springer 2012
	2011
41		Neng-Fa Zhou, Agostino Dovier: A Tabled Prolog Program for Solving Sokoban. ICTAI 2011: 896-897
40		Neng-Fa Zhou, Yi-Dong Shen, Jia-Huai You: Compiling Answer Set Programs into Event-Driven Action Rules. LPNMR 2011: 376-381
39		Neng-Fa Zhou: The Language Features and Architecture of B-Prolog CoRR abs/1103.0812: (2011)
	2010
38		Neng-Fa Zhou, Yoshitaka Kameya, Taisuke Sato: Mode-Directed Tabling for Dynamic Programming, Machine Learning, and Constraint Solving. ICTAI (2) 2010: 213-218
37		Germán Vidal, Neng-Fa Zhou: Proceedings of CICLOPS-WLPE 2010 CoRR abs/1009.4020: (2010)
	2009
36		Neng-Fa Zhou: Encoding Table Constraints in CLP(FD) Based on Pair-Wise AC. ICLP 2009: 402-416
	2008
35		Neng-Fa Zhou, Taisuke Sato, Yi-Dong Shen: Linear tabling strategies and optimizations. TPLP 8(1): 81-109 (2008)
	2007
34		Neng-Fa Zhou: A Register-Free Abstract Prolog Machine with Jumbo Instructions. ICLP 2007: 455-457
33		Neng-Fa Zhou, Taisuke Sato, Yi-Dong Shen: Linear Tabling Strategies and Optimizations CoRR abs/0705.3468: (2007)
	2006
32		Neng-Fa Zhou: Programming finite-domain constraint propagators in Action Rules. TPLP 6(5): 483-507 (2006)
	2005
31		Taisuke Sato, Yoshitaka Kameya, Neng-Fa Zhou: Generative Modeling with Failure in PRISM. IJCAI 2005: 847-852
30		Neng-Fa Zhou: Programming Finite-Domain Constraint Propagators in Action Rules CoRR abs/cs/0506005: (2005)
	2004
29		Neng-Fa Zhou: A Constraint-Based Graphics Library for B-Prolog. CP 2004: 819-820
28		Yoshitaka Kameya, Taisuke Sato, Neng-Fa Zhou: Yet More Efficient EM Learning for Parameterized Logic Programs by Inter-Goal Sharing. ECAI 2004: 490-494
27		Neng-Fa Zhou, Yi-Dong Shen, Taisuke Sato: Semi-naive evaluation in linear tabling. PPDP 2004: 90-97
	2003
26		Neng-Fa Zhou, Taisuke Sato: Efficient fixpoint computation in linear tabling. PPDP 2003: 275-283
25		Neng-Fa Zhou: CGLIB - a constraint-based graphics library. Softw., Pract. Exper. 33(13): 1199-1216 (2003)
	2002
24		Neng-Fa Zhou: Implementing Constrant Solvers in B-Prolog. Intelligent Information Processing 2002: 249-260
	2001
23		Neng-Fa Zhou: Authoring graphics-rich and interactive documents in CGLIB: a constraint-based graphics library. ACM Symposium on Document Engineering 2001: 28-37
22		Neng-Fa Zhou: Action Rules for Programming Constraint Propagators and Interactive User Interfaces. INAP 2001: 57
21		Neng-Fa Zhou: Action Rules for Programming Constraint Propagators and Interactive User Interfaces. INAP (LNCS Volume) 2001: 197-204
20		Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You: Implementation of a Linear Tabling Mechanism. Journal of Functional and Logic Programming 2001(10): (2001)
19		Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou: Linear tabulated resolution based on Prolog control strategy. TPLP 1(1): 71-103 (2001)
	2000
18		Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You: Implementation of a Linear Tabling Mechanism. PADL 2000: 109-123
17		Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou: Linear Tabulated Resolution Based on Prolog Control Strategy CoRR cs.AI/0003046: (2000)
	1999
16		Neng-Fa Zhou: Building Java Applets by Using DJ - A Java-based Constraint Language. COMPSAC 1999: 442-
15		Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You: A Linear Tabling Mechanism. ICLP 1999: 618
14		Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou: Linear Tabulated Resolutions for the Well-Founded Semantics. LPNMR 1999: 192-205
13		Neng-Fa Zhou, Sosuke Kaneko: A Hybrid Algorithm for Compiling Equality Constraints and its Implementation. Electr. Notes Theor. Comput. Sci. 30(2): 199-207 (1999)
	1998
12		Neng-Fa Zhou: A High-Level Intermediate Language and the Algorithms for Compiling Finite-Domain Constraints. IJCSLP 1998: 70-84
	1996
11		Neng-Fa Zhou: Channel Routing with Constraint Logic Programming and Delay. IEA/AIE 1996: 383-388
10		Neng-Fa Zhou, Isao Nagasawa, Masanobu Umeda, Keiichi Katamine, Toyohiko Hirota: B-Prolog: A High Performance Prolog Compiler. IEA/AIE 1996: 790
9		Neng-Fa Zhou: A Novel Implementation Method of Delay. JICSLP 1996: 97-111
8		Neng-Fa Zhou: Parameter Passing and Control Stack Management in Prolog Implementation Revisited. ACM Trans. Program. Lang. Syst. 18(6): 752-779 (1996)
	1995
7		Neng-Fa Zhou: A Logic Programming Approach to Channel Routing. ICLP 1995: 217-231
	1994
6		Neng-Fa Zhou: On the Scheme of Passing Arguments in Stack Frames for Prolog. ICLP 1994: 159-174
	1993
5		Neng-Fa Zhou: Beta-Prolog: An Extended Prolog with Boolean Tables for Combinatorial Searching. ICTAI 1993: 312-319
4		Neng-Fa Zhou: On the Direct Parameter Passing Mechanism for Prolog Compilers. ILPS 1993: 655
3		Neng-Fa Zhou: Global Optimizations in a Prolog Compiler for the TOAM. J. Log. Program. 15(4): 275-294 (1993)
	1992
2		Neng-Fa Zhou, Isao Nagasawa: Implementing Graph Algorithms in BeTa-Prolog. IWAR 1992: 23-32
	1990
1		Neng-Fa Zhou, Toshihisa Takagi, Kazuo Ushijima: A Matching Tree Oriented Abstract Machine for Prolog. ICLP 1990: 159-173

Coauthor Index

1	Agostino Dovier	[41]
2	Toyohiko Hirota	[10]
3	Yoshitaka Kameya	[28] [31] [38]
4	Sosuke Kaneko	[13]
5	Keiichi Katamine	[10]
6	Isao Nagasawa	[2] [10]
7	Claudio V. Russo	[42]
8	Taisuke Sato	[26] [27] [28] [31] [33] [35] [38]
9	Yi-Dong Shen	[14] [15] [17] [18] [19] [20] [27] [33] [35] [40]
10	Toshihisa Takagi	[1]
11	Masanobu Umeda	[10]
12	Kazuo Ushijima	[1]
13	Germán Vidal	[37]
14	Jia-Huai You	[14] [15] [17] [18] [19] [20] [40]
15	Li-Yan Yuan	[14] [15] [17] [18] [19] [20]

Colors in the list of coauthors

Last update Sat May 26 02:31:23 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page