( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Analysis and verification of the HMGB1 signaling pathway.

, , , , и . BMC Bioinform., 11 (S-7): S10 (2010)

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.

No persons found for author name Komuravelli, Anvesh
add a person with the name Komuravelli, Anvesh
 

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

A static verification approach for architectural integration of mixed-signal integrated circuits., , , , и . Integr., 43 (1): 58-71 (2010)Assumption Generation for Asynchronous Systems by Abstraction Refinement., , , и . FACS, том 7684 из Lecture Notes in Computer Science, стр. 260-276. Springer, (2012)Computational Modeling and Verification of Signaling Pathways in Cancer., , , , и . ANB, том 6479 из Lecture Notes in Computer Science, стр. 117-135. Springer, (2010)Analysis and verification of the HMGB1 signaling pathway., , , , и . BMC Bioinform., 11 (S-7): S10 (2010)Backward Reasoning with Formal Properties: A Methodology for Bug Isolation on Simulation Traces., , , и . Asian Test Symposium, стр. 238-243. IEEE Computer Society, (2011)Analog circuit verification by statistical model checking., , , и . ASP-DAC, стр. 1-6. IEEE, (2011)SMT-Based Model Checking for Recursive Programs., , и . CAV, том 8559 из Lecture Notes in Computer Science, стр. 17-34. Springer, (2014)Exploring Polygonal Environments by Simple Robots with Faulty Combinatorial Vision., и . SSS, том 5873 из Lecture Notes in Computer Science, стр. 458-471. Springer, (2009)Assume-Guarantee Abstraction Refinement for Probabilistic Systems., , и . CAV, том 7358 из Lecture Notes in Computer Science, стр. 310-326. Springer, (2012)SMT-based model checking for recursive programs., , и . Formal Methods Syst. Des., 48 (3): 175-205 (2016)