From post

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.

 

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

Managing and Collaboratively Processing Medical Image via the Web., , , , , и . WAIM Workshops, том 7419 из Lecture Notes in Computer Science, стр. 252-263. Springer, (2012)Collaborative geospatial web services for multi-dimension remote sensing data., , , , , и . ICDIM, стр. 456-463. IEEE, (2008)A Verified Specification of TLSF Memory Management Allocator Using State Monads., , , , и . SETTA, том 11951 из Lecture Notes in Computer Science, стр. 122-138. Springer, (2019)QDFA: Query-Dependent Feature Aggregation for Medical Image Retrieval., , , и . IEICE Trans. Inf. Syst., 95-D (1): 275-279 (2012)DH4SS: a distributed heuristic for QoS-based service selection., , , , и . Int. J. Web Grid Serv., 7 (4): 388-409 (2011)An operational semantics of WS-BPEL based on abstract BPEL machine., , , и . SOCA, стр. 1-4. IEEE Computer Society, (2010)Formal Specification and Analysis of Partitioning Operating Systems by Integrating Ontology and Refinement., , , и . IEEE Trans. Ind. Informatics, 12 (4): 1321-1331 (2016)Model learning: a survey of foundations, tools and applications., , и . Frontiers Comput. Sci., 15 (5): 155210 (2021)A Formal Methodology for Verifying Side-Channel Vulnerabilities in Cache Architectures., , , , и . ICFEM, том 13478 из Lecture Notes in Computer Science, стр. 190-208. Springer, (2022)Compositional Reasoning for Shared-Variable Concurrent Programs., , , , , , и . FM, том 10951 из Lecture Notes in Computer Science, стр. 523-541. Springer, (2018)