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.
2972 Publications
2020 | Journal Article | IST-REx-ID: 8190 | 
Zena Werb (1945-2020): Cell biology in context
M.K. Sixt, A. Huttenlocher, The Journal of Cell Biology 219 (2020).
View
| Files available
| DOI
| Download Published Version (ext.)
M.K. Sixt, A. Huttenlocher, The Journal of Cell Biology 219 (2020).
2020 | Conference Paper | IST-REx-ID: 8191
Memory tagging: Minimalist synchronization for scalable concurrent data structures
D.-A. Alistarh, T.A. Brown, N. Singhal, in:, Annual ACM Symposium on Parallelism in Algorithms and Architectures, ACM, 2020, pp. 37–49.
View
| DOI
D.-A. Alistarh, T.A. Brown, N. Singhal, in:, Annual ACM Symposium on Parallelism in Algorithms and Architectures, ACM, 2020, pp. 37–49.
2020 | Conference Paper | IST-REx-ID: 8194 |
An SMT theory of fixed-point arithmetic
M. Baranowski, S. He, M. Lechner, T.S. Nguyen, Z. Rakamarić, in:, Automated Reasoning, Springer Nature, 2020, pp. 13–31.
View
| DOI
| Download Published Version (ext.)
M. Baranowski, S. He, M. Lechner, T.S. Nguyen, Z. Rakamarić, in:, Automated Reasoning, Springer Nature, 2020, pp. 13–31.
2020 | Conference Paper | IST-REx-ID: 8195 |
Refinement for structured concurrent programs
B. Kragl, S. Qadeer, T.A. Henzinger, in:, Computer Aided Verification, Springer Nature, 2020, pp. 275–298.
View
| Files available
| DOI
B. Kragl, S. Qadeer, T.A. Henzinger, in:, Computer Aided Verification, Springer Nature, 2020, pp. 275–298.
2020 | Journal Article | IST-REx-ID: 8196 |
New strong convergence method for the sum of two maximal monotone operators
Y. Shehu, Q.-L. Dong, L.-L. Liu, J.-C. Yao, Optimization and Engineering (2020).
View
| Files available
| DOI
Y. Shehu, Q.-L. Dong, L.-L. Liu, J.-C. Yao, Optimization and Engineering (2020).
2020 | Journal Article | IST-REx-ID: 8203 |
Zero field splitting of heavy-hole states in quantum dots
G. Katsaros, J. Kukucka, L. Vukušić, H. Watzinger, F. Gao, T. Wang, J.-J. Zhang, K. Held, Nano Letters 20 (2020) 5201–5206.
View
| Files available
| DOI
| PubMed | Europe PMC
G. Katsaros, J. Kukucka, L. Vukušić, H. Watzinger, F. Gao, T. Wang, J.-J. Zhang, K. Held, Nano Letters 20 (2020) 5201–5206.
2020 | Research Data | IST-REx-ID: 8254 |
Estimating inbreeding and its effects in a long-term study of snapdragons (Antirrhinum majus)
L.S. Arathoon, Estimating Inbreeding and Its Effects in a Long-Term Study of Snapdragons (Antirrhinum Majus), IST Austria, 2020.
View
| Files available
| DOI
L.S. Arathoon, Estimating Inbreeding and Its Effects in a Long-Term Study of Snapdragons (Antirrhinum Majus), IST Austria, 2020.
2020 | Journal Article | IST-REx-ID: 8268 |
Compressive sensing using iterative hard thresholding with low precision data representation: Theory and applications
N.M. Gurel, K. Kara, A. Stojanov, T. Smith, T. Lemmin, D.-A. Alistarh, M. Puschel, C. Zhang, IEEE Transactions on Signal Processing (2020).
View
| DOI
| Download Preprint (ext.)
| arXiv
N.M. Gurel, K. Kara, A. Stojanov, T. Smith, T. Lemmin, D.-A. Alistarh, M. Puschel, C. Zhang, IEEE Transactions on Signal Processing (2020).
2020 | Journal Article | IST-REx-ID: 8271
Origin of a subgenome and genome evolution of allotetraploid cotton species
P. He, Y. Zhang, G. Xiao, Molecular Plant (n.d.).
View
| DOI
| PubMed | Europe PMC
P. He, Y. Zhang, G. Xiao, Molecular Plant (n.d.).
2020 | Conference Paper | IST-REx-ID: 8272 |
Stochastic games with lexicographic reachability-safety objectives
K. Chatterjee, J.P. Katoen, M. Weininger, T. Winkler, in:, International Conference on Computer Aided Verification, Springer Nature, 2020, pp. 398–420.
View
| Files available
| DOI
| arXiv
K. Chatterjee, J.P. Katoen, M. Weininger, T. Winkler, in:, International Conference on Computer Aided Verification, Springer Nature, 2020, pp. 398–420.
2020 | Journal Article | IST-REx-ID: 8283 |
AcoMYB4, an Ananas comosus L. MYB transcription factor, functions in osmotic stress through negative regulation of ABA signaling
H. Chen, L. Lai, L. Li, L. Liu, B.H. Jakada, Y. Huang, Q. He, M. Chai, X. Niu, Y. Qin, International Journal of Molecular Sciences 21 (2020).
View
| Files available
| DOI
| PubMed | Europe PMC
H. Chen, L. Lai, L. Li, L. Liu, B.H. Jakada, Y. Huang, Q. He, M. Chai, X. Niu, Y. Qin, International Journal of Molecular Sciences 21 (2020).
2020 | Journal Article | IST-REx-ID: 8285 |
Free space Ramsey spectroscopy in rubidium with noise below the quantum projection limit
B.K. Malia, J. Martínez-Rincón, Y. Wu, O. Hosten, M.A. Kasevich, Physical Review Letters 125 (2020).
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
B.K. Malia, J. Martínez-Rincón, Y. Wu, O. Hosten, M.A. Kasevich, Physical Review Letters 125 (2020).
2020 | Conference Paper | IST-REx-ID: 8287 |
Reachability analysis of linear hybrid systems via block decomposition
S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, C. Schilling, in:, Proceedings of the International Conference on Embedded Software, n.d.
View
| Files available
| arXiv
S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, C. Schilling, in:, Proceedings of the International Conference on Embedded Software, n.d.
2020 | Journal Article | IST-REx-ID: 8317 |
Folding polyominoes with holes into a cube
O. Aichholzer, H.A. Akitaya, K.C. Cheung, E.D. Demaine, M.L. Demaine, S.P. Fekete, L. Kleist, I. Kostitsyna, M. Löffler, Z. Masárová, K. Mundilova, C. Schmidt, Computational Geometry: Theory and Applications 93 (n.d.).
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
O. Aichholzer, H.A. Akitaya, K.C. Cheung, E.D. Demaine, M.L. Demaine, S.P. Fekete, L. Kleist, I. Kostitsyna, M. Löffler, Z. Masárová, K. Mundilova, C. Schmidt, Computational Geometry: Theory and Applications 93 (n.d.).
2020 | Journal Article | IST-REx-ID: 8319 |
Retrieval of cavity-generated atomic spin squeezing after free-space release
Y. Wu, R. Krishnakumar, J. Martínez-Rincón, B.K. Malia, O. Hosten, M.A. Kasevich, Physical Review A 102 (2020).
View
| DOI
| Download Preprint (ext.)
| arXiv
Y. Wu, R. Krishnakumar, J. Martínez-Rincón, B.K. Malia, O. Hosten, M.A. Kasevich, Physical Review A 102 (2020).
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
S.A. Mukba, P. Vlasov, P.M. Kolosov, E.Y. Shuvalova, T.V. Egorova, E.Z. Alkalaeva, Molecular Biology 54 (2020) 475–484.
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
S.A. Mukba, P. Vlasov, P.M. Kolosov, E.Y. Shuvalova, T.V. Egorova, E.Z. Alkalaeva, Molekuliarnaia biologiia 54 (2020) 531–541.
2020 | Journal Article | IST-REx-ID: 8323 |
A farewell to Ricky Pollack
J. Pach, Discrete and Computational Geometry (2020).
View
| DOI
| Download None (ext.)
J. Pach, Discrete and Computational Geometry (2020).
2020 | Journal Article | IST-REx-ID: 8325 |
Sandpile solitons via smoothing of superharmonic functions
N. Kalinin, M. Shkolnikov, Communications in Mathematical Physics (2020).
View
| DOI
| Download Preprint (ext.)
| arXiv
N. Kalinin, M. Shkolnikov, Communications in Mathematical Physics (2020).
2020 | Thesis | IST-REx-ID: 8332 |
Verifying concurrent programs: Refinement, synchronization, sequentialization
B. Kragl, Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization, IST Austria, 2020.
View
| Files available
| DOI
B. Kragl, Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization, IST Austria, 2020.