38
Publications
2.2K
Citations
22
H-Index
1997
Active since
Walid Taha is an author at Rice University specializing in engineering, computer science, and formal methods.
Top concepts
EngineeringComputer ScienceFormal MethodsProgram AnalysisSoftware AnalysisSoftware EngineeringFormal VerificationComputer EngineeringSoftware DesignSystem Software
Publications per year
1997–2024
38
38
Multi-stage programming with explicit annotations
Walid Taha, Tim Sheard · 1997 · 339 citations
Plenary talk III Domain-specific languages
Walid Taha · 2008 · 161 citations
Multi-state programming : its theory and applications
Walid Taha · OHSU Digital Commons · 1999 · 160 citations · Full text
Walid Taha, Michael Florentin Nielsen · 2003 · 127 citations
Rows per page
1–5 of 38