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.

6504 Publications


2021 | Journal Article | IST-REx-ID: 9438
Vandael DH, Okamoto Y, Borges Merjane C, Vargas Barroso VM, Suter B, Jonas PM. 2021. Subcellular patch-clamp techniques for single-bouton stimulation and simultaneous pre- and postsynaptic recording at cortical synapses. Nature Protocols. 16(6), 2947–2967.
View | Files available | DOI | PubMed | Europe PMC
 

2021 | Conference Paper | IST-REx-ID: 9605 | OA
Corbet R, Kerber M, Lesnick M, Osang GF. 2021. Computing the multicover bifiltration. Leibniz International Proceedings in Informatics. SoCG: International Symposium on Computational Geometry, LIPIcs, vol. 189, 27.
View | Files available | DOI | arXiv
 

2021 | Journal Article | IST-REx-ID: 9618 | OA
Bluvstein D, Omran A, Levine H, Keesling A, Semeghini G, Ebadi S, Wang TT, Michailidis A, Maskara N, Ho WW, Choi S, Serbyn M, Greiner M, Vuletić V, Lukin MD. 2021. Controlling quantum many-body dynamics in driven Rydberg atom arrays. Science. 371(6536), 1355–1359.
View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2021 | Journal Article | IST-REx-ID: 9571 | OA
Ramezani-Kebrya A, Faghri F, Markov I, Aksenov V, Alistarh D-A, Roy DM. 2021. NUQSGD: Provably communication-efficient data-parallel SGD via nonuniform quantization. Journal of Machine Learning Research. 22(114), 1−43.
View | Files available | arXiv
 

2021 | Journal Article | IST-REx-ID: 9629
Yang Q, Xue S, Chan CJ, Rempfler M, Vischi D, Maurer-Gutierrez F, Hiiragi T, Hannezo EB, Liberali P. 2021. Cell fate coordinates mechano-osmotic forces in intestinal crypt formation. Nature Cell Biology.
View | DOI | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 9669 | OA
Reinhardt A, Cheng B. 2021. Quantum-mechanical exploration of the phase diagram of water. Nature Communications. 12(1), 588.
View | Files available | DOI | PubMed | Europe PMC | arXiv
 

2021 | Journal Article | IST-REx-ID: 9642 | OA
Venturino A, Schulz R, De Jesús-Cortés H, Maes ME, Nagy B, Reilly-Andújar F, Colombo G, Cubero RJ, Schoot Uiterkamp FE, Bear MF, Siegert S. 2021. Microglia enable mature perineuronal nets disassembly upon anesthetic ketamine exposure or 60-Hz light entrainment in the healthy brain. Cell Reports. 36(1), 109313.
View | Files available | DOI | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 9641 | OA
Fredes F, Shigemoto R. 2021. The role of hippocampal mossy cells in novelty detection. Neurobiology of Learning and Memory. 183, 107486.
View | Files available | DOI | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 9679 | OA
Huber D, Marchukov OV, Hammer HW, Volosniev A. 2021. Morphology of three-body quantum states from machine learning. New Journal of Physics. 23(6), 065009.
View | Files available | DOI | arXiv
 

2021 | Journal Article | IST-REx-ID: 9657 | OA
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
 

2021 | Journal Article | IST-REx-ID: 9656
Han H, Adamowski M, Qi L, Alotaibi S, Friml J. 2021. PIN-mediated polar auxin transport regulations in plant tropic responses. New Phytologist.
View | DOI | PubMed | Europe PMC
 

