Specification-based retrieval strategies for component architectures by Hemer, D.

Request full text

Computer-aided programming using formally specified design templates by Hemer, D.

Request full text

The LUX-ZEPLIN (LZ) experiment by Akerlof, C. W., Akimov, D. Yu, Alquahtani, A., Armstrong, J. E., Arthurs, M., Bang, J., Bauer, P., Baxter, A., Belle, J., Beltrame, P., Birrittella, B., Boast, K. E., Boxer, B., Bramante, R., Breidenbach, M., Buckley, J. H., Bugaev, V. V., Burdin, S., Carels, C., Cascella, M., Cherwinka, J. J., Chiller, A. A., Conley, R. A., Cottle, A., Coughlen, R., Craddock, W. W., Currie, A., Cutter, J. E., Edwards, B. N., Emmet, W. T., Faham, C. H., Fayer, S., Fogarty Florang, I. M., Francis, V. B., Fruth, T., Ghag, C., Gibson, E., Gokhale, S., Gonda, T. G., Greenwood, S., Hans, S., Hasselkus, C., Hertel, S. A., Hoff, M. D., Huang, D. Q., Jacobsen, R. G., Jeffery, S. N., Ji, W., Kamaha, A., Kocher, C. D., Koyuncu, M., Krebs, H. J., Larsen, N. A., Lee, H. S., Li, J., Lindote, A., Lynch, C., Manenti, L., Markley, D. J., Mei, D. -M., Molash, D., Morad, J. A., Murphy, A. St. J., Naim, D., Nedlik, C., O’Dell, J., Oh, H., O’Neill, F. G., Pagenkopf, D., Penning, B. P., Powell, S., Rose, H. J., Rucinski, R., Rutherford, G., Sabarots, L., Schnee, R. W., Seymour, D., Shaw, S., Skarpaas, K., Skulski, W., Sosnovtsev, V. V., Stark, M. R., Stern, N., Sumner, T. J., Sundarnath, K., Tennyson, B. P., Timalsina, M., To, W. H., Uvarov, S., Verbus, J. R., Walker, K., Watson, J. R., Weatherly, S., White, D. T., Wilson, K., Witherell, M. S., Xiang, X., Xiao, Q., Young, I., Zhang, C.

Get full text

Well-measuring programs by Cook, P., Fidge, C., Hemer, D.

Request full text

Specification-based retrieval strategies for module reuse by Hemer, D., Lindsay, P.

Request full text

Peer Assessment of Group-Based Software Engineering Projects by Hemer, D.

Request full text

A systematic approach to connecting standalone theorem provers to formal development environments by Hemer, D.

Request full text

Specification matching of state-based modular components by Hemer, D.

Request full text

Epidemiology of Concomitant Head Injuries with Facial Trauma: A Study of the NEISS Database by Kim, Erin, Lee, Theodore, Hemer, Valeria Bustos, Xun, Helen, Lee, Bernard

Get full text

A Not-So-Glamorous Vacation: The Impact of Cosmetic Surgical Tourism on Patients and the Healthcare System by Long, Emily, Valentine, Lauren, Hernandez, Angelica, Kim, Erin, Hemer, Valeria Bustos, Weidman, Allan, Mudr, Jose Foppiani, Xun, Helen, Lee, Bernard, Lin, Samuel

Get full text

Inequity In Racial and Ethnic Representation in United States Plastic Surgery Clinical Trials by Hernandez, Angelica, Valentine, Lauren, Hemer, Valeria Bustos, Foppiani, Jose, Weidman, Allan, Foster, Lacey, Lee, Daniela, Lee, Bernard, Lin, Samuel

Get full text

80. The Over-tightened Neck: Causes, Complications, and Management by Foster, Lacey, Slavin, Sumner, Yang, Alan, Bustos Hemer, Valeria, Ebersole, Trina, Lin, Samuel

Get full text

D43. The Over-tightened Neck: Causes, Complications, and Management by Foster, Lacey, Slavin, Sumner, Yang, Alan, Ebersole, Trina, Bustos Hemer, Valeria, Lin, Samuel

Get full text

Specifying Software Architectures Using a Formal-Based Approach by Hemer, D., Yulin Ding

Request full text

Specification matching of object-oriented components by Feiks, F., Hemer, D.

Request full text

Using CARE to construct verified software by Lindsay, P., Hemer, D.

Request full text

The CARE toolset for developing verified programs from formal specifications by Hemer, D., Lindsay, P.

Request full text

A refinement calculus for logic programs by HAYES, IAN, COLVIN, ROBERT, HEMER, DAVID, STROOPER, PAUL, NICKSON, RAY

Get full text

An industrial-strength method for the construction of formally verified software by Lindsay, P., Hemer, D.

Request full text

Global coastal attenuation of wind-waves observed with radar altimetry by Passaro, Marcello, Hemer, Mark A., Quartly, Graham D., Schwatke, Christian, Dettmering, Denise, Seitz, Florian

Get full text