10
Publications
499
Citations
10
H-Index
1986
Active since
Affiliations
Daniel Weise is an author at Stanford University specializing in computer science, engineering, and formal methods.
Top concepts
EngineeringComputer ScienceCompilersFormal MethodsProgram AnalysisSoftware AnalysisFormal VerificationComputer EngineeringSoftware EngineeringSystems Engineering
Publications per year
1986–2018
10
10
Daniel Weise, Roger F. Crew · 1993 · 146 citations
Daniel Weise, Roger F. Crew, Michael D. Ernst et al. · 1994 · 115 citations
Compiling scientific code using partial evaluation
Andrew A. Berlin, Daniel Weise · Computer · 1990 · 95 citations
Parallelism Inherent, Engineering, Computer Architecture +22
Daniel Weise, Roger F. Crew · ACM SIGPLAN Notices · 1993 · 33 citations
Rows per page
1–5 of 10