Search the dblp DataBase

Publications of Author

1. Wing Yee Au, Daniel Weise, Scott Seligman
   Automatic Generation of Compiled Simulations through Program Specialization. [Citation Graph (0, 0)][DBLP]
   DAC, 1991, pp:205-210 [Conf]
   
2. Daniel Weise
   Functional Verification of MOS Circuits. [Citation Graph (0, 0)][DBLP]
   DAC, 1987, pp:265-270 [Conf]
   
3. Erik Ruf, Daniel Weise
   Nondeterminism and Unification in LogScheme: Integrating Logic and Functional Programming. [Citation Graph (0, 0)][DBLP]
   FPCA, 1989, pp:327-339 [Conf]
   
4. Daniel Weise, Roland Conybeare, Erik Ruf, Scott Seligman
   Automatic Online Partial Evaluation. [Citation Graph (0, 0)][DBLP]
   FPCA, 1991, pp:165-191 [Conf]
   
5. Daniel Weise
   Constraint Posting for Verifying VLSI Circuits. [Citation Graph (0, 0)][DBLP]
   IJCAI, 1989, pp:881-886 [Conf]
   
6. Morry Katz, Daniel Weise
   Continuing into the Future: On the Interaction of Futures and First-Class Continuations. [Citation Graph (0, 0)][DBLP]
   LISP and Functional Programming, 1990, pp:176-184 [Conf]
   
7. Daniel Weise
   Constraints, Abstraction and Verification. [Citation Graph (0, 0)][DBLP]
   Hardware Specification, Verification and Synthesis, 1989, pp:25-39 [Conf]
   
8. Morry Katz, Daniel Weise
   Towards a New Perspective on Partial Evaluation. [Citation Graph (0, 0)][DBLP]
   PEPM, 1992, pp:29-37 [Conf]
   
9. Erik Ruf, Daniel Weise
   Using Types to Avoid Redundant Specialization. [Citation Graph (0, 0)][DBLP]
   PEPM, 1991, pp:321-333 [Conf]
   
10. Erik Ruf, Daniel Weise
    Improving the Accuracy of Higher-Order Specialization using Control Flow Analysis. [Citation Graph (0, 0)][DBLP]
    PEPM, 1992, pp:67-74 [Conf]
    
11. Daniel Weise, Roger F. Crew
    Programmable Syntax Macros. [Citation Graph (0, 0)][DBLP]
    PLDI, 1993, pp:156-165 [Conf]
    
12. Morry Katz, Daniel Weise
    Continuing Into the Future: On the Interaction of Futures and First-Class Continuations. [Citation Graph (0, 0)][DBLP]
    Workshop on Parallel Lisp, 1989, pp:101-102 [Conf]
    
13. Daniel Weise, Roger F. Crew, Michael D. Ernst, Bjarne Steensgaard
    Value Dependence Graphs: Representation without Taxation. [Citation Graph (0, 0)][DBLP]
    POPL, 1994, pp:297-310 [Conf]
    
14. Daniel Weise
    Static Analysis of Mega-Programs. [Citation Graph (0, 0)][DBLP]
    SAS, 1999, pp:300-302 [Conf]
    
15. Andrew A. Berlin, Daniel Weise
    Compiling Scientific Code Using Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1990, v:23, n:12, pp:25-37 [Journal]
    
16. Erik Ruf, Daniel Weise
    On the Specialization of Online Program Specializers. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1993, v:3, n:3, pp:251-281 [Journal]
    
17. Erik Ruf, Daniel Weise
    LogScheme: Integrating Logic Programming into Scheme. [Citation Graph (0, 0)][DBLP]
    Lisp and Symbolic Computation, 1990, v:3, n:3, pp:245-288 [Journal]
    
18. Joseph Y. Halpern, Michael C. Loui, Albert R. Meyer, Daniel Weise
    On Time versus Space III. [Citation Graph (0, 0)][DBLP]
    Mathematical Systems Theory, 1986, v:19, n:1, pp:13-28 [Journal]
    
19. Daniel Weise
    Multilevel verification of MOS circuits. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 1990, v:9, n:4, pp:341-351 [Journal]