Coinductive Proofs for Basic Real Computation. - Tie Hou (CiE, 2006)

On Transformations of Load-Store Maurer Instruction Set Architecture - Tie Hou (CoRR, 2008)

Coinduction for Exact Real Number Computation. - Ulrich Berger 001; Tie Hou (Theory Comput. Syst., 2008)

Typed vs. Untyped Realizability. - Ulrich Berger 001; Tie Hou (MFPS, 2012)

Uniform Schemata for Proof Rules. - Ulrich Berger 001; Tie Hou (CiE, 2014)

Interactive theorem proving and program extraction. - Tie Hou (2014)

Antipattern Comprehension: An Empirical Evaluation. - Tie Hou; Peter Chapman; Andrew Blake 002 (FOIS, 2016)

Measuring perceived clutter in concept diagrams. - Tie Hou; Peter Chapman; Ian Oliver (VL/HCC, 2016)

A realizability interpretation of Church's simple theory of types. - Ulrich Berger 001; Tie Hou (Math. Struct. Comput. Sci., 2017)

Industrial espionage - A systematic literature review (SLR). - Tie Hou; Victoria Wang (Comput. Secur., 2020)

(α, β) - Colored Resolution Method of Linguistic Truth-Valued Intuitionistic Fuzzy Logic. - Tie Hou; Nan Li; Yanfang Wang; Kuo Pang; Li Zou (AILA, 2022)

Exploring human behavior patterns and socio-demographic factors based on American Time Use Survey. - Ling Song; Hongxin Liu; Shunming Lyu; Xiaofei Niu; Tie Hou; Yuling Ma; Qiang Lyu (Concurr. Comput. Pract. Exp., 2023)

Parallel program testing based on critical communication and branch transformation. - Tian Tian 010; Anshi Wang; Xiuting Yang; Dunwei Gong; Tie Hou; Xiangjuan Yao (J. Supercomput., 2024)

Exploring object reduction approaches for optimizing decision-making in linguistic concept formal context. - Hui Cui; Ansheng Deng; Tie Hou; Li Zou; Luis Martínez 001 (Appl. Intell., 2024)