( en | de | ru )

 

Disambiguation of "Hou, Tie"

Author of the publication

copydeleteadd this publication to your clipboard
Exploring human behavior patterns and socio-demographic factors based on American Time Use Survey.

, , , , , , and . Concurr. Comput. Pract. Exp., (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Tie Di

Bo Hou

Changbao Hou

Lei Hou

Ming Hou

 

Other publications of authors with the same name

Industrial espionage - A systematic literature review (SLR)., and . Comput. Secur., (2020)Interactive theorem proving and program extraction.. Swansea University, UK, (2014)British Library, EThOS.Coinduction for Exact Real Number Computation., and . Theory Comput. Syst., 43 (3-4): 394-409 (2008)Parallel program testing based on critical communication and branch transformation., , , , , and . J. Supercomput., 80 (1): 519-548 (January 2024)A realizability interpretation of Church's simple theory of types., and . Math. Struct. Comput. Sci., 27 (8): 1364-1385 (2017)Coinductive Proofs for Basic Real Computation.. CiE, volume 3988 of Lecture Notes in Computer Science, page 221-230. Springer, (2006)Uniform Schemata for Proof Rules., and . CiE, volume 8493 of Lecture Notes in Computer Science, page 53-62. Springer, (2014)Typed vs. Untyped Realizability., and . MFPS, volume 286 of Electronic Notes in Theoretical Computer Science, page 57-71. Elsevier, (2012)On Transformations of Load-Store Maurer Instruction Set Architecture. CoRR, (2008)Exploring human behavior patterns and socio-demographic factors based on American Time Use Survey., , , , , , and . Concurr. Comput. Pract. Exp., (2023)