121 - 130 out of 500Page size: 10
  1. 2020

  2. Using Large-Scale Anomaly Detection on Code to Improve Kotlin Compiler

    Bryksin, T., Petukhov, V., Alexin, I., Prikhodko, S., Shpilman, A., Kovalenko, V. & Povarov, N., 29 Jun 2020, p. 455-465. 11 p.

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

  3. Visualization of Methods Changeability Based on VCS Data

    Svitkov, S. & Bryksin, T., 29 Jun 2020, p. 477-480. 4 p.

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

  4. Building Implicit Vector Representations of Individual Coding Style

    Kovalenko, V., Bogomolov, E., Bryksin, T. & Bacchelli, A., 27 Jun 2020, p. 117-124. 8 p.

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

  5. Recommendation of Move Method Refactoring Using Path-Based Representation of Code

    Kurbatova, Z., Veselov, I., Golubev, Y. & Bryksin, T., 27 Jun 2020, p. 315-322. 8 p.

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

  6. Hamiltonian path problem: The performance comparison deoxyribonucleic acid computing and the branch-and-bound method

    Sergeenko, A. N., Granichin, O. N. & Yakunina, M. V., 21 May 2020, In: Journal of Physics: Conference Series. 1536, 1, 012003.

    Research output: Contribution to journal › Conference article › peer-review

  7. Network Traffic Load Balancing Protocol

    Amelina, N., Chernov, A., Granichin, O., Ivanskiy, Y. & Len, I., May 2020, European Control Conference 2020, ECC 2020. Institute of Electrical and Electronics Engineers Inc., p. 906-910 5 p. 9143622. (European Control Conference 2020, ECC 2020).

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

  8. Simultaneous Perturbation Stochastic Approximation for Few-Shot Learning

    Boiarov, A., Granichin, O. & Granichina, O., May 2020, European Control Conference 2020, ECC 2020. Institute of Electrical and Electronics Engineers Inc., p. 350-355 6 p. 9143831. (European Control Conference 2020, ECC 2020).

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

  9. Entropy-Based Approach for the Detection of Changes in Arabic Newspapers' Content

    Bernikova, O., Granichin, O., Lemberg, D., Redkin, O. & Volkovich, Z., Apr 2020, In: Entropy. 22, 4, 17 p., 441.

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

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

    Garanina, N., Anureev, I., Sidorova, E., Koznov, D., Zyubin, V. & Gorlatch, S., 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

  11. Certified Semantics for Relational Programming

    Rozplokhas, D., Vyatkin, A. & Boulytchev, D., 2020, Programming Languages and Systems - 18th Asian Symposium, APLAS 2020, Proceedings. Oliveira, B. C. (ed.). Springer Nature, p. 167-185 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12470 LNCS).

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

Previous 1...9 10 11 12 13 14 15 16 ...50 Next

ID: 30196