Please note that ISTA 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.
11107 Publications
2018 | Published | Journal Article | IST-REx-ID: 19806 | 
Bahramy MS, Clark OJ, Yang B-J, Feng J, Bawden L, Riley JM, Marković I, Mazzola F, Sunko V, Biswas D, Cooil SP, Jorge M, Wells JW, Leandersson M, Balasubramanian T, Fujii J, Vobornik I, Rault JE, Kim TK, Hoesch M, Okawa K, Asakawa M, Sasagawa T, Eknapakul T, Meevasana W, King PDC. 2018. Ubiquitous formation of bulk Dirac cones and topological surface states from a single orbital manifold in transition-metal dichalcogenides. Nature Materials. 17, 21–28.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2018 | Published | Journal Article | IST-REx-ID: 19808 |
Nandi, N., Scaffidi, T., Kushwaha, P., Khim, S., Barber, M. E., Sunko, V., … Mackenzie, A. P. (2018). Unconventional magneto-transport in ultrapure PdCoO2 and PtCoO2. Npj Quantum Materials. Springer Nature. https://doi.org/10.1038/s41535-018-0138-8
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2018 | Published | Conference Paper | IST-REx-ID: 187 |
Edelsbrunner, H., & Osang, G. F. (2018). The multi-cover persistence of Euclidean balls (Vol. 99). Presented at the SoCG: Symposium on Computational Geometry, Budapest, Hungary: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2018.34
[Published Version]
View
| Files available
| DOI
2018 | Published | Conference Paper | IST-REx-ID: 6589 |
Alistarh, D.-A., Hoefler, T., Johansson, M., Konstantinov, N. H., Khirirat, S., & Renggli, C. (2018). The convergence of sparsified gradient methods. In Advances in Neural Information Processing Systems 31 (Vol. Volume 2018, pp. 5973–5983). Montreal, Canada: Neural Information Processing Systems Foundation.
[Preprint]
View
| Download Preprint (ext.)
| WoS
| arXiv
2018 | Published | Conference Paper | IST-REx-ID: 7812 |
Polino, A., Pascanu, R., & Alistarh, D.-A. (2018). Model compression via distillation and quantization. In 6th International Conference on Learning Representations. Vancouver, Canada.
[Published Version]
View
| Files available
| arXiv
2018 | Published | Conference Paper | IST-REx-ID: 7407 |
Pietrzak, K. Z. (2018). Proofs of catalytic space. In 10th Innovations in Theoretical Computer Science Conference (Vol. 124, p. 59:1-59:25). San Diego, CA, United States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.ITCS.2019.59
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2018 | Published | Journal Article | IST-REx-ID: 54 |
Nunes Pinheiro, D. C., & Bellaïche, Y. (2018). Mechanical force-driven adherents junction remodeling and epithelial dynamics. Developmental Cell. Cell Press. https://doi.org/10.1016/j.devcel.2018.09.014
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2018 | Published | Journal Article | IST-REx-ID: 6006 |
Avni, G., Guha, S., & Kupferman, O. (2018). An abstraction-refinement methodology for reasoning about network games. Games. MDPI. https://doi.org/10.3390/g9030039
[Published Version]
View
| Files available
| DOI
2018 | Published | Journal Article | IST-REx-ID: 1012 |
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
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 | Published | Thesis | IST-REx-ID: 200 |
Ringbauer, H. (2018). Inferring recent demography from spatial genetic structure. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_963
[Published Version]
View
| Files available
| DOI
2018 | Published | Conference Paper | IST-REx-ID: 10883 |
Chatterjee, K., Dvořák, W., Henzinger, M., & Svozil, A. (2018). Quasipolynomial set-based symbolic algorithms for parity games. In 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (Vol. 57, pp. 233–253). Awassa, Ethiopia: EasyChair. https://doi.org/10.29007/5z5k
[Published Version]
View
| Files available
| DOI
| arXiv
2018 | Published | Conference Paper | IST-REx-ID: 156 |
Ferrere, T. (2018). The compound interest in relaxing punctuality (Vol. 10951, pp. 147–164). Presented at the FM: Formal Methods, Oxford, UK: Springer. https://doi.org/10.1007/978-3-319-95582-7_9
[Submitted Version]
View
| Files available
| DOI
| WoS
2018 | Published | 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
| WoS
| PubMed | Europe PMC
2018 | Published | Conference Paper | IST-REx-ID: 182 |
Bakhirkin, A., Ferrere, T., & Maler, O. (2018). Efficient parametric identification for STL. In Proceedings of the 21st International Conference on Hybrid Systems (pp. 177–186). Porto, Portugal: ACM. https://doi.org/10.1145/3178126.3178132
[Submitted Version]
View
| Files available
| DOI
| WoS
2018 | Published | Conference Paper | IST-REx-ID: 183
Bartocci, E., Ferrere, T., Manjunath, N., & Nickovic, D. (2018). Localizing faults in simulink/stateflow models with STL (pp. 197–206). Presented at the HSCC: Hybrid Systems - Computation and Control, Porto, Portugal: Association for Computing Machinery. https://doi.org/10.1145/3178126.3178131
View
| DOI
| WoS
2018 | Published | Journal Article | IST-REx-ID: 19494 |
Chan, S. (2018). Rational right triangles of a given area. The American Mathematical Monthly. Taylor & Francis. https://doi.org/10.1080/00029890.2018.1495491
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2018 | Published | Journal Article | IST-REx-ID: 19544 |
Bulatov, E., Sayarova, R., Mingaleeva, R., Miftakhova, R., Gomzikova, M., Ignatev, I., … Barlev, N. A. (2018). Isatin-Schiff base-copper (II) complex induces cell death in p53-positive tumors. Cell Death Discovery. Springer Nature. https://doi.org/10.1038/s41420-018-0120-z
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2018 | Published | Journal Article | IST-REx-ID: 203 |
Abbas, M., Hernández, G. J., Pollmann, S., Samodelov, S. L., Kolb, M., Friml, J., … Alabadí, D. (2018). Auxin methylation is required for differential growth in Arabidopsis. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1806565115
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2018 | Published | Journal Article | IST-REx-ID: 22 |
Botello, G., Sedlmeir, F., Rueda Sanchez, A. R., Abdalmalak, K., Brown, E., Leuchs, G., … Schwefel, H. (2018). Sensitivity limits of millimeter-wave photonic radiometers based on efficient electro-optic upconverters. Optica. https://doi.org/10.1364/OPTICA.5.001210
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2018 | Published | Journal Article | IST-REx-ID: 23 |
Vukušić, L., Kukucka, J., Watzinger, H., Milem, J. M., Schäffler, F., & Katsaros, G. (2018). Single-shot readout of hole spins in Ge. Nano Letters. American Chemical Society. https://doi.org/10.1021/acs.nanolett.8b03217
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC