( 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 Kühr

 

Weitere Publikationen von Autoren mit dem selben Namen

Coverage metrics for formal verification., , und . Int. J. Softw. Tools Technol. Transf., 8 (4-5): 373-386 (2006)Preface of the special issue on the conference on computer-aided verification 2018., und . Formal Methods Syst. Des., 57 (1): 1-2 (2021)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)Explaining Image Classifiers Using Statistical Fault Localization., , , und . ECCV (28), Volume 12373 von Lecture Notes in Computer Science, Seite 391-406. Springer, (2020)The Computational Complexity of Structure-Based Causality., , , und . AAAI, Seite 974-980. AAAI Press, (2014)