( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
SAWSDL-iMatcher: A customizable and effective Semantic Web Service matchmaker.

, , , и . J. Web Semant., 9 (4): 402-417 (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.

Ji Wang

Ji-Feng Wang

Ji-boa Wang

Wang Wang

Ji Haas

 

Другие публикации лиц с тем же именем

Scheduling jobs with chain precedence constraints and deteriorating jobs., , и . J. Oper. Res. Soc., 62 (9): 1765-1770 (2011)Verifying automata specification of distributed probabilistic real-time systems., , , , , и . J. Comput. Sci. Technol., 13 (6): 588-596 (1998)Threshold optimization of pseudo-inverse linear discriminants based on overall accuracies., , и . IJCNN, стр. 1-6. IEEE, (2015)Model Checking Suspendible Business Processes via Statechart Diagrams and CSP., , , и . MSVVEIS, стр. 97-107. INSTICC Press, (2006)Reverse Observation Equivalence Between Labelled State Transition Systems., , и . ICTAC, том 3407 из Lecture Notes in Computer Science, стр. 204-219. Springer, (2004)Towards Formal Interfaces for Web Services with Transactions., , , и . SITIS, том 4879 из Lecture Notes in Computer Science, стр. 292-304. Springer, (2006)Static analysis of list-manipulating programs via bit-vectors and numerical abstractions., , , и . SAC, стр. 1204-1210. ACM, (2013)Verifying Numerical Programs via Iterative Abstract Testing., , , , и . SAS, том 11822 из Lecture Notes in Computer Science, стр. 247-267. Springer, (2019)Verifying Safety of Neural Networks from Topological Perspectives., , , , , и . CoRR, (2023)Poster: Symbolic Execution of MPI Programs., , , , , и . ICSE (2), стр. 809-810. IEEE Computer Society, (2015)ISBN 978-1-4799-1934-5 (Vol. I + II ???).