( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Quantitative Information Flow in Boolean Programs.

, , и . POST, том 8414 из Lecture Notes in Computer Science, стр. 103-119. Springer, (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.

Rohit Sinha

Rohit Gupta

Rohit Ghai

Rohit Soni

Rohit Datta

 

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

Contract signing, optimism, and advantage., , , и . J. Log. Algebraic Methods Program., 64 (2): 189-218 (2005)Verification Methods for the Computationally Complete Symbolic Attacker Based on Indistinguishability., , , и . ACM Trans. Comput. Log., 21 (1): 2:1-2:44 (2020)Exact quantitative probabilistic model checking through rational search., , , , и . FMCAD, стр. 92-99. IEEE, (2017)Enhancing Computing Curricular Outcomes and Student Accomplishments Through Collegiate Competitions., , , , , и . CompEd (1), стр. 22-28. ACM, (2023)Stack-Aware Hyperproperties., , , и . TACAS (1), том 13993 из Lecture Notes in Computer Science, стр. 308-325. Springer, (2023)Reasoning About States of Probabilistic Sequential Programs., , и . CSL, том 4207 из Lecture Notes in Computer Science, стр. 240-255. Springer, (2006)Deciding Accuracy of Differential Privacy Schemes., , , , и . CoRR, (2020)Exact quantitative probabilistic model checking through rational search., , , , и . Formal Methods Syst. Des., 56 (1): 90-126 (2020)Modelchecking Safety Properties in Randomized Security Protocols., , и . Logic, Language, and Security, том 12300 из Lecture Notes in Computer Science, стр. 167-183. Springer, (2020)On the expressiveness and complexity of randomization in finite state monitors., , и . J. ACM, 56 (5): 26:1-26:44 (2009)