( en | de | ru )

 

Disambiguierung von "Mathur, Umang"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Decidable Synthesis of Programs with Uninterpreted Functions.

, , , , und . CAV (2), Volume 12225 von Lecture Notes in Computer Science, Seite 634-657. Springer, (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.

Umang Munjal

Sanjay Mathur

Prashant Mathur

Jyotirmay Mathur

Jagdish Mathur

 

Weitere Publikationen von Autoren mit dem selben Namen

A Decidable Fragment of Second Order Logic With Applications to Synthesis., , , und . CSL, Volume 119 von LIPIcs, Seite 31:1-31:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Decidable Synthesis of Programs with Uninterpreted Functions., , , , und . CAV (2), Volume 12225 von Lecture Notes in Computer Science, Seite 634-657. Springer, (2020)Dynamic data race prediction: fundamentals, theory, and practice (tutorial)., und . ESEC/SIGSOFT FSE, Seite 1820. ACM, (2022)A faster FPRAS for #NFA., , und . CoRR, (2023)Sound Dynamic Deadlock Prediction in Linear Time., , , und . CoRR, (2023)Exact quantitative probabilistic model checking through rational search., , , , und . FMCAD, Seite 92-99. IEEE, (2017)What's Decidable About Program Verification Modulo Axioms?, , und . TACAS (2), Volume 12079 von Lecture Notes in Computer Science, Seite 158-177. Springer, (2020)Scalable Statistical Root Cause Analysis on App Telemetry., , , und . ICSE (SEIP), Seite 288-297. IEEE, (2021)Checking LTLF, G, X on compressed traces in polynomial time., , und . ESEC/SIGSOFT FSE, Seite 131-143. ACM, (2021)Atomicity Checking in Linear Time using Vector Clocks., und . ASPLOS, Seite 183-199. ACM, (2020)ASPLOS 2020 was canceled because of COVID-19..