The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Yaron Velner" ( http://dblp.L3S.de/Authors/Yaron_Velner )

  Author page on DBLP  Author page in RDF  Community of Yaron Velner in ASPL-2

Publication years (Num. hits)
2011-2015 (17) 2016-2018 (18) 2019 (1)
Publication types (Num. hits)
article(19) inproceedings(17)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 37 publication records. Showing 36 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Kalev Alpernas, Aurojit Panda, Alexander Rabinovich, Mooly Sagiv, Scott Shenker, Sharon Shoham, Yaron Velner Some complexity results for stateful network verification. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Amir Kafshdar Goharshady, Yaron Velner Quantitative Analysis of Smart Contracts. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Yaron Velner Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Amir Kafshdar Goharshady, Yaron Velner Quantitative Analysis of Smart Contracts. Search on Bibsonomy ESOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kalev Alpernas, Roman Manevich, Aurojit Panda, Mooly Sagiv, Scott Shenker, Sharon Shoham, Yaron Velner Abstract Interpretation of Stateful Networks. Search on Bibsonomy SAS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Yaron Velner Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies. Search on Bibsonomy CONCUR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Yaron Velner Hyperplane separation technique for multidimensional mean-payoff games. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Yaron Velner The Complexity of Mean-Payoff Pushdown Games. Search on Bibsonomy J. ACM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Kalev Alpernas, Roman Manevich, Aurojit Panda, Mooly Sagiv, Scott Shenker, Sharon Shoham, Yaron Velner Modular Safety Verification for Stateful Networks. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Loi Luu, Yaron Velner, Jason Teutsch, Prateek Saxena SMART POOL : Practical Decentralized Pooled Mining. Search on Bibsonomy IACR Cryptology ePrint Archive The full citation details ... 2017 DBLP  BibTeX  RDF
1Yaron Velner, Jason Teutsch, Loi Luu Smart Contracts Make Bitcoin Mining Pools Vulnerable. Search on Bibsonomy IACR Cryptology ePrint Archive The full citation details ... 2017 DBLP  BibTeX  RDF
1Ilaria De Crescenzo, Salvatore La Torre, Yaron Velner Visibly pushdown modular games, . Search on Bibsonomy Inf. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop, Yaron Velner Quantitative fair simulation games. Search on Bibsonomy Inf. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Shaull Almagor, Orna Kupferman, Jan Oliver Ringert, Yaron Velner Quantitative Assume Guarantee Synthesis. Search on Bibsonomy CAV (2) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yaron Velner, Jason Teutsch, Loi Luu Smart Contracts Make Bitcoin Mining Pools Vulnerable. Search on Bibsonomy Financial Cryptography Workshops The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Loi Luu, Yaron Velner, Jason Teutsch, Prateek Saxena SmartPool: Practical Decentralized Pooled Mining. Search on Bibsonomy USENIX Security Symposium The full citation details ... 2017 DBLP  BibTeX  RDF
1Shaull Almagor, Orna Kupferman, Yaron Velner Minimizing Expected Cost Under Hard Boolean Constraints, with Applications to Quantitative Synthesis. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Yaron Velner, Kalev Alpernas, Aurojit Panda, Alexander Rabinovich, Mooly Sagiv, Scott Shenker, Sharon Shoham Some Complexity Results for Stateful Network Verification. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Shaull Almagor, Orna Kupferman, Yaron Velner Minimizing Expected Cost Under Hard Boolean Constraints, with Applications to Quantitative Synthesis. Search on Bibsonomy CONCUR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yaron Velner, Krishnendu Chatterjee, Laurent Doyen 0001, Thomas A. Henzinger, Alexander Moshe Rabinovich, Jean-François Raskin The complexity of multi-mean-payoff and multi-energy games. Search on Bibsonomy Inf. Comput. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Andreas Pavlogiannis, Yaron Velner Quantitative Interprocedural Analysis. Search on Bibsonomy POPL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Yaron Velner Robust Multidimensional Mean-Payoff Games are Undecidable. Search on Bibsonomy FoSSaCS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ilaria De Crescenzo, Salvatore La Torre, Yaron Velner Visibly Pushdown Modular Games. Search on Bibsonomy GandALF The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Yaron Velner Robust Multidimensional Mean-Payoff Games are Undecidable. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Yaron Velner Finite-memory strategy synthesis for robust multidimensional mean-payoff objectives. Search on Bibsonomy CSL-LICS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Yaron Velner The Complexity of Infinitely Repeated Alternating Move Games. Search on Bibsonomy ICALP (1) The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Yaron Velner Hyperplane Separation Technique for Multidimensional Mean-Payoff Games. Search on Bibsonomy CONCUR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Yaron Velner Finite-State and Pushdown Games with Multi-dimensional Mean-Payoff Objectives Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Yaron Velner The Complexity of Alternating Move Games Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Yaron Velner, Krishnendu Chatterjee, Laurent Doyen 0001, Thomas A. Henzinger, Alexander Rabinovich, Jean-François Raskin The Complexity of Multi-Mean-Payoff and Multi-Energy Games Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Yaron Velner Mean-Payoff Pushdown Games Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Yaron Velner Strategy Synthesis for Mean-Payoff Expression Objectives Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Yaron Velner Mean-Payoff Pushdown Games. Search on Bibsonomy LICS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Yaron Velner The Complexity of Mean-Payoff Automaton Expression. Search on Bibsonomy ICALP (2) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Yaron Velner The Complexity of Mean-Payoff Automaton Expression Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Yaron Velner, Alexander Rabinovich Church Synthesis Problem for Noisy Input. Search on Bibsonomy FoSSaCS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #36 of 36 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license