( en | de | ru )

 

Disambiguierung von "Chatterjee, Krishnendu"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Inductive Reachability Witnesses.

, , , , und . CoRR, (2020)

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.

Krishnendu Mukherjee

Gudrun Chatterjee

Daniel Chatterjee

Indranil Chatterjee

Amitava Chatterjee

 

Weitere Publikationen von Autoren mit dem selben Namen

The power of first-order quantification over states in branching and linear time temporal logics., , und . Inf. Process. Lett., 91 (5): 201-210 (2004)The reads-from equivalence for the TSO and PSO memory models., , , , und . Proc. ACM Program. Lang., 5 (OOPSLA): 1-30 (2021)Data-centric dynamic partial order reduction., , , , und . Proc. ACM Program. Lang., 2 (POPL): 31:1-31:30 (2018)Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs., , und . Proc. ACM Program. Lang., 2 (POPL): 34:1-34:32 (2018)Limits on amplifiers of natural selection under death-Birth updating., , , und . PLoS Comput. Biol., (2020)Qualitative Analysis of Partially-Observable Markov Decision Processes., , und . MFCS, Volume 6281 von Lecture Notes in Computer Science, Seite 258-269. Springer, (2010)Optimal Dyck Reachability for Data-Dependence and Alias Analysis., , und . CoRR, (2019)Robust Draws in Balanced Knockout Tournaments., , und . IJCAI, Seite 172-179. IJCAI/AAAI Press, (2016)Counterexample Explanation by Learning Small Strategies in Markov Decision Processes., , , , und . CAV (1), Volume 9206 von Lecture Notes in Computer Science, Seite 158-177. Springer, (2015)Expectation Optimization with Probabilistic Guarantees in POMDPs with Discounted-Sum Objectives., , , und . IJCAI, Seite 4692-4699. ijcai.org, (2018)