Folgen
Neil Immerman
Neil Immerman
College of Computer and Information Sciences, UMass, Amherst
Bestätigte E-Mail-Adresse bei cs.umass.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
20242002
Descriptive complexity
N Immerman
Springer Science & Business Media, 2012
13912012
Nondeterministic space is closed under complementation
N Immerman
SIAM Journal on computing 17 (5), 935-938, 1988
9971988
Relational queries computable in polynomial time
N Immerman
Proceedings of the fourteenth annual ACM symposium on Theory of computing …, 1982
9831982
Languages which capture complexity classes
N Immerman
Proceedings of the fifteenth annual ACM symposium on Theory of computing …, 1983
8531983
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
7841992
On uniformity within NC1
DAM Barrington, N Immerman, H Straubing
Journal of Computer and System Sciences 41 (3), 274-306, 1990
6921990
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
5832008
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
3411990
Upper and lower bounds for first order expressibility
N Immerman
Journal of Computer and System Sciences 25 (1), 76-98, 1982
3251982
Number of quantifiers is better than number of tape cells
N Immerman
Journal of Computer and System Sciences 22 (3), 384-406, 1981
2201981
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
2122014
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
2031983
Definability with bounded number of bound variables
N Immerman, D Kozen
Information and Computation 83 (2), 121-139, 1989
1891989
Expressibility and parallel complexity
N Immerman
SIAM Journal on Computing 18 (3), 625-638, 1989
1711989
Descriptive and computational complexity
N Immerman
Computational Complexity Theory, ed. J. Hartmanis, Proc. Symp. in Applied …, 1989
1711989
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
1682001
Dyn-FO (preliminary version): a parallel, dynamic complexity class
S Patnaik, N Immerman
Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on …, 1994
1571994
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
1472003
Expressibility as a complexity measure: results and directions
N Immerman
Yale University, Department of Computer Science, 1987
1461987
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20