No photo of Petr Lozov

Lozov Petr

  • Source: Scopus
  • Calculated based on no. of publications stored in Pure and citations from Scopus
20182020

Research activity per year

If you made any changes in Pure these will be visible here soon.

Fingerprint

Dive into the research topics where Петр Алексеевич Лозов is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint

Network

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further
  • 3 Citations by Pure records
  • 1 h-Index by Pure records
  • 2 Conference contribution
  • 1 Abstract

  • 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

  • Relational Interpreters for Search Problems.

    Lozov, P., Verbitskay, E. & Булычев, Д. Ю., 2019, p. 43-57.

    Research output: Contribution to conference › Abstract

  • Typed Relational Conversion

    Lozov, P., Vyatkin, A. & Boulytchev, D., 19 Apr 2018, Trends in Functional Programming: 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers. Springer Nature, p. 39-58 19 p. (Lecture Notes in Computer Science; vol. 10788).

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

    3 Scopus citations