( en | de | ru )

 

Disambiguierung von "Majumdar, Rupak"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Tasks: language support for event-driven programming.

, , und . PEPM, Seite 134-143. ACM, (2007)

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.

Rupak Majumdar

Rupak Khadka

Sudipta Majumdar

Amitabha Majumdar

Marcus Majumdar

 

Weitere Publikationen von Autoren mit dem selben Namen

Symbolic controller synthesis for Büchi specifications on stochastic systems., , und . HSCC, Seite 14:1-14:11. ACM, (2020)DeepEquaL: Deep Learning Based Mathematical Equation to Latex Generation., , und . ICONIP (5), Volume 1333 von Communications in Computer and Information Science, Seite 324-332. Springer, (2020)Context-Bounded Verification of Context-Free Specifications., , , , und . Proc. ACM Program. Lang., 7 (POPL): 2141-2170 (Januar 2023)Quantitative solution of omega-regular games., und . STOC, Seite 675-683. ACM, (2001)A theory of robust software synthesis, , und . CoRR, (2011)The Marriage of Exploration and Deduction.. VSTTE, Volume 7152 von Lecture Notes in Computer Science, Seite 162. Springer, (2012)On Nash Equilibria in Stochastic Games., , und . CSL, Volume 3210 von Lecture Notes in Computer Science, Seite 26-40. Springer, (2004)Analysis of Asynchronous Programs with Event-Based Synchronization., , , und . ESOP, Volume 9032 von Lecture Notes in Computer Science, Seite 535-559. Springer, (2015)Generalised Bisimulations for Time Bounded Reachability of CTMCs and CTMDPs., , und . CoRR, (2019)Supervisory Controller Synthesis for Nonterminating Processes Is an Obliging Game., und . IEEE Trans. Autom. Control., 68 (1): 385-392 (2023)