Tie Hou

According to our database, Tie Hou authored at least 13 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Parallel program testing based on critical communication and branch transformation.

Tian Tian, Anshi Wang, Xiuting Yang, Dunwei Gong, Tie Hou, Xiangjuan Yao

J. Supercomput., January, 2024

2023

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

2022

(α, β) - Colored Resolution Method of Linguistic Truth-Valued Intuitionistic Fuzzy Logic.

Tie Hou, Nan Li, Yanfang Wang, Kuo Pang, Li Zou

Proceedings of the Artificial Intelligence Logic and Applications, 2022

2020

Industrial espionage - A systematic literature review (SLR).

Tie Hou, Victoria Wang

Comput. Secur., 2020

2017

A realizability interpretation of Church's simple theory of types.

Ulrich Berger, Tie Hou

Math. Struct. Comput. Sci., 2017

2016

Measuring perceived clutter in concept diagrams.

Tie Hou, Peter Chapman, Ian Oliver

Proceedings of the 2016 IEEE Symposium on Visual Languages and Human-Centric Computing, 2016

Antipattern Comprehension: An Empirical Evaluation.

Tie Hou, Peter Chapman, Andrew Blake

Proceedings of the Formal Ontology in Information Systems, 2016

2014

Interactive theorem proving and program extraction.

Tie Hou

PhD thesis, 2014

Uniform Schemata for Proof Rules.

Ulrich Berger, Tie Hou

Proceedings of the Language, Life, Limits - 10th Conference on Computability in Europe, 2014

2012

Typed vs. Untyped Realizability.

Ulrich Berger, Tie Hou

Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, 2012

2008

Coinduction for Exact Real Number Computation.

Ulrich Berger, Tie Hou

Theory Comput. Syst., 2008

On Transformations of Load-Store Maurer Instruction Set Architecture

Tie Hou

CoRR, 2008

2006

Coinductive Proofs for Basic Real Computation.

Tie Hou

Proceedings of the Logical Approaches to Computational Barriers, 2006