6 papers:
FoSSaCS-2015-AntonopoulosHRW #logic #realtime- Three Variables Suffice for Real-Time Logic (TA, PH, SR, JW), pp. 361–374.
STOC-2011-GolabHW #distributed #implementation #random- Linearizable implementations do not suffice for randomized distributed computation (WMG, LH, PW), pp. 373–382.
ICALP-v1-2011-AnandGM #how #question- Meeting Deadlines: How Much Speed Suffices? (SA, NG, NM), pp. 232–243.
ESOP-2007-DengGMZ #probability #testing- Scalar Outcomes Suffice for Finitary Probabilistic Testing (YD, RJvG, CM, CZ), pp. 363–378.
- ICALP-2004-Fleischer #algorithm #bound #linear #network
- Linear Tolls Suffice: New Bounds and Algorithms for Tolls in Single Source Networks (LF), pp. 544–554.
- ICALP-1997-AndreevCR #trade-off #worst-case
- Worst-Case Hardness Suffices for Derandomization: A New Method for Hardness-Randomness Trade-Offs (AEA, AEFC, JDPR), pp. 177–187.
