Concepedia

Yaron Velner

YV

6

Publications

224

Citations

6

H-Index

2012

Active since

Affiliations

Institute of Science and Technology Austria(Current)

Hebrew University of Jerusalem

Tel Aviv University

Yaron Velner is an author at Institute of Science and Technology Austria specializing in engineering, business, and formal verification.

Top concepts

BusinessEngineeringGamesGame TheoryFormal MethodsComputer ScienceMechanism DesignFormal VerificationOperations ResearchAlgorithmic Game Theory

Publications per year

2012–2018

6

Publications

6

SMART POOL : Practical Decentralized Pooled Mining.

Loi Luu, Yaron Velner, Jason Teutsch et al. · IACR Cryptology ePrint Archive · 2017 · 84 citations

The complexity of multi-mean-payoff and multi-energy games

Yaron Velner, Krishnendu Chatterjee, Laurent Doyen et al. · Information and Computation · 2015 · 79 citations

Mathematical Programming, Engineering, Mean Field Game +10

Mean-Payoff Pushdown Games

Krishnendu Chatterjee, Yaron Velner · 2012 · 23 citations

Engineering, Reachability Problem, Game Theory +21

Quantitative Interprocedural Analysis

Krishnendu Chatterjee, Andreas Pavlogiannis, Yaron Velner · 2014 · 16 citations

Mathematical Programming, Engineering, Reachability Problem +24

Quantitative Analysis of Smart Contracts

Krishnendu Chatterjee, Amir Kafshdar Goharshady, Yaron Velner · Lecture notes in computer science · 2018 · 12 citations · Full text

Rows per page

1–5 of 6