BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Germany
1 × Japan
1 × Latvia
1 × Norway
2 × France
2 × USA
Collaborated with:
O.Kupferman T.A.Henzinger S.Almagor J.Otop A.Radhakrishna A.Rosenberg D.Kuperberg M.Skrzypczak K.Chatterjee
Talks about:
discount (3) automata (3) büchi (2) sum (2) nondetermin (1) succinct (1) determin (1) unknown (1) transit (1) qualiti (1)

Person: Udi Boker

DBLP DBLP: Boker:Udi

Contributed to:

LICS 20152015
POPL 20142014
TACAS 20142014
ICALP (2) 20132013
CSL 20112011
FOSSACS 20112011
LICS 20112011
ICALP (2) 20102010
LICS 20092009
CSL 20172017

Wrote 11 papers:

LICS-2015-BokerHO #problem
The Target Discounted-Sum Problem (UB, TAH, JO), pp. 750–761.
Battery transition systems (UB, TAH, AR), pp. 595–606.
TACAS-2014-AlmagorBK #ltl
Discounting in LTL (SA, UB, OK), pp. 424–439.
ICALP-v2-2013-AlmagorBK #formal method #quality #reasoning
Formalizing and Reasoning about Quality (SA, UB, OK), pp. 15–27.
ICALP-v2-2013-BokerKKS #nondeterminism
Nondeterminism in the Presence of a Diverse or Unknown Future (UB, DK, OK, MS), pp. 89–100.
CSL-2011-BokerH #automaton
Determinizing Discounted-Sum Automata (UB, TAH), pp. 82–96.
FoSSaCS-2011-BokerK #automaton
Co-Büching Them All (UB, OK), pp. 184–198.
LICS-2011-BokerCHK #cumulative #specification
Temporal Specifications with Accumulative Values (UB, KC, TAH, OK), pp. 43–52.
ICALP-v2-2010-BokerKR #automaton
Alternation Removal in Büchi Automata (UB, OK, AR), pp. 76–87.
LICS-2009-BokerK #automaton
Co-ing Büchi Made Tight and Useful (UB, OK), pp. 245–254.
CSL-2017-Boker #automaton #on the
On the (In)Succinctness of Muller Automata (UB), p. 16.

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.