Program synthesis for interactive-security systems von Harris, William R., Jha, Somesh, Reps, Thomas W., Seshia, Sanjit A.

Volltext

Biomarker-Driven and Molecular Targeted Therapies for Hepatobiliary Cancers von Harris, William P., Wong, Kit Man, Saha, Supriya, Dika, Imane El, Abou-Alfa, Ghassan K.

Volltext

WILL SYSTEMS-OF-SYSTEMS MODELS SUPPORT COST RECOVERY FOR CRITICAL INFRASTRUCTURE RESILIENCY? von Harris, William R.

Volltext

Security challenges in automotive hardware/software architecture design von Sagstetter, Florian, Lukasiewycz, Martin, Steinhorst, Sebastian, Wolf, Marko, Bouard, Alexandre, Harris, William R., Jha, Somesh, Peyrin, Thomas, Poschmann, Axel, Chakraborty, Samarjit

Volltext

Fractures of the spine in diffuse idiopathic skeletal hyperostosis von PALEY, D, SCHWARTZ, M, COOPER, P, HARRIS, W. R, LEVINE, A. M

Volltext

Program analysis via satisfiability modulo path programs von Harris, William R., Sankaranarayanan, Sriram, Ivančić, Franjo, Gupta, Aarti

Volltext

Rand's role in the evolution of balloon and satellite observation systems and related U.S. space technology / Merton E. Davies, William R. Harris von Davies, Merton E

Volltext bestellen

Spreadsheet Data Manipulation Using Examples von GULWANI, Sumit, HARRIS, William R, SINGH, Rishabh

Volltext

Real Even Symmetric Ternary Forms von Harris, William R.

Volltext

Secure Programming via Visibly Pushdown Safety Games von Harris, William R., Jha, Somesh, Reps, Thomas

Volltext

Complexity verification using guided theorem enumeration von Srikanth, Akhilesh, Sahin, Burak, Harris, William R.

Volltext

Declarative, Temporal, and Practical Programming with Capabilities von Harris, W. R., Jha, S., Reps, T., Anderson, J., Watson, R. N. M.

Volltext

Alternation for Termination von Harris, William R., Lal, Akash, Nori, Aditya V., Rajamani, Sriram K.

Volltext

Shield for zero-turn mowers von Harris, William R

Volltext bestellen

Spreadsheet table transformations from examples von Harris, William R., Gulwani, Sumit

Volltext

Validating Library Usage Interactively von Harris, William R., Jin, Guoliang, Lu, Shan, Jha, Somesh

Volltext

DENTAL LASER APPARATUS AND METHOD OF USE WITH INTERCHANGEABLE HAND PIECE AND VARIABLE FOOT PEDAL von Bafitos, Leonid Antoun, Quillard, Jon Robert, Monty, Nathan P, Groves, JR., William Harris, Dresser, Charles H

Volltext bestellen

Spreadsheet table transformations from examples von Harris, William R., Gulwani, Sumit

Volltext

Gas expansion material jetting actuator von Harris, William R, Vader, Scott J, Mantell, David A, Chungbin, Christopher T, Vader, Zachary S, Tawil, Kareem N, Sukhotskiy, Viktor

Volltext bestellen

Method for generating variable length strobe pulses with reference to image distance von Harris, William R, Pratt, James L, Shuman, Patrick

Volltext bestellen