1![Solving (Quantified) Horn Constraints for Program Verification and Synthesis Andrey Rybalchenko (Microsoft Research) September 30, 2015 Solving (Quantified) Horn Constraints for Program Verification and Synthesis Andrey Rybalchenko (Microsoft Research) September 30, 2015](https://www.pdfsearch.io/img/db56ef2c445ae749dd5bfba94b779c5a.jpg) | Add to Reading ListSource URL: www.avacs.orgLanguage: English - Date: 2015-10-01 02:29:41
|
---|
2![Subsumer-First: Steering Symbolic Reachability Analysis Andrey Rybalchenko1 and Rishabh Singh2 1 Max Planck Institute for Software Systems (MPI-SWS) Subsumer-First: Steering Symbolic Reachability Analysis Andrey Rybalchenko1 and Rishabh Singh2 1 Max Planck Institute for Software Systems (MPI-SWS)](https://www.pdfsearch.io/img/b95523fadbf41309595bd3d8ba0017b5.jpg) | Add to Reading ListSource URL: rishabhmit.bitbucket.ioLanguage: English - Date: 2018-06-25 09:59:57
|
---|
3![Language and Hardware Acceleration Backend for Graph Processing Andrey Mokhov† , Alessandro de Gennaro† , Ghaith Tarawneh† , Jonny Wray‡ , Georgy Lukyanov† , Sergey Mileiko† , Joe Scott† , Alex Yakovlev† Language and Hardware Acceleration Backend for Graph Processing Andrey Mokhov† , Alessandro de Gennaro† , Ghaith Tarawneh† , Jonny Wray‡ , Georgy Lukyanov† , Sergey Mileiko† , Joe Scott† , Alex Yakovlev†](https://www.pdfsearch.io/img/5acbc0d85610efb3fd039820fe9996d7.jpg) | Add to Reading ListSource URL: www.staff.ncl.ac.ukLanguage: English - Date: 2017-08-19 21:07:39
|
---|
4![](/pdf-icon.png) | Add to Reading ListSource URL: andrey.hristov.com- Date: 2010-12-09 10:30:25
|
---|
5![](/pdf-icon.png) | Add to Reading ListSource URL: andrey.hristov.com- Date: 2010-12-09 10:30:25
|
---|
6![Filling the gaps smoothly Andrey Itkin Tandon School of Engineering, New York University 2nd International Conference on Computational Finance Sept. 2017, Lisbon Filling the gaps smoothly Andrey Itkin Tandon School of Engineering, New York University 2nd International Conference on Computational Finance Sept. 2017, Lisbon](https://www.pdfsearch.io/img/b4921f56e2efb8ad3042bf26cf9ec103.jpg) | Add to Reading ListSource URL: cemapre.iseg.ulisboa.ptLanguage: English - Date: 2017-09-18 11:05:04
|
---|
7![An Epistemic Perspective on Consistency of Concurrent Computations Klaus v. Gleissenthall1 and Andrey Rybalchenko1,2 1 2 An Epistemic Perspective on Consistency of Concurrent Computations Klaus v. Gleissenthall1 and Andrey Rybalchenko1,2 1 2](https://www.pdfsearch.io/img/7f47cf4411bf70a2ce71e04d9881a9ea.jpg) | Add to Reading ListSource URL: goto.ucsd.eduLanguage: English - Date: 2016-04-12 14:04:38
|
---|
8![Spanner: Google’s Globally-Distributed Database James C. Corbett, Jeffrey Dean, Michael Epstein, Andrew Fikes, Christopher Frost, JJ Furman, Sanjay Ghemawat, Andrey Gubarev, Christopher Heiser, Peter Hochschild, Wilson Spanner: Google’s Globally-Distributed Database James C. Corbett, Jeffrey Dean, Michael Epstein, Andrew Fikes, Christopher Frost, JJ Furman, Sanjay Ghemawat, Andrey Gubarev, Christopher Heiser, Peter Hochschild, Wilson](https://www.pdfsearch.io/img/bcbf9d5668e547685bd61d003b620528.jpg) | Add to Reading ListSource URL: www.frostnet.netLanguage: English - Date: 2012-09-15 13:43:07
|
---|
9![MySQL Proxy WebTech 2007 Варна, България 29-ти Юни 2007 Aндрей Христов <> MySQL Proxy WebTech 2007 Варна, България 29-ти Юни 2007 Aндрей Христов <>](https://www.pdfsearch.io/img/e58dbdc0960ab566c0b43161a70d85b3.jpg) | Add to Reading ListSource URL: andrey.hristov.comLanguage: English - Date: 2010-12-09 10:30:25
|
---|
10![Participants list XIVth Hvar Astrophysical ColloquiumSeptemberFirst name Andrey Arun Kumar Urszula Participants list XIVth Hvar Astrophysical ColloquiumSeptemberFirst name Andrey Arun Kumar Urszula](https://www.pdfsearch.io/img/98d41dbec1fc47029133329a3cacb46d.jpg) | Add to Reading ListSource URL: oh.geof.unizg.hrLanguage: English - Date: 2016-10-10 23:26:27
|
---|