Transformation-Based Library Adaptation for Embedded Systems by Winter, V.L., Mametjanov, A., Morrison, S.E., McCoy, J.A., Wickstrom, G.L.

Request full text

Do you trust your compiler? by Boyle, J.M., Resler, R.D., Winter, V.L.

Get full text

A transformational overview of the core functionality of an abstract class loader for the SSP by Winter, V.L., Beranek, J., Mametjanov, A., Fraij, F., Roach, S., Wickstrom, G.

Request full text

Software on the edge by Winter, V.L.

Request full text

A survey: applying formal methods to a software intensive system by de Groot, A., Hooman, J., Lemoine, M., Gaudiere, G., Winter, V.L., Kapur, D.

Request full text

A synchronous paradigm for modeling stable reactive systems by Winter, V.L.

Request full text

An overview of HATS: a language independent high assurance transformation system by Winter, V.L.

Request full text

Panel topic: software systerns: consequence versus functionality by Winter, V.L., Berg, R.

Request full text

Proving refinement transformations for deriving high-assurance software by Winter, V.L., Boyle, J.M.

Request full text

Do you trust your compiler? Applying formal methods to constructing high-assurance compilers by Boyle, J.M., Resler, R.D., Winter, V.L.

Request full text

Vaginal metastasis in gestational trophoblastic neoplasia: Experience from Sheffield trophoblastic disease Centre and recommendations for management by Parker, V.L., Hodson, E.M.D., Singh, K., Winter, M.C., Palmer, J.E.

Get full text

Classification Systems in Gestational Trophoblastic Neoplasia - Sentiment or Evidenced Based? by Parker, V.L, Pacey, A.A, Palmer, J.E, Tidy, J.A, Winter, M.C, Hancock, B.W

Get full text

The Effectiveness of Proprioceptive Training for Improving Motor Performance and Motor Dysfunction: A Systematic Review by Winter, Leoni, Huang, Qiyin, Sertic, Jacquelyn V. L., Konczak, Jürgen

Get full text

Erratum to “Why matter matters. 50 years elementary particle physics – Festschrift for Lev B. Okun” [Phys. Rep. 320 (1999) 1–378] by Telegdi, V.L., Winter, K.

Get full text

Effect of time and cerebrovascular symptoms on the prevalence of microembolic signals in patients with cervical carotid stenosis by FORTEZA, A. M, BABIKIAN, V. L, HYDE, C, WINTER, M, POCHAY, V

Get full text

Search for the presence of H particles in a neutral beam by Belz, J., Cousins, R.D., Diwan, M.V., Eckhause, M., Ecklund, K., Fitch, V.L., Hancock, A.D., Highland, V.L., Hoff, C., Hoffmann, G.W., Irwin, G.M., Kane, J.R., Kettell, S.H., Klein, J.R., Kuang, Y., Lang, K., Martin, R., May, M., McDonough, J., Molzon, W.R., Riley, P.J., Ritchie, J.L., Schwartz, A.J., Trandafir, A., Ware, B., Welsh, R.E., White, S.N., Winter, R.G., Witkowski, M., Worm, S.

Get full text

A compact beam stop for a rare kaon decay experiment by Belz, J., Diwan, M., Eckhause, M., Guss, C.M., Hancock, A.D., Heinson, A.P., Highland, V.L., Hoffmann, G.W., Irwin, G.M., Kane, J.R., Kettell, S.H., Kuang, Y., Lang, K., McDonough, J., McFarlane, W.K., Molzon, W.R., Riley, P.J., Ritchie, J.L., Schwartz, A.J., Ware, B., Welsh, R.E., Winter, R.G., Witkowski, M., Wojcicki, S.G., Worm, S.D., Yamashita, A.

Get full text

Nuclear effects on the nucleon structure functions in hadronic high-mass dimuon production by Bordalo, P., Busson, Ph, Kluberg, L., Romana, A., Salmeron, R., Vallée, C., Blaising, J.J., Degré, A., Juillot, P., Morand, R., Winter, M., Groβmann-Handschin, M., Guanziroli, M., Jensen, D.A., Coultre, P.Le, Suter, H., Telegdi, V.L., Freudenreich, K., Ereditato, A., Gorini, E., Strolin, P.

Get full text

Collateral flow changes through the anterior communicating artery during carotid endarterectomy by Babikian, V.L., Schwarze, J.J., Cantelmo, N.L., Pochay, V., Winter, M.

Get full text

Observation of a nuclear dependence of the transverse momentum distribution of massive muon pairs produced in hadronic collisions by Bordalo, P., Busson, Ph, Kluberg, L., Romana, A., Salmeron, R., Vallée, C., Blaising, J.J., Degré, A., Juillot, P., Morand, R., Winter, M., Groβmann-Handschin, M., Guanziroli, M., Jensen, D.A., Coultre, P.Le, Suter, H., Telegdi, V.L., Freudenreich, K., Ereditato, A., Gorini, E., Strolin, P.

Get full text