( en | de | ru )

 

Disambiguierung von "Mathur, Umang"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Exact quantitative probabilistic model checking through rational search.

, , , , und . Formal Methods Syst. Des., 56 (1): 90-126 (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)Coarser Equivalences for Concurrent Program Runs., und . CoRR, (2022)Decidable Verification of Uninterpreted Programs., , und . CoRR, (2018)Increasing Video Accessibility for Visually Impaired Users with Human-in-the-Loop Machine Learning., , , , , , , , , und . CHI Extended Abstracts, Seite 1-9. ACM, (2020)Data race detection on compressed traces., , und . ESEC/SIGSOFT FSE, Seite 26-37. ACM, (2018)Checking LTLF, G, X on compressed traces in polynomial time., , und . ESEC/SIGSOFT FSE, Seite 131-143. ACM, (2021)Dynamic race prediction in linear time., , und . PLDI, Seite 157-170. ACM, (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)