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.




3136 Publications

2021 | Journal Article | IST-REx-ID: 8910 | OA
Valentini, Marco, et al. “Nontopological Zero-Bias Peaks in Full-Shell Nanowires Induced by Flux-Tunable Andreev States.” Science, vol. 373, no. 6550, 82–88, American Association for the Advancement of Science, 2021, doi:10.1126/science.abf1513.
View | DOI | Download Submitted Version (ext.) | arXiv
 
2021 | Journal Article | IST-REx-ID: 9627 | OA
Lenz, Daniel, et al. “Self-Adjoint Extensions of Bipartite Hamiltonians.” Proceedings of the Edinburgh Mathematical Society, Cambridge University Press, 2021, pp. 1–15, doi:10.1017/S0013091521000080.
View | DOI | Download Published Version (ext.) | arXiv
 
2021 | Preprint | IST-REx-ID: 9651 | OA
Dymond, Michael, and Vojtech Kaluza. “Divergence of Separated Nets with Respect to Displacement Equivalence.” ArXiv, 2102.13046.
View | Download Submitted Version (ext.) | arXiv
 
2021 | Journal Article | IST-REx-ID: 9647 | OA
Petrov, Tatjana, et al. “Long Lived Transients in Gene Regulation.” Theoretical Computer Science, Elsevier, doi:10.1016/j.tcs.2021.05.023.
View | Files available | DOI
 
2021 | Conference Paper | IST-REx-ID: 9646 | OA
Wang, Jinyi, et al. “Quantitative Analysis of Assertion Violations in Probabilistic Programs.” Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2021, pp. 1171–86, doi:10.1145/3453483.3454102.
View | DOI | Download Preprint (ext.) | arXiv
 
2021 | Conference Paper | IST-REx-ID: 9645 | OA
Asadi, Ali, et al. “Polynomial Reachability Witnesses via Stellensätze.” Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2021, pp. 772–87, doi:10.1145/3453483.3454076.
View | DOI | Download Submitted Version (ext.)
 
2021 | Conference Paper | IST-REx-ID: 9644 | OA
Chatterjee, Krishnendu, et al. “Proving Non-Termination by Program Reversal.” Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2021, pp. 1033–48, doi:10.1145/3453483.3454093.
View | DOI | Download Preprint (ext.) | arXiv
 
2021 | Journal Article | IST-REx-ID: 9649 | OA
Boissonnat, Jean-Daniel, and Mathijs Wintraecken. “The Topological Correctness of PL Approximations of Isomanifolds.” Foundations of Computational Mathematics , Springer Nature, 2021, doi:10.1007/s10208-021-09520-0.
View | Files available | DOI
 
2021 | Conference Paper | IST-REx-ID: 9678 | OA
Brandt, Sebastian, et al. “Efficient Load-Balancing through Distributed Token Dropping.” Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2021, pp. 129–39, doi:10.1145/3409964.3461785.
View | DOI | Download Preprint (ext.) | arXiv
 
2021 | Conference Paper | IST-REx-ID: 9441 | OA
Boissonnat, Jean-Daniel, et al. “Tracing Isomanifolds in Rd in Time Polynomial in d Using Coxeter-Freudenthal-Kuhn Triangulations.” 37th International Symposium on Computational Geometry (SoCG 2021), vol. 189, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021, p. 17:1-17:16, doi:10.4230/LIPIcs.SoCG.2021.17.
View | Files available | DOI
 
2021 | Conference Paper | IST-REx-ID: 9620 | OA
Alistarh, Dan-Adrian, and Peter Davies. “Collecting Coupons Is Faster with Friends.” Structural Information and Communication Complexity, vol. 12810, Springer Nature, 2021, pp. 3–12, doi:10.1007/978-3-030-79527-6_1.
View | Files available | DOI
 
2021 | Conference Paper | IST-REx-ID: 9200 | OA
Garcia Soto, Miriam, et al. “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, Association for Computing Machinery, p. 2102.12734, doi:10.1145/3447928.3456704.
View | Files available | DOI | arXiv
 
