( 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)Analysis and verification of the HMGB1 signaling pathway., , , , и . BMC Bioinform., 11 (S-7): S10 (2010)Computational Modeling and Verification of Signaling Pathways in Cancer., , , , и . ANB, том 6479 из Lecture Notes in Computer Science, стр. 117-135. Springer, (2010)Backward Reasoning with Formal Properties: A Methodology for Bug Isolation on Simulation Traces., , , и . Asian Test Symposium, стр. 238-243. IEEE Computer Society, (2011)SMT-based model checking for recursive programs., , и . Formal Methods Syst. Des., 48 (3): 175-205 (2016)Automatic Abstraction in SMT-Based Unbounded Software Model Checking., , , и . CAV, том 8044 из Lecture Notes in Computer Science, стр. 846-862. Springer, (2013)Assume-Guarantee Abstraction Refinement for Probabilistic Systems., , и . CAV, том 7358 из Lecture Notes in Computer Science, стр. 310-326. Springer, (2012)Compositional Verification of Procedural Programs using Horn Clauses over Integers and Arrays., , , и . FMCAD, стр. 89-96. IEEE, (2015)Analog circuit verification by statistical model checking., , , и . ASP-DAC, стр. 1-6. IEEE, (2011)