1. 2019
  2. Semantic Smart Wallets

    Sviridenko, D., Oct 2019, SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 991-994 4 p. 8958372. (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

  3. Towards safe embedded systems: Industrialc translational semantics for avr microcontrollers

    Rozov, A., Anureev, I., Garanina, N., Liakh, T. & Zyubin, V., Oct 2019, SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 857-861 5 p. 8958258. (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

  4. Photon-Assisted Electron Transmission through a Quantum Point Contact

    Tkachenko, O. A., Baksheev, D. G., Tkachenko, V. A., Kvon, Z. D., Yaroshevich, A. S., Rodyakina, E. E. & Latyshev, A. V., 1 Sept 2019, In: Optoelectronics, Instrumentation and Data Processing. 55, 5, p. 480-487 8 p.

    Research output: Contribution to journalArticlepeer-review

  5. Computable Numberings of Families of Infinite Sets

    Dorzhieva, M. V., 1 Jul 2019, In: Algebra and Logic. 58, 3, p. 224-231 8 p.

    Research output: Contribution to journalArticlepeer-review

  6. Cross-frequency coupling in developmental perspective

    Knyazev, G. G., Savostyanov, A. N., Bocharov, A. V., Tamozhnikov, S. S., Kozlova, E. A., Leto, I. V. & Slobodskaya, H. R., 14 May 2019, In: Frontiers in Human Neuroscience. 13, p. 158 10 p., 158.

    Research output: Contribution to journalArticlepeer-review

  7. On Decidability of List Structures

    Aleksandrova, S. A. & Bazhenov, N. A., 1 May 2019, In: Siberian Mathematical Journal. 60, 3, p. 377-388 12 p.

    Research output: Contribution to journalArticlepeer-review

  8. EEG dynamics of spontaneous stimulus-independent thoughts

    Bocharov, A. V., Knyazev, G. G., Savostyanov, A. N., Astakhova, T. N. & Tamozhnikov, S. S., 3 Apr 2019, In: Cognitive Neuroscience. 10, 2, p. 77-87 11 p.

    Research output: Contribution to journalArticlepeer-review

  9. LabVIEW-based automatic verification of process-oriented software

    Liakh, T., Rozov, A. & Zyubin, V., 1 Apr 2019, 2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 8729596. (2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

  10. Towards safe cyber-physical systems: The reflex language and its transformational semantics

    Anureev, I., Garanina, N., Liakh, T., Rozov, A., Schulte, H. & Zyubin, V., Apr 2019, 2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings. Stukach, O. (ed.). Institute of Electrical and Electronics Engineers Inc., 6 p. 8729633. (2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

ID: 3084753