Karen Zee
发表
M. Rinard,
Karen Zee,
2002,
SIGP.
Viktor Kuncak,
Karen Zee,
Viktor Kuncak,
2004,
Arch. Formal Proofs.
Viktor Kuncak,
Patrick Lam,
Martin C. Rinard,
2006,
IEEE Transactions on Software Engineering.
Viktor Kuncak,
Thomas Wies,
Martin C. Rinard,
2007,
VMCAI.
Viktor Kuncak,
Martin C. Rinard,
Michael Taylor,
2007,
RV.
Martin Rinard,
Viktor Kuncak,
Karen Zee,
2007
.
Viktor Kuncak,
Martin C. Rinard,
Karen Zee,
2008,
PLDI '08.
Viktor Kuncak,
Martin C. Rinard,
Karen Zee,
2008,
2008 IEEE International Symposium on Parallel and Distributed Processing.
Martin Rinard,
Viktor Kuncak,
Patrick Lam,
2004
.
Martin Rinard,
Viktor Kuncak,
Patrick Lam,
2007
.
M. Rinard,
Karen Zee,
2002,
OOPSLA '02.
Patrick Lam,
M. Rinard,
Karen Zee,
2006,
IEEE Trans. Software Eng..
M. Rinard,
Karen Zee,
Viktor Kunčak,
2006,
IEEE Transactions on Software Engineering.
Patrick Lam,
M. Rinard,
Karen Zee,
2022
.
Viktor Kuncak,
Martin C. Rinard,
Karen Zee,
2009,
PLDI '09.
Viktor Kuncak,
Konstantine Arkoudas,
Martin C. Rinard,
2004,
ICFEM.
H. Seidel,
Seungyong Lee,
M. Rinard,
2006,
ArXiv.