Velner, Yaron

1. The Complexity of Multi-Mean-Payoff and Multi-Energy Games
   2012/09/14 by Yaron Velner, Velner, Yaron, Krishnendu Chatterjee +9 · 1 citation
   Computer Science · #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems
2. Quantitative Analysis of Smart Contracts
   2018/01/10 by Chatterjee, Krishnendu, Goharshady, Amir Kafshdar, Velner, Yaron · 1 citation
   #FOS: Computer and information sciences #Programming Languages (cs.PL)
3. SoK: Liquid Staking Tokens (LSTs) and Emerging Trends in Restaking
   2024/03/31 by Krzysztof Gogol, Yaron Velner, Gogol, Krzysztof +5 · 2 citations
   Computer Science · Business, Management and Accounting · #Blockchain Technology Applications and Security #FinTech, Crowdfunding, Digital Finance #Digital Platforms and Economics