Proof Labeling Schemes for Reachability-Related Problems in Directed Graphs von Ben Shimon, Yoav, Fischer, Orr, Oshman, Rotem

Volltext

Hyperproperty-Preserving Register Specifications (Extended Version) von Shimon, Yoav Ben, Lahav, Ori, Shoham, Sharon

Volltext bestellen

Hyperproperty-Preserving Register Specifications (Extended Version) von Yoav Ben Shimon, Lahav, Ori, Shoham, Sharon

Volltext

A Zebrafish Model for a Rare Genetic Disease Reveals a Conserved Role for FBXL3 in the Circadian Clock System von Confino, Shir, Dor, Talya, Tovin, Adi, Wexler, Yair, Ben-Moshe Livne, Zohar, Kolker, Michaela, Pisanty, Odelia, Park, Sohyun Kathy, Geyer, Nathalie, Reiter, Joel, Edvardson, Shimon, Mor-Shaked, Hagar, Elpeleg, Orly, Vallone, Daniela, Appelbaum, Lior, Foulkes, Nicholas S, Gothilf, Yoav

Volltext

Role of defibrillation threshold testing during implantable cardioverter-defibrillator placement: Data from the Israeli ICD Registry von Arnson, Yoav, MD, Suleiman, Mahmoud, MD, Glikson, Michael, MD, Sela, Ron, MD, Geist, Michael, MD, Amit, Guy, MD, Schliamser, Jorge E., MD, Goldenberg, Ilan, MD, Ben-Zvi, Shlomit, BSc, Orvin, Katia, MD, Rosenheck, Shimon, MD, FACC, FAHA, FESC, FHRS, Adam Freedberg, Nahum, MD, Strasberg, Boris, MD, Haim, Moti, MD

Volltext

Gamla III Part 2: The Shmarya Gutmann excavations 1976-1989, finds and studies: part 2 von Danny Syon

Volltext bestellen

Gamla III: The Shmarya Gutmann excavations 1976-1989, finds and studies: part 1 von Danny Syon

Volltext bestellen