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.




3213 Publications

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 | 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 | 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 | 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
 
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 | 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
 
2020 | Conference Paper | IST-REx-ID: 7994 | OA
Arroyo Guevara AM, Bensmail J, Bruce Richter R. 2020. Extending drawings of graphs to arrangements of pseudolines. 36th International Symposium on Computational Geometry. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 164, 9:1-9:14.
View | Files available | DOI | arXiv
 
2020 | Journal Article | IST-REx-ID: 7995 | OA
Perini S, Rafajlović M, Westram AM, Johannesson K, Butlin RK. 2020. Assortative mating, sexual selection, and their consequences for gene flow in Littorina. Evolution. 74(7), 1482–1497.
View | Files available | DOI
 
2020 | Thesis | IST-REx-ID: 7996 | OA
Kukucka J. 2020. Implementation of a hole spin qubit in Ge hut wires and dispersive spin sensing. IST Austria.
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 DH, Borges Merjane C, Zhang X, Jonas PM. 2020. Short-term plasticity at hippocampal mossy fiber synapses is induced by natural activity patterns and associated with vesicle pool engram formation. Neuron. 107(3), 509–521.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8002 | OA
Hörmayer L, Montesinos López JC, Marhavá P, Benková E, Yoshida S, Friml J. 2020. Wounding-induced changes in cellular pressure and localized auxin signalling spatially coordinate restorative divisions in roots. Proceedings of the National Academy of Sciences. 117(26), 202003346.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8011 | OA
Michailidis A, Turner CJ, Papić Z, Abanin DA, Serbyn M. 2020. Stabilizing two-dimensional quantum scars by deformation and synchronization. Physical Review Research. 2(2), 022065.
View | Files available | DOI
 
2020 | Conference Paper | IST-REx-ID: 8012 | OA
Kragl B, Enea C, Henzinger TA, Mutluergil SO, Qadeer S. 2020. Inductive sequentialization of asynchronous programs. Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI: Programming Language Design and Implementation, 227–242.
View | Files available | DOI | Download Published Version (ext.)
 
2020 | Thesis | IST-REx-ID: 8032 | OA
Huszár K. 2020. Combinatorial width parameters for 3-dimensional manifolds. IST Austria.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8036 | OA
Collard Y, Grosjean GM, Vandewalle N. 2020. Magnetically powered metachronal waves induce locomotion in self-assemblies. Communications Physics. 3, 112.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8038 | OA
Fink JM, Kalaee M, Norte R, Pitanti A, Painter O. 2020. Efficient microwave frequency conversion mediated by a photonics compatible silicon nitride nanobeam oscillator. Quantum Science and Technology. 5(3), 034011.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8039
Zhang Y, Liu Y, Xing C, Zhang T, Li M, Pacios M, Yu X, Arbiol J, Llorca J, Cadavid D, Ibáñez M, Cabot A. 2020. Tin selenide molecular precursor for the solution processing of thermoelectric materials and devices. ACS Applied Materials and Interfaces. 12(24), 27104–27111.
View | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8042 | OA
Boccato C, Brennecke C, Cenatiempo S, Schlein B. 2020. The excitation spectrum of Bose gases interacting through singular potentials. Journal of the European Mathematical Society. 22(7), 2331–2403.
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 8043 | OA
Paranjape CS, Duguet Y, Hof B. 2020. Oblique stripe solutions of channel flow. Journal of Fluid Mechanics. 897, A7.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8057 | OA
Bouchal R, Li Z, Bongu C, Le Vot S, Berthelot R, Rotenberg B, Favier F, Freunberger SA, Salanne M, Fontaine O. 2020. Competitive salt precipitation/dissolution during free‐water reduction in water‐in‐salt electrolyte. Angewandte Chemie. 132(37), 16047–16051.
View | Files available | DOI
 
2020 | Preprint | IST-REx-ID: 8063 | OA
Anciukevicius T, Lampert C, Henderson PM. 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 A, Thanner K, Scipioni R, Di Lecce D, Hassoun J, Dörfler S, Altheus H, Kaskel S, Prehal C, Freunberger SA. Current status and future perspectives of Lithium metal batteries, IST Austria, 63p.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8077 | OA
Shehu Y, Iyiola OS. 2020. Projection methods with alternating inertial steps for variational inequalities: Weak and linear convergence. Applied Numerical Mathematics. 157, 315–337.
View | Files available | DOI
 
