Andrey

Results: 552



#Item
1Solving (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

Add to Reading List

Source URL: www.avacs.org

Language: English - Date: 2015-10-01 02:29:41
    2Subsumer-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)

    Add to Reading List

    Source URL: rishabhmit.bitbucket.io

    Language: English - Date: 2018-06-25 09:59:57
    3Language 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†

    Add to Reading List

    Source URL: www.staff.ncl.ac.uk

    Language: English - Date: 2017-08-19 21:07:39
    4

    PDF Document

    Add to Reading List

    Source URL: andrey.hristov.com

    - Date: 2010-12-09 10:30:25
      5

      PDF Document

      Add to Reading List

      Source URL: andrey.hristov.com

      - Date: 2010-12-09 10:30:25
        6Filling 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

        Add to Reading List

        Source URL: cemapre.iseg.ulisboa.pt

        Language: English - Date: 2017-09-18 11:05:04
          7An 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

          Add to Reading List

          Source URL: goto.ucsd.edu

          Language: English - Date: 2016-04-12 14:04:38
            8Spanner: 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

            Add to Reading List

            Source URL: www.frostnet.net

            Language: English - Date: 2012-09-15 13:43:07
              9MySQL Proxy WebTech 2007 Варна, България 29-ти Юни 2007 Aндрей Христов <>

              MySQL Proxy WebTech 2007 Варна, България 29-ти Юни 2007 Aндрей Христов <>

              Add to Reading List

              Source URL: andrey.hristov.com

              Language: English - Date: 2010-12-09 10:30:25
                10Participants list XIVth Hvar Astrophysical ColloquiumSeptemberFirst name Andrey Arun Kumar Urszula

                Participants list XIVth Hvar Astrophysical ColloquiumSeptemberFirst name Andrey Arun Kumar Urszula

                Add to Reading List

                Source URL: oh.geof.unizg.hr

                Language: English - Date: 2016-10-10 23:26:27