( en | de | ru )

 

Disambiguierung von "Sistla, A. Prasad"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Symmetry and Reduced Symmetry in Model Checking.

, und . CAV, Volume 2102 von Lecture Notes in Computer Science, Seite 91-103. Springer, (2001)

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.

Venkata Subbarayudu Sistla

Sharad Prasad

Kumkum Prasad

Prasad Samarakoon

Athul Prasad

 

Weitere Publikationen von Autoren mit dem selben Namen

Similarity Based Retrieval of Videos., , und . ICDE, Seite 181-190. IEEE Computer Society, (1997)Opportunistic Data Dissemination in Mobile Peer-to-Peer Networks., , und . SSTD, Volume 3633 von Lecture Notes in Computer Science, Seite 346-363. Springer, (2005)Preventing Information Leaks through Shadow Executions., , , und . ACSAC, Seite 322-331. IEEE Computer Society, (2008)Verification of Object Relational Maps., , , und . SEFM, Seite 283-292. IEEE Computer Society, (2007)Verification of randomized security protocols., , und . LICS, Seite 1-12. IEEE Computer Society, (2017)Reasoning in a Restricted Temporal Logic, und . Inf. Comput., 102 (2): 167-195 (Februar 1993)Deciding Differential Privacy for Programs with Finite Inputs and Outputs., , , , und . LICS, Seite 141-154. ACM, (2020)Utilizing Symmetry when Model-Checking under Fairness Assumptions: An Automata-Theoretic Approach., und . ACM Trans. Program. Lang. Syst., 19 (4): 617-638 (1997)Approximating Probabilistic Automata by Regular Languages., , und . CSL, Volume 119 von LIPIcs, Seite 14:1-14:23. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Using Temporal Logic for Automatic Verification of Finite State Systems., , , und . Logics and Models of Concurrent Systems, Volume 13 von NATO ASI Series, Seite 3-26. Springer, (1984)