David Scott Warren

Cited by

	All	Since 2019
Citations	8571	711
h-index	45	15
i10-index	97	21

420

210

105

315

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202459 52 81 122 152 204 236 263 265 347 301 292 293 257 244 253 256 198 225 193 275 257 410 296 267 237 191 262 214 181 175 203 145 175 162 108 143 130 116 52

Public access

View all

1 article

0 articles

available

not available

Based on funding mandates

Co-authors

Konstantinos SagonasUppsala University and National Technical University of AthensVerified 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
Saumya DebrayProfessor of Computer Science, University of ArizonaVerified email at cs.arizona.edu
Prasad RaoResearch Scientist, LinkedInVerified email at linkedin.com
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
Richard K. LarsonProfessor of Linguistics, Stony Brook UniversityVerified email at stonybrook.edu
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
Tom SchrijversProfessor of Computer Science, KU LeuvenVerified email at cs.kuleuven.be
Krishnaprasad ThirunarayanProfessor of Computer Science and Engineering, Kno.e.sis CenterVerified email at wright.edu
Hasan DavulcuProfessor, Arizona State UniversityVerified email at asu.edu
Laxmikant KaleProfessor or Computer Science, University of IllinoisVerified email at illinois.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	627	1996
XSB as an efficient deductive database engine K Sagonas, T Swift, DS Warren ACM SIGMOD Record 23 (2), 442-453, 1994	579	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	541	1993
Formal semantics for time in databases J Clifford, DS Warren ACM Transactions on Database Systems (TODS) 8 (2), 214-254, 1983	369	1983
Memoing for logic programs DS Warren Communications of the ACM 35 (3), 93-111, 1992	319	1992
Computing with logic: logic programming with Prolog D Maier, DS Warren Benjamin-Cummings Publishing Co., Inc., 1988	305	1988
Automatic mode inference for logic programs SK Debray, DS Warren The Journal of Logic Programming 5 (3), 207-229, 1988	303	1988
Efficient model checking using tabled resolution YS Ramakrishna, CR Ramakrishnan, IV Ramakrishnan, SA Smolka, ... Computer Aided Verification: 9th International Conference, CAV'97 Haifa …, 1997	299	1997
XSB: Extending Prolog with tabled logic programming T Swift, DS Warren Theory and Practice of Logic Programming 12 (1-2), 157-187, 2012	244	2012
Extension Tables: Memo Relations in Logic Programming. SW Dietrich Unknown Host Publication Title, 264-272, 1987	213	1987
XSB: A system for efficiently computing well-founded semantics P Rao, K Sagonas, T Swift, DS Warren, J Freire Logic Programming And Nonmonotonic Reasoning: 4th International Conference …, 1997	205	1997
C-logic of Complex Objects W Chen, DS Warren Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles …, 1989	194	1989
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	188	1995
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	152	1996
A logic-based language for database updates S Manchanda, DS Warren Foundations of deductive databases and logic programming, 363-394, 1988	151	1988
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	133*	1999
A first-order semantics for higher-order logic programming constructs W Chen Proc. North American Conference on Logic Programming, Cleveland, Ohio, 1989	129	1989
Efficient Prolog memory management for flexible control strategies DS Warren New Generation Computing 2, 361-369, 1984	109	1984
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	105	1995

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

Cited by

Co-authors