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.

6487 Publications


2018 | Journal Article | IST-REx-ID: 7062 | OA
Ramshaw, B. J., Modic, K. A., Shekhter, A., Zhang, Y., Kim, E.-A., Moll, P. J. W., … McDonald, R. D. (2018). Quantum limit transport and destruction of the Weyl nodes in TaAs. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-018-04542-9
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 7063 | OA
Martino, E., Arakcheeva, A., Autès, G., Pisoni, A., Bachmann, M. D., Modic, K. A., … Katrych, S. (2018). Sr2Pt8−xAs: A layered incommensurately modulated metal with saturated resistivity. IUCrJ. International Union of Crystallography (IUCr). https://doi.org/10.1107/s2052252518007303
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 7116 | OA
Grubic, D., Tam, L., Alistarh, D.-A., & Zhang, C. (2018). Synchronous multi-GPU training for deep learning with low-precision communications: An empirical study. In Proceedings of the 21st International Conference on Extending Database Technology (pp. 145–156). Vienna, Austria: OpenProceedings. https://doi.org/10.5441/002/EDBT.2018.14
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 7123 | OA
Alistarh, D.-A., Aspnes, J., & Gelashvili, R. (2018). Space-optimal majority in population protocols. In Proceedings of the 29th Annual ACM-SIAM Symposium on Discrete Algorithms (pp. 2221–2239). New Orleans, LA, United States: ACM. https://doi.org/10.1137/1.9781611975031.144
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 7126 | OA
Cubero, R. J., Marsili, M., & Roudi, Y. (2018). Minimum description length codes are critical. Entropy. MDPI. https://doi.org/10.3390/e20100755
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 127
Waitukaitis, S. R. (2018). Clicks for doughnuts. Nature Physics. Nature Publishing Group. https://doi.org/10.1038/s41567-018-0160-6
View | DOI
 

