Daniel Weise
发表
Erik Ruf,
Daniel Weise,
1992,
PEPM.
Michael D. Ernst,
Bjarne Steensgaard,
Daniel Weise,
1994,
POPL '94.
Erik Ruf,
Daniel Weise,
Roland Conybeare,
1991,
FPCA.
Daniel Weise,
Scott Seligman,
1987
.
Andrew A. Berlin,
Daniel Weise,
Andrew A. Berlin,
1990,
Computer.
Erik Ruf,
Daniel Weise,
1992
.
Daniel Weise,
Scott Seligman,
Wing Yee Au,
1991,
28th ACM/IEEE Design Automation Conference.
Daniel Weise,
1989,
IJCAI.
Daniel Weise,
Morry Katz,
1989,
Workshop on Parallel Lisp.
Daniel Weise,
Atty Kanamori,
D. Weise,
1992
.
Daniel Weise,
D. Weise,
1990,
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Erik Ruf,
Daniel Weise,
Erik Ruf,
1992,
Journal of Functional Programming.
Erik Ruf,
Daniel Weise,
Erik Ruf,
1991,
PEPM '91.
Daniel Weise,
Morry Katz,
1992,
PEPM.
Joseph Y. Halpern,
Albert R. Meyer,
Michael C. Loui,
1986,
Mathematical systems theory.
Erik Ruf,
Daniel Weise,
1991,
PEPM.
Daniel Weise,
Roger F. Crew,
D. Weise,
1993,
PLDI '93.
Daniel Weise,
Scott Seligman,
Wing-Yee Au,
1991
.
Daniel Weise,
1989,
Hardware Specification, Verification and Synthesis.
Daniel Weise,
Simson Garfinkle,
Steven Strassmann,
1994
.
Erik Ruf,
Daniel Weise,
Erik Ruf,
1989,
FPCA.
Daniel Weise,
1987,
24th ACM/IEEE Design Automation Conference.
Erik Ruf,
Daniel Weise,
1990,
LISP Symb. Comput..
Erik Ruf,
Daniel Weise,
Erik Ruf,
1992
.
Daniel Weise,
1999,
SAS.
Daniel Weise,
Morry Katz,
1990,
LISP and Functional Programming.
Simson L. Garfinkel,
Daniel Weise,
Steven Strassmann,
1994
.