Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

2983 Publications


2020 | Journal Article | IST-REx-ID: 8320
Expanding the genetic code: Unnatural base pairs in biological systems
S.A. Mukba, P. Vlasov, P.M. Kolosov, E.Y. Shuvalova, T.V. Egorova, E.Z. Alkalaeva, Molecular Biology 54 (2020) 475–484.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8321
Expanding the genetic code: Unnatural base pairs in biological systems
S.A. Mukba, P. Vlasov, P.M. Kolosov, E.Y. Shuvalova, T.V. Egorova, E.Z. Alkalaeva, Molekuliarnaia biologiia 54 (2020) 531–541.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8323 | OA
A farewell to Ricky Pollack
J. Pach, Discrete and Computational Geometry (2020).
View | DOI | Download None (ext.)
 

2020 | Journal Article | IST-REx-ID: 8325 | OA
Sandpile solitons via smoothing of superharmonic functions
N. Kalinin, M. Shkolnikov, Communications in Mathematical Physics (2020).
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Thesis | IST-REx-ID: 8332 | OA
Verifying concurrent programs: Refinement, synchronization, sequentialization
B. Kragl, Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization, IST Austria, 2020.
View | Files available | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications