( en | de | ru )

 

Disambiguierung von "Raghothaman, Mukund"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Automatic Completion of Distributed Protocols with Symmetry.

, , , , und . CoRR, (2015)

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.

Keine Personen gefunden für den Autorennamen Raghothaman, Mukund
Eine Person hinzufügen mit dem Namen Raghothaman, Mukund
 

Weitere Publikationen von Autoren mit dem selben Namen

Learning Probabilistic Models for Static Analysis Alarms., , und . ICSE, Seite 1282-1293. ACM, (2022)Superflows: A New Tool for Forensic Network Flow Analysis., , , , , und . CoRR, (2024)Sporq: An Interactive Environment for Exploring Code using Query-by-Example., , , , , und . UIST, Seite 84-99. ACM, (2021)Decision Problems for Additive Regular Functions., und . ICALP (2), Volume 7966 von Lecture Notes in Computer Science, Seite 37-48. Springer, (2013)Optimal Flow Collector Placement In Experimental Networks., , und . EuroS&P Workshops, Seite 321-325. IEEE, (2024)StreamQRE: modular specification and efficient evaluation of quantitative queries over streaming data., , , , und . PLDI, Seite 693-708. ACM, (2017)GENSYNTH: Synthesizing Datalog Programs without Language Bias., , , und . AAAI, Seite 6444-6453. AAAI Press, (2021)Learning Loop Invariants for Program Verification., , , , und . NeurIPS, Seite 7762-7773. (2018)Data-Driven Synthesis of Provably Sound Side Channel Analyses., , , und . ICSE, Seite 810-822. IEEE, (2021)Continuously reasoning about programs using differential Bayesian inference., , , und . PLDI, Seite 561-575. ACM, (2019)