( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
An analytical model for source code distributability verification.

, , , и . J. Zhejiang Univ. Sci. C, 15 (2): 126-138 (2014)

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.

Helmut Jaberg

Jaber Dehghany

Jaber Masalha

Sylvia Jaber

Guilhem Jaber

 

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

Common lecturers timetabling among departments based on funnel-shape clustering algorithm., , и . Appl. Intell., 46 (2): 386-408 (2017)A survey of approaches for university course timetabling problem., , и . Comput. Ind. Eng., (2015)Information leakage of multi-threaded programs., , и . Comput. Electr. Eng., (2019)Channel Capacity of Concurrent Probabilistic Programs., , , и . Entropy, 21 (9): 885 (2019)Specifying a New Requirement Model for Secure Adaptive Systems., , и . Comput. J., 63 (8): 1148-1167 (2020)Tiling and Scheduling of Three-level Perfectly Nested Loops with Dependencies on Heterogeneous Systems., , , и . Scalable Comput. Pract. Exp., 17 (4): 331-350 (2016)A New Method for Describing the Syntax and Semantics of VIEWCHARTS., , и . ISPA Workshops, том 4743 из Lecture Notes in Computer Science, стр. 345-354. Springer, (2007)A New Formalism for Describing Concurrent Systems., , и . ISPA Workshops, том 4743 из Lecture Notes in Computer Science, стр. 355-364. Springer, (2007)A Deep Fake Detection System Using Diffusion Model Based on Graph Based Image Segmentation., , и . MLIS, том 374 из Frontiers in Artificial Intelligence and Applications, стр. 138-144. IOS Press, (2023)Improved Iterative Methods for Verifying Markov Decision Processes., , , и . FSEN, том 9392 из Lecture Notes in Computer Science, стр. 207-214. Springer, (2015)