Walid Taha - Concepedia

Author

Walid Taha

Also Known As

Chamberlain, Roger, Consel, Charles, Hutchison, David, Lierler, Yuliya, Taha, Walid, W. Taha, WALID TAHA, Wail Masry Hannourah, Walid M. Taha, Walid Mohamed Taha

166

Publications

3.9K

Citations

H-Index

Concepts

All Affiliations

Rice University Halmstad University Oregon Museum of Science and Industry Chalmers University of Technology Texas A&M University

About

Walid Taha is an author at Rice University specializing in engineering, computer science, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	19	29	1.9K
2	Language Studies	6	6	472
3	Business	1	1	41
4	Education	1	1	12
5	Management	1	1	10

Walid Taha

Publications

2.2K

Citations

H-Index

Page 1

	Year	Citations
Multi-stage programming with explicit annotations Walid Taha, Tim Sheard EngineeringVerificationSoftware EngineeringStatic SemanticsSoftware Analysis	1997	339
MetaML and multi-stage programming with explicit annotations Walid Taha, Tim Sheard Theoretical Computer Science EngineeringProgram AnalysisAutomated ReasoningExplicit AnnotationsFormal Methods	2000	329
Plenary talk III Domain-specific languages Walid Taha EngineeringLanguage ResearchSoftware EngineeringSoftware AnalysisSyntax	2008	161
Multi-state programming : its theory and applications Walid Taha OHSU Digital Commons	1999	160
Environment classifiers Walid Taha, Michael Florentin Nielsen Multi-stage LanguagesEngineeringGeneric ProgrammingProgram AnalysisAutomated Reasoning	2003	127
Real-time FRP Zhanyong Wan, Walid Taha, Paul Hudak EngineeringSoftware EngineeringSoftware AnalysisFormal VerificationSystems Engineering	2001	112
Macros as multi-stage computations Steven E. Ganz, Amr Sabry, Walid Taha EngineeringSoftware AnalysisFormal VerificationMacro ExpansionSyntax	2001	107
Tagless staged interpreters for typed languages Emir PašaliΕ, Walid Taha, Tim Sheard EngineeringSoftware EngineeringInterpreter (Computing)Type SpecializationSemantics	2002	77
A sound reduction semantics for untyped CBN multi-stage computation. Or, the theory of MetaML is non-trival Walid Taha EngineeringSoftware EngineeringHigher-order LogicSemanticsSoftware Analysis	1999	64
A methodology for generating verified combinatorial circuits Oleg Kiselyov, Kedar N. Swadi, Walid Taha Circuit ComplexityEngineeringCompiler TechnologyVerificationComputer Architecture	2004	58

Page 1