( en | de | ru )

 

Disambiguierung von "Chockler, Hana"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Responsibility and Blame: A Structural-Model Approach.

, und . J. Artif. Intell. Res., (2004)

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

Formal verification of concurrent software: two case studies., , , , , und . PADTAD, Seite 11-22. ACM, (2006)w-Regular languages are testable with a constant number of queries, und . Theor. Comput. Sci., 329 (1-3): 71-92 (2004)omega-Regular Languages Are Testable with a Constant Number of Queries., und . RANDOM, Volume 2483 von Lecture Notes in Computer Science, Seite 26-28. Springer, (2002)Coverage Metrics for Formal Verification., , und . CHARME, Volume 2860 von Lecture Notes in Computer Science, Seite 111-125. Springer, (2003)Improving Representative Computation in ExpliSAT., , und . Haifa Verification Conference, Volume 8244 von Lecture Notes in Computer Science, Seite 359-364. Springer, (2013)Coverage metrics for model checking (מטריקות כיסוי לבדיקות מודל.).. Hebrew University of Jerusalem, Israel, (2003)Preface.. VSSE, Volume 294 von Electronic Notes in Theoretical Computer Science, Seite 1. Elsevier, (2013)A Study of Demographic Bias in CNN-Based Brain MR Segmentation., , , und . MLCN@MICCAI, Volume 13596 von Lecture Notes in Computer Science, Seite 13-22. Springer, (2022)Why Do Things Go Wrong (or Right)? Applications of Causal Reasoning to Verification.. FMCAD, Seite 1. IEEE, (2022)Lattice-Based Refinement in Bounded Model Checking., , , , und . VSTTE, Volume 11294 von Lecture Notes in Computer Science, Seite 50-68. Springer, (2018)