Agents as a Tool for the Formation of Algorithmic Thinking of Schoolchildren

Tikhonova, T., 28 Jun 2018, Selected Papers - 2017 4th International Conference "Computer Technology in Russia and in the Former Soviet Union", SoRuCom 2017. Krayneva & Tomilin, A. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 147-149 3 p.

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

AND–decomposition of boolean polynomials with prescribed shared variables

Emelyanov, P., 1 Jan 2016, Algorithms and Discrete Applied Mathematics - 2nd International Conference, CALDAM 2016, Proceedings. Springer-Verlag GmbH and Co. KG, Vol. 9602. p. 164-175 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9602).

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

An ontology-based approach to support formal verification of concurrent systems

Garanina, N., Anureev, I., Sidorova, E., Koznov, D., Zyubin, V. & Gorlatch, S., 1 Sept 2020, Formal Methods- FM 2019 International Workshops - Revised Selected Papers. Sekerinski, E., Moreira, N., Oliveira, J. N., Ratiu, D., Guidotti, R., Farrell, M., Luckcuck, M., Marmsoler, D., Campos, J., Astarte, T., Gonnord, L., Cerone, A., Couto, L., Dongol, B., Kutrib, M., Monteiro, P. & Delmas, D. (eds.). Springer Nature, p. 114-130 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12232 LNCS).

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

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-Verlag GmbH and Co. KG, 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

Cartesian decomposition in data analysis

Emelyanov, P. & Ponomaryov, D., 18 Oct 2017, Proceedings - 2017 Siberian Symposium on Data Science and Engineering, SSDSE 2017. Institute of Electrical and Electronics Engineers Inc., p. 55-60 6 p. 8071964

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

Compact Interface Method Table Layout

Trepakov, I. & Pavlov, P., Sept 2020, Proceedings - 2020 Ivannikov Memorial Workshop, IVMEM 2020. Prokhorov, S. (ed.). Institute of Electrical and Electronics Engineers Inc., p. 62-68 7 p. 9357020. (Proceedings - 2020 Ivannikov Memorial Workshop, IVMEM 2020).

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

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

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

Defind: a protege plugin for computing concept definitions in εL Ontologies

Ponomaryov, D. & Yakovenko, S., 1 Jan 2018, Semantic Technology - 8th Joint International Conference, JIST 2018, Proceedings. Springer-Verlag GmbH and Co. KG, p. 235-243 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11341 LNCS).

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

Evaluation of thread-local garbage collection

Filatov, A. & Mikheev, V., Sept 2020, Proceedings - 2020 Ivannikov Memorial Workshop, IVMEM 2020. Prokhorov, S. (ed.). Institute of Electrical and Electronics Engineers Inc., p. 15-21 7 p. 9356994. (Proceedings - 2020 Ivannikov Memorial Workshop, IVMEM 2020).

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

Extensions to the Predicate Programming Language for Efficient Graph Processing

Shelekhov, V., 2022, Proceedings - 2022 Ivannikov Memorial Workshop, IVMEM 2022. Institute of Electrical and Electronics Engineers Inc., p. 65-71 7 p. (Proceedings - 2022 Ivannikov Memorial Workshop, IVMEM 2022).

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