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.
1621 Publications
2020 |Published| Journal Article | IST-REx-ID: 7600 | 
The lipid code-dependent phosphoswitch PDK1–D6PK activates PIN-mediated auxin efflux in Arabidopsis
S. Tan, X. Zhang, W. Kong, X.-L. Yang, G. Molnar, Z. Vondráková, R. Filepová, J. Petrášek, J. Friml, H.-W. Xue, Nature Plants 6 (2020) 556–569.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
S. Tan, X. Zhang, W. Kong, X.-L. Yang, G. Molnar, Z. Vondráková, R. Filepová, J. Petrášek, J. Friml, H.-W. Xue, Nature Plants 6 (2020) 556–569.
2020 |Published| Journal Article | IST-REx-ID: 7586 |
Uncoupling endosomal CLC chloride/proton exchange causes severe neurodegeneration
S. Weinert, N. Gimber, D. Deuschel, T. Stuhlmann, D. Puchkov, Z. Farsi, C.F. Ludwig, G. Novarino, K.I. López-Cayuqueo, R. Planells-Cases, T.J. Jentsch, EMBO Journal 39 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
S. Weinert, N. Gimber, D. Deuschel, T. Stuhlmann, D. Puchkov, Z. Farsi, C.F. Ludwig, G. Novarino, K.I. López-Cayuqueo, R. Planells-Cases, T.J. Jentsch, EMBO Journal 39 (2020).
2020 |Published| Journal Article | IST-REx-ID: 7909 |
Loss of Ena/VASP interferes with lamellipodium architecture, motility and integrin-dependent adhesion
J. Damiano-Guercio, L. Kurzawa, J. Müller, G.A. Dimchev, M. Schaks, M. Nemethova, T. Pokrant, S. Brühmann, J. Linkner, L. Blanchoin, M.K. Sixt, K. Rottner, J. Faix, ELife 9 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
J. Damiano-Guercio, L. Kurzawa, J. Müller, G.A. Dimchev, M. Schaks, M. Nemethova, T. Pokrant, S. Brühmann, J. Linkner, L. Blanchoin, M.K. Sixt, K. Rottner, J. Faix, ELife 9 (2020).
2020 |Published| Journal Article | IST-REx-ID: 8133 |
Multi-method genome- and epigenome-wide studies of inflammatory protein levels in healthy older adults
R.F. Hillary, D. Trejo-Banos, A. Kousathanas, D.L. Mccartney, S.E. Harris, A.J. Stevenson, M. Patxot, S.E. Ojavee, Q. Zhang, D.C. Liewald, C.W. Ritchie, K.L. Evans, E.M. Tucker-Drob, N.R. Wray, A.F. Mcrae, P.M. Visscher, I.J. Deary, M.R. Robinson, R.E. Marioni, Genome Medicine 12 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
R.F. Hillary, D. Trejo-Banos, A. Kousathanas, D.L. Mccartney, S.E. Harris, A.J. Stevenson, M. Patxot, S.E. Ojavee, Q. Zhang, D.C. Liewald, C.W. Ritchie, K.L. Evans, E.M. Tucker-Drob, N.R. Wray, A.F. Mcrae, P.M. Visscher, I.J. Deary, M.R. Robinson, R.E. Marioni, Genome Medicine 12 (2020).
2020 |Published| 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.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
M. Baranowski, S. He, M. Lechner, T.S. Nguyen, Z. Rakamarić, in:, Automated Reasoning, Springer Nature, 2020, pp. 13–31.
2020 |Submitted| Preprint | IST-REx-ID: 14028 |
Attosecond molecular spectroscopy and dynamics
D.R. Baykusheva, H.J. Wörner, (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
D.R. Baykusheva, H.J. Wörner, (n.d.).
2020 |Published| Journal Article | IST-REx-ID: 8669 |
Tracing the cellular basis of islet specification in mouse pancreas
M.K. Sznurkowska, E.B. Hannezo, R. Azzarelli, L. Chatzeli, T. Ikeda, S. Yoshida, A. Philpott, B.D. Simons, Nature Communications 11 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
M.K. Sznurkowska, E.B. Hannezo, R. Azzarelli, L. Chatzeli, T. Ikeda, S. Yoshida, A. Philpott, B.D. Simons, Nature Communications 11 (2020).
2020 |Published| Journal Article | IST-REx-ID: 8707
CHESS enables quantitative comparison of chromatin contact data and automatic feature extraction
S. Galan, N.N. Machnik, K. Kruse, N. Díaz, M.A. Marti-Renom, J.M. Vaquerizas, Nature Genetics 52 (2020) 1247–1255.
View
| DOI
| WoS
| PubMed | Europe PMC
S. Galan, N.N. Machnik, K. Kruse, N. Díaz, M.A. Marti-Renom, J.M. Vaquerizas, Nature Genetics 52 (2020) 1247–1255.
2020 |Published| Journal Article | IST-REx-ID: 8679
Neural circuit policies enabling auditable autonomy
M. Lechner, R. Hasani, A. Amini, T.A. Henzinger, D. Rus, R. Grosu, Nature Machine Intelligence 2 (2020) 642–652.
View
| Files available
| DOI
| WoS
M. Lechner, R. Hasani, A. Amini, T.A. Henzinger, D. Rus, R. Grosu, Nature Machine Intelligence 2 (2020) 642–652.
2020 |Published| Journal Article | IST-REx-ID: 8700
The influence of A/G composition of 3' stop codon contexts on translation termination efficiency in eukaryotes
E.E. Sokolova, P. Vlasov, T.V. Egorova, A.V. Shuvalov, E.Z. Alkalaeva, Molecular Biology 54 (2020) 739–748.
View
| Files available
| DOI
| WoS
E.E. Sokolova, P. Vlasov, T.V. Egorova, A.V. Shuvalov, E.Z. Alkalaeva, Molecular Biology 54 (2020) 739–748.
2020 |Published| Journal Article | IST-REx-ID: 8701
The influence of A/G composition of 3' stop codon contexts on translation termination efficiency in eukaryotes
E.E. Sokolova, P. Vlasov, T.V. Egorova, A.V. Shuvalov, E.Z. Alkalaeva, Molekuliarnaia biologiia 54 (2020) 837–848.
View
| Files available
| DOI
| PubMed | Europe PMC
E.E. Sokolova, P. Vlasov, T.V. Egorova, A.V. Shuvalov, E.Z. Alkalaeva, Molekuliarnaia biologiia 54 (2020) 837–848.
2020 |Submitted| Preprint | IST-REx-ID: 14095 |
The habitable exoplanet observatory (HabEx) mission concept study final report
Gaudi BS et al. The habitable exoplanet observatory (HabEx) mission concept study final report. arXiv, 2001.06683.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
Gaudi BS et al. The habitable exoplanet observatory (HabEx) mission concept study final report. arXiv, 2001.06683.
2020 |Published| Journal Article | IST-REx-ID: 8787 |
Vascular surveillance by haptotactic blood platelets in inflammation and infection
Nicolai L, Schiefelbein K, Lipsky S, Leunig A, Hoffknecht M, Pekayvaz K, Raude B, Marx C, Ehrlich A, Pircher J, Zhang Z, Saleh I, Marel A-K, Löf A, Petzold T, Lorenz M, Stark K, Pick R, Rosenberger G, Weckbach L, Uhl B, Xia S, Reichel CA, Walzog B, Schulz C, Zheden V, Bender M, Li R, Massberg S, Gärtner FR. 2020. Vascular surveillance by haptotactic blood platelets in inflammation and infection. Nature Communications. 11, 5778.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
Nicolai L, Schiefelbein K, Lipsky S, Leunig A, Hoffknecht M, Pekayvaz K, Raude B, Marx C, Ehrlich A, Pircher J, Zhang Z, Saleh I, Marel A-K, Löf A, Petzold T, Lorenz M, Stark K, Pick R, Rosenberger G, Weckbach L, Uhl B, Xia S, Reichel CA, Walzog B, Schulz C, Zheden V, Bender M, Li R, Massberg S, Gärtner FR. 2020. Vascular surveillance by haptotactic blood platelets in inflammation and infection. Nature Communications. 11, 5778.
2020 |Published| Journal Article | IST-REx-ID: 8788
Precedence-aware automated competitive analysis of real-time scheduling
A. Pavlogiannis, N. Schaumberger, U. Schmid, K. Chatterjee, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 39 (2020) 3981–3992.
View
| DOI
| WoS
A. Pavlogiannis, N. Schaumberger, U. Schmid, K. Chatterjee, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 39 (2020) 3981–3992.
2020 |Published| Journal Article | IST-REx-ID: 8971 |
Cryo-electron tomography structure of Arp2/3 complex in cells reveals new insights into the branch junction
F. Fäßler, G.A. Dimchev, V.-V. Hodirnau, W. Wan, F.K. Schur, Nature Communications 11 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
F. Fäßler, G.A. Dimchev, V.-V. Hodirnau, W. Wan, F.K. Schur, Nature Communications 11 (2020).
2020 |Published| Conference Paper | IST-REx-ID: 8987 |
Delayed authentication: Preventing replay and relay attacks in private contact tracing
K.Z. Pietrzak, in:, Progress in Cryptology, Springer Nature, 2020, pp. 3–15.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
K.Z. Pietrzak, in:, Progress in Cryptology, Springer Nature, 2020, pp. 3–15.
2020 |Published| Journal Article | IST-REx-ID: 7235 |
Divergence of the effective mass of a polaron in the strong coupling limit
E.H. Lieb, R. Seiringer, Journal of Statistical Physics 180 (2020) 23–33.
[Published Version]
View
| Files available
| DOI
| WoS
E.H. Lieb, R. Seiringer, Journal of Statistical Physics 180 (2020) 23–33.
2020 |Published| Conference Paper | IST-REx-ID: 7966 |
Everybody’s a target: Scalability in public-key encryption
B. Auerbach, F. Giacon, E. Kiltz, in:, Advances in Cryptology – EUROCRYPT 2020, Springer Nature, 2020, pp. 475–506.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
B. Auerbach, F. Giacon, E. Kiltz, in:, Advances in Cryptology – EUROCRYPT 2020, Springer Nature, 2020, pp. 475–506.
2020 |Published| Conference Paper | IST-REx-ID: 8623 |
Monitorability under assumptions
T.A. Henzinger, N.E. Sarac, in:, Runtime Verification, Springer Nature, 2020, pp. 3–18.
[Submitted Version]
View
| Files available
| DOI
| WoS
T.A. Henzinger, N.E. Sarac, in:, Runtime Verification, Springer Nature, 2020, pp. 3–18.
2020 |Published| Conference Paper | IST-REx-ID: 8732
Inserting one edge into a simple drawing is hard
A.M. Arroyo Guevara, F. Klute, I. Parada, R. Seidel, B. Vogtenhuber, T. Wiedera, in:, Graph-Theoretic Concepts in Computer Science, Springer Nature, 2020, pp. 325–338.
View
| DOI
A.M. Arroyo Guevara, F. Klute, I. Parada, R. Seidel, B. Vogtenhuber, T. Wiedera, in:, Graph-Theoretic Concepts in Computer Science, Springer Nature, 2020, pp. 325–338.