2021 | Conference Paper | IST-REx-ID: 9345 | OA
Edelsbrunner, Herbert, et al. “The Density Fingerprint of a Periodic Point Set.” 37th International Symposium on Computational Geometry (SoCG 2021), vol. 189, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021, p. 32:1-32:16, doi:10.4230/LIPIcs.SoCG.2021.32.
View | Files available | DOI
 
2021 | Conference Paper | IST-REx-ID: 9296 | OA
Aichholzer, Oswin, et al. “On Compatible Matchings.” 15th International Conference on Algorithms and Computation, vol. 12635, Springer Nature, 2021, pp. 221–33, doi:10.1007/978-3-030-68211-8_18.
View | DOI | Download Preprint (ext.) | arXiv
 
2021 | Conference Paper | IST-REx-ID: 9466
Walter, Michael. “The Convergence of Slide-Type Reductions.” Public-Key Cryptography – PKC 2021, vol. 12710, Springer Nature, 2021, pp. 45–67, doi:10.1007/978-3-030-75245-3_3.
View | DOI
 
2021 | Conference Paper | IST-REx-ID: 9210
Volhejn, Vaclav, and Christoph Lampert. “Does SGD Implicitly Optimize for Smoothness?” 42nd German Conference on Pattern Recognition , vol. 12544 LNCS, Springer, 2021, pp. 246–59, doi:10.1007/978-3-030-71278-5_18.
View | DOI
 
2021 | Journal Article | IST-REx-ID: 9640 | OA
Tkadlec, Josef, et al. “Fast and Strong Amplifiers of Natural Selection.” Nature Communications, vol. 12, no. 1, 4009, Springer Nature, 2021, doi:10.1038/s41467-021-24271-w.
View | Files available | DOI | PubMed | Europe PMC
 
2021 | Thesis | IST-REx-ID: 9418 | OA
Phuong, Mary. Underspecification in Deep Learning. IST Austria, 2021, doi:10.15479/AT:ISTA:9418.
View | Files available | DOI
 
2021 | Conference Paper | IST-REx-ID: 9543 | OA
Davies, Peter, et al. “New Bounds for Distributed Mean Estimation and Variance Reduction.” 9th International Conference on Learning Representations, 2021.
View | Download Published Version (ext.) | arXiv
 
2021 | Conference Paper | IST-REx-ID: 9416 | OA
Phuong, Mary, and Christoph Lampert. “The Inductive Bias of ReLU Networks on Orthogonally Separable Data.” 9th International Conference on Learning Representations, 2021.
View | Files available | Download Published Version (ext.)
 
