E-LIB Suche - Ergebnisse für: Shachar, Shalom

1

Robust design under cumulative damage due to dynamic failur..:

Engel, Avner ; Teller, Amit ; Shachar, Shalom.
Systems Engineering. 24 (2021) 5 - p. 322-338 , 2021

Link: https://doi.org/10.1002/..

2

SysTest: Improving the verification, validation, and testin..:

Hoppe, Markus ; Engel, Avner ; Shachar, Shalom
Systems Engineering. 10 (2007) 4 - p. 323-347 , 2007

Link: https://doi.org/10.1002/..

3

Measuring and optimizing systems' quality costs and project..:

Engel, Avner ; Shachar, Shalom
Systems Engineering. 9 (2006) 3 - p. 259-280 , 2006

Link: https://doi.org/10.1002/..

4

1.4.3 Estimating and Optimizing System's Quality Costs of T..:

Engel, Avner ; Shachar, Shalom ; Bogomolni, Itzhak
INCOSE International Symposium. 15 (2005) 1 - p. 198-210 , 2005

Link: https://doi.org/10.1002/..

5

9.2.3 Gathering Historical Lifecycle Quality Costs to Suppo..:

Engel, Avner ; Bogomolni, Izhak ; Shachar, Shalom.
INCOSE International Symposium. 14 (2004) 1 - p. 1884-1897 , 2004

Link: https://doi.org/10.1002/..

6

S-SNOM Imaging of Stacking Order in Few-Layer Graphene:

, In: 2023 Conference on Lasers and Electro-Optics Europe & European Quantum Electronics Conference (CLEO/Europe-EQEC),

Beitner, Daniel ; Amitay, Shaked ; Atrt, Simon Sallah... - p. 1-1 , 2023

Link: https://doi.org/10.1109/..

7

Mid-Infrared Mapping of Four-Layer Graphene Polytypes Using..:

Beitner, Daniel ; Amitay, Shaked ; Salleh Atri, Simon...
Nano Letters. 23 (2023) 23 - p. 10758-10764 , 2023

Link: https://doi.org/10.1021/..

8

Runtime Complexity Bounds Using Squeezers:

Ish-Shalom, Oren ; Itzhaky, Shachar ; Rinetzky, Noam.
ACM Transactions on Programming Languages and Systems. 44 (2022) 3 - p. 1-36 , 2022

Link: https://doi.org/10.1145/..

9

Run-time Complexity Bounds Using Squeezers:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Ish-Shalom, Oren ; Itzhaky, Shachar ; Rinetzky, Noam. - p. 320-347 , 2021

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

10

Putting the Squeeze on Array Programs: Loop Verification vi..:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,

Ish-Shalom, Oren ; Itzhaky, Shachar ; Rinetzky, Noam. - p. 112-135 , 2020

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

11

Harnessing Static Analysis to Help Learn Pseudo-Inverses of..:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,

Ish-Shalom, Oren ; Itzhaky, Shachar ; Manevich, Roman. - p. 180-201 , 2020

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

12

Computing summaries of string loops in C for better testing..:

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

Kapus, Timotej ; Ish-Shalom, Oren ; Itzhaky, Shachar.. - p. 874-888 , 2019

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

13

Light‐Emitting Biocomposites: Stable White Light‐Emitting B..:

Gotta, Julia ; Shalom, Tal Ben ; Aslanoglou, Stella...
Advanced Functional Materials. 28 (2018) 24 - p. , 2018

Link: https://doi.org/10.1002/..

14

Stable White Light‐Emitting Biocomposite Films:

Gotta, Julia ; Shalom, Tal Ben ; Aslanoglou, Stella...
Advanced Functional Materials. 28 (2018) 24 - p. , 2018

Link: https://doi.org/10.1002/..

15

Chitosan-Hyaluronate Hybrid Gel Intraarticular Injection De..:

Patchornik, Shachar ; Ram, Edward ; Ben Shalom, Noah..
Advances in Orthopedics. 2012 (2012) - p. 1-5 , 2012

Link: https://doi.org/10.1155/..