BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × France
1 × Italy
1 × Japan
1 × Latvia
1 × United Kingdom
Collaborated with:
M.Skrzypczak M.V.Boom T.Colcombet S.Lombardy N.Fijalkow F.Horn C.Löding U.Boker O.Kupferman A.Blumensath P.Parys N.Macedo J.Brunel D.Chemouil A.Cunha
Talks about:
cost (4) automata (2) infinit (2) logic (2) defin (2) tree (2) game (2) nondetermin (1) lightweight (1) determinis (1)

Person: Denis Kuperberg

DBLP DBLP: Kuperberg:Denis

Contributed to:

ICALP (2) 20152015
CSL-LICS 20142014
CSL 20132013
ICALP (2) 20132013
ICALP (2) 20122012
ICALP (2) 20102010
FSE 20162016

Wrote 8 papers:

ICALP-v2-2015-FijalkowHKS #bound #game studies #memory management
Trading Bounds for Memory in Games with Counters (NF, FH, DK, MS), pp. 197–208.
ICALP-v2-2015-KuperbergS #automaton #nondeterminism #on the
On Determinisation of Good-for-Games Automata (DK, MS), pp. 299–310.
LICS-CSL-2014-BlumensathCKPB #automaton #infinity #logic
Two-way cost automata and cost logics over infinite trees (AB, TC, DK, PP, MVB), p. 9.
CSL-2013-ColcombetKLB #automaton
Deciding the weak definability of Büchi definable tree languages (TC, DK, CL, MVB), pp. 215–230.
ICALP-v2-2013-BokerKKS #nondeterminism
Nondeterminism in the Presence of a Diverse or Unknown Future (UB, DK, OK, MS), pp. 89–100.
ICALP-v2-2012-KuperbergB #infinity #logic #on the #power of #word
On the Expressive Power of Cost Logics over Infinite Words (DK, MVB), pp. 287–298.
ICALP-v2-2010-ColcombetKL #cost analysis
Regular Temporal Cost Functions (TC, DK, SL), pp. 563–574.
FSE-2016-MacedoBCCK #analysis #lightweight #specification
Lightweight specification and analysis of dynamic systems with rich configurations (NM, JB, DC, AC, DK), pp. 373–383.

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.