Tie Hou

According to our database1, Tie Hou authored at least 14 papers between 2006 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Exploring object reduction approaches for optimizing decision-making in linguistic concept formal context.
Appl. Intell., October, 2024

Parallel program testing based on critical communication and branch transformation.
J. Supercomput., January, 2024

2023
Exploring human behavior patterns and socio-demographic factors based on American Time Use Survey.
Concurr. Comput. Pract. Exp., 2023

2022
(α, β) - Colored Resolution Method of Linguistic Truth-Valued Intuitionistic Fuzzy Logic.
Proceedings of the Artificial Intelligence Logic and Applications, 2022

2020
Industrial espionage - A systematic literature review (SLR).
Comput. Secur., 2020

2017
A realizability interpretation of Church's simple theory of types.
Math. Struct. Comput. Sci., 2017

2016
Measuring perceived clutter in concept diagrams.
Proceedings of the 2016 IEEE Symposium on Visual Languages and Human-Centric Computing, 2016

Antipattern Comprehension: An Empirical Evaluation.
Proceedings of the Formal Ontology in Information Systems, 2016

2014
Interactive theorem proving and program extraction.
PhD thesis, 2014

Uniform Schemata for Proof Rules.
Proceedings of the Language, Life, Limits - 10th Conference on Computability in Europe, 2014

2012
Typed vs. Untyped Realizability.
Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, 2012

2008
Coinduction for Exact Real Number Computation.
Theory Comput. Syst., 2008

On Transformations of Load-Store Maurer Instruction Set Architecture
CoRR, 2008

2006
Coinductive Proofs for Basic Real Computation.
Proceedings of the Logical Approaches to Computational Barriers, 2006


  Loading...