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.

2972 Publications


2020 | Journal Article | IST-REx-ID: 6563 | OA
Filakovský, M., & Vokřínek, L. (2020). Are two given maps homotopic? An algorithmic viewpoint. Foundations of Computational Mathematics, 20, 311–330. https://doi.org/10.1007/s10208-019-09419-x
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 6593 | OA
Shehu, Y., Li, X.-H., & Dong, Q.-L. (2020). An efficient projection-type method for monotone variational inequalities in Hilbert spaces. Numerical Algorithms, 84, 365–388. https://doi.org/10.1007/s11075-019-00758-y
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 6649 | OA
Benedikter, N. P., Nam, P. T., Porta, M., Schlein, B., & Seiringer, R. (2020). Optimal upper bound for the correlation energy of a Fermi gas in the mean-field regime. Communications in Mathematical Physics, 374, 2097–2150. https://doi.org/10.1007/s00220-019-03505-5
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 6796 | OA
Stella, F., Urdapilleta, E., Luo, Y., & Treves, A. (2020). Partial coherence and frustration in self-organizing spherical grids. Hippocampus, 30(4), 302–313. https://doi.org/10.1002/hipo.23144
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 6808 | OA
Jahr, W., Velicky, P., & Danzl, J. G. (2020). Strategies to maximize performance in STimulated Emission Depletion (STED) nanoscopy of biological specimens. Methods, 174(3), 27–41. https://doi.org/10.1016/j.ymeth.2019.07.019
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

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, 152(20), 204905. 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. (n.d.). Neurodevelopmental disorders: From genetics to functional pathways. Trends in Neurosciences. https://doi.org/10.1016/j.tins.2020.05.004
View | DOI | Download Published Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 7960 | OA
Kalai, G., & Patakova, Z. (2020). Intersection patterns of planar sets. Discrete and Computational Geometry. 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, 63(4), 888–917. https://doi.org/10.1007/s00454-020-00213-z
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. In Advances in Cryptology – EUROCRYPT 2020 (Vol. 12107, pp. 475–506). Springer Nature. https://doi.org/10.1007/978-3-030-45727-3_16
View | DOI | Download Submitted Version (ext.)
 

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. https://doi.org/10.1103/physrevb.101.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., … Aurbach, D. (2020). Lithium-oxygen batteries and related systems: Potential, status, and future. Chemical Reviews. https://doi.org/10.1021/acs.chemrev.9b00609
View | Files available | DOI | PubMed | Europe PMC
 

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). In 36th International Symposium on Computational Geometry (Vol. 164). Zürich, Switzerland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2020.67
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. In 36th International Symposium on Computational Geometry (Vol. 164). Zürich, Switzerland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2020.62
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 7995 | OA
Perini, S., Rafajlović, M., Westram, A. M., Johannesson, K., & Butlin, R. K. (2020). Assortative mating, sexual selection, and their consequences for gene flow in Littorina. Evolution. https://doi.org/10.1111/evo.14027
View | DOI | Download Published Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 8001 | OA
Vandael, D. H., Borges Merjane, C., Zhang, X., & Jonas, P. M. (n.d.). Short-term plasticity at hippocampal mossy fiber synapses is induced by natural activity patterns and associated with vesicle pool engram formation. Neuron. https://doi.org/10.1016/j.neuron.2020.05.013
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8002 | OA
Hörmayer, L., Montesinos López, J. C., 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). https://doi.org/10.1073/pnas.2003346117
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8011 | OA
Michailidis, A., Turner, C. J., Papić, Z., Abanin, D. A., & Serbyn, M. (2020). Stabilizing two-dimensional quantum scars by deformation and synchronization. Physical Review Research, 2(2). https://doi.org/10.1103/physrevresearch.2.022065
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 8012 | OA
Kragl, B., Enea, C., Henzinger, T. A., Mutluergil, S. O., & Qadeer, S. (2020). Inductive sequentialization of asynchronous programs. In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (pp. 227–242). London, United Kingdom: Association for Computing Machinery. https://doi.org/10.1145/3385412.3385980
View | Files available | DOI | Download Published Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 8036 | OA
Collard, Y., Grosjean, G. M., & Vandewalle, N. (2020). Magnetically powered metachronal waves induce locomotion in self-assemblies. Communications Physics, 3. https://doi.org/10.1038/s42005-020-0380-9
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8039
Zhang, Y., Liu, Y., Xing, C., Zhang, T., Li, M., Pacios, 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. https://doi.org/10.1021/acsami.0c04331
View | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8040
Gupta, C., Khaniya, U., Chan, C. K., Dehez, F., Shekhar, M., Gunner, M. R., … Singharoy, A. (2020). Charge transfer and chemo-mechanical coupling in respiratory complex I. Journal of the American Chemical Society, 142(20), 9220–9230. https://doi.org/10.1021/jacs.9b13450
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. https://doi.org/10.4171/JEMS/966
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8043 | OA
Paranjape, C. S., Duguet, Y., & Hof, B. (2020). Oblique stripe solutions of channel flow. Journal of Fluid Mechanics, 897. https://doi.org/10.1017/jfm.2020.322
View | Files available | DOI
 

