( en | de | ru )

 

Disambiguierung von "Iyer, S. Purushothaman"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Unified Approach to the Deadlock Detection Problem in Networks of Communicating Finite State Machines.

, und . CAV (DIMACS/AMS volume), Volume 3 von DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Seite 395-404. DIMACS/AMS, (1990)

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.

Balasubramaniam Iyer

Preeti Ramesh Iyer

Balasubramaniam Iyer

Chandrasekhar Iyer

Balasubramaniam Iyer

 

Weitere Publikationen von Autoren mit dem selben Namen

Duplication, Insertion and Lossiness Errors in Unreliable Communication Channels., , und . SIGSOFT FSE, Seite 35-43. ACM, (1994)Analyzing network traffic to detect self-decrypting exploit code., , , und . AsiaCCS, Seite 4-12. ACM, (2007)Using Abstraction-driven Slicing for Postmortem Analysis of Software., , und . ICPC, Seite 107-116. IEEE Computer Society, (2006)Well-Abstracted Transition Systems., , und . CONCUR, Volume 1877 von Lecture Notes in Computer Science, Seite 566-580. Springer, (2000)An Improved Type-Inference Algorithm to Expose Parallelism in Object-Oriented Programs., , und . LCR, Seite 283-286. Springer, (1995)Reasoning about Probabilistic Lossy Channel Systems., , , und . CONCUR, Volume 1877 von Lecture Notes in Computer Science, Seite 320-333. Springer, (2000)Optimality in Abstractions of Model Checking, , und . SAS, Volume 983 von Lecture Notes in Computer Science, Seite 51-63. Springer, (1995)Probabilistic Lossy Channel Systems., und . TAPSOFT, Volume 1214 von Lecture Notes in Computer Science, Seite 667-681. Springer, (1997)C Wolf - A Toolset for Extracting Models from C Programs., und . FORTE, Volume 2529 von Lecture Notes in Computer Science, Seite 260-275. Springer, (2002)Unfoldings of Unbounded Petri Nets., , und . CAV, Volume 1855 von Lecture Notes in Computer Science, Seite 495-507. Springer, (2000)