Please note that ISTA 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.
697 Publications
2020 | Published | 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.
[Published Version]
View
| Files available
| DOI
| WoS
B. Kragl, S. Qadeer, T.A. Henzinger, in:, Computer Aided Verification, Springer Nature, 2020, pp. 275–298.
2020 | Published | Journal Article | IST-REx-ID: 8199 |
Exponentially long lifetime of universal quasi-steady states in topological Floquet pumps
T. Gulden, E. Berg, M.S. Rudner, N. Lindner, SciPost Physics 9 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
T. Gulden, E. Berg, M.S. Rudner, N. Lindner, SciPost Physics 9 (2020).
2020 | Published | 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.
[Published Version]
View
| Files available
| DOI
| WoS
| 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 | Published | Journal Article | IST-REx-ID: 8220 |
Stem cell lineage survival as a noisy competition for niche access
B. Corominas-Murtra, C.L.G.J. Scheele, K. Kishi, S.I.J. Ellenbroek, B.D. Simons, J. Van Rheenen, E.B. Hannezo, Proceedings of the National Academy of Sciences of the United States of America 117 (2020) 16969–16975.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
B. Corominas-Murtra, C.L.G.J. Scheele, K. Kishi, S.I.J. Ellenbroek, B.D. Simons, J. Van Rheenen, E.B. Hannezo, Proceedings of the National Academy of Sciences of the United States of America 117 (2020) 16969–16975.
2020 | Published | Journal Article | IST-REx-ID: 8225 |
Filling the antibody pipeline in allergy: PIPE cloning of IgE, IgG1 and IgG4 against the major birch pollen allergen Bet v 1
V.K. Köhler, S. Crescioli, J. Singer, H.J. Bax, G. Hofer, C.L. Pranger, K. Hufnagl, R. Bianchini, S. Flicker, W. Keller, S.N. Karagiannis, E. Jensen-Jarolim, International Journal of Molecular Sciences 21 (2020).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
V.K. Köhler, S. Crescioli, J. Singer, H.J. Bax, G. Hofer, C.L. Pranger, K. Hufnagl, R. Bianchini, S. Flicker, W. Keller, S.N. Karagiannis, E. Jensen-Jarolim, International Journal of Molecular Sciences 21 (2020).
2020 | Epub ahead of print | Journal Article | IST-REx-ID: 8226 |
Epinephrine drives human M2a allergic macrophages to a regulatory phenotype reducing mast cell degranulation in vitro
J. Gotovina, R. Bianchini, J. Singer, I. Herrmann, G. Pellizzari, I.D. Haidl, K. Hufnagl, S.N. Karagiannis, J.S. Marshall, E. Jensen‐Jarolim, Allergy (2020).
[Published Version]
View
| DOI
| Download Published Version (ext.)
J. Gotovina, R. Bianchini, J. Singer, I. Herrmann, G. Pellizzari, I.D. Haidl, K. Hufnagl, S.N. Karagiannis, J.S. Marshall, E. Jensen‐Jarolim, Allergy (2020).
2020 | Research Data | IST-REx-ID: 8254 |
Estimating inbreeding and its effects in a long-term study of snapdragons (Antirrhinum majus)
L.S. Arathoon, (2020).
[Published Version]
View
| Files available
| DOI
L.S. Arathoon, (2020).
2020 | Published | Journal Article | IST-REx-ID: 8261 |
Selective routing of spatial information flow from input to output in hippocampal granule cells
X. Zhang, A. Schlögl, P.M. Jonas, Neuron 107 (2020) 1212–1225.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
X. Zhang, A. Schlögl, P.M. Jonas, Neuron 107 (2020) 1212–1225.
2020 | Published | 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 68 (2020) 4268–4282.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
N.M. Gurel, K. Kara, A. Stojanov, T. Smith, T. Lemmin, D.-A. Alistarh, M. Puschel, C. Zhang, IEEE Transactions on Signal Processing 68 (2020) 4268–4282.
2020 | Published | 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 13 (2020) 1238–1240.
View
| DOI
| WoS
| PubMed | Europe PMC
P. He, Y. Zhang, G. Xiao, Molecular Plant 13 (2020) 1238–1240.
2020 | Published | 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.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
K. Chatterjee, J.P. Katoen, M. Weininger, T. Winkler, in:, International Conference on Computer Aided Verification, Springer Nature, 2020, pp. 398–420.
2020 | Published | 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).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| 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 | Published | 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, 2020.
[Preprint]
View
| Files available
| arXiv
S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, C. Schilling, in:, Proceedings of the International Conference on Embedded Software, 2020.
2020 | Scientific Software | IST-REx-ID: 8294 |
RGtracker
R. Hauschild, (2020).
View
| Files available
| DOI
R. Hauschild, (2020).
2020 | Submitted | Preprint | IST-REx-ID: 8307 |
GRANDPA: A Byzantine finality gadget
A. Stewart, E. Kokoris Kogias, ArXiv (n.d.).
[Preprint]
View
| Download Preprint (ext.)
| arXiv
A. Stewart, E. Kokoris Kogias, ArXiv (n.d.).
2020 | Published | Journal Article | IST-REx-ID: 8308 |
Stability of mobility edges in disordered interacting systems
P. Brighi, D.A. Abanin, M. Serbyn, Physical Review B 102 (2020).
View
| Files available
| DOI
| WoS
P. Brighi, D.A. Abanin, M. Serbyn, Physical Review B 102 (2020).
2020 | Published | Journal Article | IST-REx-ID: 8318 |
Key role of quinone in the mechanism of respiratory complex I
J. Gutierrez-Fernandez, K. Kaszuba, G.S. Minhas, R. Baradaran, M. Tambalo, D.T. Gallagher, L.A. Sazanov, Nature Communications 11 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
J. Gutierrez-Fernandez, K. Kaszuba, G.S. Minhas, R. Baradaran, M. Tambalo, D.T. Gallagher, L.A. Sazanov, Nature Communications 11 (2020).
2020 | Published | 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).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
Y. Wu, R. Krishnakumar, J. Martínez-Rincón, B.K. Malia, O. Hosten, M.A. Kasevich, Physical Review A 102 (2020).
2020 | Published | 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
| WoS
S.A. Mukba, P. Vlasov, P.M. Kolosov, E.Y. Shuvalova, T.V. Egorova, E.Z. Alkalaeva, Molecular Biology 54 (2020) 475–484.
2020 | Published | 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.