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.




2902 Publications

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 vol. 164.
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.
View | DOI | Download Published Version (ext.)
 
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, 178p.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8001 | OA
Vandael DH, Borges Merjane C, Zhang X, Jonas PM. Short-term plasticity at hippocampal mossy fiber synapses is induced by natural activity patterns and associated with vesicle pool engram formation. Neuron.
View | Files available | DOI
 
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).
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).
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, xviii+120p.
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.
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: 8040
Gupta C, Khaniya U, Chan CK, Dehez F, Shekhar M, Gunner MR, Sazanov LA, Chipot C, Singharoy A. 2020. Charge transfer and chemo-mechanical coupling in respiratory complex I. Journal of the American Chemical Society. 142(20), 9220–9230.
View | DOI
 
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.
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.
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 | Conference Paper | IST-REx-ID: 8089 | OA
Chatterjee K, Fu H, Goharshady AK, Goharshady EK. 2020. Polynomial invariant generation for non-deterministic recursive programs. Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI: Programming Language Design and Implementation 672–687.
View | DOI | Download Preprint (ext.) | arXiv
 
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.
View | Files available | DOI | 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.
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,p.
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., 1–9.
View | Files available | DOI | PubMed | Europe PMC
 
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.
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).
View | 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.
View | Files available | DOI
 
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).
View | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8133 | OA
Hillary RF, Trejo-Banos D, Kousathanas A, Mccartney DL, Harris SE, Stevenson AJ, Patxot M, Ojavee SE, Zhang Q, Liewald DC, Ritchie CW, Evans KL, Tucker-Drob EM, Wray NR, Mcrae AF, Visscher PM, Deary IJ, Robinson MR, Marioni RE. 2020. Multi-method genome- and epigenome-wide studies of inflammatory protein levels in healthy older adults. Genome Medicine. 12(1).
View | Files available | 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).
View | DOI | Download Preprint (ext.) | arXiv
 
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).
View | 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.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Thesis | IST-REx-ID: 8156 | OA
Avvakumov S. 2020. Topological methods in geometry and discrete mathematics, IST Austria, 119p.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8163 | OA
Vegter G, Wintraecken M. 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).
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).
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8169 | OA
Shang H, Hess J, Pickup M, Field D, Ingvarsson PK, Liu J, Lexer C. 2020. Evolution of strong reproductive isolation in plants: Broad-scale patterns and lessons from a perennial model group. Philosophical Transactions of the Royal Society. Series B: Biological Sciences. 375(1806).
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).
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. Photoswitching Proteins. MIMB, Methods in Molecular Biology, vol. 2173. 233–246.
View | 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: 8190 | OA
Sixt MK, Huttenlocher A. 2020. Zena Werb (1945-2020): Cell biology in context. The Journal of cell biology. 219(8).
View | Files available | DOI | Download Published Version (ext.)
 
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: 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 | Preprint | IST-REx-ID: 8198 | OA
Diringer AA, Gulden T. Robustness of the Floquet many-body localized phase in the presence of a  smooth and a non-smooth drive. arXiv:2007.14879.
View | Download Preprint (ext.) | arXiv
 
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 & Computational Geometry.
View | DOI | Download Published Version (ext.)
 
2020 | Research Data | IST-REx-ID: 8254 | OA
Arathoon LS. 2020. Estimating inbreeding and its effects in a long-term study of snapdragons (Antirrhinum majus), IST Austria,p.
View | Files available | DOI
 
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.
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 8271
He P, Zhang Y, Xiao G. Origin of a subgenome and genome evolution of allotetraploid cotton species. Molecular Plant.
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).
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8285 | OA
Malia BK, Martínez-Rincón J, Wu Y, Hosten O, Kasevich MA. 2020. Free space Ramsey spectroscopy in rubidium with noise below the quantum projection limit. Physical Review Letters. 125(4).
View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 
2020 | Conference Paper | IST-REx-ID: 8286 | OA
Alistarh D-A, Nadiradze G, Sabour A. 2020. Dynamic averaging load balancing on cycles. Leibniz International Proceedings in Informatics. ICALP: International Colloquium on Automata, Languages, and Programming , LIPIcs, vol. 168.
View | Files available | DOI | arXiv
 
