( en | de | ru )

 

Disambiguation of "Mei, Jia"

Author of the publication

copydeleteadd this publication to your clipboard
Verifying Web Services Composition Based on Interface Automata Using SPIN.

, , , and . JDCTA, 4 (8): 23-33 (2010)

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

Mei Minghui

Mei Wu

Yu Mei

Xiaodong Mei

 

Other publications of authors with the same name

Multiplicity of solutions for integral boundary value problems of fractional differential equations with upper and lower solutions., and . Appl. Math. Comput., (2014)The method of lower and upper solutions for mixed fractional four-point boundary value problem with p-Laplacian operator., , and . Appl. Math. Lett., (2017)Verifying Web Services Composition Based on Interface Automata Using SPIN., , , and . JDCTA, 4 (8): 23-33 (2010)Three nonnegative solutions for fractional differential equations with integral boundary conditions., and . Comput. Math. Appl., 62 (3): 1405-1412 (2011)A class of iterative functional fractional differential equation on infinite interval., and . Appl. Math. Lett., (2023)Advanced Generative Adversarial Network for Image Superresolution., , and . ICPCSEE (1), volume 1628 of Communications in Computer and Information Science, page 193-208. Springer, (2022)A Novel Approach for On-the-Fly Test Cases Synthesis., , and . SNPD, page 575-578. IEEE Computer Society, (2009)Probabilistic Timed Model Checking for Atomic Web Service., , , and . SERVICES, page 459-466. IEEE Computer Society, (2011)An algorithm on fairness verification of mobile sink routing in wireless sensor network., , , , , , , and . Personal and Ubiquitous Computing, 17 (5): 851-864 (2013)Monotone iterative method for the second-order three-point boundary value problem with upper and lower solutions in the reversed order., , and . Appl. Math. Comput., 217 (9): 4840-4847 (2011)