( en | de | ru )

 

Disambiguierung von "Chadha, Rohit"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Power of Randomization in Automata on Infinite Strings.

, , und . CONCUR, Volume 5710 von Lecture Notes in Computer Science, Seite 229-243. Springer, (2009)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Rohit Sinha

Rohit Gupta

Rohit Ghai

Rohit Soni

Rohit Datta

 

Weitere Publikationen von Autoren mit dem selben Namen

Verification Methods for the Computationally Complete Symbolic Attacker Based on Indistinguishability., , , und . ACM Trans. Comput. Log., 21 (1): 2:1-2:44 (2020)Deciding accuracy of differential privacy schemes., , , , und . Proc. ACM Program. Lang., 5 (POPL): 1-30 (2021)Contract signing, optimism, and advantage., , , und . J. Log. Algebraic Methods Program., 64 (2): 189-218 (2005)Exact quantitative probabilistic model checking through rational search., , , , und . FMCAD, Seite 92-99. IEEE, (2017)Stack-Aware Hyperproperties., , , und . TACAS (1), Volume 13993 von Lecture Notes in Computer Science, Seite 308-325. Springer, (2023)Enhancing Computing Curricular Outcomes and Student Accomplishments Through Collegiate Competitions., , , , , und . CompEd (1), Seite 22-28. ACM, (2023)Reasoning About States of Probabilistic Sequential Programs., , und . CSL, Volume 4207 von Lecture Notes in Computer Science, Seite 240-255. Springer, (2006)A Hybrid Intuitionistic Logic: Semantics and Decidability., , und . J. Log. Comput., 16 (1): 27-59 (2006)Quantitative Information Flow in Boolean Programs., , und . POST, Volume 8414 von Lecture Notes in Computer Science, Seite 103-119. Springer, (2014)On the expressiveness and complexity of randomization in finite state monitors., , und . J. ACM, 56 (5): 26:1-26:44 (2009)