2020 | Preprint | IST-REx-ID: 8081 | OA
Hobisch MA, Mourad E, Fischer WJ, Prehal C, Eyley S, Childress A, Zankel A, Mautner A, Breitenbach S, Rao AM, Thielemans W, Freunberger SA, Eckhart R, Bauer W, Spirk S. High specific capacitance supercapacitors from hierarchically organized all-cellulose composites.
View | Files available
 
2020 | Journal Article | IST-REx-ID: 8084 | OA
Lombardi F, Gómez-Extremera M, Bernaola-Galván P, Vetrivelan R, Saper CB, Scammell TE, Ivanov PC. 2020. Critical dynamics and coupling in bursts of cortical rhythms indicate non-homeostatic mechanism for sleep-stage transitions and dual role of VLPO neurons in both sleep and wake. Journal of Neuroscience. 40(1), 171–190.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8091 | OA
Seiringer R, Yngvason J. 2020. Emergence of Haldane pseudo-potentials in systems with short-range interactions. Journal of Statistical Physics. 181, 448–464.
View | Files available | DOI | arXiv
 
2020 | Book Chapter | IST-REx-ID: 8092 | OA
Royer A, Bousmalis K, Gouws S, Bertsch F, Mosseri I, Cole F, Murphy K. 2020.XGAN: Unsupervised image-to-image translation for many-to-many mappings. In: Domain Adaptation for Visual Understanding. , 33–49.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 8093
Hippe A, Braun SA, Oláh P, Gerber PA, Schorr A, Seeliger S, Holtz S, Jannasch K, Pivarcsi A, Buhren B, Schrumpf H, Kislat A, Bünemann E, Steinhoff M, Fischer J, Lira SA, Boukamp P, Hevezi P, Stoecklein NH, Hoffmann T, Alves F, Sleeman J, Bauer T, Klufa J, Amberg N, Sibilia M, Zlotnik A, Müller-Homey A, Homey B. 2020. EGFR/Ras-induced CCL20 production modulates the tumour microenvironment. British Journal of Cancer. 123, 942–954.
View | DOI | PubMed | Europe PMC
 
2020 | Research Data | IST-REx-ID: 8097 | OA
Kavcic B. 2020. Analysis scripts and research data for the paper ‘Mechanisms of drug interactions between translation-inhibiting antibiotics’, IST Austria, 10.15479/AT:ISTA:8097.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8099 | OA
Gammerdinger WJ, Toups MA, Vicoso B. 2020. Disagreement in FST estimators: A case study from  sex chromosomes. Molecular Ecology Resources. 20(6), 1517–1525.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8101 | OA
Grosjean GM, Wald S, Sobarzo Ponce JCA, Waitukaitis SR. 2020. Quantitatively consistent scale-spanning model for same-material tribocharging. Physical Review Materials. 4(8), 082602.
View | Files available | DOI | arXiv
 
2020 | Journal Article | IST-REx-ID: 8105 | OA
Lombardi F, Wang JWJL, Zhang X, Ivanov PC. 2020. Power-law correlations and coupling of active and quiet states underlie a class of complex systems with self-organization at criticality. EPJ Web of Conferences. 230, 00005.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8112
Barton NH. 2020. On the completion of speciation. Philosophical Transactions of the Royal Society. Series B: Biological Sciences. 375(1806), 20190530.
View | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8126 | OA
Agnes EJ, Luppi AI, Vogels TP. 2020. Complementary inhibitory weight profiles emerge from plasticity and allow attentional switching of receptive fields. The Journal of Neuroscience. 40(50), 9634–9649.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8127 | OA
Gonçalves PJ, Lueckmann J-M, Deistler M, Nonnenmacher M, Öcal K, Bassetto G, Chintaluri C, Podlaski WF, Haddad SA, Vogels TP, Greenberg DS, Macke JH. 2020. Training deep neural density estimators to identify mechanistic models of neural dynamics. eLife. 9, e56261.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8130 | OA
Bossmann L. 2020. Derivation of the 2d Gross–Pitaevskii equation for strongly confined 3d Bosons. Archive for Rational Mechanics and Analysis. 238(11), 541–606.
View | Files available | DOI | arXiv
 
