• Board Games: How Ceos Adapt To Increases In Structural Board Independence From Management 

    Westphal, J. D. (2015-04-16)
    This paper presents a model that incorporates the behavior of chief executive officers (CEOs) into an explanation of how boards of directors affect organizational outcomes. Hypotheses are tested with archival data on ...
  • A self-verifying theorem prover 

    Davis, Jared Curran (2010-08-24)
    Programs have precise semantics, so we can use mathematical proof to establish their properties. These proofs are often too large to validate with the usual "social process" of mathematics, so instead we create and check ...