2020 | Technical Report | IST-REx-ID: 8067 | OA
Varzi, A., Thanner, K., Scipioni, R., Di Lecce, D., Hassoun, J., Dörfler, S., … Freunberger, S. A. (n.d.). Current status and future perspectives of Lithium metal batteries. IST Austria. https://doi.org/10.15479/AT:ISTA:8067
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8077 | OA
Shehu, Y., & Iyiola, O. S. (2020). Projection methods with alternating inertial steps for variational inequalities: Weak and linear convergence. Applied Numerical Mathematics, 157, 315–337. https://doi.org/10.1016/j.apnum.2020.06.009
View | Files available | DOI
 

2020 | Preprint | IST-REx-ID: 8081 | OA
Hobisch, M. A., Mourad, E., Fischer, W. J., Prehal, C., Eyley, S., Childress, A., … Spirk, S. (n.d.). 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, C. B., Scammell, T. E., & Ivanov, P. C. (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. https://doi.org/10.1523/jneurosci.1278-19.2019
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Conference Paper | IST-REx-ID: 8089 | OA
Chatterjee, K., Fu, H., Goharshady, A. K., & Goharshady, E. K. (2020). Polynomial invariant generation for non-deterministic recursive programs. In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (pp. 672–687). London, United Kingdom: Association for Computing Machinery. https://doi.org/10.1145/3385412.3385969
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. https://doi.org/10.1007/s10955-020-02586-0
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 8093
Hippe, A., Braun, S. A., Oláh, P., Gerber, P. A., Schorr, A., Seeliger, S., … Homey, B. (2020). EGFR/Ras-induced CCL20 production modulates the tumour microenvironment. British Journal of Cancer. https://doi.org/10.1038/s41416-020-0943-2
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. https://doi.org/10.15479/AT:ISTA:8097
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8099 | OA
Gammerdinger, W. J., Toups, M. A., & Vicoso, B. (2020). Disagreement in FST estimators: A case study from  sex chromosomes. Molecular Ecology Resources, 1–9. https://doi.org/10.1111/1755-0998.13210
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8105 | OA
Lombardi, F., Wang, J. W. J. L., Zhang, X., & Ivanov, P. C. (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. https://doi.org/10.1051/epjconf/202023000005
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8112
Barton, N. H. (2020). On the completion of speciation. Philosophical Transactions of the Royal Society. Series B: Biological Sciences, 375(1806). https://doi.org/10.1098/rstb.2019.0530
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. https://doi.org/10.1007/s00205-020-01548-w
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8132
Salzer, E., Zoghi, S., Kiss, M. G., Kage, F., Rashkova, C., Stahnke, S., … Boztug, K. (2020). The cytoskeletal regulator HEM1 governs B cell development and prevents autoimmunity. Science Immunology, 5(49). https://doi.org/10.1126/sciimmunol.abc3979
View | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8133 | OA
Hillary, R. F., Trejo-Banos, D., Kousathanas, A., Mccartney, D. L., Harris, S. E., Stevenson, A. J., … Marioni, R. E. (2020). Multi-method genome- and epigenome-wide studies of inflammatory protein levels in healthy older adults. Genome Medicine, 12(1). https://doi.org/10.1186/s13073-020-00754-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). https://doi.org/10.1063/5.0005950
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8138 | OA
Zhang, J., Mazur, E., Balla, J., Gallei, M. C., Kalousek, P., Medveďová, Z., … Friml, J. (2020). Strigolactones inhibit auxin feedback on PIN-dependent auxin transport canalization. Nature Communications, 11(1), 3508. https://doi.org/10.1038/s41467-020-17252-y
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8139
Johnson, A. J., 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). https://doi.org/10.1242/jcs.248062
View | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8142 | OA
Montesinos López, J. C., Abuzeineh, A., Kopf, A., Juanes Garcia, A., Ötvös, K., Petrášek, J., … Benková, E. (2020). Phytohormone cytokinin guides microtubule dynamics during cell progression from proliferative to differentiated stage. The Embo Journal. https://doi.org/10.15252/embj.2019104238
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. https://doi.org/10.15479/AT:ISTA:8156
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8167 | OA
Stankowski, S., Westram, A. M., Zagrodzka, Z. B., Eyres, I., Broquet, T., Johannesson, K., & Butlin, R. K. (2020). The evolution of strong reproductive isolation between sympatric intertidal snails. Philosophical Transactions of the Royal Society. Series B: Biological Sciences, 375(1806). https://doi.org/10.1098/rstb.2019.0545
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8168 | OA
Kulmuni, J., Butlin, R. K., Lucek, K., Savolainen, V., & Westram, A. M. (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). https://doi.org/10.1098/rstb.2019.0528
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, P. K., 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). https://doi.org/10.1098/rstb.2019.0544
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8170 | OA
Chatterley, A. S., Christiansen, L., Schouder, C. A., Jørgensen, A. V., Shepperson, B., Cherepanov, I., … Stapelfeldt, H. (2020). Rotational coherence spectroscopy of molecules in Helium nanodroplets: Reconciling the time and the frequency domains. Physical Review Letters, 125(1). https://doi.org/10.1103/PhysRevLett.125.013001
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Book Chapter | IST-REx-ID: 8173
Kainrath, S., & Janovjak, H. L. (2020). Design and application of light-regulated receptor tyrosine kinases. In D. Niopek (Ed.), Photoswitching Proteins (Vol. 2173, pp. 233–246). Springer Nature. https://doi.org/10.1007/978-1-0716-0755-8_16
View | DOI
 

