David S. Warren - Concepedia

Author

David S. Warren

Also Known As

D. S. Warren, D. Warren, D.S. Warren, DAVID S. WARREN, DAVID SCOTT WARREN, David S Warren, David S. Warren, David S. Warren,, David Scott Warren, David Warren

233

Publications

4.9K

Citations

H-Index

Concepts

All Affiliations

Stony Brook University State University of New York Southern Methodist University University of Arizona

About

David S. Warren is an author at Stony Brook University specializing in engineering, automated reasoning, and computer science.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	24	41	2.8K
2	Management	10	10	620
3	Language Studies	8	8	239
4	Cognitive Science	2	2	69
5	Social Sciences	1	1	18

David S. Warren

Publications

3.5K

Citations

H-Index

Page 1

	Year	Citations
Tabled evaluation with delaying for general logic programs Weidong Chen, David S. Warren Journal of the ACM Mathematical ProgrammingApplied LogicEngineeringSemanticsEvaluation Strategy	1996	409
HiLog: A foundation for higher-order logic programming Weidong Chen, Michael Kifer, David S. Warren The Journal of Logic Programming Computational LogicEngineeringAutomated ReasoningFormal MethodsComputer Science	1993	333
XSB as an efficient deductive database engine Konstantinos Sagonas, Terrance Swift, David S. Warren EngineeringProlog FoundationDeductive Database SystemsXsb SystemSemantic Web	1994	324
Memoing for logic programs David S. Warren Communications of the ACM	1992	212
XSB: Extending Prolog with Tabled Logic Programming Terrance Swift, David S. Warren Theory and Practice of Logic Programming Applied LogicEngineeringSemantic WebSemanticsFormal Verification	2011	186
Optimizing Seed Selection for Fuzzing Alexandre Rebert, Sang Kil, Thanassis Avgerinos, Research Showcase @ Carnegie Mellon University (Carnegie Mellon University)	2014	153
Automatic mode inference for logic programs Saumya Debray, David S. Warren The Journal of Logic Programming Computational LogicEngineeringProgram AnalysisAutomated ReasoningAutomatic Mode Inference	1988	134
Efficient top-down computation of queries under the well-founded semantics Weidong Chen, Terrance Swift, David S. Warren The Journal of Logic Programming Database TheoryEngineeringAutomated ReasoningWell-founded SemanticsComputer Science	1995	116
Practical program analysis using general purpose logic programming systems—a case study Steven Dawson, C. R. Ramakrishnan, David S. Warren Applied LogicProgram CheckingEngineeringSoftware SystemsWell-founded Semantics	1996	103
C-logic of complex objects W. Chen, David S. Warren Applied LogicComputational LogicEngineeringAutomated ReasoningNatural Representation	1989	102

Page 1