David Scott Warren

Cited by

	All	Since 2017
Citations	8231	779
h-index	45	15
i10-index	99	21

400

200

100

300

198319841985198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202237 39 56 45 73 121 144 185 228 250 261 333 306 326 297 241 258 261 247 205 221 199 269 266 384 303 256 239 190 268 208 184 177 187 157 173 145 120 138 46

Public access

View all

2 articles

0 articles

available

not available

Based on funding mandates

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
Michael KiferStony Brook UniversityVerified email at cs.stonybrook.edu
Prasad RaoResearch Scientist, FacebookVerified email at fb.com
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
Jianfu ChenFacebook, Inc.Verified email at fb.com
Miroslaw TruszczynskiProfessor of Computer Science, University of KentuckyVerified email at cs.uky.edu
Arie KaufmanDistinguished Professor and Chair of Computer Science, Stony Brook UniversityVerified email at cs.stonybrook.edu
Richard K. LarsonProfessor of Linguistics, Stony Brook UniversityVerified email at stonybrook.edu
Tom SchrijversProfessor of Computer Science, KU LeuvenVerified email at cs.kuleuven.be
Hasan DavulcuProfessor, Arizona State UniversityVerified email at asu.edu
Laxmikant KaleProfessor or Computer Science, University of IllinoisVerified email at illinois.edu
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
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	613	1996
XSB as an efficient deductive database engine K Sagonas, T Swift, DS Warren ACM SIGMOD Record 23 (2), 442-453, 1994	561	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	513	1993
Formal semantics for time in databases J Clifford, DS Warren ACM Transactions on Database Systems (TODS) 8 (2), 214-254, 1983	346	1983
Memoing for logic programs DS Warren Communications of the ACM 35 (3), 93-111, 1992	305	1992
Efficient model checking using tabled resolution YS Ramakrishna, CR Ramakrishnan, IV Ramakrishnan, SA Smolka, ... International Conference on Computer Aided Verification, 143-154, 1997	295	1997
Automatic mode inference for logic programs SK Debray, DS Warren The Journal of Logic Programming 5 (3), 207-229, 1988	292	1988
Computing with logic: logic programming with Prolog D Maier, DS Warren Benjamin-Cummings Publishing Co., Inc., 1988	284	1988
XSB: Extending Prolog with tabled logic programming T Swift, DS Warren Theory and Practice of Logic Programming 12 (1-2), 157-187, 2012	222	2012
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	207	1997
Extension Tables: Memo Relations in Logic Programming. SW Dietrich, DS Warren SLP, 264-272, 1987	206	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	187	1995
C-logic of complex objects W Chen, DS Warren Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles …, 1989	182	1989
A logic-based language for database updates S Manchanda, DS Warren Foundations of deductive databases and logic programming, 363-394, 1988	149	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	146	1996
Query evaluation under the well-founded semantics W Chen, DS Warren Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles …, 1993	144	1993
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	135*	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	124	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	107*	1995
Efficient Prolog memory management for flexible control strategies DS Warren New Generation Computing 2 (4), 361-369, 1984	106	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

Follow this author

Cited by

Co-authors