BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
almost (5)
posit (3)
termin (3)
prove (2)
critic (1)

Stem sure$ (all stems)

6 papers:

LICSLICS-2015-ClementeR #multi #problem #worst-case
Multidimensional beyond Worst-Case and Almost-Sure Problems for Mean-Payoff Objectives (LC, JFR), pp. 257–268.
CHICHI-2012-VinotA #design #safety
Legible, are you sure?: an experimentation-based typographical design in safety-critical context (JLV, SA), pp. 2287–2296.
LICSLICS-2008-BaierBBBG #automaton #infinity #model checking
Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata (CB, NB, PB, TB, MG), pp. 217–226.
PPDPPPDP-2007-Gnaedig #induction #termination
Induction for positive almost sure termination (IG), pp. 167–178.
RTARTA-2006-BournezG #proving #termination
Proving Positive Almost Sure Termination Under Strategies (OB, FG), pp. 357–371.
RTARTA-2005-BournezG #proving #termination
Proving Positive Almost-Sure Termination (OB, FG), pp. 323–337.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.