Tie Hou

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 8

Top Topics

Search Based Software Testing

Packet Switched

Empirical Evaluation

Behavioral Patterns

Top Venues

Math. Struct. Comput. Sci.

Publications

Hui Cui, Ansheng Deng, Tie Hou, Li Zou, Luis Martínez
Exploring object reduction approaches for optimizing decision-making in linguistic concept formal context. Appl. Intell. 54 (19) (2024)
Tian Tian, Anshi Wang, Xiuting Yang, Dunwei Gong, Tie Hou, Xiangjuan Yao
Parallel program testing based on critical communication and branch transformation. J. Supercomput. 80 (1) (2024)
Ling Song, Hongxin Liu, Shunming Lyu, Xiaofei Niu, Tie Hou, Yuling Ma, Qiang Lyu
Exploring human behavior patterns and socio-demographic factors based on American Time Use Survey. Concurr. Comput. Pract. Exp. 35 (20) (2023)
Tie Hou, Nan Li, Yanfang Wang, Kuo Pang, Li Zou
(α, β) - Colored Resolution Method of Linguistic Truth-Valued Intuitionistic Fuzzy Logic. AILA (2022)
Tie Hou, Victoria Wang
Industrial espionage - A systematic literature review (SLR). Comput. Secur. 98 (2020)
Ulrich Berger, Tie Hou
A realizability interpretation of Church's simple theory of types. Math. Struct. Comput. Sci. 27 (8) (2017)
Tie Hou, Peter Chapman, Andrew Blake
Antipattern Comprehension: An Empirical Evaluation. FOIS (2016)
Tie Hou, Peter Chapman, Ian Oliver
Measuring perceived clutter in concept diagrams. VL/HCC (2016)
Ulrich Berger, Tie Hou
Uniform Schemata for Proof Rules. CiE (2014)
Ulrich Berger, Tie Hou
Typed vs. Untyped Realizability. MFPS (2012)
Ulrich Berger, Tie Hou
Coinduction for Exact Real Number Computation. Theory Comput. Syst. 43 (3-4) (2008)
Tie Hou
On Transformations of Load-Store Maurer Instruction Set Architecture CoRR (2008)
Tie Hou
Coinductive Proofs for Basic Real Computation. CiE (2006)