( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Generative AI for Programming Education: Benchmarking ChatGPT, GPT-4, and Human Tutors.

, , , , , , , и . ICER (2), стр. 41-42. ACM, (2023)

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.

Rupak Majumdar

Rupak Khadka

Sudipta Majumdar

Amitabha Majumdar

Marcus Majumdar

 

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

Code aware resource management., , , и . EMSOFT, стр. 191-202. ACM, (2005)Structural Invariants., , и . SAS, том 4134 из Lecture Notes in Computer Science, стр. 71-87. Springer, (2006)Model Checking Discounted Temporal Properties., , , , и . TACAS, том 2988 из Lecture Notes in Computer Science, стр. 77-92. Springer, (2004)Reducing Test Inputs Using Information Partitions., и . CAV, том 5643 из Lecture Notes in Computer Science, стр. 555-569. Springer, (2009)The Complexity of Coverage., , и . APLAS, том 5356 из Lecture Notes in Computer Science, стр. 91-106. Springer, (2008)Equivalence of Games with Probabilistic Uncertainty and Partial-Observation Games., , и . ATVA, том 7561 из Lecture Notes in Computer Science, стр. 385-399. Springer, (2012)On Nash Equilibria in Stochastic Games., , и . CSL, том 3210 из Lecture Notes in Computer Science, стр. 26-40. Springer, (2004)The Marriage of Exploration and Deduction.. VSTTE, том 7152 из Lecture Notes in Computer Science, стр. 162. Springer, (2012)Analysis of Asynchronous Programs with Event-Based Synchronization., , , и . ESOP, том 9032 из Lecture Notes in Computer Science, стр. 535-559. Springer, (2015)Generalised Bisimulations for Time Bounded Reachability of CTMCs and CTMDPs., , и . CoRR, (2019)