( en | de | ru )

 

Disambiguierung von "Chockler, Hana"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The Computational Complexity of Structure-Based Causality.

, , , und . AAAI, Seite 974-980. AAAI Press, (2014)

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

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)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)Which formulae shrink under random restrictions?, und . SODA, Seite 702-708. ACM/SIAM, (2001)Preface of the special issue on the conference on computer-aided verification 2018., und . Formal Methods Syst. Des., 57 (1): 1-2 (2021)You Only Explain Once., , , , , , und . CoRR, (2023)Causal Analysis of the TOPCAT Trial: Spironolactone for Preserved Cardiac Function Heart Failure., , , , , , , , und . CoRR, (2022)The Computational Complexity of Structure-Based Causality., , , und . AAAI, Seite 974-980. AAAI Press, (2014)