( en | de | ru )

 

Disambiguierung von "Chockler, Hana"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Causal Analysis of Harm.

, , und . Minds Mach., 34 (3): 34 (September 2024)

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 Byra

Hana Venticinque

Hana Muchová

Hana Kühr

 

Weitere Publikationen von Autoren mit dem selben Namen

Which formulae shrink under random restrictions?, und . SODA, Seite 702-708. ACM/SIAM, (2001)Verification of software changes with ExpliSAT., und . HotSWUp, Seite 31-35. IEEE Computer Society, (2012)Synthesizing Reactive Systems Using Robustness and Recovery Specifications., , , und . FMCAD, Seite 147-151. IEEE, (2019)Using cross-entropy for satisfiability., , , , und . SAC, Seite 1196-1203. ACM, (2013)Introduction., , , und . Validation of Evolving Software, Springer, (2015)Challenges of Existing Technology., , , 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)You Only Explain Once., , , , , , und . CoRR, (2023)Efficient Automatic STE Refinement Using Responsibility., , und . TACAS, Volume 4963 von Lecture Notes in Computer Science, Seite 233-248. Springer, (2008)Explaining Image Classifiers Using Statistical Fault Localization., , , und . ECCV (28), Volume 12373 von Lecture Notes in Computer Science, Seite 391-406. Springer, (2020)