2020 | Conference Paper | IST-REx-ID: 8287 | OA
Bogomolov S, Forets M, Frehse G, Potomkin K, Schilling C. Reachability analysis of linear hybrid systems via block decomposition. Proceedings of the International Conference on Embedded Software. EMSOFT: International Conference on Embedded Software
View | Files available | arXiv
 
2020 | Journal Article | IST-REx-ID: 8317 | OA
Aichholzer O, Akitaya HA, Cheung KC, Demaine ED, Demaine ML, Fekete SP, Kleist L, Kostitsyna I, Löffler M, Masárová Z, Mundilova K, Schmidt C. Folding polyominoes with holes into a cube. Computational Geometry: Theory and Applications. 93.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 8319 | OA
Wu Y, Krishnakumar R, Martínez-Rincón J, Malia BK, Hosten O, Kasevich MA. 2020. Retrieval of cavity-generated atomic spin squeezing after free-space release. Physical Review A. 102(1).
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 8320
Mukba SA, Vlasov P, Kolosov PM, Shuvalova EY, Egorova TV, Alkalaeva EZ. 2020. Expanding the genetic code: Unnatural base pairs in biological systems. Molecular Biology. 54(4), 475–484.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8321
Mukba SA, Vlasov P, Kolosov PM, Shuvalova EY, Egorova TV, Alkalaeva EZ. 2020. Expanding the genetic code: Unnatural base pairs in biological systems. Molekuliarnaia biologiia. 54(4), 531–541.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8323 | OA
Pach J. 2020. A farewell to Ricky Pollack. Discrete and Computational Geometry.
View | DOI | Download None (ext.)
 
2020 | Journal Article | IST-REx-ID: 8325 | OA
Kalinin N, Shkolnikov M. 2020. Sandpile solitons via smoothing of superharmonic functions. Communications in Mathematical Physics.
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 8329
Schlemmer W, Nothdurft P, Petzold A, Frühwirt P, Schmallegger M, Gescheidt-Demner G, Fischer R, Freunberger SA, Kern W, Spirk S. 2‐methoxyhydroquinone from vanillin for aqueous redox‐flow batteries. Angewandte Chemie International Edition.
View | DOI
 
2020 | Thesis | IST-REx-ID: 8332 | OA
Kragl B. 2020. Verifying concurrent programs: Refinement, synchronization, sequentialization, IST Austria, 120p.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8336 | OA
Kubiasova K, Montesinos López JC, Šamajová O, Nisler J, Mik V, Semeradova H, Plíhalová L, Novák O, Marhavý P, Cavallari N, Zalabák D, Berka K, Doležal K, Galuszka P, Šamaj J, Strnad M, Benková E, Plíhal O, Spíchal L. 2020. Cytokinin fluoroprobe reveals multiple sites of cytokinin perception at plasma membrane and endoplasmic reticulum. Nature Communications. 11.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8337 | OA
Antoniadi I, Novák O, Gelová Z, Johnson AJ, Plíhal O, Simerský R, Mik V, Vain T, Mateo-Bonmatí E, Karady M, Pernisová M, Plačková L, Opassathian K, Hejátko J, Robert S, Friml J, Doležal K, Ljung K, Turnbull C. 2020. Cell-surface receptors enable perception of extracellular cytokinins. Nature Communications. 11.
View | DOI | Download Published Version (ext.)
 
2020 | Journal Article | IST-REx-ID: 8338 | OA
Akopyan A, Bobenko AI, Schief WK, Techter J. 2020. On mutually diagonal nets on (confocal) quadrics and 3-dimensional webs. Discrete and Computational Geometry.
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Conference Paper | IST-REx-ID: 8339 | OA
Genise N, Micciancio D, Peikert C, Walter M. 2020. Improved discrete Gaussian and subgaussian analysis for lattice cryptography. 23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography. PKC: Public-Key Cryptography, LNCS, vol. 12110. 623–651.
View | DOI | Download Preprint (ext.)
 
2020 | Thesis | IST-REx-ID: 8341
Bezeljak U. 2020. In vitro reconstitution of a Rab activation switch, IST Austria, 215p.
View | Files available | DOI
 
