| 2003 |
J |
jnl |
IEEE Trans. Computers
Jennifer Ren, David E. Bakken, Tod Courtney, Michel Cukier, David A. Karr, Paul Rubel, Chetan Sabnis, William H. Sanders, Richard E. Schantz, Mouna Seri
|
| 2001 |
J |
jnl |
Comput. Syst. Sci. Eng.
Richard E. Schantz, John A. Zinky, James Megquier, Joseph P. Loyall, David A. Karr, David E. Bakken
|
| 2001 |
— |
conf |
DOA
David A. Karr, Craig Rodrigues, Joseph P. Loyall, Richard E. Schantz, Yamuna Krishnamurthy, Irfan Pyarali, Douglas C. Schmidt
|
| 2001 |
A |
conf |
ICDCS
Joseph P. Loyall, Richard E. Schantz, John A. Zinky, Partha P. Pal, Richard Shapiro, Craig Rodrigues, Michael Atighetchi, David A. Karr, Jeanna M. Gossett, Christopher D. Gill
|
| 2001 |
— |
conf |
M3W@MM
David A. Karr, Craig Rodrigues, Joseph P. Loyall, Richard E. Schantz
|
| 2001 |
— |
conf |
LCTES/OM
Yamuna Krishnamurthy, Vishal Kachroo, David A. Karr, Craig Rodrigues, Joseph P. Loyall, Richard E. Schantz, Douglas C. Schmidt
|
| 2001 |
— |
conf |
OM@PLDI
Yamuna Krishnamurthy, Vishal Kachroo, David A. Karr, Craig Rodrigues, Douglas C. Schmidt
|
| 2001 |
A |
conf |
DSN
David E. Bakken, Zhiyuan Zhan, Christopher C. Jones, David A. Karr
|
| 1999 |
C |
conf |
ISORC
Richard E. Schantz, John A. Zinky, David A. Karr, David E. Bakken, James Megquier, Joseph P. Loyall
|
| 1999 |
— |
conf |
HASE
Jennifer Ren, Michel Cukier, Paul Rubel, William H. Sanders, David E. Bakken, David A. Karr
|
| 1998 |
B |
conf |
SRDS
Michel Cukier, Jennifer Ren, Chetan Sabnis, David Henke, Jessica Pistole, William H. Sanders, David E. Bakken, Mark E. Berman, David A. Karr, Richard E. Schantz
|
| 1998 |
J |
jnl |
Softw. Pract. Exp.
Robbert van Renesse, Kenneth P. Birman, Mark Hayden, Alexey Vaysburd, David A. Karr
|
| 1998 |
— |
conf |
LCR
Joseph P. Loyall, David E. Bakken, Richard E. Schantz, John A. Zinky, David A. Karr, Rodrigo Vanegas, Kenneth R. Anderson
|
| 1997 |
— |
— |
Specification, Composition, and Automated Verification of Layered Communication Protocols.
David A. Karr
|
| 1995 |
A* |
conf |
PODC
Robbert van Renesse, Kenneth P. Birman, Roy Friedman, Mark Hayden, David A. Karr
|