Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5256 Publications
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: 8544 |
GluD2- and Cbln1-mediated competitive synaptogenesis shapes the dendritic arbors of cerebellar Purkinje cells
Y.H. Takeo, S.A. Shuster, L. Jiang, M. Hu, D.J. Luginbuhl, T. Rülicke, X. Contreras, S. Hippenmeyer, M.J. Wagner, S. Ganguli, L. Luo, Neuron 109 (2021) P629–644.E8.
[Preprint]
View
| DOI
| Download Preprint (ext.)
Y.H. Takeo, S.A. Shuster, L. Jiang, M. Hu, D.J. Luginbuhl, T. Rülicke, X. Contreras, S. Hippenmeyer, M.J. Wagner, S. Ganguli, L. Luo, Neuron 109 (2021) P629–644.E8.
2021 | Published | Journal Article | IST-REx-ID: 8546 |
Generation of excitatory and inhibitory neurons from common progenitors via Notch signaling in the cerebellum
T. Zhang, T. Liu, N. Mora, J. Guegan, M. Bertrand, X. Contreras, A.H. Hansen, C. Streicher, M. Anderle, N. Danda, L. Tiberi, S. Hippenmeyer, B.A. Hassan, Cell Reports 35 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
T. Zhang, T. Liu, N. Mora, J. Guegan, M. Bertrand, X. Contreras, A.H. Hansen, C. Streicher, M. Anderle, N. Danda, L. Tiberi, S. Hippenmeyer, B.A. Hassan, Cell Reports 35 (2021).
2021 | Published | Journal Article | IST-REx-ID: 8582 |
Cellular requirements for PIN polar cargo clustering in Arabidopsis thaliana
H. Li, D. von Wangenheim, X. Zhang, S. Tan, N. Darwish-Miranda, S. Naramoto, K.T. Wabnik, R. de Rycke, W. Kaufmann, D.J. Gütl, R. Tejos, P. Grones, M. Ke, X. Chen, J. Dettmer, J. Friml, New Phytologist 229 (2021) 351–369.
[Published Version]
View
| Files available
| DOI
| WoS
H. Li, D. von Wangenheim, X. Zhang, S. Tan, N. Darwish-Miranda, S. Naramoto, K.T. Wabnik, R. de Rycke, W. Kaufmann, D.J. Gütl, R. Tejos, P. Grones, M. Ke, X. Chen, J. Dettmer, J. Friml, New Phytologist 229 (2021) 351–369.
2021 | Published | Journal Article | IST-REx-ID: 8601 |
Edge universality for non-Hermitian random matrices
G. Cipolloni, L. Erdös, D.J. Schröder, Probability Theory and Related Fields (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
G. Cipolloni, L. Erdös, D.J. Schröder, Probability Theory and Related Fields (2021).
2021 | Published | Journal Article | IST-REx-ID: 8603 |
Quantum corrections to the Pekar asymptotics of a strongly coupled polaron
R. Frank, R. Seiringer, Communications on Pure and Applied Mathematics 74 (2021) 544–588.
[Published Version]
View
| Files available
| DOI
| WoS
R. Frank, R. Seiringer, Communications on Pure and Applied Mathematics 74 (2021) 544–588.
2021 | Published | Journal Article | IST-REx-ID: 8606 |
GhARF16-1 modulates leaf development by transcriptionally regulating the GhKNOX2-1 gene in cotton
P. He, Y. Zhang, H. Li, X. Fu, H. Shang, C. Zou, J. Friml, G. Xiao, Plant Biotechnology Journal 19 (2021) 548–562.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
P. He, Y. Zhang, H. Li, X. Fu, H. Shang, C. Zou, J. Friml, G. Xiao, Plant Biotechnology Journal 19 (2021) 548–562.
2021 | Published | Journal Article | IST-REx-ID: 8608 |
Salicylic acid regulates PIN2 auxin transporter hyper-clustering and root gravitropic growth via Remorin-dependent lipid nanodomain organization in Arabidopsis thaliana
M. Ke, Z. Ma, D. Wang, Y. Sun, C. Wen, D. Huang, Z. Chen, L. Yang, S. Tan, R. Li, J. Friml, Y. Miao, X. Chen, New Phytologist 229 (2021) 963–978.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
M. Ke, Z. Ma, D. Wang, Y. Sun, C. Wen, D. Huang, Z. Chen, L. Yang, S. Tan, R. Li, J. Friml, Y. Miao, X. Chen, New Phytologist 229 (2021) 963–978.
2021 | Published | Journal Article | IST-REx-ID: 8673 |
Scale-invariant magnetic anisotropy in RuCl3 at high magnetic fields
K.A. Modic, R.D. McDonald, J.P.C. Ruff, M.D. Bachmann, Y. Lai, J.C. Palmstrom, D. Graf, M.K. Chan, F.F. Balakirev, J.B. Betts, G.S. Boebinger, M. Schmidt, M.J. Lawler, D.A. Sokolov, P.J.W. Moll, B.J. Ramshaw, A. Shekhter, Nature Physics 17 (2021) 240–244.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
K.A. Modic, R.D. McDonald, J.P.C. Ruff, M.D. Bachmann, Y. Lai, J.C. Palmstrom, D. Graf, M.K. Chan, F.F. Balakirev, J.B. Betts, G.S. Boebinger, M. Schmidt, M.J. Lawler, D.A. Sokolov, P.J.W. Moll, B.J. Ramshaw, A. Shekhter, Nature Physics 17 (2021) 240–244.
2021 | Published | Journal Article | IST-REx-ID: 8689 |
V.I. Arnold's ''Global'' KAM theorem and geometric measure estimates
L. Chierchia, E. Koudjinan, Regular and Chaotic Dynamics 26 (2021) 61–88.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
L. Chierchia, E. Koudjinan, Regular and Chaotic Dynamics 26 (2021) 61–88.
2021 | Published | Journal Article | IST-REx-ID: 8708 |
How do species barriers decay? Concordance and local introgression in mosaic hybrid zones of mussels
A. Simon, C. Fraisse, T. El Ayari, C. Liautard‐Haag, P. Strelkov, J.J. Welch, N. Bierne, Journal of Evolutionary Biology 34 (2021) 208–223.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
A. Simon, C. Fraisse, T. El Ayari, C. Liautard‐Haag, P. Strelkov, J.J. Welch, N. Bierne, Journal of Evolutionary Biology 34 (2021) 208–223.
2021 | Published | Journal Article | IST-REx-ID: 8723 |
Breaking (global) barriers in parallel stochastic optimization with wait-avoiding group averaging
S. Li, T.B.-N. Tal Ben-Nun, G. Nadiradze, S.D. Girolamo, N. Dryden, D.-A. Alistarh, T. Hoefler, IEEE Transactions on Parallel and Distributed Systems 32 (2021).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
S. Li, T.B.-N. Tal Ben-Nun, G. Nadiradze, S.D. Girolamo, N. Dryden, D.-A. Alistarh, T. Hoefler, IEEE Transactions on Parallel and Distributed Systems 32 (2021).
2021 | Published | Journal Article | IST-REx-ID: 8730 |
Complete inhibition of ABCB1 and ABCG2 at the blood-brain barrier by co-infusion of erlotinib and tariquidar to improve brain delivery of the model ABCB1/ABCG2 substrate [11C]erlotinib
N. Tournier, S. Goutal, S. Mairinger, I. Lozano, T. Filip, M. Sauberer, F. Caillé, L. Breuil, J. Stanek, A. Freeman, G. Novarino, C. Truillet, T. Wanek, O. Langer, Journal of Cerebral Blood Flow and Metabolism 41 (2021) 1634–1646.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
N. Tournier, S. Goutal, S. Mairinger, I. Lozano, T. Filip, M. Sauberer, F. Caillé, L. Breuil, J. Stanek, A. Freeman, G. Novarino, C. Truillet, T. Wanek, O. Langer, Journal of Cerebral Blood Flow and Metabolism 41 (2021) 1634–1646.
2021 | Published | Journal Article | IST-REx-ID: 8742 |
The geometric sieve for quadrics
T.D. Browning, R. Heath-Brown, Forum Mathematicum 33 (2021) 147–165.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
T.D. Browning, R. Heath-Brown, Forum Mathematicum 33 (2021) 147–165.
2021 | Published | Journal Article | IST-REx-ID: 8743 |
Long-term cloud forest response to climate warming revealed by insect speciation history
A. Salces-Castellano, S. Stankowski, P. Arribas, J. Patino, D.N. Karger, R. Butlin, B.C. Emerson, Evolution 75 (2021) 231–244.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
A. Salces-Castellano, S. Stankowski, P. Arribas, J. Patino, D.N. Karger, R. Butlin, B.C. Emerson, Evolution 75 (2021) 231–244.
2021 | Published | Journal Article | IST-REx-ID: 8757 |
Talking science, online
P. Bozelos, T.P. Vogels, Nature Reviews Neuroscience 22 (2021) 1–2.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
P. Bozelos, T.P. Vogels, Nature Reviews Neuroscience 22 (2021) 1–2.
2021 | Published | Journal Article | IST-REx-ID: 8773 |
Contravariant forms on Whittaker modules
A. Brown, A. Romanov, Proceedings of the American Mathematical Society 149 (2021) 37–52.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
A. Brown, A. Romanov, Proceedings of the American Mathematical Society 149 (2021) 37–52.
2021 | Published | Journal Article | IST-REx-ID: 8792 |
On a non-isothermal Cahn-Hilliard model based on a microforce balance
A. Marveggio, G. Schimperna, Journal of Differential Equations 274 (2021) 924–970.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
A. Marveggio, G. Schimperna, Journal of Differential Equations 274 (2021) 924–970.