2020 | Preprint | IST-REx-ID: 8349 | OA
Nardin M, Phillips JW, Podlaski WF, Keemink SW. Nonlinear computations in spiking neural networks through multiplicative synapses. arXiv.
View | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 8361
Varzi A, Thanner K, Scipioni R, Di Lecce D, Hassoun J, Dörfler S, Altheus H, Kaskel S, Prehal C, Freunberger SA. 2020. Current status and future perspectives of lithium metal batteries. Journal of Power Sources. 480(12).
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8373 | OA
Pitrik J, Virosztek D. 2020. A divergence center interpretation of general symmetric Kubo-Ando means, and related weighted multivariate operator means. Linear Algebra and its Applications. 609, 203–217.
View | DOI | Download Preprint (ext.) | arXiv
 
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 | Journal Article | IST-REx-ID: 7847 | 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 International Edition. 59(37), 15913–1591.
View | Files available | DOI | PubMed | Europe PMC
 
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 | Journal Article | IST-REx-ID: 8384 | OA
Ishida S, Synak P, Narita F, Hachisuka T, Wojtan CJ. 2020. A model for soap film dynamics with evolving thickness. ACM Transactions on Graphics. 39(4).
View | DOI | Download Published Version (ext.)
 
2020 | Journal Article | IST-REx-ID: 8385 | OA
Sperl G, Narain R, Wojtan CJ. 2020. Homogenized yarn-level cloth. ACM Transactions on Graphics. 39(4).
View | DOI | Download Published Version (ext.)
 
2020 | Conference Paper | IST-REx-ID: 8383
Alistarh D-A, Aspnes J, Ellen F, Gelashvili R, Zhu L. 2020. Brief Announcement: Why Extension-Based Proofs Fail. Proceedings of the 39th Symposium on Principles of Distributed Computing. PODC: Principles of Distributed Computing 54–56.
View | DOI
 
2020 | Preprint | IST-REx-ID: 8429 | OA
Patxot M, Trejo Banos D, Kousathanas A, Orliac EJ, Ojavee SE, Moser G, Sidorenko J, Kutalik Z, Magi R, Visscher PM, Ronnegard L, Robinson MR. 2020. Probabilistic inference of the genetic architecture of functional enrichment of complex traits. medRxiv.
View | Download Preprint (ext.)
 
2020 | Preprint | IST-REx-ID: 8430 | OA
Ojavee SE, Kousathanas A, Trejo Banos D, Orliac EJ, Patxot M, Lall K, Magi R, Fischer K, Kutalik Z, Robinson MR. 2020. Genomic architecture and prediction of censored time-to-event phenotypes with a Bayesian genome-wide analysis. medRxiv.
View | Download Preprint (ext.)
 
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).
View | Files available | DOI
 
2020 | Conference Paper | IST-REx-ID: 7505 | OA
Henzinger TA, Lukina A, Schilling C. 2020. Outside the box: Abstraction-based monitoring of neural networks. 24th European Conference on Artificial Intelligence. ECAI: European Conference on Artificial Intelligence, Frontiers in Artificial Intelligence and Applications, vol. 325. 2433–2440.
View | Files available | DOI | arXiv
 
2020 | Journal Article | IST-REx-ID: 8535 | OA
Skrivan T, Soderstrom A, Johansson J, Sprenger C, Museth K, Wojtan CJ. 2020. Wave curves: Simulating Lagrangian water waves on dynamically deforming surfaces. ACM Transactions on Graphics. 39(4).
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8539 | OA
Su C, Zhao G, Zhong C. 2020. On the K-theory stable bases of the springer resolution. Annales Scientifiques de l’Ecole Normale Superieure. 53(3), 663–671.
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 8538 | OA
Akopyan A, Schwartz R, Tabachnikov S. 2020. Billiards in ellipses revisited. European Journal of Mathematics.
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 8532 | OA
Kleindienst D, Montanaro-Punzengruber J-C, Bhandari P, Case MJ, Fukazawa Y, Shigemoto R. 2020. Deep learning-assisted high-throughput analysis of freeze-fracture replica images applied to glutamate receptors and calcium channels at hippocampal synapses. International Journal of Molecular Sciences. 21(18).
View | Files available | DOI
 
