( en | de | ru )

 

Disambiguierung von "Alur, Rajeev"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Analysis of recursive state machines.

, , , , , und . ACM Trans. Program. Lang. Syst., 27 (4): 786-818 (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.

Rajeev Sudra

Naresh Kumar Aluri

Rajeev Gangula

Sirisha Aluri

Bhaskar Reddy Aluri

 

Weitere Publikationen von Autoren mit dem selben Namen

Deterministic generators and games for Ltl fragments., und . ACM Trans. Comput. Log., 5 (1): 1-25 (2004)The Benefits of Relaxing Punctuality., , und . J. ACM, 43 (1): 116-146 (1996)Software model checking using languages of nested trees., , und . ACM Trans. Program. Lang. Syst., 33 (5): 15:1-15:45 (2011)Contention-free Complexity of Shared Memory Algorithms., und . PODC, Seite 61-70. ACM, (1994)Parametric real-time reasoning., , und . STOC, Seite 592-601. ACM, (1993)Modular Strategies for Infinite Games on Recursive Graphs., , und . CAV, Volume 2725 von Lecture Notes in Computer Science, Seite 67-79. Springer, (2003)Exploiting Behavioral Hierarchy for Efficient Model Checking., , und . CAV, Volume 2404 von Lecture Notes in Computer Science, Seite 338-342. Springer, (2002)Local Liveness for Compositional Modeling of Fair Reactive Systems., und . CAV, Volume 939 von Lecture Notes in Computer Science, Seite 166-179. Springer, (1995)A Temporal Logic of Nested Calls and Returns., , und . TACAS, Volume 2988 von Lecture Notes in Computer Science, Seite 467-481. Springer, (2004)MOCHA: Modularity in Model Checking., , , , , und . CAV, Volume 1427 von Lecture Notes in Computer Science, Seite 521-525. Springer, (1998)