( en | de | ru )

 

Disambiguation of "Chockler, Hana"

Author of the publication

copydeleteadd this publication to your clipboard
A Quantitative Account of Harm.

, , and . CoRR, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Hana Isijanov

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

Hana Muchová

Hana Byra

Hana Venticinque

Hana Hassanin

 

Other publications of authors with the same name

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