41 - 50 out of 76Page size: 10
  1. 2020

  2. Программные средства поддержки дистанционного обучения функциональному программированию

    Касьянов, В. Н. & Малышев, А. А., 2020, Система облачного параллельного программирования CPPS: визуализация и верификация Cloud Sisal программ. Касьянов, В. Н. (ed.). Новосибирск: ИПЦ НГУ, p. 1-9 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  3. 2019

  4. Academician Andrei Ershov and Graphs in Programming

    Kasyanov, V., Aug 2019, 2019 15th International Asian School-Seminar Optimization Problems of Complex Systems, OPCS 2019. Institute of Electrical and Electronics Engineers Inc., p. 73-77 5 p. 8880185. (2019 15th International Asian School-Seminar Optimization Problems of Complex Systems, OPCS 2019).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  5. A formalization of document models with semantic modelling

    Mantsivoda, A. V. & Ponomaryov, D. K., 1 Jan 2019, In: Bulletin of Irkutsk State University, Series Mathematics. 27, p. 36-54 19 p.

    Research output: Contribution to journal › Article › peer-review

  6. A polynomial time delta-decomposition algorithm for positive DNFs

    Ponomaryov, D., 1 Jan 2019, Computer Science – Theory and Applications - 14th International Computer Science Symposium in Russia, CSR 2019, Proceedings. van Bevern, R. & Kucherov, G. (eds.). Springer, p. 325-336 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11532 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  7. Quantitative Evaluation of Thread-Local Garbage Collection Efficiency for Java

    Filatov, A. Y. & Mikheev, V. V., 1 Jan 2019, In: Programming and Computer Software. 45, 1, p. 1-11 11 p.

    Research output: Contribution to journal › Article › peer-review

  8. Towards semantic document modelling of business processes

    Mantsivoda, A. V. & Ponomaryov, D. K., 1 Jan 2019, In: Bulletin of Irkutsk State University, Series Mathematics. 29, p. 52-67 16 p.

    Research output: Contribution to journal › Article › peer-review

  9. Two-Step Deductive Verification of Control Software Using Reflex

    Anureev, I., Garanina, N., Liakh, T., Rozov, A., Zyubin, V. & Gorlatch, S., 1 Jan 2019, Perspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers. Bjørner, N., Virbitskaite, I. & Voronkov, A. (eds.). Springer International Publishing AG, p. 50-63 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11964 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  10. Parallel Factorization of Boolean Polynomials

    Kulkarni, V., Emelyanov, P., Ponomaryov, D., Krishna, M., Raha, S. & Nandy, S. K., 2019, Perspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers. Bjørner, N., Virbitskaite, I. & Voronkov, A. (eds.). Springer International Publishing AG, p. 80-94 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11964 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  11. 2018

  12. Visualization of graph presentations of data-flow programs

    Kasyanov, V. N. & Zolotuhin, T. A., 1 Dec 2018, p. 138-141. 4 p.

    Research output: Contribution to conference › Paper › peer-review

  13. Creation of tools and algorithms for assessing the relevance of documents

    Yerimbetova, A. S., Sagnayeva, S. K., Murzin, F. A. & Tussupov, J. A., 4 Oct 2018, RPC 2018 - Proceedings of the 3rd Russian-Pacific Conference on Computer Technology and Applications. Institute of Electrical and Electronics Engineers Inc., 8482202. (RPC 2018 - Proceedings of the 3rd Russian-Pacific Conference on Computer Technology and Applications).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

Previous 1 2 3 4 5 6 7 8 Next

ID: 3089109