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.

6016 Publications


2020 | Journal Article | IST-REx-ID: 7880 | OA
Fagan, R. R., Kearney, P. J., Sweeney, C. G., Luethi, D., Schoot Uiterkamp, F. E., Schicker, K., … Melikian, H. E. (2020). Dopamine transporter trafficking and Rit2 GTPase: Mechanism of action and in vivo impact. Journal of Biological Chemistry, 295(16), 5229–5244. https://doi.org/10.1074/jbc.RA120.012628
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7882 | OA
Armstrong, J. R., Jensen, A. S., Volosniev, A., & Zinner, N. T. (2020). Clusters in separated tubes of tilted dipoles. Mathematics, 8(4). https://doi.org/10.3390/math8040484
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7883 | OA
Kuzmicz-Kowalska, K., & Kicheva, A. (2020). Regulation of size and scale in vertebrate spinal cord development. Wiley Interdisciplinary Reviews: Developmental Biology, e383. https://doi.org/10.1002/wdev.383
View | DOI | Download Published Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 7888 | OA
Schauer, A., Nunes Pinheiro, D. C., Hauschild, R., & Heisenberg, C.-P. J. (2020). Zebrafish embryonic explants undergo genetically encoded self-assembly. ELife, 9. https://doi.org/10.7554/elife.55190
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7889
Mitiouchkina, T., Mishin, A. S., Gonzalez Somermeyer, L., Markina, N. M., Chepurnyh, T. V., Guglya, E. B., … Sarkisyan, K. S. (2020). Plants with genetically encoded autoluminescence. Nature Biotechnology, 38, 944–946. https://doi.org/10.1038/s41587-020-0500-9
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7900 | OA
Benedikter, N. P. (2020). Bosonic collective excitations in Fermi gases. Reviews in Mathematical Physics, 2060009. https://doi.org/10.1142/s0129055x20600090
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Preprint | IST-REx-ID: 7901 | OA
Benedikter, N. P., Nam, P. T., Porta, M., Schlein, B., & Seiringer, R. (n.d.). Correlation energy of a weakly interacting Fermi gas. ArXiv. ArXiv.
View | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 7905 | OA
Brown, A., & Wang, B. (2020). Sheaf-theoretic stratification learning from geometric and topological perspectives. Discrete & Computational Geometry. https://doi.org/10.1007/s00454-020-00206-y
View | DOI | Download Published Version (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 7908 | OA
Wang, H. Y., Eguchi, K., Yamashita, T., & Takahashi, T. (2020). Frequency-dependent block of excitatory neurotransmission by isoflurane via dual presynaptic mechanisms. Journal of Neuroscience, 40(21), 4103–4115. https://doi.org/10.1523/JNEUROSCI.2946-19.2020
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7909 | OA
Damiano-Guercio, J., Kurzawa, L., Müller, J., Dimchev, G. A., Schaks, M., Nemethova, M., … Faix, J. (2020). Loss of Ena/VASP interferes with lamellipodium architecture, motility and integrin-dependent adhesion. ELife, 9. https://doi.org/10.7554/eLife.55351
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7910 | OA
Barzanjeh, S., Pirandola, S., Vitali, D., & Fink, J. M. (2020). Microwave quantum illumination using a digital receiver. Science Advances, 6(19). https://doi.org/10.1126/sciadv.abb0451
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7919 | OA
Mistakidis, S. I., Volosniev, A., & Schmelcher, P. (2020). Induced correlations between impurities in a one-dimensional quenched Bose gas. Physical Review Research, 2. https://doi.org/10.1103/physrevresearch.2.023154
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7925 | OA
Shehu, Y., & Gibali, A. (2020). New inertial relaxed method for solving split feasibilities. Optimization Letters. https://doi.org/10.1007/s11590-020-01603-1
View | DOI | Download Published Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 7931 | OA
Uroshlev, L. A., Abdullaev, E. T., Umarova, I. R., Il’Icheva, I. A., Panchenko, L. A., Polozov, R. V., … Grokhovsky, S. L. (2020). A method for identification of the methylation level of CpG islands from NGS data. Scientific Reports, 10. https://doi.org/10.1038/s41598-020-65406-1
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7932 | OA
Xu, D., Varshney, A., Ma, X., Song, B., Riedl, M., Avila, M., & Hof, B. (2020). Nonlinear hydrodynamic instability and turbulence in pulsatile flow. Proceedings of the National Academy of Sciences of the United States of America, 117(21), 11233–11239. https://doi.org/10.1073/pnas.1913716117
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 7933 | OA
Maslov, M., Lemeshko, M., & Yakaboylu, E. (2020). Synthetic spin-orbit coupling mediated by a bosonic environment. Physical Review B, 101(18), 184104. https://doi.org/10.1103/PhysRevB.101.184104
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 7939 | OA
Censor-Hillel, K., Dory, M., Korhonen, J., & Leitersdorf, D. (2020). Fast approximate shortest paths in the congested clique. Distributed Computing. https://doi.org/10.1007/s00446-020-00380-5
View | Files available | DOI | Download Published Version (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 7940 | OA
Yang, Y., & Zhao, G. (2020). The PBW theorem for affine Yangians. Transformation Groups. https://doi.org/10.1007/s00031-020-09572-6
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Book Chapter | IST-REx-ID: 7941
Truckenbrodt, S. M., & Rizzoli, S. O. (n.d.). Simple multi-color super-resolution by X10 microscopy. In Methods in Cell Biology. Elsevier. https://doi.org/10.1016/bs.mcb.2020.04.016
View | DOI
 

2020 | Journal Article | IST-REx-ID: 7942 | OA
Hartstein, M., Hsu, Y. T., Modic, K. A., Porras, J., Loew, T., Tacon, M. L., … Harrison, N. (2020). Hard antinodal gap revealed by quantum oscillations in the pseudogap regime of underdoped high-Tc superconductors. Nature Physics. https://doi.org/10.1038/s41567-020-0910-0
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Thesis | IST-REx-ID: 7944 | OA
Masárová, Z. (2020). Reconfiguration problems. IST Austria. https://doi.org/10.15479/AT:ISTA:7944
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7948 | OA
Maghiaoui, A., Bouguyon, E., Cuesta, C., Perrine-Walker, F., Alcon, C., Krouk, G., … Bach, L. (n.d.). The Arabidopsis NRT1.1 transceptor coordinately controls auxin biosynthesis and transport to regulate root branching in response to nitrate. Journal of Experimental Botany, eraa242. https://doi.org/10.1093/jxb/eraa242
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7949 | OA
Smith, S., Zhu, S., Joos, L., Roberts, I., Nikonorova, N., Vu, L., … De Smet, I. (2020). The CEP5 peptide promotes abiotic stress tolerance, as revealed by quantitative proteomics, and attenuates the AUX/IAA equilibrium in Arabidopsis. Molecular & Cellular Proteomics, 19(8), 1248–1262. https://doi.org/10.1074/mcp.ra119.001826
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2020 | Conference Paper | IST-REx-ID: 7952 | OA
Boissonnat, J.-D., & Wintraecken, M. (2020). The topological correctness of PL-approximations of isomanifolds. In 36th International Symposium on Computational Geometry (Vol. 164, p. 20:1-20:18). Zürich, Switzerland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2020.20
View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 7955 | OA
Ashok, P., Chatterjee, K., Kretinsky, J., Weininger, M., & Winkler, T. (n.d.). Approximating values of generalized-reachability stochastic games. In Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (pp. 102–115). Saarbrücken, Germany: Association for Computing Machinery. https://doi.org/10.1145/3373718.3394761
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 6184 | OA
Alt, J., Erdös, L., Krüger, T. H., & Schröder, D. J. (2020). Correlated random matrices: Band rigidity and edge universality. Annals of Probability, 48(2), 963–1001.
View | Files available | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 6185 | OA
Erdös, L., Krüger, T. H., & Schröder, D. J. (2020). Cusp universality for random matrices I: Local law and the complex hermitian case. Communications in Mathematical Physics, 50. https://doi.org/10.1007/s00220-019-03657-4
View | Files available | DOI | Download Published Version (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 6358 | OA
Carlen, E. A., & Maas, J. (2020). Non-commutative calculus, optimal transport and functional inequalities  in dissipative quantum systems. Journal of Statistical Physics, 178(2), 319–378. https://doi.org/10.1007/s10955-019-02434-w
View | Files available | DOI | arXiv
 

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: 6976
Dieleman, P., Vasmel, N., Waitukaitis, S. R., & van Hecke, M. (2020). Jigsaw puzzle design of pluripotent origami. Nature Physics, 16(1), 63–68. https://doi.org/10.1038/s41567-019-0677-3
View | DOI
 

2020 | Journal Article | IST-REx-ID: 6997 | OA
Zhang, Y., & Friml, J. (2020). Auxin guides roots to avoid obstacles during gravitropic growth. New Phytologist, 225(3), 1049–1052. https://doi.org/10.1111/nph.16203
View | Files available | DOI | 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: 7989 | OA
Patakova, Z. (2020). Bounding radon number via Betti numbers. In 36th International Symposium on Computational Geometry (Vol. 164, p. 61:1-61:13). Zürich, Switzerland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2020.61
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). 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: 7991 | OA
Avvakumov, S., & Nivasch, G. (2020). Homotopic curve shortening and the affine curve-shortening flow. In 36th International Symposium on Computational Geometry (Vol. 164, p. 12:1-12:15). Zürich, Switzerland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2020.12
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 | Conference Paper | IST-REx-ID: 7994 | OA
Arroyo Guevara, A. M., Bensmail, J., & Bruce Richter, R. (2020). Extending drawings of graphs to arrangements of pseudolines. 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.9
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 | 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. https://doi.org/10.15479/AT:ISTA:7996
View | Files available | DOI
 

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 | Thesis | IST-REx-ID: 8032 | OA
Huszár, K. (2020). Combinatorial width parameters for 3-dimensional manifolds. IST Austria. https://doi.org/10.15479/AT:ISTA:8032
View | Files available | DOI
 

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: 8037 | OA
Lukacisinova, M., Fernando, B., & Bollenbach, M. T. (2020). Highly parallel lab evolution reveals that epistasis can curb the evolution of antibiotic resistance. Nature Communications, 11. https://doi.org/10.1038/s41467-020-16932-z
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 | Preprint | IST-REx-ID: 8063 | OA
Anciukevicius, T., Lampert, C., & Henderson, P. M. (n.d.). Object-centric image generation with factored depths, locations, and appearances. ArXiv. 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., … 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 | Preprint | IST-REx-ID: 8125 | OA
Podlaski, W. F., Agnes, E. J., & Vogels, T. P. (2020). Context-modular memory networks support high-capacity, flexible, and robust associative memories. BioRxiv. Cold Spring Harbor Laboratory.
View | Download Preprint (ext.)
 

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 | Report | IST-REx-ID: 8151
Maslov, M., Kondrashov, F., Artner, C., Hennessey-Wesen, M., Kavcic, B., Machnik, N. N., … Tomanek, I. (2020). Core Project Proceedings. IST Austria.
View | Files available
 

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: 8163 | OA
Vegter, G., & Wintraecken, M. (n.d.). Refutation of a claim made by Fejes Tóth on the accuracy of surface meshes. Studia Scientiarum Mathematicarum Hungarica, 57(2), 193–199. https://doi.org/10.1556/012.2020.57.2.1454
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 | Preprint | IST-REx-ID: 8198 | OA
Diringer, A. A., & Gulden, T. (n.d.). Robustness of the Floquet many-body localized phase in the presence of a  smooth and a non-smooth drive. ArXiv:2007.14879. arXiv.
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., … 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 | Journal Article | IST-REx-ID: 8225 | OA
Köhler, V. K., Crescioli, S., Singer, J., Bax, H. J., Hofer, G., Pranger, C. L., … Jensen-Jarolim, E. (2020). Filling the antibody pipeline in allergy: PIPE cloning of IgE, IgG1 and IgG4 against the major birch pollen allergen Bet v 1. International Journal of Molecular Sciences, 21(16). https://doi.org/10.3390/ijms21165693
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 8226 | OA
Gotovina, J., Bianchini, R., Singer, J., Herrmann, I., Pellizzari, G., Haidl, I. D., … Jensen‐Jarolim, E. (2020). Epinephrine drives human M2a allergic macrophages to a regulatory phenotype reducing mast cell degranulation in vitro. Allergy. https://doi.org/10.1111/all.14299
View | DOI | Download Published Version (ext.)
 

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. https://doi.org/10.1007/s00454-020-00233-9
View | DOI | Download Published Version (ext.)
 

Search

Filter Publications