David Scott Warren 个人学术档案

引用次数

	总计	2019 年至今
引用	8562	707
h 指数	45	15
i10 指数	97	21

420

210

105

315

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202459 52 81 122 152 201 236 263 265 346 301 292 293 257 244 253 256 198 225 192 275 257 410 296 267 237 191 263 213 181 175 203 144 176 161 108 143 130 115 50

开放获取的出版物数量

查看全部

1 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Konstantinos SagonasUppsala University and National Technical University of Athens在 it.uu.se 的电子邮件经过验证
IV RamakrishnanProfessor of Computer Science, Assoc. Dean of Research, College of Engr. & Applied Sciences在 cs.stonybrook.edu 的电子邮件经过验证
Juliana FreireNew York University在 nyu.edu 的电子邮件经过验证
C.R. RamakrishnanProfessor of Computer Science, Stony Brook University在 cs.stonybrook.edu 的电子邮件经过验证
Michael KiferStony Brook University在 cs.stonybrook.edu 的电子邮件经过验证
Saumya DebrayProfessor of Computer Science, University of Arizona在 cs.arizona.edu 的电子邮件经过验证
Prasad RaoResearch Scientist, LinkedIn在 linkedin.com 的电子邮件经过验证
David MaierProfessor of Computer Science, Portland State University在 cs.pdx.edu 的电子邮件经过验证
Scott A. SmolkaProfessor of Computer Science, Stony Brook University在 cs.sunysb.edu 的电子邮件经过验证
Krzysztof R. AptCWI fellow, CWI , The Netherlands在 cwi.nl 的电子邮件经过验证
Richard K. LarsonProfessor of Linguistics, Stony Brook University在 stonybrook.edu 的电子邮件经过验证
Jianfu ChenFacebook, Inc.在 fb.com 的电子邮件经过验证
Miroslaw TruszczynskiProfessor of Computer Science, University of Kentucky在 cs.uky.edu 的电子邮件经过验证
Arie KaufmanDistinguished Professor and Chair of Computer Science, Stony Brook University在 cs.stonybrook.edu 的电子邮件经过验证
Tom SchrijversProfessor of Computer Science, KU Leuven在 cs.kuleuven.be 的电子邮件经过验证
Krishnaprasad ThirunarayanProfessor of Computer Science and Engineering, Kno.e.sis Center在 wright.edu 的电子邮件经过验证
Hasan DavulcuProfessor, Arizona State University在 asu.edu 的电子邮件经过验证
Laxmikant KaleProfessor or Computer Science, University of Illinois在 illinois.edu 的电子邮件经过验证
Yejin ChoiUniversity of Washington / Allen Institute for Artificial Intelligence在 cs.washington.edu 的电子邮件经过验证
Spyros HadjichristodoulouResearch Assistant, Stony Brook University在 cs.stonybrook.edu 的电子邮件经过验证

关注

David Scott Warren

Emeritus Professor of Computer Science, Stony Brook University

在 cs.stonybrook.edu 的电子邮件经过验证

Programming Languages Knowledge Representation Database Systems Artificial Intelligence


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
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	540	1993
Formal semantics for time in databases J Clifford, DS Warren ACM Transactions on Database Systems (TODS) 8 (2), 214-254, 1983	368	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	193	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	128	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

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用