bibliography.bib

@article{chervyakov17,
  title = {{{AR-RRNS}}: Configurable reliable distributed data storage systems
           for {{I}}nternet of {{T}}hings to ensure security},
  author = {Chervyakov, Nikolay and Babenko, Mikhail and Tchernykh, Andrei and
            Kucherov, Nikolay and Miranda-L{\'o}pez, Vanessa and
            Cort{\'e}s-Mendoza, Jorge M},
  journal = {Future Generation Computer Systems},
  volume = {92},
  pages = {1080--1092},
  year = {2019},
  doi = {10.1016/j.future.2017.09.061},
}

@article{ermakov15,
  title = {Подход к проведению динамического анализа {{J}}ava-программ методом
           модификации виртуальной машины {{J}}ava},
  author = {Ермаков, М.~К. and Вартанов, С.~П.},
  journal = {Труды ИСП РАН},
  volume = {27},
  number = {2},
  pages = {23--38},
  year = {2015},
  doi = {10.15514/ISPRAS-2015-27(2)-2},
  langid = {russian},
  addendum={/ \fullcite{ermakov15en}},
}

@article{ermakov15en,
  title = {Dynamic {{J}}ava Program Analysis Using Virtual Machine
           Modification},
  author = {Ermakov, M.~K. and Vartanov, S.~P.},
  journal = {Trudy ISP RAN/Proc. ISP RAS},
  volume = {27},
  number = {2},
  pages = {23--38},
  year = {2015},
  doi = {10.15514/ISPRAS-2015-27(2)-2},
  langid = {english},
  options = {skipbib=true},
}

@article{proskuryakova17,
  author = {Proskuryakova, Liliana and Meissner, Dirk and Rudnik, Pavel},
  title = {The use of technology platforms as a policy tool to address research
           challenges and technology transfer},
  journal = {The Journal of Technology Transfer},
  year = {2017},
  volume = {42},
  number = {1},
  pages = {206--227},
  doi = {10.1007/s10961-014-9373-8},
}

@inproceedings{burgess03,
  author = {Burgess, Neil},
  booktitle = {Proceedings 2003 16th IEEE Symposium on Computer Arithmetic},
  title = {Scaling an {{RNS}} number using the core function},
  year = {2003},
  pages = {262--269},
  doi = {10.1109/ARITH.2003.1207687},
}

@article{naveh07,
  author = {Naveh, Yehuda and Rimon, Michal and Jaeger, Itai and Katz, Yoav and
            Vinov, Michael and Marcu, Eitan and Shurek, Gil},
  title = {Constraint-Based Random Stimuli Generation for Hardware
           Verification},
  volume={28},
  doi = {10.1609/aimag.v28i3.2052},
  number = {3},
  journal = {AI Magazine},
  year={2007},
  pages={13},
}

@book{dijkstra76,
  title = {A discipline of programming},
  author = {Dijkstra, Edsger Wybe},
  year = {1976},
  publisher = {Prentice-Hall},
}

@misc{un210-kit,
  organization = {Ettus Research},
  title = {Universal Software Radio Peripheral and Daughter Boards},
  url = {http://www.ettus.com/product/details/UN210-KIT},
  urldate = {2019-01-30},
}

@book{akushsky68,
  title = {Машинная арифметика в остаточных классах},
  author = {Акушский, Израиль Яковевич and Юдицкий, Давлет Исламович},
  year = {1968},
  publisher = {Советское радио},
  langid = {russian},
  addendum={/ \fullcite{akushsky68en}},
}

@book{akushsky68en,
  title = {Computer arithmetic in residual classes},
  author = {Akushsky, I.~Ya. and Yuditsky, D.~I.},
  year = {1968},
  publisher = {Soviet Radio},
  langid = {english},
  options = {skipbib=true},
}