MK.3019.2015 Informatics

Fingerprint

Dive into the research topics where MK.3019.2015 Informatics is active. These topic labels come from the works of this organization's members. Together they form a unique fingerprint.
View full fingerprint

Network

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further

  • Approximation by the third-order splines on uniform and non-uniform grids and image processing

    Burova, I. G., Muzafarova, E. F. & Narbutovskikh, I. I., 1 Jan 2020, In: WSEAS Transactions on Mathematics. 19, p. 65-73 9 p.

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

    Open Access
    2 Scopus citations

  • 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 › peer-review

    1 Scopus citations

  • Relational Synthesis for Pattern Matching

    Kosarev, D., Lozov, P. & Boulytchev, D., 2020, Programming Languages and Systems - 18th Asian Symposium, APLAS 2020, Proceedings. Oliveira, B. C. (ed.). Springer Nature, p. 293-310 18 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 › peer-review

View all 43 Research outputs