Login / Signup
Zhiru Hou
Publication Activity (10 Years)
Years Active: 2021-2022
Publications (10 Years): 2
Top Topics
Face Verification
Constraint Satisfaction Problems
Asynchronous Circuits
Arc Consistency Algorithm
Top Venues
PDCAT
SEKE
</>
Publications
</>
Zhiru Hou
,
Jiaqi Yin
,
Huibiao Zhu
,
Ningning Chen
Formalization and Verification of SIP Using CSP.
PDCAT
(2022)
Zhiru Hou
,
Jiaqi Yin
,
Huibiao Zhu
Formalization and Verification of Dubbo Using CSP.
SEKE
(2021)