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.

3381 Publications


2021 | Journal Article | IST-REx-ID: 9607 | OA
Bespalov A, Bernard R, Gilis A, Gerlach B, Guillén J, Castagné V, Lefevre IA, Ducrey F, Monk L, Bongiovanni S, Altevogt B, Arroyo-Araujo M, Bikovski L, De Bruin N, Castaños-Vélez E, Dityatev A, Emmerich CH, Fares R, Ferland-Beckham C, Froger-Colléaux C, Gailus-Durner V, Hölter SM, Hofmann MC, Kabitzke P, Kas MJ, Kurreck C, Moser P, Pietraszek M, Popik P, Potschka H, Prado Montes De Oca E, Restivo L, Riedel G, Ritskes-Hoitinga M, Samardzic J, Schunn M, Stöger C, Voikar V, Vollert J, Wever KE, Wuyts K, Macleod MR, Dirnagl U, Steckler T. 2021. Introduction to the EQIPD quality system. eLife. 10.
View | Files available | DOI | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 9569 | OA
Dar, M. S., Akram, K. B., Sohail, A., Arif, F., Zabihi, F., Yang, S., … Nauman, M. (2021). Heat induction in two-dimensional graphene–Fe3O4 nanohybrids for magnetic hyperthermia applications with artificial neural network modeling. RSC Advances. Royal Society of Chemistry. https://doi.org/10.1039/d1ra03428f
View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 9606 | OA
Tononi, A., Cappellaro, A., Bighin, G., & Salasnich, L. (2021). Propagation of first and second sound in a two-dimensional Fermi superfluid. Physical Review A. American Physical Society. https://doi.org/10.1103/PhysRevA.103.L061303
View | DOI | Download Submitted Version (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 9603 | OA
Contreras, X., Amberg, N., Davaatseren, A., Hansen, A. H., Sonntag, J., Andersen, L., … Hippenmeyer, S. (2021). A genome-wide library of MADM mice for single-cell genetic mosaic analysis. Cell Reports. Cell Press. https://doi.org/10.1016/j.celrep.2021.109274
View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 9601 | OA
Santini, L., Halbritter, F., Titz-Teixeira, F., Suzuki, T., Asami, M., Ma, X., … Leeb, M. (2021). Genomic imprinting in mouse blastocysts is predominantly associated with H3K27me3. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-021-23510-4
View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 9602 | OA
Pach, J., & Tomon, I. (2021). Erdős-Hajnal-type results for monotone paths. Journal of Combinatorial Theory. Series B. Elsevier. https://doi.org/10.1016/j.jctb.2021.05.004
View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 9604 | OA
Biswas, R., Cultrera di Montesano, S., Edelsbrunner, H., & Saghafian, M. (2021). Counting cells of order-k voronoi tessellations in ℝ3 with morse theory. In Leibniz International Proceedings in Informatics (Vol. 189). Online: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2021.16
View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 8909 | OA
Jirovec, D., Hofmann, A. C., Ballabio, A., Mutter, P. M., Tavani, G., Botifoll, M., … Katsaros, G. (2021). A singlet triplet hole spin qubit in planar Ge. Nature Materials. Springer Nature. https://doi.org/10.1038/s41563-021-01022-2
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2021 | Research Data | IST-REx-ID: 9323 | OA
Jirovec, D. (2021). Research data for “A singlet-triplet hole spin qubit planar Ge.” IST Austria. https://doi.org/10.15479/AT:ISTA:9323
View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 9356 | OA
Henzinger, T. A., & Sarac, N. E. (n.d.). Quantitative and approximate monitoring. In Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. Online: Association for Computing Machinery.
View | Files available | arXiv
 

2021 | Conference Paper | IST-REx-ID: 9592 | OA
Dvorak, M., & Nicholson, S. (n.d.). Massively winning configurations in the convex grabbing game on the plane. In Proceedings of the 33rd Canadian Conference on Computational Geometry. Online.
View | Files available | arXiv
 

2021 | Journal Article | IST-REx-ID: 8198 | OA
Diringer, A. A., & Gulden, T. (2021). Impact of drive harmonics on the stability of Floquet many-body localization. Physical Review B. American Physical Society. https://doi.org/10.1103/PhysRevB.103.214204
View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 8317 | OA
Aichholzer, O., Akitaya, H. A., Cheung, K. C., Demaine, E. D., Demaine, M. L., Fekete, S. P., … Schmidt, C. (2021). Folding polyominoes with holes into a cube. Computational Geometry: Theory and Applications. Elsevier. https://doi.org/10.1016/j.comgeo.2020.101700
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 7463 | OA
Lombardi, F., Shriki, O., Herrmann, H. J., & de Arcangelis, L. (n.d.). Long-range temporal correlations in the broadband resting state activity of the human brain revealed by neuronal avalanches. Neurocomputing. Elsevier. https://doi.org/10.1016/j.neucom.2020.05.126
View | DOI | Download Preprint (ext.)
 

2021 | Conference Paper | IST-REx-ID: 9605 | OA
Corbet, R., Kerber, M., Lesnick, M., & Osang, G. F. (2021). Computing the multicover bifiltration. In Leibniz International Proceedings in Informatics (Vol. 189). Online: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2021.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., … Lukin, M. D. (2021). Controlling quantum many-body dynamics in driven Rydberg atom arrays. Science. AAAS. https://doi.org/10.1126/science.abg2530
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, D. M. (2021). NUQSGD: Provably communication-efficient data-parallel SGD via nonuniform quantization. Journal of Machine Learning Research. Journal of Machine Learning Research.
View | Files available | arXiv
 

2021 | Journal Article | IST-REx-ID: 9669 | OA
Reinhardt, A., & Cheng, B. (2021). Quantum-mechanical exploration of the phase diagram of water. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-020-20821-w
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, M. E., Nagy, B., Reilly-Andújar, F., … Siegert, S. (2021). Microglia enable mature perineuronal nets disassembly upon anesthetic ketamine exposure or 60-Hz light entrainment in the healthy brain. Cell Reports. Elsevier. https://doi.org/10.1016/j.celrep.2021.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. Elsevier. https://doi.org/10.1016/j.nlm.2021.107486
View | Files available | DOI | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 9679 | OA
Huber, D., Marchukov, O. V., Hammer, H. W., & Volosniev, A. (2021). Morphology of three-body quantum states from machine learning. New Journal of Physics. IOP Publishing. https://doi.org/10.1088/1367-2630/ac0576
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 | Preprint | IST-REx-ID: 9695 | OA
Glielmo, A., Zeni, C., Cheng, B., Csanyi, G., & Laio, A. (n.d.). Ranking the information content of distance measures. arXiv.
View | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 8910 | OA
Valentini, M., Peñaranda, F., Hofmann, A. C., Brauns, M., Hauschild, R., Krogstrup, P., … Katsaros, G. (2021). Nontopological zero-bias peaks in full-shell nanowires induced by flux-tunable Andreev states. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.abf1513
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. Cambridge University Press. https://doi.org/10.1017/S0013091521000080
View | DOI | Download Published Version (ext.) | arXiv
 

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

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

2021 | Journal Article | IST-REx-ID: 9647 | OA
Petrov, T., Igler, C., Sezgin, A., Henzinger, T. A., & Guet, C. C. (n.d.). Long lived transients in gene regulation. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2021.05.023
View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 9646 | OA
Wang, J., Sun, Y., Fu, H., Chatterjee, K., & Goharshady, A. K. (2021). Quantitative analysis of assertion violations in probabilistic programs. In Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (pp. 1171–1186). Online: Association for Computing Machinery. https://doi.org/10.1145/3453483.3454102
View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 9645 | OA
Asadi, A., Chatterjee, K., Fu, H., Goharshady, A. K., & Mahdavi, M. (2021). Polynomial reachability witnesses via Stellensätze. In Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (pp. 772–787). Online: Association for Computing Machinery. https://doi.org/10.1145/3453483.3454076
View | DOI | Download Submitted Version (ext.)
 

2021 | Conference Paper | IST-REx-ID: 9644 | OA
Chatterjee, K., Goharshady, E. K., Novotný, P., & Zikelic, D. (2021). Proving non-termination by program reversal. In Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (pp. 1033–1048). Online: Association for Computing Machinery. https://doi.org/10.1145/3453483.3454093
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 . Springer Nature. https://doi.org/10.1007/s10208-021-09520-0
View | Files available | DOI
 

2021 | Preprint | IST-REx-ID: 9698 | OA
Keith, J. A., Valentin Vassilev-Galindo, V., Cheng, B., Chmiela, S., Gastegger, M., Müller, K.-R., & Tkatchenko, A. (n.d.). Combining machine learning and computational chemistry for predictive insights into chemical systems. arXiv.
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. In Annual ACM Symposium on Parallelism in Algorithms and Architectures (pp. 129–139). Virtual Event, United States. https://doi.org/10.1145/3409964.3461785
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. In 37th International Symposium on Computational Geometry (SoCG 2021) (Vol. 189, p. 17:1-17:16). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2021.17
View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 9620 | OA
Alistarh, D.-A., & Davies, P. (2021). Collecting coupons is faster with friends. In Structural Information and Communication Complexity (Vol. 12810, pp. 3–12). Wrocław, Poland: Springer Nature. https://doi.org/10.1007/978-3-030-79527-6_1
View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 9200 | OA
Garcia Soto, M., Henzinger, T. A., & Schilling, C. (n.d.). Synthesis of hybrid automata with affine dynamics from time-series data. In HSCC ’21: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control (p. 2102.12734). Nashville, TN, United States: Association for Computing Machinery. https://doi.org/10.1145/3447928.3456704
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. In 37th International Symposium on Computational Geometry (SoCG 2021) (Vol. 189, p. 32:1-32:16). Virtual: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2021.32
View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 9296 | OA
Aichholzer, O., Arroyo Guevara, A. M., Masárová, Z., Parada, I., Perz, D., Pilz, A., … Vogtenhuber, B. (2021). On compatible matchings. In 15th International Conference on Algorithms and Computation (Vol. 12635, pp. 221–233). Yangon, Myanmar: Springer Nature. https://doi.org/10.1007/978-3-030-68211-8_18
View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 9640 | OA
Tkadlec, J., Pavlogiannis, A., Chatterjee, K., & Nowak, M. A. (2021). Fast and strong amplifiers of natural selection. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-021-24271-w
View | Files available | DOI | PubMed | Europe PMC
 

2021 | Thesis | IST-REx-ID: 9418 | OA
Phuong, M. (2021). Underspecification in Deep Learning. IST Austria. https://doi.org/10.15479/AT:ISTA:9418
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. In 9th International Conference on Learning Representations. Virtual.
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. In 9th International Conference on Learning Representations. Virtual.
View | Files available | Download Published Version (ext.)
 

2021 | Journal Article | IST-REx-ID: 9225 | OA
Feliciangeli, D., Rademacher, S. A. E., & Seiringer, R. (2021). Persistence of the spectral gap for the Landau–Pekar equations. Letters in Mathematical Physics. Springer Nature. https://doi.org/10.1007/s11005-020-01350-5
View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 9437 | OA
Bhandari, P., Vandael, D. H., Fernández-Fernández, D., Fritzius, T., Kleindienst, D., Önal, H. C., … Koppensteiner, P. (2021). GABAB receptor auxiliary subunits modulate Cav2.3-mediated release from medial habenula terminals. ELife. eLife Sciences Publications. https://doi.org/10.7554/ELIFE.68274
View | Files available | DOI
 

2021 | Thesis | IST-REx-ID: 8934 | OA
Goharshady, A. K. (2021). Parameterized and algebro-geometric advances in static program analysis. IST Austria. https://doi.org/10.15479/AT:ISTA:8934
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7956 | OA
Pȩkalski, J., Rzadkowski, W., & Panagiotopoulos, A. Z. (2020). Shear-induced ordering in systems with competing interactions: A machine learning study. The Journal of Chemical Physics. AIP. https://doi.org/10.1063/5.0005194
View | DOI | Download Published Version (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 7957 | OA
Parenti, I., Garcia Rabaneda, L. E., Schön, H., & Novarino, G. (2020). Neurodevelopmental disorders: From genetics to functional pathways. Trends in Neurosciences. Elsevier. https://doi.org/10.1016/j.tins.2020.05.004
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. Springer Nature. https://doi.org/10.1007/s00454-020-00205-z
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. Springer Nature. https://doi.org/10.1007/s00454-020-00213-z
View | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

oa=1

Search

Filter Publications