( en | de | ru )

 

Disambiguierung von "Chockler, Hana"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Lightweight Static Analysis Check of Upgrades in C/C++ Software.

, und . Validation of Evolving Software, Springer, (2015)

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.

Hana Isijanov

Hypofraktionierte Re-Bestrahlung von Rezidiven maligner Gliome. Uni Tübingen, (2010)

Hana Muchová

Hana Byra

Hana Venticinque

Hana Hassanin

 

Weitere Publikationen von Autoren mit dem selben Namen

Which formulae shrink under random restrictions?, und . SODA, Seite 702-708. ACM/SIAM, (2001)Introduction., , , und . Validation of Evolving Software, Springer, (2015)Challenges of Existing Technology., , , und . Validation of Evolving Software, Springer, (2015)Lightweight Static Analysis Check of Upgrades in C/C++ Software., und . Validation of Evolving Software, Springer, (2015)You Only Explain Once., , , , , , und . CoRR, (2023)Causal Analysis of the TOPCAT Trial: Spironolactone for Preserved Cardiac Function Heart Failure., , , , , , , , und . CoRR, (2022)Preface of the special issue on the conference on computer-aided verification 2018., und . Formal Methods Syst. Des., 57 (1): 1-2 (2021)Coverage metrics for formal verification., , und . Int. J. Softw. Tools Technol. Transf., 8 (4-5): 373-386 (2006)Explaining Image Classifiers Using Statistical Fault Localization., , , und . ECCV (28), Volume 12373 von Lecture Notes in Computer Science, Seite 391-406. Springer, (2020)Efficient Automatic STE Refinement Using Responsibility., , und . TACAS, Volume 4963 von Lecture Notes in Computer Science, Seite 233-248. Springer, (2008)