Sound Gradual Verification with Symbolic Execution von Zimmerman, Conrad, DiVincenzo, Jenna, Aldrich, Jonathan

Volltext

Gradual C0: Symbolic Execution for Gradual Verification von DiVincenzo, Jenna, McCormack, Ian, Zimmerman, Conrad, Gouni, Hemant, Gorenburg, Jacob, Ramos-Dávila, Jan-Paul, Zhang, Mona, Sunshine, Joshua, Tanter, Éric, Aldrich, Jonathan

Volltext

Gradual Exact Logic: Unifying Hoare Logic and Incorrectness Logic via Gradual Verification von Zimmerman, Conrad, DiVincenzo, Jenna

Volltext bestellen

Gradual Exact Logic: Unifying Hoare Logic and Incorrectness Logic via Gradual Verification von Zimmerman, Conrad, DiVincenzo, Jenna

Volltext

Sound Gradual Verification with Symbolic Execution von Zimmerman, Conrad, DiVincenzo, Jenna, Aldrich, Jonathan

Volltext

Latte: Lightweight Aliasing Tracking for Java von Zimmerman, Conrad, Gamboa, Catarina, Fonseca, Alcides, Aldrich, Jonathan

Volltext bestellen

Latte: Lightweight Aliasing Tracking for Java von Zimmerman, Conrad, Gamboa, Catarina, Fonseca, Alcides, Aldrich, Jonathan

Volltext

Gradual C0: Symbolic Execution for Gradual Verification von DiVincenzo, Jenna, McCormack, Ian, Gouni, Hemant, Gorenburg, Jacob, Ramos-Dávila, Jan-Paul, Zhang, Mona, Zimmerman, Conrad, Sunshine, Joshua, Tanter, Éric, Aldrich, Jonathan

Volltext bestellen

Gradual C0: Symbolic Execution for Gradual Verification von DiVincenzo, Jenna, McCormack, Ian, Gouni, Hemant, Gorenburg, Jacob, Jan-Paul Ramos-Dávila, Zhang, Mona, Zimmerman, Conrad, Sunshine, Joshua, Tanter, Éric, Aldrich, Jonathan

Volltext

Tests of western yellow pine car sills, joists, and small clear pieces von Zimmerman, Conrad William, 1882

Volltext bestellen

Tests of western yellow pine car sills, joists, and small clear pieces / by C.W. Zimmerman : v.497(1917) von Zimmerman, Conrad William, 1882

Volltext bestellen

Updated MiniBooNE neutrino oscillation results with increased data and new background studies von Aguilar-Arevalo, A. A., Brown, B. C., Conrad, J. M., Dharmapalan, R., Diaz, A., Djurcic, Z., Finley, D. A., Ford, R., Garvey, G. T., Gollapinni, S., Hourlier, A., Huang, E.-C., Kamp, N. W., Karagiorgi, G., Katori, T., Kobilarcik, T., Lin, K., Louis, W. C., Mariani, C., Marsh, W., Mills, G. B., Mirabal-Martinez, J., Moore, C. D., Nelson, R. H., Nowak, J., Parmaksiz, I., Pavlovic, Z., Ray, H., Roe, B. P., Russell, A. D., Schneider, A., Shaevitz, M. H., Siegel, H., Spitz, J., Stancu, I., Tayloe, R., Thornton, R. T., Tzanov, M., Van de Water, R. G., White, D. H., Zimmerman, E. D.

Volltext

MiniBooNE and MicroBooNE Combined Fit to a 3 + 1 Sterile Neutrino Scenario von Aguilar-Arevalo, A. A., Brown, B. C., Conrad, J. M., Dharmapalan, R., Diaz, A., Djurcic, Z., Finley, D. A., Ford, R., Garvey, G. T., Gollapinni, S., Hourlier, A., Huang, E.-C., Kamp, N. W., Karagiorgi, G., Katori, T., Kobilarcik, T., Lin, K., Louis, W. C., Mariani, C., Marsh, W., Mills, G. B., Mirabal-Martinez, J., Moore, C. D., Nelson, R. H., Nowak, J., Pavlovic, Z., Ray, H., Roe, B. P., Russell, A. D., Schneider, A., Shaevitz, M. H., Spitz, J., Stancu, I., Tayloe, R., Thornton, R. T., Tzanov, M., Van de Water, R. G., White, D. H., Zimmerman, E. D.

Volltext

