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: Kuperberg:Denis
Contributed to:
2015
2014
2013201320122010
2016Wrote 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.