2020 | Journal Article | IST-REx-ID: 8131 | OA
Basilico B, Morandell J, Novarino G. 2020. Molecular mechanisms for targeted ASD treatments. Current Opinion in Genetics and Development. 65(12), 126–137.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8132
Salzer E, Zoghi S, Kiss MG, Kage F, Rashkova C, Stahnke S, Haimel M, Platzer R, Caldera M, Ardy RC, Hoeger B, Block J, Medgyesi D, Sin C, Shahkarami S, Kain R, Ziaee V, Hammerl P, Bock C, Menche J, Dupré L, Huppa JB, Sixt MK, Lomakin A, Rottner K, Binder CJ, Stradal TEB, Rezaei N, Boztug K. 2020. The cytoskeletal regulator HEM1 governs B cell development and prevents autoimmunity. Science Immunology. 5(49), eabc3979.
View | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8134 | OA
Mayer S, Seiringer R. 2020. The free energy of the two-dimensional dilute Bose gas. II. Upper bound. Journal of Mathematical Physics. 61(6), 061901.
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Conference Paper | IST-REx-ID: 8135 | OA
Edelsbrunner H, Nikitenko A, Ölsböck K, Synak P. 2020. Radius functions on Poisson–Delaunay mosaics and related complexes experimentally. Topological Data Analysis. , Abel Symposia, vol. 15, 181–218.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8138 | OA
Zhang J, Mazur E, Balla J, Gallei MC, Kalousek P, Medveďová Z, Li Y, Wang Y, Prat T, Vasileva MK, Reinöhl V, Procházka S, Halouzka R, Tarkowski P, Luschnig C, Brewer P, Friml J. 2020. Strigolactones inhibit auxin feedback on PIN-dependent auxin transport canalization. Nature Communications. 11(1), 3508.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8139
Johnson AJ, Gnyliukh N, Kaufmann W, Narasimhan M, Vert G, Bednarek S, Friml J. 2020. Experimental toolbox for quantitative evaluation of clathrin-mediated endocytosis in the plant model Arabidopsis. Journal of Cell Science. 133(15), jcs248062.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8142 | OA
Montesinos López JC, Abuzeineh A, Kopf A, Juanes Garcia A, Ötvös K, Petrášek J, Sixt MK, Benková E. 2020. Phytohormone cytokinin guides microtubule dynamics during cell progression from proliferative to differentiated stage. The Embo Journal. 39(17), e104238.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Thesis | IST-REx-ID: 8155 | OA
Grah R. 2020. Gene regulation across scales – how biophysical constraints shape evolution. IST Austria.
View | Files available | DOI
 
2020 | Thesis | IST-REx-ID: 8156 | OA
Avvakumov S. 2020. Topological methods in geometry and discrete mathematics. IST Austria.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8162 | OA
Laukoter S, Pauler F, Beattie RJ, Amberg N, Hansen AH, Streicher C, Penz T, Bock C, Hippenmeyer S. 2020. Cell-type specificity of genomic imprinting in cerebral cortex. Neuron. 107(6), 1160–1179.e9.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8163 | OA
Vegter G, Wintraecken M. 2020. Refutation of a claim made by Fejes Tóth on the accuracy of surface meshes. Studia Scientiarum Mathematicarum Hungarica. 57(2), 193–199.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8167 | OA
Stankowski S, Westram AM, Zagrodzka ZB, Eyres I, Broquet T, Johannesson K, Butlin RK. 2020. The evolution of strong reproductive isolation between sympatric intertidal snails. Philosophical Transactions of the Royal Society. Series B: Biological Sciences. 375(1806), 20190545.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8168 | OA
Kulmuni J, Butlin RK, Lucek K, Savolainen V, Westram AM. 2020. Towards the completion of speciation: The evolution of reproductive isolation beyond the first barriers. Philosophical Transactions of the Royal Society. Series B: Biological sciences. 375(1806), 20190528.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8170 | OA
Chatterley AS, Christiansen L, Schouder CA, Jørgensen AV, Shepperson B, Cherepanov I, Bighin G, Zillich RE, Lemeshko M, Stapelfeldt H. 2020. Rotational coherence spectroscopy of molecules in Helium nanodroplets: Reconciling the time and the frequency domains. Physical Review Letters. 125(1), 013001.
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Book Chapter | IST-REx-ID: 8173
Kainrath S, Janovjak HL. 2020.Design and application of light-regulated receptor tyrosine kinases. In: Photoswitching Proteins. Methods in Molecular Biology, vol. 2173, 233–246.
View | DOI
 
2020 | Scientific Software | IST-REx-ID: 8181 | OA
Hauschild R. 2020. Amplified centrosomes in dendritic cells promote immune cell effector functions, IST Austria, 10.15479/AT:ISTA:8181.
View | Files available | DOI
 
