Login / Signup
Nana He
Publication Activity (10 Years)
Years Active: 2012-2024
Publications (10 Years): 1
Top Topics
Model Checking
Cellular Automaton
Automated Verification
Gene Expression Programming
Top Venues
NaBIC
Fuzzy Sets Syst.
ICSI (1)
</>
Publications
</>
Zhanyou Ma
,
Xia Li
,
Ziyuan Liu
,
Ruiqi Huang
,
Nana He
Model checking fuzzy computation tree logic of multi-agent systems based on fuzzy interpreted systems.
Fuzzy Sets Syst.
485 (2024)
Zhifeng Liang
,
Bo Yang
,
Lin Wang
,
Xiaoqian Zhang
,
Nana He
,
Ajith Abraham
Extracting three-dimensional Cellular Automaton for cement microstructure development using Gene Expression Programming.
NaBIC
(2014)
Zhifeng Liang
,
Bo Yang
,
Lin Wang
,
Xiaoqian Zhang
,
Lei Zhang
,
Nana He
Evolving Flexible Neural Tree Model for Portland Cement Hydration Process.
ICSI (1)
(2014)
Hailun Xia
,
Nana He
,
Hao Wu
,
Zhimin Zeng
A neighbor peer selection algorithm based on load balance in mobile p2p streaming.
IC-NIDC
(2012)