Significant Excess of Electronlike Events in the MiniBooNE Short-Baseline Neutrino Experiment von Aguilar-Arevalo, A A, Brown, B C, Bugel, L, Cheng, G, Conrad, J M, Cooper, R L, Dharmapalan, R, Diaz, A, Djurcic, Z, Finley, D A, Ford, R, Garcia, F G, Garvey, G T, Grange, J, Huang, E-C, Huelsnitz, W, Ignarra, C, Johnson, R A, Karagiorgi, G, Katori, T, Kobilarcik, T, Louis, W C, Mariani, C, Marsh, W, Mills, G B, Mirabal, J, Monroe, J, Moore, C D, Mousseau, J, Nienaber, P, Nowak, J, Osmanov, B, Pavlovic, Z, Perevalov, D, Ray, H, Roe, B P, Russell, A D, Shaevitz, M H, Spitz, J, Stancu, I, Tayloe, R, Thornton, R T, Tzanov, M, Van de Water, R G, White, D H, Wickremasinghe, D A, Zimmerman, E D

Volltext

Toward indicators of the performance of US infrastructures under climate change risks von Wilbanks, Thomas J., Zimmerman, Rae, Julius, Susan, Kirshen, Paul, Smith, Joel B., Moss, Richard, Solecki, William, Ruth, Matthias, Conrad, Stephen, Fernandez, Steven J., Matthews, Michael S., Savonis, Michael J., Scarlett, Lynn, Schwartz, Henry G., Toole, G. Loren

Volltext

First Measurement of Monoenergetic Muon Neutrino Charged Current Interactions von Aguilar-Arevalo, A A, Brown, B C, Bugel, L, Cheng, G, Church, E D, Conrad, J M, Cooper, R L, Dharmapalan, R, Djurcic, Z, Finley, D A, Fitzpatrick, R S, Ford, R, Garcia, F G, Garvey, G T, Grange, J, Huelsnitz, W, Ignarra, C, Imlay, R, Johnson, R A, Jordan, J R, Karagiorgi, G, Katori, T, Kobilarcik, T, Louis, W C, Mahn, K, Mariani, C, Marsh, W, Mills, G B, Mirabal, J, Moore, C D, Mousseau, J, Nienaber, P, Osmanov, B, Pavlovic, Z, Perevalov, D, Ray, H, Roe, B P, Russell, A D, Shaevitz, M H, Spitz, J, Stancu, I, Tayloe, R, Thornton, R T, Van de Water, R G, Wascko, M O, White, D H, Wickremasinghe, D A, Zeller, G P, Zimmerman, E D

Volltext

Altered brain function, structure, and developmental trajectory in children born late preterm von Brumbaugh, Jane E., Conrad, Amy L., Lee, Jessica K., DeVolder, Ian J., Zimmerman, M. Bridget, Magnotta, Vincent A., Axelson, Eric D., Nopoulos, Peggy C.

Volltext

Improved Search for ν ¯ μ → ν ¯ e Oscillations in the MiniBooNE Experiment von Aguilar-Arevalo, A. A., Brown, B. C., Bugel, L., Cheng, G., Church, E. D., Conrad, J. M., Dharmapalan, R., Djurcic, Z., Finley, D. A., Ford, R., Garcia, F. G., Garvey, G. T., Grange, J., Huelsnitz, W., Ignarra, C., Imlay, R., Johnson, R. A., Karagiorgi, G., Katori, T., Kobilarcik, T., Louis, W. C., Mariani, C., Marsh, W., Mills, G. B., Mirabal, J., Moore, C. D., Mousseau, J., Nienaber, P., Osmanov, B., Pavlovic, Z., Perevalov, D., Polly, C. C., Ray, H., Roe, B. P., Russell, A. D., Shaevitz, M. H., Spitz, J., Stancu, I., Tayloe, R., Van de Water, R. G., White, D. H., Wickremasinghe, D. A., Zeller, G. P., Zimmerman, E. D.

Volltext

Dementia as a Risk Factor for Falls and Fall Injuries Among Nursing Home Residents von Van Doorn, Carol, Gruber-Baldini, Ann L., Zimmerman, Sheryl, Richard Hebel, J., Port, Cynthia L., Baumgarten, Mona, Quinn, Charlene C., Taler, George, May, Conrad, Magaziner, Jay

Volltext

Precise determination of electroweak parameters in neutrino-nucleon scattering von Zeller, G P, McFarland, K S, Adams, T, Alton, A, Avvakumov, S, de Barbaro, L, de Barbaro, P, Bernstein, R H, Bodek, A, Bolton, T, Brau, J, Buchholz, D, Budd, H, Bugel, L, Conrad, J, Drucker, R B, Fleming, B T, Frey, R, Formaggio, J A, Goldman, J, Goncharov, M, Harris, D A, Johnson, R A, Kim, J H, Koutsoliotas, S, Lamm, M J, Marsh, W, Mason, D, McDonald, J, McNulty, C, Naples, D, Nienaber, P, Romosan, A, Sakumoto, W K, Schellman, H, Shaevitz, M H, Spentzouris, P, Stern, E G, Suwonjandee, N, Tzanov, M, Vakili, M, Vaitaitis, A, Yang, U K, Yu, J, Zimmerman, E D

Volltext