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.




3104 Publications

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 | Journal Article | IST-REx-ID: 9408 | OA
Feng X, Liu J, Wang H, Yang Y, Bao H, Bickel B, Xu W. 2021. Computational design of skinned Quad-Robots. IEEE Transactions on Visualization and Computer Graphics. 27(6), 2881–2895.
View | Files available | DOI | PubMed | Europe PMC
 
2021 | Journal Article | IST-REx-ID: 9410 | OA
Lagator M, Uecker H, Neve P. 2021. Adaptation at different points along antibiotic concentration gradients. Biology letters. 17(5), 20200913.
View | Files available | DOI | PubMed | Europe PMC
 
2021 | Journal Article | IST-REx-ID: 9376 | OA
Zhang R, Auzinger T, Bickel B. Computational design of planar multistable compliant structures. ACM Transactions on Graphics.
View | Files available | DOI
 
2021 | Journal Article | IST-REx-ID: 7901 | OA
Benedikter NP, Nam PT, Porta M, Schlein B, Seiringer R. 2021. Correlation energy of a weakly interacting Fermi gas. Inventiones Mathematicae.
View | DOI | Download Published Version (ext.) | arXiv
 
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 | Journal Article | IST-REx-ID: 9439 | OA
Mlynarski WF, Hermundstad AM. 2021. Efficient and adaptive sensory codes. Nature Neuroscience.
View | DOI | Download Preprint (ext.)
 
2021 | Preprint | IST-REx-ID: 9435 | OA
Kaloshin V, Koudjinan E. 2021. Non co-preservation of the 1/2 and  1/(2l+1)-rational caustics along deformations of circles.
View | Files available
 
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 | DOI | PubMed | Europe PMC
 
2021 | Journal Article | IST-REx-ID: 9316 | OA
Petridou N, Corominas-Murtra B, Heisenberg C-PJ, Hannezo EB. 2021. Rigidity percolation uncovers a structural basis for embryonic tissue phase transitions. Cell. 184(7), 1914–1928.e19.
View | Files available | DOI | PubMed | Europe PMC
 
2021 | Journal Article | IST-REx-ID: 9257 | OA
Goodrich CP, King EM, Schoenholz SS, Cubuk ED, Brenner MP. 2021. Designing self-assembling kinetics with differentiable statistical physics models. Proceedings of the National Academy of Sciences. 118(10), e2024083118.
View | Files available | DOI | PubMed | Europe PMC
 
2021 | Journal Article | IST-REx-ID: 9301 | OA
Prehal C, Samojlov A, Nachtnebel M, Lovicar L, Kriechbaum M, Amenitsch H, Freunberger SA. 2021. In situ small-angle X-ray scattering reveals solution phase discharge of Li–O2 batteries with weakly solvating electrolytes. Proceedings of the National Academy of Sciences. 118(14), e2021893118.
View | DOI | Download Preprint (ext.)
 
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: 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 | Journal Article | IST-REx-ID: 9447
Maffre M, Bouchal R, Freunberger SA, Lindahl N, Johansson P, Favier F, Fontaine O, Bélanger D. 2021. Investigation of electrochemical and chemical processes occurring at positive potentials in “Water-in-Salt” electrolytes. Journal of The Electrochemical Society. 168(5), 050550.
View | DOI
 
2021 | Journal Article | IST-REx-ID: 8909 | OA
Jirovec D, Hofmann AC, Ballabio A, Mutter PM, Tavani G, Botifoll M, Crippa A, Kukucka J, Sagi O, Martins F, Saez Mollejo J, Prieto Gonzalez I, Borovkov M, Arbiol J, Chrastina D, Isella G, Katsaros G. 2021. A singlet triplet hole spin qubit in planar Ge. Nature Materials.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2021 | Journal Article | IST-REx-ID: 9465 | OA
Edelsbrunner H, Nikitenko A, Osang GF. 2021. A step in the Delaunay mosaic of order k. Journal of Geometry. 112(1), 15.
View | Files available | DOI
 
2021 | Conference Paper | IST-REx-ID: 9466
Walter M. 2021. The convergence of slide-type reductions. PKC: 24th IACR International Conference on Practice and Theory of Public Key Cryptography, LNCS, vol. 12710, 45–67.
View | DOI
 
2021 | Conference Paper | IST-REx-ID: 9464
Gao F, Zhang JY, Wang JH, Ming M, Wang T, Zhang JJ, Watzinger H, Kukucka J, Vukušić L, Katsaros G, Wang K, Xu G, Li HO, Guo GP. 2021. Ge/Si quantum wires for quantum computing. 2021 5th IEEE Electron Devices Technology and Manufacturing Conference, EDTM 2021. EDTM: 5th IEEE Electron Devices Technology and Manufacturing Conference, 9420817.
View | DOI
 
2021 | Journal Article | IST-REx-ID: 9469
Iyiola OS, Enyi CD, Shehu Y. 2021. Reflected three-operator splitting method for monotone inclusion problem. Optimization Methods and Software.
View | DOI
 
2021 | Journal Article | IST-REx-ID: 9470 | OA
Berdan EL, Blanckaert A, Slotte T, Suh A, Westram AM, Fragata I. 2021. Unboxing mutations: Connecting mutation types with evolutionary consequences. Molecular Ecology. 30(12), 2710–2723.
View | Files available | DOI
 