2020 | Conference Paper | IST-REx-ID: 8186 | OA
Henderson, P. M., Tsiminaki, V., & Lampert, C. (2020). Leveraging 2D data to learn textured 3D mesh generation. In Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (pp. 7498–7507). Virtual: CVF.
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., … Cabot, A. (2020). Phosphorous incorporation in Pd2Sn alloys for electrocatalytic ethanol oxidation. Nano Energy, 77(11). https://doi.org/10.1016/j.nanoen.2020.105116
View | DOI
 

2020 | Journal Article | IST-REx-ID: 8190 | OA
Sixt, M. K., & Huttenlocher, A. (2020). Zena Werb (1945-2020): Cell biology in context. The Journal of Cell Biology, 219(8). https://doi.org/10.1083/jcb.202007029
View | Files available | DOI | Download Published Version (ext.)
 

2020 | Conference Paper | IST-REx-ID: 8191
Alistarh, D.-A., Brown, T. A., & Singhal, N. (2020). Memory tagging: Minimalist synchronization for scalable concurrent data structures. In Annual ACM Symposium on Parallelism in Algorithms and Architectures (pp. 37–49). Virtual Event, United States: ACM. https://doi.org/10.1145/3350755.3400213
View | DOI
 

2020 | Conference Paper | IST-REx-ID: 8194 | OA
Baranowski, M., He, S., Lechner, M., Nguyen, T. S., & Rakamarić, Z. (2020). An SMT theory of fixed-point arithmetic. In Automated Reasoning (Vol. 12166, pp. 13–31). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-030-51074-9_2
View | DOI | Download Published Version (ext.)
 

2020 | Conference Paper | IST-REx-ID: 8195 | OA
Kragl, B., Qadeer, S., & Henzinger, T. A. (2020). Refinement for structured concurrent programs. In Computer Aided Verification (Vol. 12224, pp. 275–298). Springer Nature. https://doi.org/10.1007/978-3-030-53288-8_14
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. https://doi.org/10.1007/s11081-020-09544-5
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., … Held, K. (2020). Zero field splitting of heavy-hole states in quantum dots. Nano Letters, 20(7), 5201–5206. https://doi.org/10.1021/acs.nanolett.0c01466
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Research Data | IST-REx-ID: 8254 | OA
Arathoon, L. S. (2020). Estimating inbreeding and its effects in a long-term study of snapdragons (Antirrhinum majus). IST Austria. https://doi.org/10.15479/AT:ISTA:8254
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8268 | OA
Gurel, N. M., Kara, K., Stojanov, A., Smith, T., Lemmin, T., Alistarh, D.-A., … Zhang, C. (2020). Compressive sensing using iterative hard thresholding with low precision data representation: Theory and applications. IEEE Transactions on Signal Processing. https://doi.org/10.1109/TSP.2020.3010355
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8271
He, P., Zhang, Y., & Xiao, G. (n.d.). Origin of a subgenome and genome evolution of allotetraploid cotton species. Molecular Plant. https://doi.org/10.1016/j.molp.2020.07.006
View | DOI | PubMed | Europe PMC
 

