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.

Network

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • 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 journalArticlepeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-review