41 - 42 out of 42Page size: 10
  1. 2025

  2. Verification Condition Generator for Revised Reflex Language Using Isabelle/HOL

    Ищенко, А. Д. & Ануреев, И. С., 8 Aug 2025, International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM. IEEE Computer Society, p. 1440-1445 6 p. (International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM).

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

  3. The chronology of the Early Neolithic Baraba culture, southwestern Siberia: New radiocarbon evidence

    Molodin, V. I., Mylnikova, L. N., Nenakhov, D. A., Menshanov, P. N. & Parkhomchuk, E. V., 22 Aug 2025, In: Radiocarbon. p. 1-16 16 p.

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

Previous 1 2 3 4 5 Next

ID: 41345111