2018 | Journal Article | IST-REx-ID: 13 | OA
Alderighi, T., Malomo, L., Giorgi, D., Pietroni, N., Bickel, B., & Cignoni, P. (2018). Metamolds: Computational design of silicone molds. ACM Trans. Graph. ACM. https://doi.org/10.1145/3197517.3201381
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 132 | OA
Sznurkowska, M., Hannezo, E. B., Azzarelli, R., Rulands, S., Nestorowa, S., Hindley, C., … Simons, B. (2018). Defining lineage potential and fate behavior of precursors during pancreas development. Developmental Cell. Cell Press. https://doi.org/10.1016/j.devcel.2018.06.028
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 133 | OA
Kragl, B., Qadeer, S., & Henzinger, T. A. (2018). Synchronizing the asynchronous (Vol. 118). Presented at the CONCUR: International Conference on Concurrency Theory, Beijing, China: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2018.21
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 134 | OA
Jeschke, S., Skrivan, T., Mueller Fischer, M., Chentanez, N., Macklin, M., & Wojtan, C. J. (2018). Water surface wavelets. ACM Transactions on Graphics. ACM. https://doi.org/10.1145/3197517.3201336
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 135 | OA
Sato, T., Wojtan, C. J., Thuerey, N., Igarashi, T., & Ando, R. (2018). Extended narrow band FLIP for liquid simulations. Computer Graphics Forum. Wiley. https://doi.org/10.1111/cgf.13351
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 136 | OA
Suri, B., Tithof, J., Grigoriev, R., & Schatz, M. (2018). Unstable equilibria and invariant manifolds in quasi-two-dimensional Kolmogorov-like flow. Physical Review E. American Physiological Society. https://doi.org/10.1103/PhysRevE.98.023105
View | DOI | Download Submitted Version (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 137 | OA
Zhang, W., Herde, M., Mitchell, J., Whitfield, J., Wulff, A., Vongsouthi, V., … Henneberger, C. (2018). Monitoring hippocampal glycine with the computationally designed optical sensor GlyFS. Nature Chemical Biology. Nature Publishing Group. https://doi.org/10.1038/s41589-018-0108-2
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 139 | OA
Fraisse, C., Roux, C., Gagnaire, P., Romiguier, J., Faivre, N., Welch, J., & Bierne, N. (2018). The divergence history of European blue mussel species reconstructed from Approximate Bayesian Computation: The effects of sequencing techniques and sampling strategies. PeerJ. PeerJ Inc . https://doi.org/10.7717/peerj.5198
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 14 | OA
Hille, S., Akhmanova, M., Glanc, M., Johnson, A. J., & Friml, J. (2018). Relative contribution of PIN-containing secretory vesicles and plasma membrane PINs to the directed auxin transport: Theoretical estimation. International Journal of Molecular Sciences. MPDI. https://doi.org/10.3390/ijms19113566
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 140 | OA
Frehse, G., Giacobbe, M., & Henzinger, T. A. (2018). Space-time interpolants (Vol. 10981, pp. 468–486). Presented at the CAV: Computer Aided Verification, Oxford, United Kingdom: Springer. https://doi.org/10.1007/978-3-319-96145-3_25
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 141 | OA
Chatterjee, K., Henzinger, M., Loitzenbauer, V., Oraee, S., & Toman, V. (2018). Symbolic algorithms for graphs and Markov decision processes with fairness objectives (Vol. 10982, pp. 178–197). Presented at the CAV: Computer Aided Verification, Oxford, United Kingdom: Springer. https://doi.org/10.1007/978-3-319-96142-2_13
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 142 | OA
Kong, H., Bartocci, E., & Henzinger, T. A. (2018). Reachable set over-approximation for nonlinear systems using piecewise barrier tubes (Vol. 10981, pp. 449–467). Presented at the CAV: Computer Aided Verification, Oxford, United Kingdom: Springer. https://doi.org/10.1007/978-3-319-96145-3_24
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 143 | OA
Brázdil, T., Chatterjee, K., Kučera, A., Novotný, P., Velan, D., & Zuleger, F. (2018). Efficient algorithms for asymptotic bounds on termination time in VASS (Vol. F138033, pp. 185–194). Presented at the LICS: Logic in Computer Science, Oxford, United Kingdom: IEEE. https://doi.org/10.1145/3209108.3209191
View | DOI | Download Preprint (ext.)
 

2018 | Conference Paper | IST-REx-ID: 144
Ferrere, T., Henzinger, T. A., & Saraç, E. (2018). A theory of register monitors (Vol. Part F138033, pp. 394–403). Presented at the LICS: Logic in Computer Science, Oxford, UK: IEEE. https://doi.org/10.1145/3209108.3209194
View | DOI
 

2018 | Journal Article | IST-REx-ID: 145 | OA
Truckenbrodt, S. M., Viplav, A., Jähne, S., Vogts, A., Denker, A., Wildhagen, H., … Rizzoli, S. (2018). Newly produced synaptic vesicle proteins are preferentially used in synaptic transmission. EMBO Journal. Wiley. https://doi.org/10.15252/embj.201798044
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 146 | OA
Shi, C. L., von Wangenheim, D., Herrmann, U., Wildhagen, M., Kulik, I., Kopf, A., … Aalen, R. B. (2018). The dynamics of root cap sloughing in Arabidopsis is regulated by peptide signalling. Nature Plants. Nature Publishing Group. https://doi.org/10.1038/s41477-018-0212-z
View | Files available | DOI | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 147 | OA
Kania, U., Nodzyński, T., Lu, Q., Hicks, G. R., Nerinckx, W., Mishev, K., … Friml, J. (2018). The inhibitor Endosidin 4 targets SEC7 domain-type ARF GTPase exchange factors and interferes with sub cellular trafficking in eukaryotes. The Plant Cell. NLM . https://doi.org/10.1105/tpc.18.00127
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 148 | OA
Nishiyama T, Sakayama H, De Vries J, Buschmann H, Saint Marcoux D, Ullrich K, Haas F, Vanderstraeten L, Becker D, Lang D, Vosolsobě S, Rombauts S, Wilhelmsson P, Janitza P, Kern R, Heyl A, Rümpler F, Calderón Villalobos L, Clay J, Skokan R, Toyoda A, Suzuki Y, Kagoshima H, Schijlen E, Tajeshwar N, Catarino B, Hetherington A, Saltykova A, Bonnot C, Breuninger H, Symeonidi A, Radhakrishnan G, Van Nieuwerburgh F, Deforce D, Chang C, Karol K, Hedrich R, Ulvskov P, Glöckner G, Delwiche C, Petrášek J, Van De Peer Y, Friml J, Beilby M, Dolan L, Kohara Y, Sugano S, Fujiyama A, Delaux PM, Quint M, Theissen G, Hagemann M, Harholt J, Dunand C, Zachgo S, Langdale J, Maumus F, Van Der Straeten D, Gould SB, Rensing S. 2018. The Chara genome: Secondary complexity and implications for plant terrestrialization. Cell. 174(2), 448–464.e24.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2018 | Thesis | IST-REx-ID: 149 | OA
Alt, J. (2018). Dyson equation and eigenvalue statistics of random matrices. IST Austria. https://doi.org/10.15479/AT:ISTA:TH_1040
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 150 | OA
Dick, R., Zadrozny, K. K., Xu, C., Schur, F. K., Lyddon, T. D., Ricana, C. L., … Vogt, V. (2018). Inositol phosphates are assembly co-factors for HIV-1. Nature. Nature Publishing Group. https://doi.org/10.1038/s41586-018-0396-4
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 152 | OA
Fiedorczuk, K., & Sazanov, L. A. (2018). Mammalian mitochondrial complex I structure and disease causing mutations. Trends in Cell Biology. Elsevier. https://doi.org/10.1016/j.tcb.2018.06.006
View | Files available | DOI
 

2018 | Book Chapter | IST-REx-ID: 153
Renkawitz, J., REVERSAT, A., Leithner, A. F., Merrin, J., & Sixt, M. K. (2018). Micro-engineered “pillar forests” to study cell migration in complex but controlled 3D environments. In Methods in Cell Biology (Vol. 147, pp. 79–91). Academic Press. https://doi.org/10.1016/bs.mcb.2018.07.004
View | DOI | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 154 | OA
Moser, T., & Seiringer, R. (2018). Stability of the 2+2 fermionic system with point interactions. Mathematical Physics Analysis and Geometry. Springer. https://doi.org/10.1007/s11040-018-9275-3
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 155 | OA
Xuereb, A., Aquilina, M., & Barzanjeh, S. (2018). Routing thermal noise through quantum networks. In D. L. Andrews, A. Ostendorf, A. J. Bain, & J. M. Nunzi (Eds.) (Vol. 10672). Presented at the SPIE: The international society for optical engineering, Strasbourg, France: SPIE. https://doi.org/10.1117/12.2309928
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 156 | OA
Ferrere, T. (2018). The compound interest in relaxing punctuality (Vol. 10951, pp. 147–164). Presented at the FM: International Symposium on Formal Methods, Oxford, UK: Springer. https://doi.org/10.1007/978-3-319-95582-7_9
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 157 | OA
Hilbe, C., Šimsa, Š., Chatterjee, K., & Nowak, M. (2018). Evolution of cooperation in stochastic games. Nature. Nature Publishing Group. https://doi.org/10.1038/s41586-018-0277-x
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 158 | OA
Robert, H., Park, C., Gutièrrez, C., Wójcikowska, B., Pěnčík, A., Novák, O., … Laux, T. (2018). Maternal auxin supply contributes to early embryo patterning in Arabidopsis. Nature Plants. Nature Publishing Group. https://doi.org/10.1038/s41477-018-0204-z
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 159 | OA
Fehrentz, T., Huber, F., Hartrampf, N., Bruegmann, T., Frank, J., Fine, N., … Trauner, D. (2018). Optical control of L-type Ca2+ channels using a diltiazem photoswitch. Nature Chemical Biology. Nature Publishing Group. https://doi.org/10.1038/s41589-018-0090-8
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 16 | OA
Varshney, A., & Steinberg, V. (2018). Mixing layer instability and vorticity amplification in a creeping viscoelastic flow. Physical Review Fluids. American Physical Society. https://doi.org/10.1103/PhysRevFluids.3.103303
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 160 | OA
Kragl, B., & Qadeer, S. (2018). Layered Concurrent Programs (Vol. 10981, pp. 79–102). Presented at the CAV: Computer Aided Verification, Oxford, UK: Springer. https://doi.org/10.1007/978-3-319-96145-3_5
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 161 | OA
De Martino, D., Mc, A. A., Bergmiller, T., Guet, C. C., & Tkačik, G. (2018). Statistical mechanics for metabolic networks during steady state growth. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-018-05417-9
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 162 | OA
Kaucka M, Petersen J, Tesarova M, Szarowska B, Kastriti M, Xie M, Kicheva A, Annusver K, Kasper M, Symmons O, Pan L, Spitz F, Kaiser J, Hovorakova M, Zikmund T, Sunadome K, Matise MP, Wang H, Marklund U, Abdo H, Ernfors P, Maire P, Wurmser M, Chagin AS, Fried K, Adameyko I. 2018. Signals from the brain and olfactory epithelium control shaping of the mammalian nasal capsule cartilage. eLife. 7, e34465.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 163 | OA
Reipert, S., Goldammer, H., Richardson, C., Goldberg, M., Hawkins, T., Hollergschwandtner, E., … Stierhof, Y. (2018). Agitation modules: Flexible means to accelerate automated freeze substitution. Journal of Histochemistry and Cytochemistry. Histochemical Society. https://doi.org/10.1369/0022155418786698
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 1012 | OA
Erdös, L., & Schröder, D. J. (2018). Fluctuations of rectangular young diagrams of interlacing wigner eigenvalues. International Mathematics Research Notices. Oxford University Press. https://doi.org/10.1093/imrn/rnw330
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 104 | OA
Seitner, D., Uhse, S., Gallei, M. C., & Djamei, A. (2018). The core effector Cce1 is required for early infection of maize by Ustilago maydis. Molecular Plant Pathology. Wiley. https://doi.org/10.1111/mpp.12698
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 106 | OA
Akopyan, A., & Petrunin, A. (2018). Long geodesics on convex surfaces. Mathematical Intelligencer. Springer. https://doi.org/10.1007/s00283-018-9795-5
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 1064 | OA
Akopyan, A., Balitskiy, A., & Grigorev, M. (2018). On the circle covering theorem by A.W. Goodman and R.E. Goodman. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/s00454-017-9883-x
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 107 | OA
Dziembowski, S., Pietrzak, K. Z., & Wichs, D. (2018). Non-malleable codes. Journal of the ACM. ACM. https://doi.org/10.1145/3178432
View | DOI | Download Preprint (ext.)
 

2018 | Conference Paper | IST-REx-ID: 108 | OA
Obremski, M., & Skórski, M. (2018). Inverted leftover hash lemma (Vol. 2018). Presented at the ISIT: International Symposium on Information Theory, Vail, CO, USA: IEEE. https://doi.org/10.1109/ISIT.2018.8437654
View | DOI | Download Submitted Version (ext.)
 

2018 | Journal Article | IST-REx-ID: 1092 | OA
Mohammadi, F., Uhler, C., Wang, C., & Yu, J. (2018). Generalized permutohedra from probabilistic graphical models. SIAM Journal on Discrete Mathematics. SIAM. https://doi.org/10.1137/16M107894X
View | DOI | Download Preprint (ext.)
 

2018 | Conference Paper | IST-REx-ID: 11 | OA
Leopold, N. K., & Pickl, P. (2018). Mean-field limits of particles in interaction with quantised radiation fields (Vol. 270, pp. 185–214). Presented at the MaLiQS: Macroscopic Limits of Quantum Systems, Munich, Germany: Springer. https://doi.org/10.1007/978-3-030-01602-9_9
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 12 | OA
Nakashima, K., Auzinger, T., Iarussi, E., Zhang, R., Igarashi, T., & Bickel, B. (2018). CoreCavity: Interactive shell decomposition for fabrication with two-piece rigid molds. ACM Transaction on Graphics. ACM. https://doi.org/10.1145/3197517.3201341
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 1215 | OA
Flandoli, F., Russo, F., & Zanco, G. A. (2018). Infinite-dimensional calculus under weak spatial regularity of the processes. Journal of Theoretical Probability. Springer. https://doi.org/10.1007/s10959-016-0724-2
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 124
Waitukaitis, S. R., Schrader, D., Nagashima, K., Davidson, J., Mccoy, T., Conolly Jr, H., & Lauretta, D. (2018). The retention of dust in protoplanetary disks: evidence from agglomeration olivine chondrules from the outer solar system. Geochimica et Cosmochimica Acta. Elsevier. https://doi.org/10.1016/j.gca.2017.12.014
View | DOI
 

Search

Filter Publications