Verifying Concurrent Processes Using Temporal Logic von Hailpern, Brent T

Volltext

A Simple Protocol Whose Proof Isn't von Hailpern, B.

Volltext

Extending objects to support multiple interfaces and access control von Hailpern, B., Ossher, H.

Volltext

Guest Editor's Introduction Multiparadigm Languages and Environments von Hailpern, B.

Volltext

Comparing two functional programming systems von Hailpern, B., Huynh, T., Revesz, G.

Volltext

Modular Verification of Computer Communication Protocols von Hailpern, B., Owicki, S.

Volltext

ALAN: A (Circuit-Switched) Local Area Network von Hailpern, B., Heller, A., Hoevel, L., Thefaine, Y.

Volltext

Dynamic reconfiguration in an object-based programming language with distributed shared data von Hailpern, B., Kaiser, G.E.

Volltext bestellen

An object model for shared data von Kaiser, G.E., Hailpern, B.

Volltext bestellen

SIGPLAN scope and tutorial needs von CYTRON, R. K, HAILPERN, B

Volltext

Script: A communication abstraction mechanism and its verification von Francez, Nissim, Hailpern, Brent, Taubenfeld, Gadi

Volltext

An object-based programming model for shared data von Kaiser, Gail E., Hailpern, Brent

Volltext

A generalized object model von Nguyen, Van, Hailpern, Brent

Volltext

LRRK2 G2019S as a Cause of Parkinson's Disease in Ashkenazi Jews von Klein, Christine, Risch, Neil, Ozelius, Laurie J, Bressman, Susan B, Henick, Brian, Soto-Valencia, Jeannie, Saunders-Pullman, Rachel, Hailpern, Susan M, Ohmann, Erin, Senthil, Geetha, Lipton, Richard B, Deligtisch, Amanda, Tagliati, Michele, Hunt, Ann L

Volltext

Heart disease and stroke statistics--2012 update: a report from the American Heart Association von Roger, Véronique L, Go, Alan S, Lloyd-Jones, Donald M, Benjamin, Emelia J, Berry, Jarett D, Borden, William B, Bravata, Dawn M, Dai, Shifan, Ford, Earl S, Fox, Caroline S, Fullerton, Heather J, Gillespie, Cathleen, Hailpern, Susan M, Heit, John A, Howard, Virginia J, Kissela, Brett M, Kittner, Steven J, Lackland, Daniel T, Lichtman, Judith H, Lisabeth, Lynda D, Makuc, Diane M, Marcus, Gregory M, Marelli, Ariane, Matchar, David B, Moy, Claudia S, Mozaffarian, Dariush, Mussolino, Michael E, Nichol, Graham, Paynter, Nina P, Soliman, Elsayed Z, Sorlie, Paul D, Sotoodehnia, Nona, Turan, Tanya N, Virani, Salim S, Wong, Nathan D, Woo, Daniel, Turner, Melanie B

Volltext

SW 2 - An object-based programming environment von Laff, Mark R., Hailpern, Brent

Volltext

A Health Policy Model of CKD: 2. The Cost-Effectiveness of Microalbuminuria Screening von Hoerger, Thomas J., PhD, Wittenborn, John S., BS, Segel, Joel E., BA, Burrows, Nilka R., MPH, MT, Imai, Kumiko, PhD, Eggers, Paul, PhD, Pavkov, Meda E., MD, PhD, Jordan, Regina, MPH, Hailpern, Susan M., DrPH, MS, Schoolwerth, Anton C., MD, MSHA, Williams, Desmond E., MD, PhD

Volltext

Regional Variation in Health Care Intensity and Treatment Practices for End-stage Renal Disease in Older Adults von O’Hare, Ann M, Rodriguez, Rudolph A, Hailpern, Susan M, Larson, Eric B, Kurella Tamura, Manjula

Volltext

Heart disease and stroke statistics--2014 update: a report from the American Heart Association von Go, Alan S, Mozaffarian, Dariush, Roger, Véronique L, Benjamin, Emelia J, Berry, Jarett D, Blaha, Michael J, Dai, Shifan, Ford, Earl S, Fox, Caroline S, Franco, Sheila, Fullerton, Heather J, Gillespie, Cathleen, Hailpern, Susan M, Heit, John A, Howard, Virginia J, Huffman, Mark D, Judd, Suzanne E, Kissela, Brett M, Kittner, Steven J, Lackland, Daniel T, Lichtman, Judith H, Lisabeth, Lynda D, Mackey, Rachel H, Magid, David J, Marcus, Gregory M, Marelli, Ariane, Matchar, David B, McGuire, Darren K, Mohler, 3rd, Emile R, Moy, Claudia S, Mussolino, Michael E, Neumar, Robert W, Nichol, Graham, Pandey, Dilip K, Paynter, Nina P, Reeves, Matthew J, Sorlie, Paul D, Stein, Joel, Towfighi, Amytis, Turan, Tanya N, Virani, Salim S, Wong, Nathan D, Woo, Daniel, Turner, Melanie B

Volltext

Executive Summary: Heart Disease and Stroke Statistics: 2013 Update: A Report From the American Heart Association von GO, Alan S, MOZAFFARIAN, Dariush, FRANCO, Sheila, FULLERTON, Heather J, GILLESPIE, Cathleen, HAILPERN, Susan M, HEIT, John A, HOWARD, Virginia J, HUFFMAN, Mark D, KISSELA, Brett M, KITTNER, Steven J, LACKLAND, Daniel T, ROGER, Veronique L, LICHTMAN, Judith H, LISABETH, Lynda D, MAGID, David, MARCUS, Gregory M, MARELLI, Ariane, MATCHAR, David B, MCGUIRE, Darren K, MOHLER, Emile R, MOY, Claudia S, MUSSOLINO, Michael E, BENJAMIN, Emelia J, NICHOL, Graham, PAYNTER, Nina P, SCHREINER, Pamela J, SORLIE, Paul D, STEIN, Joel, TURAN, Tanya N, VIRANI, Salim S, WONG, Nathan D, WOO, Daniel, TURNER, Melanie B, BERRY, Jarett D, BORDEN, William B, BRAVATA, Dawn M, SHIFAN DAI, FORD, Earl S, FOX, Caroline S

Volltext