2021 | Preprint | IST-REx-ID: 9695 | OA
Glielmo A, Zeni C, Cheng B, Csanyi G, Laio A. Ranking the information content of distance measures. arXiv, 2104.15079.
View | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 8910 | OA
Valentini M, Peñaranda F, Hofmann AC, Brauns M, Hauschild R, Krogstrup P, San-Jose P, Prada E, Aguado R, Katsaros G. 2021. Nontopological zero-bias peaks in full-shell nanowires induced by flux-tunable Andreev states. Science. 373(6550), 82–88.
View | DOI | Download Submitted Version (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 9627 | OA
Lenz D, Weinmann T, Wirth M. 2021. Self-adjoint extensions of bipartite Hamiltonians. Proceedings of the Edinburgh Mathematical Society., 1–15.
View | DOI | Download Published Version (ext.) | arXiv
 

2021 | Preprint | IST-REx-ID: 9651 | OA
Dymond M, Kaluza V. Divergence of separated nets with respect to displacement equivalence. arXiv, 2102.13046.
View | Download Submitted Version (ext.) | arXiv
 

2021 | Preprint | IST-REx-ID: 9696 | OA
Cheng B, Bethkenhagen M, Pickard CJ, Hamel S. Predicting the phase behaviors of superionic water at planetary conditions. arXiv, 2103.09035.
View | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 9647 | OA
Petrov T, Igler C, Sezgin A, Henzinger TA, Guet CC. Long lived transients in gene regulation. Theoretical Computer Science.
View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 9646 | OA
Wang J, Sun Y, Fu H, Chatterjee K, Goharshady AK. 2021. Quantitative analysis of assertion violations in probabilistic programs. Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. PLDI: Programming Language Design and Implementation, 1171–1186.
View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 9645 | OA
Asadi A, Chatterjee K, Fu H, Goharshady AK, Mahdavi M. 2021. Polynomial reachability witnesses via Stellensätze. Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. PLDI: Programming Language Design and Implementation, 772–787.
View | DOI | Download Submitted Version (ext.)
 

2021 | Conference Paper | IST-REx-ID: 9644 | OA
Chatterjee K, Goharshady EK, Novotný P, Zikelic D. 2021. Proving non-termination by program reversal. Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. PLDI: Programming Language Design and Implementation, 1033–1048.
View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 9649 | OA
Boissonnat J-D, Wintraecken M. 2021. The topological correctness of PL approximations of isomanifolds. Foundations of Computational Mathematics .
View | Files available | DOI
 

2021 | Preprint | IST-REx-ID: 9698 | OA
Keith JA, Valentin Vassilev-Galindo V, Cheng B, Chmiela S, Gastegger M, Müller K-R, Tkatchenko A. Combining machine learning and computational chemistry for predictive insights into chemical systems. arXiv, 2102.06321.
View | Download Submitted Version (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 9678 | OA
Brandt S, Keller B, Rybicki J, Suomela J, Uitto J. 2021. Efficient load-balancing through distributed token dropping. Annual ACM Symposium on Parallelism in Algorithms and Architectures. SPAA: Symposium on Parallelism in Algorithms and Architectures , 129–139.
View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 9441 | OA
Boissonnat J-D, Kachanovich S, Wintraecken M. 2021. Tracing isomanifolds in Rd in time polynomial in d using Coxeter-Freudenthal-Kuhn triangulations. 37th International Symposium on Computational Geometry (SoCG 2021). SoCG: Symposium on Computational GeometryLeibniz International Proceedings in Informatics (LIPIcs), LIPIcs, vol. 189, 17:1-17:16.
View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 9620 | OA
Alistarh D-A, Davies P. 2021. Collecting coupons is faster with friends. Structural Information and Communication Complexity. SIROCCO: International Colloquium on Structural Information and Communication Complexity, LNCS, vol. 12810, 3–12.
View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 9200 | OA
Garcia Soto M, Henzinger TA, Schilling C. Synthesis of hybrid automata with affine dynamics from time-series data. HSCC ’21: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control. HSCC: 24th ACM International Conference on Hybrid Systems Computation and Control, 2102.12734.
View | Files available | DOI | arXiv
 

2021 | Conference Paper | IST-REx-ID: 9345 | OA
Edelsbrunner H, Heiss T, Kurlin V, Smith P, Wintraecken M. 2021. The density fingerprint of a periodic point set. 37th International Symposium on Computational Geometry (SoCG 2021). SoCG: Symposium on Computational Geometry, LIPIcs, vol. 189, 32:1-32:16.
View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 9296 | OA
Aichholzer O, Arroyo Guevara AM, Masárová Z, Parada I, Perz D, Pilz A, Tkadlec J, Vogtenhuber B. 2021. On compatible matchings. 15th International Conference on Algorithms and Computation. WALCOM: Algorithms and Computation, LNCS, vol. 12635, 221–233.
View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 9466
Walter M. 2021. The convergence of slide-type reductions. Public-Key Cryptography – PKC 2021. PKC: IACR International Conference on Practice and Theory of Public Key Cryptography, LNCS, vol. 12710, 45–67.
View | DOI
 

2021 | Conference Paper | IST-REx-ID: 9210
Volhejn V, Lampert C. 2021. Does SGD implicitly optimize for smoothness? 42nd German Conference on Pattern Recognition . DAGM GCPR: German Conference on Pattern Recognition , LNCS, vol. 12544 LNCS, 246–259.
View | DOI
 

2021 | Journal Article | IST-REx-ID: 9640 | OA
Tkadlec J, Pavlogiannis A, Chatterjee K, Nowak MA. 2021. Fast and strong amplifiers of natural selection. Nature Communications. 12(1), 4009.
View | Files available | DOI | PubMed | Europe PMC
 

2021 | Thesis | IST-REx-ID: 9418 | OA
Phuong M. 2021. Underspecification in Deep Learning. IST Austria.
View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 9543 | OA
Davies P, Gurunanthan V, Moshrefi N, Ashkboos S, Alistarh D-A. 2021. New bounds for distributed mean estimation and variance reduction. 9th International Conference on Learning Representations. ICLR: International Conference on Learning Representations.
View | Download Published Version (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 9416 | OA
Phuong M, Lampert C. 2021. The inductive bias of ReLU networks on orthogonally separable data. 9th International Conference on Learning Representations. ICLR: International Conference on Learning Representations.
View | Files available | Download Published Version (ext.)
 

2021 | Journal Article | IST-REx-ID: 9225 | OA
Feliciangeli D, Rademacher SAE, Seiringer R. 2021. Persistence of the spectral gap for the Landau–Pekar equations. Letters in Mathematical Physics. 111, 19.
View | Files available | DOI
 

2021 | Thesis | IST-REx-ID: 8934 | OA
Goharshady AK. 2021. Parameterized and algebro-geometric advances in static program analysis. IST Austria.
View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 9437 | OA
Bhandari P, Vandael DH, Fernández-Fernández D, Fritzius T, Kleindienst D, Önal HC, Montanaro-Punzengruber J-C, Gassmann M, Jonas PM, Kulik A, Bettler B, Shigemoto R, Koppensteiner P. 2021. GABAB receptor auxiliary subunits modulate Cav2.3-mediated release from medial habenula terminals. eLife. 10, e68274.
View | Files available | DOI
 

2021 | Book Chapter | IST-REx-ID: 9756
Kaufmann W, Kleindienst D, Harada H, Shigemoto R. 2021.High-Resolution localization and quantitation of membrane proteins by SDS-digested freeze-fracture replica labeling (SDS-FRL). In: Receptor and Ion Channel Detection in the Brain. Neuromethods, vol. 169, 267–283.
View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 9006
Shamipour S, Caballero Mancebo S, Heisenberg C-PJ. 2021. Cytoplasm’s got moves. Developmental Cell. 56(2), P213-226.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7956 | OA
Pȩkalski J, Rzadkowski W, Panagiotopoulos AZ. 2020. Shear-induced ordering in systems with competing interactions: A machine learning study. The Journal of chemical physics. 152(20), 204905.
View | DOI | Download Published Version (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 7957 | OA
Parenti I, Garcia Rabaneda LE, Schön H, Novarino G. 2020. Neurodevelopmental disorders: From genetics to functional pathways. Trends in Neurosciences. 43(8), 608–621.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7960 | OA
Kalai G, Patakova Z. 2020. Intersection patterns of planar sets. Discrete and Computational Geometry. 64, 304–323.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 7962 | OA
Pach J, Reed B, Yuditsky Y. 2020. Almost all string graphs are intersection graphs of plane convex sets. Discrete and Computational Geometry. 63(4), 888–917.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Conference Paper | IST-REx-ID: 7966 | OA
Auerbach B, Giacon F, Kiltz E. 2020. Everybody’s a target: Scalability in public-key encryption. Advances in Cryptology – EUROCRYPT 2020. EUROCRYPT: Theory and Applications of Cryptographic Techniques, LNCS, vol. 12107, 475–506.
View | DOI | Download Submitted Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 7968 | OA
Ghazaryan A, Paltiel Y, Lemeshko M. 2020. Analytic model of chiral-induced spin selectivity. The Journal of Physical Chemistry C. 124(21), 11716–11721.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7971 | OA
Rao P, Serbyn M. 2020. Gully quantum Hall ferromagnetism in biased trilayer graphene. Physical Review B. 101(24), 245411.
View | DOI | Download Preprint (ext.)
 

2020 | Journal Article | IST-REx-ID: 7985 | OA
Kwak W, Sharon D, Xia C, Kim H, Johnson L, Bruce P, Nazar L, Sun Y, Frimer A, Noked M, Freunberger SA, Aurbach D. 2020. Lithium-oxygen batteries and related systems: Potential, status, and future. Chemical Reviews. 120(14), 6626–6683.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Conference Paper | IST-REx-ID: 7989 | OA
Patakova Z. 2020. Bounding radon number via Betti numbers. 36th International Symposium on Computational Geometry. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 164, 61:1-61:13.
View | Files available | DOI | arXiv
 

2020 | Conference Paper | IST-REx-ID: 7990 | OA
Wagner U, Welzl E. 2020. Connectivity of triangulation flip graphs in the plane (Part II: Bistellar flips). 36th International Symposium on Computational Geometry. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 164, 67:1-67:16.
View | Files available | DOI | arXiv
 

2020 | Conference Paper | IST-REx-ID: 7991 | OA
Avvakumov S, Nivasch G. 2020. Homotopic curve shortening and the affine curve-shortening flow. 36th International Symposium on Computational Geometry. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 164, 12:1-12:15.
View | Files available | DOI | arXiv
 

Search

Filter Publications