( en | de | ru )

 

Disambiguation of "Guo, Jin"

Author of the publication

copydeleteadd this publication to your clipboard
Verification of Detectability in Petri Nets Using Verifier Nets.

, , , and . CoRR, (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.

Hua Jing

Li Jin

Hong Jin

Chunxiao Jing

Martin Jínek

 

Other publications of authors with the same name

Effects of demand side management on Chinese household electricity consumption: Empirical findings from Chinese household survey, , and . Energy Policy, (August 2016)Leveraging Historical Associations between Requirements and Source Code to Identify Impacted Classes., , , and . CoRR, (2018)A degree sequence variant of balanced bipartition problem of graphs., , and . Ars Comb., (2018)Towards an intelligent domain-specific traceability solution., , , and . ASE, page 755-766. ACM, (2014)绿色计算与绿色嵌入式系统 (Green Computing and Green Embedded Systems)., , and . 计算机科学, 42 (8): 13-21 (2015)Research on equilibrium scheduling of airborne network resource based on load Gini coefficient., and . Int. J. Inf. Commun. Technol., 16 (2): 162-175 (2020)Global μ-stability of impulsive reaction-diffusion neural networks with unbounded time-varying delays and bounded continuously distributed delays., , , and . Neurocomputing, (2015)Recursive identification of FIR systems with binary-valued observations., and . ICARCV, page 30-35. IEEE, (2012)Physical design implementation of segmented buses to reduce communication energy., , , and . ASP-DAC, page 42-47. IEEE, (2006)Identification of FIR systems with binary-valued observations against denial-of-service attacks., , , , and . Appl. Math. Comput., (August 2023)