2020 | Conference Paper | IST-REx-ID: 8272 | OA
Chatterjee, K., Katoen, J. P., Weininger, M., & Winkler, T. (2020). Stochastic games with lexicographic reachability-safety objectives. In International Conference on Computer Aided Verification (Vol. 12225, pp. 398–420). Springer Nature. https://doi.org/10.1007/978-3-030-53291-8_21
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 8283 | OA
Chen, H., Lai, L., Li, L., Liu, L., Jakada, B. H., Huang, Y., … 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). https://doi.org/10.3390/ijms21165727
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8285 | OA
Malia, B. K., Martínez-Rincón, J., Wu, Y., Hosten, O., & Kasevich, M. A. (2020). Free space Ramsey spectroscopy in rubidium with noise below the quantum projection limit. Physical Review Letters, 125(4). https://doi.org/10.1103/PhysRevLett.125.043202
View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2020 | Conference Paper | IST-REx-ID: 8287 | OA
Bogomolov, S., Forets, M., Frehse, G., Potomkin, K., & Schilling, C. (n.d.). Reachability analysis of linear hybrid systems via block decomposition. In Proceedings of the International Conference on Embedded Software. Virtual .
View | Files available | arXiv
 

2020 | 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. (n.d.). Folding polyominoes with holes into a cube. Computational Geometry: Theory and Applications, 93. https://doi.org/10.1016/j.comgeo.2020.101700
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, B. K., Hosten, O., & Kasevich, M. A. (2020). Retrieval of cavity-generated atomic spin squeezing after free-space release. Physical Review A, 102(1). https://doi.org/10.1103/PhysRevA.102.012224
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8320
Mukba, S. A., Vlasov, P., Kolosov, P. M., Shuvalova, E. Y., Egorova, T. V., & Alkalaeva, E. Z. (2020). Expanding the genetic code: Unnatural base pairs in biological systems. Molecular Biology, 54(4), 475–484. https://doi.org/10.1134/S0026893320040111
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8321
Mukba, S. A., Vlasov, P., Kolosov, P. M., Shuvalova, E. Y., Egorova, T. V., & Alkalaeva, E. Z. (2020). Expanding the genetic code: Unnatural base pairs in biological systems. Molekuliarnaia biologiia, 54(4), 531–541. https://doi.org/10.31857/S0026898420040126
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. https://doi.org/10.1007/s00454-020-00237-5
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. https://doi.org/10.1007/s00220-020-03828-8
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Thesis | IST-REx-ID: 8332 | OA
Kragl, B. (2020). Verifying concurrent programs: Refinement, synchronization, sequentialization. IST Austria. https://doi.org/10.15479/AT:ISTA:8332
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8336 | OA
Kubiasova, K., Montesinos López, J. C., Šamajová, O., Nisler, J., Mik, V., Semeradova, H., … Spíchal, L. (2020). Cytokinin fluoroprobe reveals multiple sites of cytokinin perception at plasma membrane and endoplasmic reticulum. Nature Communications, 11. https://doi.org/10.1038/s41467-020-17949-0
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8337 | OA
Antoniadi, I., Novák, O., Gelová, Z., Johnson, A. J., Plíhal, O., Simerský, R., … Turnbull, C. (2020). Cell-surface receptors enable perception of extracellular cytokinins. Nature Communications, 11. https://doi.org/10.1038/s41467-020-17700-9
View | DOI | Download Published Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 8338 | OA
Akopyan, A., Bobenko, A. I., Schief, W. K., & Techter, J. (2020). On mutually diagonal nets on (confocal) quadrics and 3-dimensional webs. Discrete and Computational Geometry. https://doi.org/10.1007/s00454-020-00240-w
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. In 23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography (Vol. 12110, pp. 623–651). Edinburgh, United Kingdom: Springer Nature. https://doi.org/10.1007/978-3-030-45374-9_21
View | DOI | Download Preprint (ext.)
 

2020 | Thesis | IST-REx-ID: 8341
Bezeljak, U. (2020). In vitro reconstitution of a Rab activation switch. IST Austria. https://doi.org/10.15479/AT:ISTA:8341
View | Files available | DOI
 

2020 | Preprint | IST-REx-ID: 8349 | OA
Nardin, M., Phillips, J. W., Podlaski, W. F., & Keemink, S. W. (n.d.). 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., … Freunberger, S. A. (2020). Current status and future perspectives of lithium metal batteries. Journal of Power Sources, 480(12). https://doi.org/10.1016/j.jpowsour.2020.228803
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. https://doi.org/10.1016/j.laa.2020.09.007
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. In Proceedings of the 30th International Conference on Automated Planning and Scheduling (Vol. 30, pp. 48–56). Nancy, France: Association for the Advancement of Artificial Intelligence.
View | Files available
 

