( en | de | ru )

 

Disambiguation of "Jia, Limin"

Author of the publication

copydeleteadd this publication to your clipboard
A Logic of Programs with Interface-Confined Code.

, , , and . CSF, page 512-525. IEEE Computer Society, (2015)

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.

Jia Jia

Limin Zeng

Limin Liao

Limin Sun

Limin Zeng

 

Other publications of authors with the same name

Railway Passenger Traffic Volume Prediction Based on Neural Network., , , and . Appl. Artif. Intell., 21 (1): 1-10 (2007)Automatic Railroad Track Components Inspection Using Hybrid Deep Learning Framework., , , , , and . IEEE Trans. Instrum. Meas., (2023)Face detection for rail transit passengers based on single shot detector and active learning., , , , , and . Multim. Tools Appl., 81 (29): 42433-42456 (2022)Fuzzy Temporal Logic Based Railway Passenger Flow Forecast Model., , , , and . Comput. Intell. Neurosci., (2014)Guest Editors' Introduction., , and . Int. J. Softw. Eng. Knowl. Eng., 30 (7): 895-899 (2020)Gradual Security Types and Gradual Guarantees., , and . CSF, page 1-16. IEEE, (2021)Monitors and blame assignment for higher-order session types., , and . POPL, page 582-594. ACM, (2016)Chinese Prosodic Word Prediction Using the Conditional Random Fields., , and . FSKD (1), page 137-139. IEEE Computer Society, (2009)Traffic Speed Estimation Using Mobile Phone Location Data Based on Longest Common Subsequence., , , , , and . ITSC, page 2819-2824. IEEE, (2018)Construction of Fuzzy Classification System Based on Multi-objective Genetic Algorithm., , , and . ISDA (2), page 1029-1034. IEEE Computer Society, (2006)