Tie Hou

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