( en | de | ru )

 

Disambiguation of "Yu, Haibo"

Author of the publication

copydeleteadd this publication to your clipboard
The role of model checking in software engineering.

, , , , and . Frontiers Comput. Sci., 12 (4): 642-668 (2018)

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.

Haibo Yu

Haibo Zhao

Hans Haiböck

Philip Haiböck

Haibo Xuan

 

Other publications of authors with the same name

A Semantic Web Information Integration System Based on Ontology-Mapping and Multilevel Query Interface., , and . CSWS, volume 406 of Communications in Computer and Information Science, page 76-89. Springer, (2013)Accounting for polarization in molecular simulation., and . Comput. Phys. Commun., 172 (2): 69-85 (2005)High-resolution Noise Artifact Tracking network for Image Splicing Forgery Detection., , , , and . J. Inf. Sci. Eng., 39 (4): 759-775 (2023)Molecular dynamics simulations of liquid methanol and methanol-water mixtures with polarizable models., , , and . J. Comput. Chem., 27 (13): 1494-1504 (2006)A novel EEG-based major depressive disorder detection framework with two-stage feature selection., , , , , , and . BMC Medical Informatics Decis. Mak., 22 (1): 209 (2022)A systematic benchmarking of computational vibrational spectroscopy with DFTB3: Normal mode analysis and fast Fourier transform dipole autocorrelation function., and . J. Comput. Chem., 39 (25): 2067-2078 (2018)Agent-Community-based P2P semantic MyPortal information retrieval system architecture., , and . J. Embed. Comput., 3 (1): 63-75 (2009)A generation-based optimal restart strategy for surrogate-assisted social learning particle swarm optimization., , , and . Knowl. Based Syst., (2019)Quantum Chemical Methods for Modeling Covalent Modification of Biological Thiols., , , , , , , and . J. Comput. Chem., 41 (5): 427-438 (2020)Agent-Community-Based P2P Semantic Web Information Retrieval System Architecture., , and . EUC, volume 3824 of Lecture Notes in Computer Science, page 538-549. Springer, (2005)