On Time versus Space III. - Joseph Y. Halpern; Michael C. Loui; Albert R. Meyer; Daniel Weise (Math. Syst. Theory, 1986)

Functional Verification of MOS Circuits. - Daniel Weise (DAC, 1987)

Nondeterminism and Unification in LogScheme: Integrating Logic and Functional Programming. - Erik Ruf; Daniel Weise (FPCA, 1989)

Constraint Posting for Verifying VLSI Circuits. - Daniel Weise (IJCAI, 1989)

Constraints, Abstraction and Verification. - Daniel Weise (Hardware Specification, Verification and Synthesis, 1989)

Continuing into the Future: On the Interaction of Futures and First-Class Continuations. - Morry Katz; Daniel Weise (LISP and Functional Programming, 1990)

Compiling Scientific Code Using Partial Evaluation. - Andrew A. Berlin; Daniel Weise (Computer, 1990)

LogScheme: Integrating Logic Programming into Scheme. - Erik Ruf; Daniel Weise (LISP Symb. Comput., 1990)

Multilevel verification of MOS circuits. - Daniel Weise (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1990)

Automatic Generation of Compiled Simulations through Program Specialization. - Wing Yee Au 001; Daniel Weise; Scott Seligman (DAC, 1991)

Automatic Online Partial Evaluation. - Daniel Weise; Roland Conybeare; Erik Ruf; Scott Seligman (FPCA, 1991)

Using Types to Avoid Redundant Specialization. - Erik Ruf; Daniel Weise (PEPM, 1991)

Towards a New Perspective on Partial Evaluation. - Morry Katz; Daniel Weise (PEPM, 1992)

Improving the Accuracy of Higher-Order Specialization using Control Flow Analysis. - Erik Ruf; Daniel Weise (PEPM, 1992)

Programmable Syntax Macros. - Daniel Weise; Roger F. Crew (PLDI, 1993)

On the Specialization of Online Program Specializers. - Erik Ruf; Daniel Weise (J. Funct. Program., 1993)

Value Dependence Graphs: Representation without Taxation. - Daniel Weise; Roger F. Crew; Michael D. Ernst; Bjarne Steensgaard (POPL, 1994)

Static Analysis of Mega-Programs. - Daniel Weise (SAS, 1999)