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 × Croatia
1 × Germany
1 × India
1 × Latvia
2 × United Kingdom
Collaborated with:
∅ K.Chatterjee A.Rabinovich A.Pavlogiannis A.K.Goharshady S.Almagor O.Kupferman J.O.Ringert
Talks about:
payoff (4) mean (4) synthesi (3) quantit (3) game (3) multidimension (2) complex (2) analysi (2) robust (2) interprocedur (1)

Person: Yaron Velner

DBLP DBLP: Velner:Yaron

Contributed to:

FoSSaCS 20152015
POPL 20152015
CSL-LICS 20142014
ICALP (1) 20132013
ICALP (2) 20122012
LICS 20122012
FOSSACS 20112011
ESOP 20182018
CAV (2) 20172017

Wrote 9 papers:

FoSSaCS-2015-Velner #decidability #game studies #multi #robust
Robust Multidimensional Mean-Payoff Games are Undecidable (YV), pp. 312–327.
POPL-2015-ChatterjeePV #analysis #interprocedural
Quantitative Interprocedural Analysis (KC, AP, YV), pp. 539–551.
LICS-CSL-2014-Velner #multi #robust #synthesis
Finite-memory strategy synthesis for robust multidimensional mean-payoff objectives (YV), p. 10.
ICALP-v1-2013-Velner #complexity #game studies #infinity
The Complexity of Infinitely Repeated Alternating Move Games (YV), pp. 816–827.
ICALP-v2-2012-Velner #automaton #complexity
The Complexity of Mean-Payoff Automaton Expression (YV), pp. 390–402.
LICS-2012-ChatterjeeV #automaton #game studies
Mean-Payoff Pushdown Games (KC, YV), pp. 195–204.
FoSSaCS-2011-VelnerR #problem #synthesis
Church Synthesis Problem for Noisy Input (YV, AR), pp. 275–289.
ESOP-2018-ChatterjeeGV #analysis #contract
Quantitative Analysis of Smart Contracts (KC, AKG, YV), pp. 739–767.
CAV-2017-AlmagorKRV #synthesis
Quantitative Assume Guarantee Synthesis (SA, OK, JOR, YV), pp. 353–374.
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.