Daniel Weise

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

Coauthor Index

1	Wing Yee Au	[13]
2	Andrew A. Berlin	[9]
3	Roland Conybeare	[12]
4	Roger F. Crew	[17] [18]
5	Michael D. Ernst	[18]
6	Joseph Y. Halpern	[1]
7	Morry Katz	[3] [10] [15]
8	Michael C. Loui	[1]
9	Albert R. Meyer	[1]
10	Erik Ruf	[6] [7] [11] [12] [14] [16]
11	Scott Seligman	[12] [13]
12	Bjarne Steensgaard	[18]

Colors in the list of coauthors

Last update Sat May 26 02:31:23 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page