( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Analysis of Dynamic Process Networks.

, и . TACAS, том 9035 из Lecture Notes in Computer Science, стр. 164-178. Springer, (2015)

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.

Jayalakshmi Kedarisetti

Kedar Shrikant Ranade

Kedar Nath Prasad Sinha

S Ulrich

S Hilt

 

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

The Resh Programming Language for Multirobot Orchestration., , и . ICRA, стр. 4026-4032. IEEE, (2021)Local Proofs for Global Safety Properties., и . CAV, том 4590 из Lecture Notes in Computer Science, стр. 55-67. Springer, (2007)Efficient Analysis of Cyclic Definitions., и . CAV, том 1633 из Lecture Notes in Computer Science, стр. 394-405. Springer, (1999)Syntactic Program Transformations for Automatic Abstraction., и . CAV, том 1855 из Lecture Notes in Computer Science, стр. 435-449. Springer, (2000)Securing a Compiler Transformation., и . SAS, том 9837 из Lecture Notes in Computer Science, стр. 170-188. Springer, (2016)Local proofs for global safety properties, и . Form. Methods Syst. Des., 34 (2): 104--125 (2009)The Impact of Program Transformations on Static Program Analysis., и . SAS, том 11002 из Lecture Notes in Computer Science, стр. 306-325. Springer, (2018)Analysis of Dynamic Process Networks., и . TACAS, том 9035 из Lecture Notes in Computer Science, стр. 164-178. Springer, (2015)Simple and fast biased locks., , и . PACT, стр. 65-74. ACM, (2010)Incremental Algorithms for Inter-procedural Analysis of Safety Properties., , , и . CAV, том 3576 из Lecture Notes in Computer Science, стр. 449-461. Springer, (2005)