David Scott Warren

Cited by

	All	Since 2016
Citations	7818	782
h-index	43	15
i10-index	93	21

420

210

105

315

19831984198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202145 39 55 46 67 123 153 177 216 224 249 330 292 285 286 225 264 251 235 182 238 198 236 251 408 291 242 261 211 239 202 165 177 194 152 183 122 129 2

Co-authors

Konstantinos SagonasUppsala University and National Technical University of Athens (on leave)Verified email at it.uu.se
IV RamakrishnanProfessor of Computer Science, Assoc. Dean of Research, College of Engr. & Applied SciencesVerified email at cs.stonybrook.edu
Juliana FreireNew York UniversityVerified email at nyu.edu
C.R. RamakrishnanProfessor of Computer Science, Stony Brook UniversityVerified email at cs.stonybrook.edu
Prasad RaoResearch Scientist, Goldman SachsVerified email at gs.com
Michael KiferStony Brook UniversityVerified email at cs.stonybrook.edu
Saumya DebrayProfessor of Computer Science, University of ArizonaVerified email at cs.arizona.edu
David MaierProfessor of Computer Science, Portland State UniversityVerified email at cs.pdx.edu
Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityVerified email at cs.sunysb.edu
Krzysztof R. AptCWI fellow, CWI , The NetherlandsVerified email at cwi.nl
Miroslaw TruszczynskiProfessor of Computer Science, University of KentuckyVerified email at cs.uky.edu
Richard K. LarsonProfessor of Linguistics, Stony Brook UniversityVerified email at stonybrook.edu
Arie KaufmanDistinguished Professor and Chair of Computer Science, Stony Brook UniversityVerified email at cs.stonybrook.edu
Tom SchrijversProfessor of Computer Science, KU LeuvenVerified email at cs.kuleuven.be
Hasan DavulcuProfessor, Arizona State UniversityVerified email at asu.edu
Jianfu ChenFacebook, Inc.Verified email at fb.com
Krishnaprasad ThirunarayanProfessor of Computer Science and Engineering, Kno.e.sis CenterVerified email at wright.edu
Yejin ChoiUniversity of Washington / Allen Institute for Artificial IntelligenceVerified email at cs.washington.edu
Laxmikant KaleProfessor or Computer Science, University of IllinoisVerified email at illinois.edu
Spyros HadjichristodoulouResearch Assistant, Stony Brook UniversityVerified email at cs.stonybrook.edu

David Scott Warren

Emeritus Professor of Computer Science, Stony Brook University

Verified email at cs.stonybrook.edu

Programming Languages Knowledge Representation Database Systems Artificial Intelligence


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Tabled evaluation with delaying for general logic programs W Chen, DS Warren Journal of the ACM (JACM) 43 (1), 20-74, 1996	586	1996
XSB as an efficient deductive database engine K Sagonas, T Swift, DS Warren ACM SIGMOD Record 23 (2), 442-453, 1994	546	1994
HiLog: A foundation for higher-order logic programming W Chen, M Kifer, DS Warren The Journal of Logic Programming 15 (3), 187-230, 1993	492	1993
Formal semantics for time in databases J Clifford, DS Warren ACM Transactions on Database Systems (TODS) 8 (2), 214-254, 1983	338	1983
Memoing for logic programs DS Warren Communications of the ACM 35 (3), 93-111, 1992	292	1992
Efficient model checking using tabled resolution YS Ramakrishna, CR Ramakrishnan, IV Ramakrishnan, SA Smolka, ... International Conference on Computer Aided Verification, 143-154, 1997	284	1997
Automatic mode inference for logic programs SK Debray, DS Warren The Journal of Logic Programming 5 (3), 207-229, 1988	282	1988
Computing with logic D Maier, D Warren Addison-Wesley Pub. Co. Inc., Reading, MA, 1988	267	1988
XSB: Extending Prolog with tabled logic programming T Swift, DS Warren arXiv preprint arXiv:1012.5123, 2010	200	2010
XSB: A system for efficiently computing well-founded semantics P Rao, K Sagonas, T Swift, DS Warren, J Freire International Conference on Logic Programming and Nonmonotonic Reasoning …, 1997	196	1997
Extension Tables: Memo Relations in Logic Programming. SW Dietrich, DS Warren SLP, 264-272, 1987	195	1987
Efficient top-down computation of queries under the well-founded semantics W Chen, T Swift, DS Warren The Journal of logic programming 24 (3), 161-199, 1995	182	1995
C-logic of complex objects W Chen, DS Warren Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles …, 1989	179	1989
Query evaluation under the well-founded semantics W Chen, DS Warren Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles …, 1993	146	1993
A logic-based language for database updates S Manchanda, DS Warren Foundations of deductive databases and logic programming, 363-394, 1988	140	1988
Practical program analysis using general purpose logic programming systems—a case study S Dawson, CR Ramakrishnan, DS Warren Proceedings of the ACM SIGPLAN 1996 conference on Programming language …, 1996	137	1996
Efficient access mechanisms for tabled logic programs IV Ramakrishnan, P Rao, K Sagonas, T Swift, DS Warren The Journal of Logic Programming 38 (1), 31-54, 1999	130*	1999
HiLog: A first-order semantics for higher-order logic programming constructs W Chen Proceedings of the North American Conference on Logic Programming, Cleveland …, 1989	117	1989
Efficient tabling mechanisms for logic programs IV Ramakrishnan, P Rao, K Sagonas, T Swift, DS Warren Proceedings of the 12th International Conference on Logic Programming, 687-711, 1995	103*	1995
Efficient Prolog memory management for flexible control strategies DS Warren New Generation Computing 2 (4), 361-369, 1984	101	1984

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors