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.
6487 Publications
2021 | Journal Article | IST-REx-ID: 9642 | 
Microglia enable mature perineuronal nets disassembly upon anesthetic ketamine exposure or 60-Hz light entrainment in the healthy brain
A. Venturino, R. Schulz, H. De Jesús-Cortés, M.E. Maes, B. Nagy, F. Reilly-Andújar, G. Colombo, R.J. Cubero, F.E. Schoot Uiterkamp, M.F. Bear, S. Siegert, Cell Reports 36 (2021).
View
| Files available
| DOI
| PubMed | Europe PMC
A. Venturino, R. Schulz, H. De Jesús-Cortés, M.E. Maes, B. Nagy, F. Reilly-Andújar, G. Colombo, R.J. Cubero, F.E. Schoot Uiterkamp, M.F. Bear, S. Siegert, Cell Reports 36 (2021).
2021 | Journal Article | IST-REx-ID: 9641 |
The role of hippocampal mossy cells in novelty detection
F. Fredes, R. Shigemoto, Neurobiology of Learning and Memory 183 (2021).
View
| Files available
| DOI
| PubMed | Europe PMC
F. Fredes, R. Shigemoto, Neurobiology of Learning and Memory 183 (2021).
2021 | Journal Article | IST-REx-ID: 9679 |
Morphology of three-body quantum states from machine learning
D. Huber, O.V. Marchukov, H.W. Hammer, A. Volosniev, New Journal of Physics 23 (2021).
View
| Files available
| DOI
| arXiv
D. Huber, O.V. Marchukov, H.W. Hammer, A. Volosniev, New Journal of Physics 23 (2021).
2021 | Journal Article | IST-REx-ID: 9657 |
GmPIN-dependent polar auxin transport is involved in soybean nodule development
Gao Z, Chen Z, Cui Y, Ke M, Xu H, Xu Q, Chen J, Li Y, Huang L, Zhao H, Huang D, Mai S, Xu T, Liu X, Li S, Guan Y, Yang W, Friml J, Petrášek J, Zhang J, Chen X. 2021. GmPIN-dependent polar auxin transport is involved in soybean nodule development. Plant Cell., koab18.
View
| Files available
| DOI
| PubMed | Europe PMC
Gao Z, Chen Z, Cui Y, Ke M, Xu H, Xu Q, Chen J, Li Y, Huang L, Zhao H, Huang D, Mai S, Xu T, Liu X, Li S, Guan Y, Yang W, Friml J, Petrášek J, Zhang J, Chen X. 2021. GmPIN-dependent polar auxin transport is involved in soybean nodule development. Plant Cell., koab18.
2021 | Journal Article | IST-REx-ID: 9656
PIN-mediated polar auxin transport regulations in plant tropic responses
H. Han, M. Adamowski, L. Qi, S. Alotaibi, J. Friml, New Phytologist (2021).
View
| DOI
| PubMed | Europe PMC
H. Han, M. Adamowski, L. Qi, S. Alotaibi, J. Friml, New Phytologist (2021).
2021 | Preprint | IST-REx-ID: 9695 |
Ranking the information content of distance measures
A. Glielmo, C. Zeni, B. Cheng, G. Csanyi, A. Laio, ArXiv (n.d.).
View
| Download Preprint (ext.)
| arXiv
A. Glielmo, C. Zeni, B. Cheng, G. Csanyi, A. Laio, ArXiv (n.d.).
2021 | Journal Article | IST-REx-ID: 8910 |
Nontopological zero-bias peaks in full-shell nanowires induced by flux-tunable Andreev states
M. Valentini, F. Peñaranda, A.C. Hofmann, M. Brauns, R. Hauschild, P. Krogstrup, P. San-Jose, E. Prada, R. Aguado, G. Katsaros, Science 373 (2021).
View
| DOI
| Download Submitted Version (ext.)
| arXiv
M. Valentini, F. Peñaranda, A.C. Hofmann, M. Brauns, R. Hauschild, P. Krogstrup, P. San-Jose, E. Prada, R. Aguado, G. Katsaros, Science 373 (2021).
2021 | Journal Article | IST-REx-ID: 9627 |
Self-adjoint extensions of bipartite Hamiltonians
D. Lenz, T. Weinmann, M. Wirth, Proceedings of the Edinburgh Mathematical Society (2021) 1–15.
View
| DOI
| Download Published Version (ext.)
| arXiv
D. Lenz, T. Weinmann, M. Wirth, Proceedings of the Edinburgh Mathematical Society (2021) 1–15.
2021 | Preprint | IST-REx-ID: 9651 |
Divergence of separated nets with respect to displacement equivalence
M. Dymond, V. Kaluza, ArXiv (n.d.).
View
| Download Submitted Version (ext.)
| arXiv
M. Dymond, V. Kaluza, ArXiv (n.d.).
2021 | Preprint | IST-REx-ID: 9696 |
Predicting the phase behaviors of superionic water at planetary conditions
B. Cheng, M. Bethkenhagen, C.J. Pickard, S. Hamel, ArXiv (n.d.).
View
| Download Preprint (ext.)
| arXiv
B. Cheng, M. Bethkenhagen, C.J. Pickard, S. Hamel, ArXiv (n.d.).
2021 | Journal Article | IST-REx-ID: 9647 |
Long lived transients in gene regulation
T. Petrov, C. Igler, A. Sezgin, T.A. Henzinger, C.C. Guet, Theoretical Computer Science (n.d.).
View
| Files available
| DOI
T. Petrov, C. Igler, A. Sezgin, T.A. Henzinger, C.C. Guet, Theoretical Computer Science (n.d.).
2021 | Conference Paper | IST-REx-ID: 9646 |
Quantitative analysis of assertion violations in probabilistic programs
J. Wang, Y. Sun, H. Fu, K. Chatterjee, A.K. Goharshady, in:, Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2021, pp. 1171–1186.
View
| DOI
| Download Preprint (ext.)
| arXiv
J. Wang, Y. Sun, H. Fu, K. Chatterjee, A.K. Goharshady, in:, Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2021, pp. 1171–1186.
2021 | Conference Paper | IST-REx-ID: 9645 |
Polynomial reachability witnesses via Stellensätze
A. Asadi, K. Chatterjee, H. Fu, A.K. Goharshady, M. Mahdavi, in:, Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2021, pp. 772–787.
View
| DOI
| Download Submitted Version (ext.)
A. Asadi, K. Chatterjee, H. Fu, A.K. Goharshady, M. Mahdavi, in:, Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2021, pp. 772–787.
2021 | Conference Paper | IST-REx-ID: 9644 |
Proving non-termination by program reversal
K. Chatterjee, E.K. Goharshady, P. Novotný, D. Zikelic, in:, Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2021, pp. 1033–1048.
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, E.K. Goharshady, P. Novotný, D. Zikelic, in:, Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2021, pp. 1033–1048.
2021 | Journal Article | IST-REx-ID: 9649 |
The topological correctness of PL approximations of isomanifolds
J.-D. Boissonnat, M. Wintraecken, Foundations of Computational Mathematics (2021).
View
| Files available
| DOI
J.-D. Boissonnat, M. Wintraecken, Foundations of Computational Mathematics (2021).
2021 | Preprint | IST-REx-ID: 9698 |
Combining machine learning and computational chemistry for predictive insights into chemical systems
J.A. Keith, V. Valentin Vassilev-Galindo, B. Cheng, S. Chmiela, M. Gastegger, K.-R. Müller, A. Tkatchenko, ArXiv (n.d.).
View
| Download Submitted Version (ext.)
| arXiv
J.A. Keith, V. Valentin Vassilev-Galindo, B. Cheng, S. Chmiela, M. Gastegger, K.-R. Müller, A. Tkatchenko, ArXiv (n.d.).
2021 | Conference Paper | IST-REx-ID: 9678 |
Efficient load-balancing through distributed token dropping
S. Brandt, B. Keller, J. Rybicki, J. Suomela, J. Uitto, in:, Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2021, pp. 129–139.
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Brandt, B. Keller, J. Rybicki, J. Suomela, J. Uitto, in:, Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2021, pp. 129–139.
2021 | Conference Paper | IST-REx-ID: 9441 |
Tracing isomanifolds in Rd in time polynomial in d using Coxeter-Freudenthal-Kuhn triangulations
J.-D. Boissonnat, S. Kachanovich, M. Wintraecken, in:, 37th International Symposium on Computational Geometry (SoCG 2021), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2021, p. 17:1-17:16.
View
| Files available
| DOI
J.-D. Boissonnat, S. Kachanovich, M. Wintraecken, in:, 37th International Symposium on Computational Geometry (SoCG 2021), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2021, p. 17:1-17:16.
2021 | Conference Paper | IST-REx-ID: 9620 |
Collecting coupons is faster with friends
D.-A. Alistarh, P. Davies, in:, Structural Information and Communication Complexity, Springer Nature, 2021, pp. 3–12.
View
| Files available
| DOI
D.-A. Alistarh, P. Davies, in:, Structural Information and Communication Complexity, Springer Nature, 2021, pp. 3–12.
2021 | Conference Paper | IST-REx-ID: 9200 |
Synthesis of hybrid automata with affine dynamics from time-series data
M. Garcia Soto, T.A. Henzinger, C. Schilling, in:, HSCC ’21: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control, Association for Computing Machinery, n.d., p. 2102.12734.
View
| Files available
| DOI
| arXiv
M. Garcia Soto, T.A. Henzinger, C. Schilling, in:, HSCC ’21: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control, Association for Computing Machinery, n.d., p. 2102.12734.