Individuals publicly executed as a form of capital punishment, as opposed to individuals extrajudicially murdered in a lynching.