Neil Immerman

צוטט על ידי

	הכל	מאז 2020
ציטוטים ביבליוגרפיים	14612	3131
H-index	46	24
i10-index	88	47

720

360

180

540

19871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202539 86 128 199 198 250 178 285 379 247 308 289 251 227 272 178 267 299 323 326 471 355 475 452 483 530 479 502 552 475 526 481 538 519 541 582 675 720 93

גישה ציבורית

הצג הכל

12 מאמרים

0 מאמרים

זמין

לא זמין

על סמך ייפוי כח מהמממנים

מחברים משותפים

Shlomo ZilbersteinProfessor of Computer Science, University of Massachusetts Amherstכתובת אימייל מאומתת בדומיין cs.umass.edu
Mooly SagivTel Aviv Universityכתובת אימייל מאומתת בדומיין acm.org
Siddharth SrivastavaArizona State Universityכתובת אימייל מאומתת בדומיין asu.edu
Yanlei DiaoProfessor of Computer Science, University of Massachusetts Amherstכתובת אימייל מאומתת בדומיין cs.umass.edu
Phokion KolaitisDistinguished Research Professor, UC Santa Cuz and Principal Research Staff Member, IBM Researchכתובת אימייל מאומתת בדומיין ucsc.edu
Jin-Yi CaiUniversity of Wisconsin - Madisonכתובת אימייל מאומתת בדומיין cs.wisc.edu
Howard StraubingProfessor of Computer Science Boston Collegeכתובת אימייל מאומתת בדומיין bc.edu
Thomas RepsJ. Barkley Rosser Professor & Rajiv and Ritu Batra Chair Emeritus, CS Dept., Univ. of Wisconsinכתובת אימייל מאומתת בדומיין cs.wisc.edu
Kousha EtessamiUniversity of Edinburghכתובת אימייל מאומתת בדומיין inf.ed.ac.uk
Shachar ItzhakyTechnionכתובת אימייל מאומתת בדומיין cs.technion.ac.il
Martin FürerProfessor of Computer Science and Engineering, Pennsylvania State Universityכתובת אימייל מאומתת בדומיין cse.psu.edu
Dexter KozenProfessor of Computer Science, Cornell Universityכתובת אימייל מאומתת בדומיין cs.cornell.edu
Eric AllenderRutgers Universityכתובת אימייל מאומתת בדומיין cs.rutgers.edu
Don TowsleyUniversity of Massachusettsכתובת אימייל מאומתת בדומיין cs.umass.edu

עקוב אחר

Neil Immerman

College of Computer and Information Sciences, UMass, Amherst

כתובת אימייל מאומתת בדומיין cs.umass.edu - דף הבית

logic in computer science descriptive complexity


כותרת מיון לפי ציטוט ביבליוגרפי מיון לפי שנה מיון לפי כותרת	צוטט על ידי צוטט על ידי	שנה
The complexity of decentralized control of Markov decision processes‏ DS Bernstein, R Givan, N Immerman, S Zilberstein‏ Mathematics of operations research 27 (4), 819-840, 2002‏	2175	2002
Descriptive complexity‏ N Immerman‏ Springer Science & Business Media, 1998‏	1461	1998
Nondeterministic space is closed under complementation‏ N Immerman‏ SIAM Journal on computing 17 (5), 935-938, 1988‏	1021	1988
Relational queries computable in polynomial time‏ N Immerman‏ Proceedings of the fourteenth annual ACM symposium on Theory of computing …, 1982‏	1000	1982
An optimal lower bound on the number of variables for graph identification‏ JY Cai, M Fürer, N Immerman‏ Combinatorica 12 (4), 389-410, 1992‏	884	1992
Languages which capture complexity classes‏ N Immerman‏ Proceedings of the fifteenth annual ACM symposium on Theory of computing …, 1983‏	879	1983
On uniformity within NC1‏ DAM Barrington, N Immerman, H Straubing‏ Journal of Computer and System Sciences 41 (3), 274-306, 1990‏	732	1990
Efficient pattern matching over event streams‏ J Agrawal, Y Diao, D Gyllstrom, N Immerman‏ Proceedings of the 2008 ACM SIGMOD international conference on Management of …, 2008‏	601	2008
Describing graphs: A first-order approach to graph canonization‏ N Immerman, E Lander‏ Complexity Theory Retrospective: In Honor of Juris Hartmanis on the Occasion …, 1990‏	360	1990
Upper and lower bounds for first order expressibility‏ N Immerman‏ Journal of Computer and System Sciences 25 (1), 76-98, 1982‏	338	1982
On complexity and optimization of expensive queries in complex event processing‏ H Zhang, Y Diao, N Immerman‏ Proceedings of the 2014 ACM SIGMOD international conference on Management of …, 2014‏	235	2014
Number of quantifiers is better than number of tape cells‏ N Immerman‏ Journal of Computer and System Sciences 22 (3), 384-406, 1981‏	234	1981
Sparse sets in np-p: exptime versus nexptime‏ J Hartmanis, V Sewelson, N Immerman‏ Proceedings of the fifteenth annual ACM symposium on Theory of computing …, 1983‏	219	1983
Definability with bounded number of bound variables‏ N Immerman, D Kozen‏ Information and Computation 83 (2), 121-139, 1989‏	195	1989
On the unusual effectiveness of logic in computer science‏ JY Halpern, R Harper, N Immerman, PG Kolaitis, MY Vardi, V Vianu‏ Bulletin of Symbolic Logic 7 (2), 213-236, 2001‏	181	2001
Descriptive and Computational Complexity.‏ N Immerman‏ FCT, 244-245, 1989‏	177	1989
Expressibility and parallel complexity‏ N Immerman‏ SIAM Journal on Computing 18 (3), 625-638, 1989‏	174	1989
Dyn-FO (preliminary version): a parallel, dynamic complexity class‏ S Patnaik, N Immerman‏ Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on …, 1994‏	164	1994
Leader election algorithms for wireless ad hoc networks‏ S Vasudevan, B DeCleene, N Immerman, J Kurose, D Towsley‏ Proceedings DARPA Information Survivability Conference and Exposition 1, 261-272, 2003‏	155	2003
Expressibility as a complexity measure: results and directions‏ N Immerman‏ Proceeding Structure in Complexity Theory, 194-202, 1987‏	151	1987

המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.

מאמרים 1–20

ציטוטים ביבליוגרפיים בשנה

ציטוטים ביביליוגרפיים כפולים

ציטוטים ביביליוגרפיים שמוזגו

הוסף מחברים שותפיםמחברים משותפים

עקוב אחר

צוטט על ידי

מחברים משותפים