2021 | Thesis | IST-REx-ID: 8934 | OA
Goharshady, Amir Kafshdar. Parameterized and Algebro-Geometric Advances in Static Program Analysis. IST Austria, 2021, doi:10.15479/AT:ISTA:8934.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 7956 | OA
Pȩkalski, J., et al. “Shear-Induced Ordering in Systems with Competing Interactions: A Machine Learning Study.” The Journal of Chemical Physics, vol. 152, no. 20, 204905, AIP, 2020, doi:10.1063/5.0005194.
View | DOI | Download Published Version (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 7957 | OA
Parenti, Ilaria, et al. “Neurodevelopmental Disorders: From Genetics to Functional Pathways.” Trends in Neurosciences, vol. 43, no. 8, Elsevier, 2020, pp. 608–21, doi:10.1016/j.tins.2020.05.004.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 7960 | OA
Kalai, Gil, and Zuzana Patakova. “Intersection Patterns of Planar Sets.” Discrete and Computational Geometry, vol. 64, Springer Nature, 2020, pp. 304–23, doi:10.1007/s00454-020-00205-z.
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 7962 | OA
Pach, János, et al. “Almost All String Graphs Are Intersection Graphs of Plane Convex Sets.” Discrete and Computational Geometry, vol. 63, no. 4, Springer Nature, 2020, pp. 888–917, doi:10.1007/s00454-020-00213-z.
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Conference Paper | IST-REx-ID: 7966 | OA
Auerbach, Benedikt, et al. “Everybody’s a Target: Scalability in Public-Key Encryption.” Advances in Cryptology – EUROCRYPT 2020, vol. 12107, Springer Nature, 2020, pp. 475–506, doi:10.1007/978-3-030-45727-3_16.
View | DOI | Download Submitted Version (ext.)
 
2020 | Journal Article | IST-REx-ID: 7968 | OA
Ghazaryan, Areg, et al. “Analytic Model of Chiral-Induced Spin Selectivity.” The Journal of Physical Chemistry C, vol. 124, no. 21, American Chemical Society, 2020, pp. 11716–21, doi:10.1021/acs.jpcc.0c02584.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 7971 | OA
Rao, Peng, and Maksym Serbyn. “Gully Quantum Hall Ferromagnetism in Biased Trilayer Graphene.” Physical Review B, vol. 101, no. 24, 245411, American Physical Society, 2020, doi:10.1103/physrevb.101.245411.
View | DOI | Download Preprint (ext.)
 
2020 | Journal Article | IST-REx-ID: 7985 | OA
Kwak, WJ, et al. “Lithium-Oxygen Batteries and Related Systems: Potential, Status, and Future.” Chemical Reviews, vol. 120, no. 14, American Chemical Society, 2020, pp. 6626–83, doi:10.1021/acs.chemrev.9b00609.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Conference Paper | IST-REx-ID: 7989 | OA
Patakova, Zuzana. “Bounding Radon Number via Betti Numbers.” 36th International Symposium on Computational Geometry, vol. 164, 61:1-61:13, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, doi:10.4230/LIPIcs.SoCG.2020.61.
View | Files available | DOI | arXiv
 
2020 | Conference Paper | IST-REx-ID: 7990 | OA
Wagner, Uli, and Emo Welzl. “Connectivity of Triangulation Flip Graphs in the Plane (Part II: Bistellar Flips).” 36th International Symposium on Computational Geometry, vol. 164, 67:1-67:16, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, doi:10.4230/LIPIcs.SoCG.2020.67.
View | Files available | DOI | arXiv
 
2020 | Conference Paper | IST-REx-ID: 7991 | OA
Avvakumov, Sergey, and Gabriel Nivasch. “Homotopic Curve Shortening and the Affine Curve-Shortening Flow.” 36th International Symposium on Computational Geometry, vol. 164, 12:1-12:15, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, doi:10.4230/LIPIcs.SoCG.2020.12.
View | Files available | DOI | arXiv
 
2020 | Conference Paper | IST-REx-ID: 7992 | OA
Patakova, Zuzana, et al. “Barycentric Cuts through a Convex Body.” 36th International Symposium on Computational Geometry, vol. 164, 62:1-62:16, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, doi:10.4230/LIPIcs.SoCG.2020.62.
View | Files available | DOI | arXiv
 
2020 | Conference Paper | IST-REx-ID: 7994 | OA
Arroyo Guevara, Alan M., et al. “Extending Drawings of Graphs to Arrangements of Pseudolines.” 36th International Symposium on Computational Geometry, vol. 164, 9:1-9:14, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, doi:10.4230/LIPIcs.SoCG.2020.9.
View | Files available | DOI | arXiv
 
2020 | Journal Article | IST-REx-ID: 7995 | OA
Perini, Samuel, et al. “Assortative Mating, Sexual Selection, and Their Consequences for Gene Flow in Littorina.” Evolution, vol. 74, no. 7, Wiley, 2020, pp. 1482–97, doi:10.1111/evo.14027.
View | Files available | DOI
 
2020 | Thesis | IST-REx-ID: 7996 | OA
Kukucka, Josip. Implementation of a Hole Spin Qubit in Ge Hut Wires and Dispersive Spin Sensing. IST Austria, 2020, doi:10.15479/AT:ISTA:7996.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 7999 | OA
Trejo Banos D, McCartney D, Patxot M, Anchieri L, Battram T, Christiansen C, Costeira R, Walker R, Morris S, Campbell A, Zhang Q, Porteous D, McRae A, Wray N, Visscher P, Haley C, Evans K, Deary I, McIntosh A, Hemani G, Bell J, Marioni R, Robinson MR. 2020. Bayesian reassessment of the epigenetic architecture of complex traits. Nature Communications. 11, 2865.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8001 | OA
Vandael, David H., et al. “Short-Term Plasticity at Hippocampal Mossy Fiber Synapses Is Induced by Natural Activity Patterns and Associated with Vesicle Pool Engram Formation.” Neuron, vol. 107, no. 3, Elsevier, 2020, pp. 509–21, doi:10.1016/j.neuron.2020.05.013.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8002 | OA
Hörmayer, Lukas, et al. “Wounding-Induced Changes in Cellular Pressure and Localized Auxin Signalling Spatially Coordinate Restorative Divisions in Roots.” Proceedings of the National Academy of Sciences, vol. 117, no. 26, 202003346, Proceedings of the National Academy of Sciences, 2020, doi:10.1073/pnas.2003346117.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8011 | OA
Michailidis, Alexios, et al. “Stabilizing Two-Dimensional Quantum Scars by Deformation and Synchronization.” Physical Review Research, vol. 2, no. 2, 022065, American Physical Society, 2020, doi:10.1103/physrevresearch.2.022065.
View | Files available | DOI
 
2020 | Conference Paper | IST-REx-ID: 8012 | OA
Kragl, Bernhard, et al. “Inductive Sequentialization of Asynchronous Programs.” Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2020, pp. 227–42, doi:10.1145/3385412.3385980.
View | Files available | DOI | Download Published Version (ext.)
 
2020 | Thesis | IST-REx-ID: 8032 | OA
Huszár, Kristóf. Combinatorial Width Parameters for 3-Dimensional Manifolds. IST Austria, 2020, doi:10.15479/AT:ISTA:8032.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8036 | OA
Collard, Ylona, et al. “Magnetically Powered Metachronal Waves Induce Locomotion in Self-Assemblies.” Communications Physics, vol. 3, 112, Springer Nature, 2020, doi:10.1038/s42005-020-0380-9.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8038 | OA
Fink, Johannes M., et al. “Efficient Microwave Frequency Conversion Mediated by a Photonics Compatible Silicon Nitride Nanobeam Oscillator.” Quantum Science and Technology, vol. 5, no. 3, 034011, IOP Publishing, 2020, doi:10.1088/2058-9565/ab8dce.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8039
Zhang, Yu, et al. “Tin Selenide Molecular Precursor for the Solution Processing of Thermoelectric Materials and Devices.” ACS Applied Materials and Interfaces, vol. 12, no. 24, American Chemical Society, 2020, pp. 27104–11, doi:10.1021/acsami.0c04331.
View | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8042 | OA
Boccato, Chiara, et al. “The Excitation Spectrum of Bose Gases Interacting through Singular Potentials.” Journal of the European Mathematical Society, vol. 22, no. 7, European Mathematical Society, 2020, pp. 2331–403, doi:10.4171/JEMS/966.
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 8043 | OA
Paranjape, Chaitanya S., et al. “Oblique Stripe Solutions of Channel Flow.” Journal of Fluid Mechanics, vol. 897, A7, Cambridge University Press, 2020, doi:10.1017/jfm.2020.322.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8057 | OA
Bouchal, Roza, et al. “Competitive Salt Precipitation/Dissolution during Free‐water Reduction in Water‐in‐salt Electrolyte.” Angewandte Chemie, vol. 132, no. 37, Wiley, 2020, pp. 16047–51, doi:10.1002/ange.202005378.
View | Files available | DOI
 
2020 | Preprint | IST-REx-ID: 8063 | OA
Anciukevicius, Titas, et al. “Object-Centric Image Generation with Factored Depths, Locations, and Appearances.” ArXiv, 2004.00642.
View | Download Preprint (ext.) | arXiv
 
2020 | Technical Report | IST-REx-ID: 8067 | OA
Varzi, Alberto, et al. Current Status and Future Perspectives of Lithium Metal Batteries. IST Austria, doi:10.15479/AT:ISTA:8067.
View | Files available | DOI
 

Filters and Search Terms

type<>research_data

Search

Filter Publications