( en | de | ru )

 

Disambiguation of "Jin, Zhi"

Author of the publication

copydeleteadd this publication to your clipboard
Verifying Software Requirements Based on Answer Set Programming.

, , and . KSEM, volume 5914 of Lecture Notes in Computer Science, page 263-274. Springer, (2009)

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.

Maria Zhivkova-Galunska

Lizhu Zhi

Yu Zhiguo

Amine Zhiri

Anna Zhigun

 

Other publications of authors with the same name

Learning Fuzzy Decision Trees from Sequential and Incomplete Data., , and . Intelligent Information Processing, volume 221 of IFIP Conference Proceedings, page 265-268. Kluwer, (2002)Measuring the blame of each formula for inconsistent prioritized knowledge bases., , and . J. Log. Comput., 22 (3): 481-516 (2012)Automatically multi-paradigm requirements modeling and analyzing: An ontology-based approach., , and . Sci. China Ser. F Inf. Sci., 46 (4): 279-297 (2003)An Approach to Generating Proposals for Handling Inconsistent Software Requirements., , and . KSEM, volume 7091 of Lecture Notes in Computer Science, page 32-43. Springer, (2011)TBCNN: A Tree-Based Convolutional Neural Network for Programming Language Processing., , , , and . CoRR, (2014)Learning Embeddings of API Tokens to Facilitate Deep Learning Based Program Processing., , , and . KSEM, volume 9983 of Lecture Notes in Computer Science, page 527-539. (2016)Verification Based on Hyponymy Hierarchical Characteristics for Web-Based Hyponymy Discovery., , , and . KSEM, volume 8793 of Lecture Notes in Computer Science, page 81-92. Springer, (2014)Measuring Inconsistency in Requirements Specifications., , , and . ECSQARU, volume 3571 of Lecture Notes in Computer Science, page 440-451. Springer, (2005)Toward Better Summarizing Bug Reports With Crowdsourcing Elicited Attributes., , , , and . IEEE Trans. Reliab., 68 (1): 2-22 (2019)TransRNAm: Identifying Twelve Types of RNA Modifications by an Interpretable Multi-Label Deep Learning Model Based on Transformer., , , , , , , and . IEEE ACM Trans. Comput. Biol. Bioinform., 20 (6): 3623-3634 (November 2023)