E-LIB Suche - Ergebnisse für: Sagiv, Oded

1

Targeted and Immune Therapy for Periocular and Orbital Mali..:

, In: Orbit and Oculoplastics; Current Practices in Ophthalmology,

Sagiv, Oded ; Jaber, Bashar ; Esmaeli, Bita - p. 83-97 , 2019

Link: https://doi.org/10.1007/..

2

Special Considerations for Periocular Basal Cell Carcinoma:

, In: Basal Cell Carcinoma,

Sagiv, Oded ; Sa, Ho-Seok ; Esmaeli, Bita - p. 161-176 , 2019

Link: https://doi.org/10.1007/..

3

Sentinel Lymph Node Biopsy for Eyelid and Conjunctival Mali..:

, In: Clinical Ophthalmic Oncology,

Sagiv, Oded ; Esmaeli, Bita - p. 261-277 , 2019

Link: https://doi.org/10.1007/..

4

Modularity for decidability of deductive verification with ..:

, In: Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation,

Taube, Marcelo ; Losa, Giuliano ; McMillan, Kenneth L.... - p. 662-677 , 2018

Link: https://dl.acm.org/doi/1..

5

Decidability of inferring inductive invariants:

, In: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,

Padon, Oded ; Immerman, Neil ; Shoham, Sharon.. - p. 217-231 , 2016

Link: https://dl.acm.org/doi/1..

6

Ivy: safety verification by interactive generalization:

, In: Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation,

Padon, Oded ; McMillan, Kenneth L. ; Panda, Aurojit.. - p. 614-630 , 2016

Link: https://dl.acm.org/doi/1..

7

Decentralizing SDN Policies:

, In: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,

Padon, Oded ; Immerman, Neil ; Karbyshev, Aleksandr... - p. 663-676 , 2015

Link: https://dl.acm.org/doi/1..

8

Equivalence, query-reachability and satisfiability in Datal..:

, In: Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems,

Levy, Alon ; Mumick, Inderpal Singh ; Sagiv, Yehoshua. - p. 109-122 , 1993

Link: https://dl.acm.org/doi/1..

9

The equivalence of solving queries and producing tree proje..:

, In: Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems,

Sagiv, Yehoshua ; Shmueli, Oded - p. 160-172 , 1985

Link: https://dl.acm.org/doi/1..

10

Contributors:

, In: Boron Separation Processes,

Başaran, Nurşen ; Beker, Ulker ; Bicak, Niyazi... - p. xi-xiii , 2015

Link: https://doi.org/10.1016/..