David A. Karr

15 papers A* 1A 2B 1C 1Journal 3Unranked 6
YearRankTypeTitle / Venue / Authors
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