Stem prophet$ (all stems)

5 papers:

ICALP-v2-2014-0002HKSV #independence #online #set #worst-case

Online Independent Set Beyond the Worst-Case: Secretaries, Prophets, and Periods (OG, MH, TK, TS, BV), pp. 508–519.

FASE-2012-NaujokatLS #programming

Loose Programming with PROPHETS (SN, ALL, BS), pp. 94–98.

FoSSaCS-2012-PreugschatW #automaton #effectiveness #logic #using

Effective Characterizations of Simple Fragments of Temporal Logic Using Prophetic Automata (SP, TW), pp. 135–149.

STOC-2012-KleinbergW

Matroid prophet inequalities (RK, SMW), pp. 123–136.

SIGMOD-2011-KennedyLLSN #enterprise #fuzzy #nondeterminism #parametricity

Fuzzy prophet: parameter exploration in uncertain enterprise scenarios (OK, SL, CL, SS, SN), pp. 1303–1306.