( en | de | ru )

 

Disambiguierung von "Komuravelli, Anvesh"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Analysis and verification of the HMGB1 signaling pathway.

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

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.

Keine Personen gefunden für den Autorennamen Komuravelli, Anvesh
Eine Person hinzufügen mit dem Namen Komuravelli, Anvesh
 

Weitere Publikationen von Autoren mit dem selben Namen

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