( en | de | ru )

 

Disambiguation of "Hou, Jie"

Author of the publication

copydeleteadd this publication to your clipboard
Design of Point-and-Click User Interfaces for Proof Assistants.

, , , , , and . ICFEM, volume 11852 of Lecture Notes in Computer Science, page 86-103. Springer, (2019)

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.

Jie Hou

Jie Hou

Ran-Jie Hou

Zhou Jie

Yucheng Jie

 

Other publications of authors with the same name

Finite-Time Anti-synchronization of Multi-weighted Coupled Neural Networks With and Without Coupling Delays., , and . Neural Processing Letters, 50 (3): 2871-2898 (2019)Design of Point-and-Click User Interfaces for Proof Assistants., , , , , and . ICFEM, volume 11852 of Lecture Notes in Computer Science, page 86-103. Springer, (2019)ψ-type stability of reaction-diffusion neural networks with time-varying discrete delays and bounded distributed delays., , and . Neurocomputing, (2019)Modern Educational Technique Center Educational Media Management Based on Design and Practice of Questionnaire.. Int. J. Adv. Pervasive Ubiquitous Comput., 3 (2): 35-38 (2011)Judging a Book by Its Cover: The Effect of Facial Perception on Centrality in Social Networks., , , , , , , and . CoRR, (2020)Implicit Multi-feature Learning for Dynamic Time Series Prediction of the Impact of Institutions., , , , , and . CoRR, (2020)Instance Mask Embedding and Attribute-Adaptive Generative Adversarial Network for Text-to-Image Synthesis., , , , and . IEEE Access, (2020)Traffic sign recognition based on improved convolutional networks., , , and . Int. J. Wirel. Mob. Comput., 21 (3): 274-284 (2021)HNS: An Efficient Hermite Neural Solver for Solving Time-Fractional Partial Differential Equations., , , and . CoRR, (2023)TPSC: a module detection method based on topology potential and spectral clustering in weighted networks and its application in gene co-expression module discovery., , , , , , , and . BMC Bioinform., 22-S (4): 111 (2021)