( en | de | ru )

 

Disambiguierung von "Kulkarni, Sandeep S."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Complexity Issues in Automated Synthesis of Failsafe Fault-Tolerance.

, und . IEEE Trans. Dependable Secur. Comput., 2 (3): 201-215 (2005)

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.

Sandeep S Patil

Jagadish Kulkarni

Praveen Kulkarni

Suchita Kulkarni

Aniket Kulkarni

 

Weitere Publikationen von Autoren mit dem selben Namen

"Slow Is Fast" for Wireless Sensor Networks in the Presence of Message Losses., , und . SSS, Volume 6366 von Lecture Notes in Computer Science, Seite 176-190. Springer, (2010)ProSe - A Programming Tool for Rapid Prototyping of Sensor Networks., und . SECON, Seite 685-686. IEEE, (2007)Symbolic synthesis of masking fault-tolerant distributed programs., , und . Distributed Comput., 25 (1): 83-108 (2012)Terminating alternator.. Parallel Process. Lett., 17 (4): 379-390 (2007)Analysis of Bounds on Hybrid Vector Clocks., , und . OPODIS, Volume 46 von LIPIcs, Seite 34:1-34:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Complexity Issues in Automated Synthesis of Failsafe Fault-Tolerance., und . IEEE Trans. Dependable Secur. Comput., 2 (3): 201-215 (2005)Brief Announcement: Fully Lattice Linear Algorithms., und . SSS, Volume 13751 von Lecture Notes in Computer Science, Seite 341-345. Springer, (2022)Constraint Based Automated Synthesis of Nonmasking and Stabilizing Fault-Tolerance., und . SRDS, Seite 119-128. IEEE Computer Society, (2009)A Family of Collusion Resistant Protocols for Instantiating Security., und . ICNP, Seite 279-288. IEEE Computer Society, (2005)Inducing Lattices in Non-Lattice-Linear Problems., und . SRDS, Seite 232-242. IEEE, (2023)