D. Weise

发表

Andrew A. Berlin, Daniel Weise, Andrew A. Berlin, 1990, Computer.

Erik Ruf, Daniel Weise, Erik Ruf, 1992, Journal of Functional Programming.

Erik Ruf, Daniel Weise, Erik Ruf, 1991, PEPM '91.

Michael D. Ernst, Bjarne Steensgaard, Daniel Weise, 1994, POPL '94.

Daniel Weise, Roger F. Crew, D. Weise, 1993, PLDI '93.

Daniel Weise, Atty Kanamori, D. Weise, 1992 .

D. H. Bartley, G. Brooks, R. K. Dybvig, 1991, LIPO.

Joseph Y. Halpern, Albert R. Meyer, Michael C. Loui, 1986, Mathematical systems theory.

Erik Ruf, Daniel Weise, Roland Conybeare, 1991, FPCA.

Daniel Weise, D. Weise, 1990, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Erik Ruf, Daniel Weise, Erik Ruf, 1992 .

Daniel Weise, Scott Seligman, Wing-Yee Au, 1991 .

T. A. Nguyen, D. Weise, D. Weise, 1989, [1989] Proceedings. The Fifth Conference on Artificial Intelligence Applications.