( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Robust stability of multi-hop control networks.

, , , , и . CDC, стр. 2210-2215. IEEE, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Rajeev Sudra

Naresh Kumar Aluri

Rajeev Gangula

Bhaskar Reddy Aluri

Sirisha Aluri

 

Другие публикации лиц с тем же именем

Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems., , , и . Hybrid Systems, том 736 из Lecture Notes in Computer Science, стр. 209-229. Springer, (1992)First-Order and Temporal Logics for Nested Words., , , , , и . Logical Methods in Computer Science, (2008)Introduction., и . Formal Methods Syst. Des., 32 (1): 1 (2008)How Can Automatic Feedback Help Students Construct Automata?, , , , , и . ACM Trans. Comput. Hum. Interact., 22 (2): 9:1-9:24 (2015)Exploiting Behavioral Hierarchy for Efficient Model Checking., , и . CAV, том 2404 из Lecture Notes in Computer Science, стр. 338-342. Springer, (2002)Local Liveness for Compositional Modeling of Fair Reactive Systems., и . CAV, том 939 из Lecture Notes in Computer Science, стр. 166-179. Springer, (1995)A Temporal Logic of Nested Calls and Returns., , и . TACAS, том 2988 из Lecture Notes in Computer Science, стр. 467-481. Springer, (2004)Modular Strategies for Infinite Games on Recursive Graphs., , и . CAV, том 2725 из Lecture Notes in Computer Science, стр. 67-79. Springer, (2003)MOCHA: Modularity in Model Checking., , , , , и . CAV, том 1427 из Lecture Notes in Computer Science, стр. 521-525. Springer, (1998)Colored Nested Words., и . LATA, том 9618 из Lecture Notes in Computer Science, стр. 143-155. Springer, (2016)