( en | de | ru )

 

Disambiguierung von "Alur, Rajeev"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Communicating Hierarchical State Machines.

, , und . ICALP, Volume 1644 von Lecture Notes in Computer Science, Seite 169-178. Springer, (1999)

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

Contention-free Complexity of Shared Memory Algorithms., und . PODC, Seite 61-70. ACM, (1994)How Can Automatic Feedback Help Students Construct Automata?, , , , , und . ACM Trans. Comput. Hum. Interact., 22 (2): 9:1-9:24 (2015)Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems., , , und . Hybrid Systems, Volume 736 von Lecture Notes in Computer Science, Seite 209-229. Springer, (1992)Policy Synthesis and Reinforcement Learning for Discounted LTL., , , , , und . CAV (1), Volume 13964 von Lecture Notes in Computer Science, Seite 415-435. Springer, (2023)NetEgg: A Scenario-Based Programming Toolkit for SDN Policies., , , , , , und . IEEE/ACM Trans. Netw., 26 (5): 2104-2117 (2018)Trends and Challenges in Algorithmic Software Verification.. VSTTE, Volume 4171 von Lecture Notes in Computer Science, Seite 245-250. Springer, (2005)Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination., , , , und . World Congress on Formal Methods, Volume 1708 von Lecture Notes in Computer Science, Seite 212-232. Springer, (1999)A Composable Specification Language for Reinforcement Learning Tasks., , und . NeurIPS, Seite 13021-13030. (2019)Model Checking on Trees with Path Equivalences., , und . TACAS, Volume 4424 von Lecture Notes in Computer Science, Seite 664-678. Springer, (2007)Pattern-Based Refinement of Assume-Guarantee Specifications in Reactive Synthesis., , und . TACAS, Volume 9035 von Lecture Notes in Computer Science, Seite 501-516. Springer, (2015)