Ilya - PDFSEARCH.IO - Document Search Engine

Ilya
Results: 536

#	Item
41	Scilla: a Smart Contract Intermediate-Level LAnguage Automata for Smart Contract Implementation and Verification Ilya Sergey Amrit Kumar Add to Reading List Source URL: arxiv.org - Date: 2018-01-02 20:44:15
42	Mechanising Blockchain Consensus George Pîrlea Ilya Sergey University College London, UK Add to Reading List Source URL: ilyasergey.net - Date: 2018-03-26 18:04:21
43	Paxos Consensus, Deconstructed and Abstracted Extended Version ´ Alvaro Garc´ıa-P´erez1 , Alexey Gotsman1 , Yuri Meshman1 , and Ilya Sergey2 1 Add to Reading List Source URL: ilyasergey.net - Date: 2018-03-26 18:04:21
44	Scilla: a Smart Contract Intermediate-Level LAnguage Automata for Smart Contract Implementation and Verification Ilya Sergey Amrit Kumar Add to Reading List Source URL: ilyasergey.net - Date: 2018-03-26 18:04:21
45	Deferred-Acceptance Auctions and Radio Spectrum Reallocation Paul Milgromy Ilya Segalz Add to Reading List Source URL: www.milgrom.net - Date: 2014-09-11 19:38:07
46	Programming Language Abstractions for Modularly Verified Distributed Systems James R. Wilcox1 , Ilya Sergey2 , and Zachary Tatlock3 1 2 3 Add to Reading List Source URL: drops.dagstuhl.de - Date: 2017-04-30 08:16:26
47	RUSSIA ILYA SHIKSHIN 1 DAN PROFESSIONAL YEAR OF BIRTH: 1990 RUSSIAN CHAMPION: , 2009, 2012, Add to Reading List Source URL: eurogofed.org - Date: 2017-07-09 08:18:24
48	Incremental Deterministic Public-Key Encryption Ilya Mironov∗ Omkant Pandey† Omer Reingold∗ Add to Reading List Source URL: eprint.iacr.org - Date: 2012-01-30 19:12:55
49	Message-Locked Encryption for Lock-Dependent Messages Mart´ın Abadi1,3 , Dan Boneh2,? , Ilya Mironov1 , Ananth Raghunathan2,?,?? , and Gil Segev2,?,?? 1 Add to Reading List Source URL: eprint.iacr.org - Date: 2015-05-07 11:56:24
50	Addressing the Rare Word Problem in Neural Machine Translation Minh-Thang Luong† ∗ Stanford Ilya Sutskever† Add to Reading List Source URL: cs224d.stanford.edu - Date: 2016-05-12 22:27:25

UPDATE