2020 | Conference Paper | IST-REx-ID: 8533 | OA
Chatterjee K, Ibsen-Jensen R, Jecker IR, Svoboda J. 2020. Simplified game of life: Algorithms and complexity. MFCS: Symposium on Mathematical Foundations of Computer Science, LIPIcs, vol. 170.
View | Files available | DOI | arXiv
 
2020 | Conference Paper | IST-REx-ID: 8534 | OA
Jecker IR, Kupferman O, Mazzocchi N. 2020. Unary prime languages. MFCS: Symposium on Mathematical Foundations of Computer Science, LIPIcs, vol. 170.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 6359 | OA
Dareiotis K, Gerencser M. 2020. On the regularisation of the noise for the Euler-Maruyama scheme with irregular drift. Electronic Journal of Probability. 25.
View | Files available | DOI | arXiv
 
2020 | Journal Article | IST-REx-ID: 7427 | OA
Tan S, Abas MF, Verstraeten I, Glanc M, Molnar G, Hajny J, Lasák P, Petřík I, Russinova E, Petrášek J, Novák O, Pospíšil J, Friml J. 2020. Salicylic acid targets protein phosphatase 2A to attenuate growth in plants. Current Biology. 30(3), 381–395.e8.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 7207 | OA
Martín-Belmonte A, Aguado C, Alfaro-Ruíz R, Moreno-Martínez AE, De La Ossa L, Martínez-Hernández J, Buisson A, Früh S, Bettler B, Shigemoto R, Fukazawa Y, Luján R. 2020. Reduction in the neuronal surface of post and presynaptic GABA>B< receptors in the hippocampus in a mouse model of Alzheimer’s disease. Brain Pathology. 30(3), 554–575.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 7205 | OA
Johannesson K, Zagrodzka Z, Faria R, Westram AM, Butlin RK. 2020. Is embryo abortion a post-zygotic barrier to gene flow between Littorina ecotypes? Journal of Evolutionary Biology. 33(3), 342–351.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 7033 | OA
Donahue R, Maes ME, Grosser J, Nickells R. 2020. BAX-depleted retinal ganglion cells survive and become quiescent following optic nerve damage. Molecular Neurobiology. 57(2), 1070–1084.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2020 | Preprint | IST-REx-ID: 8557 | OA
Belyaeva V, Wachner S, Gridchyn I, Linder M, Emtenani S, György A, Sibilia M, Siekhaus DE. Cortical actin properties controlled by Drosophila Fos aid macrophage infiltration against surrounding tissue resistance. BioRxiv.
View | Download Preprint (ext.)
 
2020 | Journal Article | IST-REx-ID: 7431 | OA
Kolchinsky A, Corominas-Murtra B. 2020. Decomposing information into copying versus transformation. Journal of the Royal Society Interface. 17(162).
View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 
2020 | Scientific Software | IST-REx-ID: 8181 | OA
Hauschild R. 2020. Amplified centrosomes in dendritic cells promote immune cell effector functions, IST Austria,p.
View | Files available | DOI
 
2020 | Thesis | IST-REx-ID: 8366 | OA
Guseinov R. 2020. Computational design of curved thin shells: From glass façades to programmable matter, IST Austria, 118p.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 7262 | OA
Guseinov R, McMahan C, Perez Rodriguez J, Daraio C, Bickel B. 2020. Programming temporal morphing of self-actuated shells. Nature Communications. 11.
View | Files available | DOI
 
2020 | Preprint | IST-REx-ID: 8562 | OA
Gavriil K, Guseinov R, Perez Rodriguez J, Pellis D, Henderson PM, Rist F, Pottmann H, Bickel B. Computational design of cold bent glass façades. arXiv.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2020 | Research Data | IST-REx-ID: 8375 | OA
Guseinov R. 2020. Supplementary data for ‘Computational design of curved thin shells: from glass façades to programmable matter’, IST Austria,p.
View | Files available | DOI
 

Search

Display / Sort

Citation Style: IST Annual Report

Export / Embed