Neng-Fa Zhou
Neng-Fa Zhou
Professor of Computer Science, The City University of New York
Verified email at
Cited by
Cited by
Efficient fixpoint computation in linear tabling
NF Zhou, T Sato
Proceedings of the 5th ACM SIGPLAN international conference on Principles …, 2003
The language features and architecture of B-Prolog
NF Zhou
Theory and Practice of Logic Programming 12 (1-2), 189-218, 2012
Implementation of a linear tabling mechanism
NF Zhou, YD Shen, LY Yuan, JH You
International Symposium on Practical Aspects of Declarative Languages, 109-123, 2000
Linear tabling strategies and optimizations
NF Zhou, T Sato, YD Shen
Theory and Practice of Logic programming 8 (1), 81-109, 2008
Generative Modeling with Failure in PRISM.
T Sato, Y Kameya, NF Zhou
IJCAI, 847-852, 2005
Constraint solving and planning with Picat
NF Zhou, H Kjellerstrand, J Fruhman
Springer International Publishing, 2015
Programming finite-domain constraint propagators in action rules
NF Zhou
Theory and Practice of Logic Programming 6 (5), 483-507, 2006
Parameter passing and control stack management in Prolog implementation revisited
NF Zhou
ACM Transactions on Programming Languages and Systems (TOPLAS) 18 (6), 752-779, 1996
Mode-directed tabling for dynamic programming, machine learning, and constraint solving
NF Zhou, Y Kameya, T Sato
2010 22nd IEEE International Conference on Tools with Artificial …, 2010
Linear tabulated resolution based on Prolog control strategy
YD Shen, LY Yuan, JH You, NF Zhou
Theory and Practice of Logic Programming 1 (1), 71-103, 2001
The tensile behavior of GH3535 superalloy at elevated temperature
FF Han, BM Zhou, HF Huang, B Leng, YL Lu, JS Dong, ZJ Li, XT Zhou
Materials Chemistry and Physics 182, 22-31, 2016
Generation of realistic sand particles with fractal nature using an improved spherical harmonic analysis
D Wei, J Wang, J Nie, B Zhou
Computers and Geotechnics 104, 1-12, 2018
Positive selection is the main driving force for evolution of citrus canker-causing Xanthomonas
Y Zhang, N Jalan, X Zhou, E Goss, JB Jones, JC Setubal, X Deng, ...
The ISME journal 9 (10), 2128-2138, 2015
A novel resorufin based fluorescent “turn-on” probe for the selective detection of hydrazine and application in living cells
T Tang, YQ Chen, BS Fu, ZY He, H Xiao, F Wu, JQ Wang, SR Wang, ...
Chinese Chemical Letters 27 (4), 540-544, 2016
Emergency department crowding and the performance of damage control resuscitation in major trauma patients with hemorrhagic shock
D Wu, X Zhou, L Ye, J Gan, M Zhang
Academic Emergency Medicine 22 (8), 915-921, 2015
Vulnerability assessment and reconfiguration of microgrid through search vector artificial physics optimization algorithm
X Zhan, T Xiang, H Chen, B Zhou, Z Yang
International Journal of Electrical Power & Energy Systems 62, 679-688, 2014
A new probabilistic approach for predicting particle crushing in one-dimensional compression of granular soil
B Zhou, J Wang, H Wang
Soils and Foundations 54 (4), 833-844, 2014
Induction of neutralizing antibodies against four serotypes of dengue viruses by MixBiEDIII, a tetravalent dengue vaccine
H Zhao, T Jiang, XZ Zhou, YQ Deng, XF Li, SP Chen, SY Zhu, X Zhou, ...
PloS one 9 (1), e86573, 2014
Epidemiology of alveolar echinococcosis in Xinjiang Uygur autonomous region, China: a preliminary analysis
HX Zhou, SX Chai, PS Craig, P Delattre, JP Quere, F Raoul, DA Vuitton, ...
Annals of Tropical Medicine & Parasitology 94 (7), 715-729, 2000
Association of childhood trauma and panic symptom severity in panic disorder: Exploring the mediating role of alexithymia
Z Zou, Y Huang, J Wang, Y He, W Min, X Chen, J Wang, B Zhou
Journal of affective disorders 206, 133-139, 2016
The system can't perform the operation now. Try again later.
Articles 1–20