Neil Immerman

Neil Immerman (24 November 1953, Manhasset, New York) is an American theoretical computer scientist, a professor of computer science at the… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1987-2018
0519872018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
This paper develops and estimates an instrumental variables strategy for identifying the causal effect of securitization on the… (More)
  • figure 1
  • figure 2
  • figure 4
  • table 2
  • table 3
Is this relevant?
2009
2009
Planning with Unknown Object Quantities and Properties Siddharth Srivastava and Neil Immerman and Shlomo Zilberstein Department… (More)
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
2009
2009
Anuphon Laohavisit,a Jennifer C. Mortimer,a,1,2 Vadim Demidchik,a,1,3 Katy M. Coxon,a,4 Matthew A. Stancombe,a Neil Macpherson,a… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2008
2008
The second conference on pinkeye disease of potatoes was held March 12, 1991 at the Radisson Hotel in Fargo, North Dakota. The… (More)
Is this relevant?
2006
2006
The congruence coefficient was first introduced by Burt (1948) under the name of unadjusted correlation as a measure of the… (More)
Is this relevant?
Review
2005
Review
2005
The raison d’être of descriptive complexity is the following The Computational Complexity of checking if an input has a property… (More)
Is this relevant?
2005
2005
* I am grateful to Jeffrey Bernstein for helpful discussions. This paper has also benefited from discussions with Irv Emmons… (More)
Is this relevant?
2002
2002
  • KEITH W. HOSKIN, RICHARD H. MACVE
  • 2002
Historical elaboration of Foucault’s concept of ‘power-knowledge” can explain both the late-medieval developments in accounting… (More)
Is this relevant?
1999
1999
  • Marcus J. Chambers, Joanne S. McGarry
  • 1999
This paper considers a continuous time unobserved components model in which the cyclical component follows a differential… (More)
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
1997
1997
We give a linear time algorithm to translate any formula from computation tree logic CTL or CTL into an equivalent expres sion in… (More)
Is this relevant?