2021 | Journal Article | IST-REx-ID: 9467 | OA
Marensi E, He S, Willis AP. 2021. Suppression of turbulence and travelling waves in a vertical heated pipe. Journal of Fluid Mechanics. 919, A17.
View | DOI | Download Submitted Version (ext.) | arXiv
 
2021 | Journal Article | IST-REx-ID: 8546 | OA
Zhang T, Liu T, Mora N, Guegan J, Bertrand M, Contreras X, Hansen AH, Streicher C, Anderle M, Danda N, Tiberi L, Hippenmeyer S, Hassan BA. 2021. Generation of excitatory and inhibitory neurons from common progenitors via Notch signaling in the cerebellum. Cell Reports. 35(10), 109208.
View | Files available | DOI | PubMed | Europe PMC
 
2021 | Journal Article | IST-REx-ID: 9550 | OA
Bao Z, Erdös L, Schnelli K. 2021. Equipartition principle for Wigner matrices. Forum of Mathematics, Sigma. 9, e44.
View | Files available | DOI | arXiv
 
2021 | Journal Article | IST-REx-ID: 9548 | OA
Ivanov G, Tsiutsiurupa I. 2021. Functional Löwner ellipsoids. Journal of Geometric Analysis.
View | DOI | Download Preprint (ext.) | arXiv
 
2021 | Journal Article | IST-REx-ID: 9429 | OA
Morandell J, Schwarz LA, Basilico B, Tasciyan S, Dimchev GA, Nicolas A, Sommer CM, Kreuzinger C, Dotter C, Knaus L, Dobler Z, Cacci E, Schur FK, Danzl JG, Novarino G. 2021. Cul3 regulates cytoskeleton protein homeostasis and cell migration during a critical window of brain development. Nature Communications. 12(1), 3058.
View | Files available | DOI
 
2021 | Journal Article | IST-REx-ID: 9431 | OA
Obr M, Ricana CL, Nikulin N, Feathers J-PR, Klanschnig M, Thader A, Johnson MC, Vogt VM, Schur FK, Dick RA. 2021. Structure of the mature Rous sarcoma virus lattice reveals a role for IP6 in the formation of the capsid hexamer. Nature Communications. 12(1), 3226.
View | Files available | DOI
 
2021 | Journal Article | IST-REx-ID: 9540 | OA
Prattes M, Grishkovskaya I, Hodirnau V-V, Rössler I, Klein I, Hetzmannseder C, Zisser G, Gruber CC, Gruber K, Haselbach D, Bergler H. 2021. Structural basis for inhibition of the AAA-ATPase Drg1 by diazaborine. Nature Communications. 12(1), 3483.
View | Files available | DOI | PubMed | Europe PMC
 
2021 | Journal Article | IST-REx-ID: 9407 | OA
Scarselli D, Budanur NB, Timme M, Hof B. 2021. Discontinuous epidemic transition due to limited testing. Nature Communications. 12(1), 2586.
View | Files available | DOI
 
2021 | Journal Article | IST-REx-ID: 9549
Zhang D, Watson J, Matthews PM, Cais O, Greger IH. 2021. Gating and modulation of a hetero-octameric AMPA glutamate receptor. Nature.
View | DOI | PubMed | Europe PMC
 
2021 | Journal Article | IST-REx-ID: 9428 | OA
Serbyn M, Abanin DA, Papić Z. 2021. Quantum many-body scars and weak breaking of ergodicity. Nature Physics. 17(6), 675–685.
View | DOI | Download Preprint (ext.) | arXiv
 
2021 | Journal Article | IST-REx-ID: 9462 | OA
Deuchert A, Seiringer R. 2021. Semiclassical approximation and critical temperature shift for weakly interacting trapped bosons. Journal of Functional Analysis. 281(6), 109096.
View | DOI | Download Preprint (ext.) | arXiv
 
2021 | Journal Article | IST-REx-ID: 9547 | OA
Rittig T, Sumin D, Babaei V, Didyk P, Voloboy A, Wilkie A, Bickel B, Myszkowski K, Weyrich T, Křivánek J. 2021. Neural acceleration of scattering-aware color 3D printing. Computer Graphics Forum. 40(2), 205–219.
View | DOI | Download Published Version (ext.)
 
2021 | Journal Article | IST-REx-ID: 9541 | OA
Czumaj A, Davies P, Parter M. 2021. Graph sparsification for derandomizing massively parallel computation with low space. ACM Transactions on Algorithms. 17(2), 16.
View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 
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 | Thesis | IST-REx-ID: 8934 | OA
Goharshady AK. 2021. Parameterized and algebro-geometric advances in static program analysis. IST Austria.
View | Files available | DOI
 
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
 
2020 | Conference Paper | IST-REx-ID: 7992 | OA
Patakova Z, Tancer M, Wagner U. 2020. Barycentric cuts through a convex body. 36th International Symposium on Computational Geometry. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 164, 62:1-62:16.
View | Files available | DOI | arXiv
 

Filters and Search Terms

type<>research_data

Search

Filter Publications