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.
6372 Publications
2021 | Published | Journal Article | IST-REx-ID: 9985 | 
AMPA receptor anchoring at CA1 synapses is determined by N-terminal domain and TARP γ8 interactions
J. Watson, A. Pinggera, H. Ho, I.H. Greger, Nature Communications 12 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
J. Watson, A. Pinggera, H. Ho, I.H. Greger, Nature Communications 12 (2021).
2021 | Published | Journal Article | IST-REx-ID: 9986 |
Xyloglucan remodeling defines auxin-dependent differential tissue expansion in plants
S.M. Velasquez, X. Guo, M. Gallemi, B. Aryal, P. Venhuizen, E. Barbez, K.A. Dünser, M. Darino, A. Pӗnčík, O. Novák, M. Kalyna, G. Mouille, E. Benková, R.P. Bhalerao, J. Mravec, J. Kleine-Vehn, International Journal of Molecular Sciences 22 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
S.M. Velasquez, X. Guo, M. Gallemi, B. Aryal, P. Venhuizen, E. Barbez, K.A. Dünser, M. Darino, A. Pӗnčík, O. Novák, M. Kalyna, G. Mouille, E. Benková, R.P. Bhalerao, J. Mravec, J. Kleine-Vehn, International Journal of Molecular Sciences 22 (2021).
2021 | Published | Conference Paper | IST-REx-ID: 9987 |
Stateless model checking under a reads-value-from equivalence
P. Agarwal, K. Chatterjee, S. Pathak, A. Pavlogiannis, V. Toman, in:, 33rd International Conference on Computer-Aided Verification , Springer Nature, 2021, pp. 341–366.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
P. Agarwal, K. Chatterjee, S. Pathak, A. Pavlogiannis, V. Toman, in:, 33rd International Conference on Computer-Aided Verification , Springer Nature, 2021, pp. 341–366.
2021 | Published | Journal Article | IST-REx-ID: 9998 |
Quantum K-theory of quiver varieties and many-body systems
P. Koroteev, P. Pushkar, A.V. Smirnov, A.M. Zeitlin, Selecta Mathematica 27 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
P. Koroteev, P. Pushkar, A.V. Smirnov, A.M. Zeitlin, Selecta Mathematica 27 (2021).
2021 | Published | Journal Article | IST-REx-ID: 9999 |
Apical contacts stemming from incomplete delamination guide progenitor cell allocation through a dragging mechanism
E. Pulgar, C. Schwayer, N. Guerrero, L. López, S. Márquez, S. Härtel, R. Soto, C.P. Heisenberg, M.L. Concha, ELife 10 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
E. Pulgar, C. Schwayer, N. Guerrero, L. López, S. Márquez, S. Härtel, R. Soto, C.P. Heisenberg, M.L. Concha, ELife 10 (2021).
2021 | Published | Journal Article | IST-REx-ID: 10649 |
Imaging and controlling vortex dynamics in mesoscopic superconductor-normal-metal-superconductor arrays
T.R. Naibert, H. Polshyn, R. Garrido-Menacho, M. Durkin, B. Wolin, V. Chua, I. Mondragon-Shem, T. Hughes, N. Mason, R. Budakian, Physical Review B 103 (2021).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
T.R. Naibert, H. Polshyn, R. Garrido-Menacho, M. Durkin, B. Wolin, V. Chua, I. Mondragon-Shem, T. Hughes, N. Mason, R. Budakian, Physical Review B 103 (2021).
2021 | Published | Journal Article | IST-REx-ID: 10340 |
Influence of membrane-cortex linkers on the extrusion of membrane tubes
A. Paraschiv, T.J. Lagny, C.V. Campos, E. Coudrier, P. Bassereau, A. Šarić, Biophysical Journal 120 (2021) 598–606.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
A. Paraschiv, T.J. Lagny, C.V. Campos, E. Coudrier, P. Bassereau, A. Šarić, Biophysical Journal 120 (2021) 598–606.
2021 | Published | Journal Article | IST-REx-ID: 11523 |
The X-SHOOTER Lyman α survey at z = 2 (XLS-z2) I: What makes a galaxy a Lyman α emitter?
J.J. Matthee, D. Sobral, M. Hayes, G. Pezzulli, M. Gronke, D. Schaerer, R.P. Naidu, H. Röttgering, J. Calhau, A. Paulino-Afonso, S. Santos, R. Amorín, Monthly Notices of the Royal Astronomical Society 505 (2021) 1382–1412.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J.J. Matthee, D. Sobral, M. Hayes, G. Pezzulli, M. Gronke, D. Schaerer, R.P. Naidu, H. Röttgering, J. Calhau, A. Paulino-Afonso, S. Santos, R. Amorín, Monthly Notices of the Royal Astronomical Society 505 (2021) 1382–1412.
2021 | Published | Journal Article | IST-REx-ID: 11605 |
Magnetic signatures on mixed-mode frequencies: I. An axisymmetric fossil field inside the core of red giants
L.A. Bugnet, V. Prat, S. Mathis, A. Astoul, K. Augustson, R.A. García, S. Mathur, L. Amard, C. Neiner, Astronomy & Astrophysics 650 (2021).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
L.A. Bugnet, V. Prat, S. Mathis, A. Astoul, K. Augustson, R.A. García, S. Mathur, L. Amard, C. Neiner, Astronomy & Astrophysics 650 (2021).
2021 | Published | Journal Article | IST-REx-ID: 11606 |
Probing the internal magnetism of stars using asymptotic magneto-asteroseismology
S. Mathis, L.A. Bugnet, V. Prat, K. Augustson, S. Mathur, R.A. Garcia, Astronomy & Astrophysics 647 (2021).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Mathis, L.A. Bugnet, V. Prat, K. Augustson, S. Mathur, R.A. Garcia, Astronomy & Astrophysics 647 (2021).
2021 | Published | Journal Article | IST-REx-ID: 11585 |
Differences in galaxy colours are not just about the mass
J.J. Matthee, Nature Astronomy 5 (2021) 984–985.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J.J. Matthee, Nature Astronomy 5 (2021) 984–985.
2021 | Published | Conference Paper | IST-REx-ID: 10206 |
Into the unknown: active monitoring of neural networks
A. Lukina, C. Schilling, T.A. Henzinger, in:, 21st International Conference on Runtime Verification, Springer Nature, Cham, 2021, pp. 42–61.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
A. Lukina, C. Schilling, T.A. Henzinger, in:, 21st International Conference on Runtime Verification, Springer Nature, Cham, 2021, pp. 42–61.
2021 | Published | Journal Article | IST-REx-ID: 10153 |
Transitioning from structural to nominal code with efficient gradual typing
F. Mühlböck, R. Tate, Proceedings of the ACM on Programming Languages 5 (2021).
[Published Version]
View
| Files available
| DOI
F. Mühlböck, R. Tate, Proceedings of the ACM on Programming Languages 5 (2021).
2021 | Published | Journal Article | IST-REx-ID: 10404 |
Interactive analysis of CNN robustness
S. Sietzen, M. Lechner, J. Borowski, R. Hasani, M. Waldner, Computer Graphics Forum 40 (2021) 253–264.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
S. Sietzen, M. Lechner, J. Borowski, R. Hasani, M. Waldner, Computer Graphics Forum 40 (2021) 253–264.
2021 | Published | Conference Paper | IST-REx-ID: 10669 |
On the verification of neural ODEs with stochastic guarantees
S. Grunbacher, R. Hasani, M. Lechner, J. Cyranka, S.A. Smolka, R. Grosu, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 11525–11535.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
S. Grunbacher, R. Hasani, M. Lechner, J. Cyranka, S.A. Smolka, R. Grosu, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 11525–11535.
2021 | Published | Conference Paper | IST-REx-ID: 10671 |
Liquid time-constant networks
R. Hasani, M. Lechner, A. Amini, D. Rus, R. Grosu, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 7657–7666.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
R. Hasani, M. Lechner, A. Amini, D. Rus, R. Grosu, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 7657–7666.
2021 | Published | Journal Article | IST-REx-ID: 10674 |
Determinacy in discrete-bidding infinite-duration games
M. Aghajohari, G. Avni, T.A. Henzinger, Logical Methods in Computer Science 17 (2021) 10:1-10:23.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
M. Aghajohari, G. Avni, T.A. Henzinger, Logical Methods in Computer Science 17 (2021) 10:1-10:23.
2021 | Published | Conference Paper | IST-REx-ID: 10668 |
On-off center-surround receptive fields for accurate and robust image classification
Z. Babaiee, R. Hasani, M. Lechner, D. Rus, R. Grosu, in:, Proceedings of the 38th International Conference on Machine Learning, ML Research Press, 2021, pp. 478–489.
[Published Version]
View
| Files available
| Download Published Version (ext.)
Z. Babaiee, R. Hasani, M. Lechner, D. Rus, R. Grosu, in:, Proceedings of the 38th International Conference on Machine Learning, ML Research Press, 2021, pp. 478–489.
2021 | Published | Conference Paper | IST-REx-ID: 10670 |
Causal navigation by continuous-time neural networks
C.J. Vorbach, R. Hasani, A. Amini, M. Lechner, D. Rus, in:, 35th Conference on Neural Information Processing Systems, 2021.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
C.J. Vorbach, R. Hasani, A. Amini, M. Lechner, D. Rus, in:, 35th Conference on Neural Information Processing Systems, 2021.
2021 | Published | Conference Paper | IST-REx-ID: 10694 |
Infinite-duration all-pay bidding games
G. Avni, I.R. Jecker, D. Zikelic, in:, D. Marx (Ed.), Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2021, pp. 617–636.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Avni, I.R. Jecker, D. Zikelic, in:, D. Marx (Ed.), Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2021, pp. 617–636.