( en | de | ru )

 

Disambiguierung von "Chadha, Rohit"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Emptiness Under Isolation and the Value Problem for Hierarchical Probabilistic Automata.

, , und . FoSSaCS, Volume 10203 von Lecture Notes in Computer Science, Seite 231-247. (2017)

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)Exact quantitative probabilistic model checking through rational search., , , , und . FMCAD, Seite 92-99. IEEE, (2017)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)Enhancing Computing Curricular Outcomes and Student Accomplishments Through Collegiate Competitions., , , , , und . CompEd (1), Seite 22-28. ACM, (2023)Stack-Aware Hyperproperties., , , und . TACAS (1), Volume 13993 von Lecture Notes in Computer Science, Seite 308-325. Springer, (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)On the expressiveness and complexity of randomization in finite state monitors., , und . J. ACM, 56 (5): 26:1-26:44 (2009)Modular Verification of Protocol Equivalence in the Presence of Randomness., , und . ESORICS (1), Volume 10492 von Lecture Notes in Computer Science, Seite 187-205. Springer, (2017)