2020 | Journal Article | IST-REx-ID: 7847 | OA
Bouchal, R., Li, Z., Bongu, C., Le Vot, S., Berthelot, R., Rotenberg, B., … Fontaine, O. (2020). Competitive salt precipitation/dissolution during free‐water reduction in water‐in‐salt electrolyte. Angewandte Chemie International Edition, 59(37), 15913–1591. https://doi.org/10.1002/anie.202005378
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., … Fontaine, O. (2020). Competitive salt precipitation/dissolution during free‐water reduction in water‐in‐salt electrolyte. Angewandte Chemie, 132(37), 16047–16051. https://doi.org/10.1002/ange.202005378
View | Files available | DOI
 

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. In Proceedings of the 39th Symposium on Principles of Distributed Computing (pp. 54–56). Virtual, Italy: ACM. https://doi.org/10.1145/3382734.3405743
View | DOI
 

2020 | Preprint | IST-REx-ID: 8429 | OA
Patxot, M., Trejo Banos, D., Kousathanas, A., Orliac, E. J., Ojavee, S. E., Moser, G., … Robinson, M. R. (2020). Probabilistic inference of the genetic architecture of functional enrichment of complex traits. MedRxiv. Cold Spring Harbor Laboratory.
View | Download Preprint (ext.)
 

2020 | Preprint | IST-REx-ID: 8430 | OA
Ojavee, S. E., Kousathanas, A., Trejo Banos, D., Orliac, E. J., Patxot, M., Lall, K., … Robinson, M. R. (2020). Genomic architecture and prediction of censored time-to-event phenotypes with a Bayesian genome-wide analysis. MedRxiv. Cold Spring Harbor Laboratory.
View | Download Preprint (ext.)
 

2020 | Journal Article | IST-REx-ID: 8038 | OA
Fink, J. M., 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). https://doi.org/10.1088/2058-9565/ab8dce
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 7505 | OA
Henzinger, T. A., Lukina, A., & Schilling, C. (2020). Outside the box: Abstraction-based monitoring of neural networks. In 24th European Conference on Artificial Intelligence (Vol. 325, pp. 2433–2440). Santiago de Compostela, Spain: IOS Press. https://doi.org/10.3233/FAIA200375
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 8535 | OA
Skrivan, T., Soderstrom, A., Johansson, J., Sprenger, C., Museth, K., & Wojtan, C. J. (2020). Wave curves: Simulating Lagrangian water waves on dynamically deforming surfaces. ACM Transactions on Graphics, 39(4). https://doi.org/10.1145/3386569.3392466
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. https://doi.org/10.24033/asens.2431
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. https://doi.org/10.1007/s40879-020-00426-9
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8532 | OA
Kleindienst, D., Montanaro-Punzengruber, J.-C., Bhandari, P., Case, M. J., 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). https://doi.org/10.3390/ijms21186737
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. https://doi.org/10.1214/20-EJP479
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 7427 | OA
Tan, S., Abas, M. F., Verstraeten, I., Glanc, M., Molnar, G., Hajny, J., … Friml, J. (2020). Salicylic acid targets protein phosphatase 2A to attenuate growth in plants. Current Biology, 30(3), 381–395.e8. https://doi.org/10.1016/j.cub.2019.11.058
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, A. E., De La Ossa, L., Martínez-Hernández, J., … 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. https://doi.org/10.1111/bpa.12802
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7205 | OA
Johannesson, K., Zagrodzka, Z., Faria, R., Westram, A. M., & Butlin, R. K. (2020). Is embryo abortion a post-zygotic barrier to gene flow between Littorina ecotypes? Journal of Evolutionary Biology, 33(3), 342–351. https://doi.org/10.1111/jeb.13570
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7033 | OA
Donahue, R., Maes, M. E., Grosser, J., & Nickells, R. (2020). BAX-depleted retinal ganglion cells survive and become quiescent following optic nerve damage. Molecular Neurobiology, 57(2), 1070–1084. https://doi.org/10.1007/s12035-019-01783-7
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

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). https://doi.org/10.1098/rsif.2019.0623
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. https://doi.org/10.15479/AT:ISTA:8181
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. https://doi.org/10.15479/AT:ISTA:8366
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. https://doi.org/10.1038/s41467-019-14015-2
View | Files available | DOI
 

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. https://doi.org/10.15479/AT:ISTA:8375
View | Files available | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications