Author of the publication

Normal conditions for inference relations and injective models.

, , , and . Theor. Comput. Sci., 309 (1-3): 287-311 (2003)

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.

 

Other publications of authors with the same name

一种基于UML类图和活动图的故障树生成方法 (Fault Tree Generation Method Based on UML Class Diagram and Activity Diagram)., , and . 计算机科学, 43 (7): 180-185 (2016)SYMAC: Symbolic Execution Augmented with Concurrent Coverage Criteria., , and . CSSE, page 126-131. ACM, (2019)Two new regularity criteria for the Navier-Stokes equations via two entries of the velocity Hessian tensor., , , and . Appl. Math. Lett., (2014)An Equation of State for Fluoroethane (R161), and . International Journal of Thermophysics, 33 (2): 220-234 (2012)An Improved Genetic-Based Link Clustering for Overlapping Community Detection., and . Intelligent Information Processing, volume 486 of IFIP Advances in Information and Communication Technology, page 142-151. (2016)Exploiting Spatial Structure from Parts for Adaptive Kernelized Correlation Filter Tracker., , , , and . IEEE Signal Process. Lett., 23 (5): 658-662 (2016)Spatiotemporal Analysis and Multi-Scenario Prediction of Ecosystem Services Based on Land Use/Cover Change in a Mountain-Watershed Region, China., , , , , and . Remote. Sens., 15 (11): 2759 (2023)Few-Shot Object Detection via Context-Aware Aggregation for Remote Sensing Images., , , , , and . IEEE Geosci. Remote. Sens. Lett., (2022)A siamese pedestrian alignment network for person re-identification., , , , , , and . Multim. Tools Appl., 80 (25): 33951-33970 (2021)Swin Transformer Embedding UNet for Remote Sensing Image Semantic Segmentation., , , , , and . IEEE Trans. Geosci. Remote. Sens., (2022)