( en | de | ru )

 

Disambiguierung von "Madhusudan, Parthasarathy"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Recursive proofs for inductive tree data-structures.

, , und . POPL, Seite 123-136. ACM, (2012)

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.

Rhama Parthasarathy

Aprameyan Parthasarathy

Anutthaman Parthasarathy

Srinivasan Parthasarathy

Madhusudan Govind Kher

 

Weitere Publikationen von Autoren mit dem selben Namen

Lagrange's Theorem for Binary Squares., , , und . CoRR, (2017)The Language Theory of Bounded Context-Switching., , und . LATIN, Volume 6034 von Lecture Notes in Computer Science, Seite 96-107. Springer, (2010)Reachability in Concurrent Uninterpreted Programs., und . FSTTCS, Volume 150 von LIPIcs, Seite 46:1-46:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Analyzing recursive programs using a fixed-point calculus., , und . PLDI, Seite 211-222. ACM, (2009)Analyzing temporal role based access control models., , , , , , und . SACMAT, Seite 177-186. ACM, (2012)Natural proofs for structure, data, and separation., , , und . PLDI, Seite 231-242. ACM, (2013)Automated Reasoning and Natural Proofs for Programs Manipulating Data Structures.. FSTTCS, Volume 18 von LIPIcs, Seite 34-35. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)CANDID: Dynamic candidate evaluations for automatic prevention of SQL injection attacks., , und . ACM Trans. Inf. Syst. Secur., 13 (2): 14:1-14:39 (2010)Synthesizing Reactive Programs.. CSL, Volume 12 von LIPIcs, Seite 428-442. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2011)A Robust Class of Context-Sensitive Languages., , und . LICS, Seite 161-170. IEEE Computer Society, (2007)