PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Mei, Jia"

Author of the publication

copydeleteadd this publication to your clipboard
Probabilistic Timed Model Checking for Atomic Web Service.

, , , and . SERVICES, page 459-466. IEEE Computer Society, (2011)

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.

Dr. Barbara Meisterernst University of Stuttgart

Chenming Jiang University of Stuttgart

Florian Meinert University of Stuttgart

Univ. -Prof. Dr. -Ing. Karsten Meier University of Stuttgart

Chuhan Jiao University of Stuttgart

 

Other publications of authors with the same name

Three nonnegative solutions for fractional differential equations with integral boundary conditions., and . Computers & Mathematics with Applications, 62 (3): 1405-1412 (2011)Multiplicity of solutions for integral boundary value problems of fractional differential equations with upper and lower solutions., and . Applied Mathematics and Computation, (2014)Probabilistic Timed Model Checking for Atomic Web Service., , , and . SERVICES, page 459-466. IEEE Computer Society, (2011)A Novel Approach for On-the-Fly Test Cases Synthesis., , and . SNPD, page 575-578. IEEE Computer Society, (2009)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)A New Approach to Automated Redundancy Reduction for Test Sequences., , , and . PRDC, page 93-98. IEEE Computer Society, (2009)An Integrated De-noise and Enhancement Method for Ancient Chinese Tablet Images., , , and . CAD/Graphics, page 149-156. IEEE, (2015)Positive solutions to a type of nonlinear three-point boundary value problem with sign changing nonlinearities., , and . Computers & Mathematics with Applications, 57 (3): 348-355 (2009)Monotone iterative method for the second-order three-point boundary value problem with upper and lower solutions in the reversed order., , and . Applied Mathematics and Computation, 217 (9): 4840-4847 (2011)