2020 | Conference Paper | IST-REx-ID: 8186 | OA
Henderson PM, Tsiminaki V, Lampert C. 2020. Leveraging 2D data to learn textured 3D mesh generation. Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition. CVPR: Conference on Computer Vision and Pattern Recognition, 7498–7507.
View | Files available | Download Submitted Version (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 8189
Yu X, Liu J, Li J, Luo Z, Zuo Y, Xing C, Llorca J, Nasiou D, Arbiol J, Pan K, Kleinhanns T, Xie Y, Cabot A. 2020. Phosphorous incorporation in Pd2Sn alloys for electrocatalytic ethanol oxidation. Nano Energy. 77(11), 105116.
View | DOI
 
2020 | Conference Paper | IST-REx-ID: 8191
Alistarh D-A, Brown TA, Singhal N. 2020. Memory tagging: Minimalist synchronization for scalable concurrent data structures. Annual ACM Symposium on Parallelism in Algorithms and Architectures. SPAA: Symposium on Parallelism in Algorithms and Architectures, 37–49.
View | DOI
 
2020 | Conference Paper | IST-REx-ID: 8193
Chatterjee K, Chmelik M, Karkhanis D, Novotný P, Royer A. 2020. Multiple-environment Markov decision processes: Efficient analysis and applications. Proceedings of the 30th International Conference on Automated Planning and Scheduling. ICAPS: International Conference on Automated Planning and Scheduling vol. 30, 48–56.
View | Files available
 
2020 | Conference Paper | IST-REx-ID: 8194 | OA
Baranowski M, He S, Lechner M, Nguyen TS, Rakamarić Z. 2020. An SMT theory of fixed-point arithmetic. Automated Reasoning. IJCAR: International Joint Conference on Automated Reasoning, LNCS, vol. 12166, 13–31.
View | DOI | Download Published Version (ext.)
 
2020 | Conference Paper | IST-REx-ID: 8195 | OA
Kragl B, Qadeer S, Henzinger TA. 2020. Refinement for structured concurrent programs. Computer Aided Verification. , LNCS, vol. 12224, 275–298.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8196 | OA
Shehu Y, Dong Q-L, Liu L-L, Yao J-C. 2020. New strong convergence method for the sum of two maximal monotone operators. Optimization and Engineering.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8199 | OA
Gulden T, Berg E, Rudner MS, Lindner N. 2020. Exponentially long lifetime of universal quasi-steady states in topological Floquet pumps. SciPost Physics. 9, 015.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8203 | OA
Katsaros G, Kukucka J, Vukušić L, Watzinger H, Gao F, Wang T, Zhang J-J, Held K. 2020. Zero field splitting of heavy-hole states in quantum dots. Nano Letters. 20(7), 5201–5206.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8248 | OA
Boissonnat J-D, Dyer R, Ghosh A, Lieutier A, Wintraecken M. 2020. Local conditions for triangulating submanifolds of Euclidean space. Discrete and Computational Geometry.
View | DOI | Download Published Version (ext.)
 
2020 | Journal Article | IST-REx-ID: 8250 | OA
Kavcic B, Tkačik G, Bollenbach MT. 2020. Mechanisms of drug interactions between translation-inhibiting antibiotics. Nature Communications. 11, 4013.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8261 | OA
Zhang X, Schlögl A, Jonas PM. 2020. Selective routing of spatial information flow from input to output in hippocampal granule cells. Neuron. 107(6), 1212–1225.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8268 | OA
Gurel NM, Kara K, Stojanov A, Smith T, Lemmin T, Alistarh D-A, Puschel M, Zhang C. 2020. Compressive sensing using iterative hard thresholding with low precision data representation: Theory and applications. IEEE Transactions on Signal Processing. 68, 4268–4282.
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 8271
He P, Zhang Y, Xiao G. 2020. Origin of a subgenome and genome evolution of allotetraploid cotton species. Molecular Plant. 13(9), 1238–1240.
View | DOI | PubMed | Europe PMC
 
2020 | Conference Paper | IST-REx-ID: 8272 | OA
Chatterjee K, Katoen JP, Weininger M, Winkler T. 2020. Stochastic games with lexicographic reachability-safety objectives. International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 12225, 398–420.
View | Files available | DOI | arXiv
 
2020 | Journal Article | IST-REx-ID: 8283 | OA
Chen H, Lai L, Li L, Liu L, Jakada BH, Huang Y, He Q, Chai M, Niu X, Qin Y. 2020. AcoMYB4, an Ananas comosus L. MYB transcription factor, functions in osmotic stress through negative regulation of ABA signaling. International Journal of Molecular Sciences. 21(16), 5272.
View | Files available | DOI | PubMed | Europe PMC
 

Search

Filter Publications