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.
455 Publications
2018 |Published| Conference Paper | IST-REx-ID: 10883 | 
Chatterjee, K., Dvořák, W., Henzinger, M. H., & 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| Journal Article | IST-REx-ID: 11508 |
Matthee, J. J., Sobral, D., Gronke, M., Paulino-Afonso, A., Stefanon, M., & Röttgering, H. (2018). Confirmation of double peaked Lyα emission at z = 6.593: Witnessing a galaxy directly contributing to the reionisation of the universe. Astronomy & Astrophysics. EDP Sciences. https://doi.org/10.1051/0004-6361/201833528
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2018 |Published| Journal Article | IST-REx-ID: 11584 |
Matthee, J. J., & Schaye, J. (2018). Star-forming galaxies are predicted to lie on a fundamental plane of mass, star formation rate, and α-enhancement. Monthly Notices of the Royal Astronomical Society: Letters. Oxford University Press. https://doi.org/10.1093/mnrasl/sly093
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2018 |Published| Journal Article | IST-REx-ID: 11619 |
Gandolfi D, Barragán O, Livingston JH, Fridlund M, Justesen AB, Redfield S, Fossati L, Mathur S, Grziwa S, Cabrera J, García RA, Persson CM, Van Eylen V, Hatzes AP, Hidalgo D, Albrecht S, Bugnet LA, Cochran WD, Csizmadia S, Deeg H, Eigmüller P, Endl M, Erikson A, Esposito M, Guenther E, Korth J, Luque R, Montañes Rodríguez P, Nespral D, Nowak G, Pätzold M, Prieto-Arranz J. 2018. TESS’s first planet: A super-Earth transiting the naked-eye star π Mensae. Astronomy & Astrophysics. 619, L10.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2018 |Published| Conference Paper | IST-REx-ID: 6164
Koshti, G., Biswas, R., Largeteau-Skapin, G., Zrour, R., Andres, E., & Bhowmick, P. (2018). Sphere construction on the FCC grid interpreted as layered hexagonal grids in 3D. In 19th International Workshop (Vol. 11255, pp. 82–96). Cham: Springer. https://doi.org/10.1007/978-3-030-05288-1_7
View
| DOI
2018 |Published| Journal Article | IST-REx-ID: 7286
Schafzahl, L., Ehmann, H., Kriechbaum, M., Sattelkow, J., Ganner, T., Plank, H., … Freunberger, S. A. (2018). Long-chain Li and Na alkyl carbonates as solid electrolyte interphase components: Structure, ion transport, and mechanical properties. Chemistry of Materials. ACS. https://doi.org/10.1021/acs.chemmater.8b00750
View
| DOI
2018 |Published| Journal Article | IST-REx-ID: 7722
Zeng, J., de Vlaming, R., Wu, Y., Robinson, M. R., Lloyd-Jones, L. R., Yengo, L., … Yang, J. (2018). Signatures of negative selection in the genetic architecture of human complex traits. Nature Genetics. Springer Nature. https://doi.org/10.1038/s41588-018-0101-4
View
| DOI
2018 |Published| Journal Article | IST-REx-ID: 9587 |
Kwan, M. A., Sudakov, B., & Vieira, P. (2018). Non-trivially intersecting multi-part families. Journal of Combinatorial Theory Series A. Elsevier. https://doi.org/10.1016/j.jcta.2017.12.001
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2018 |Published| Journal Article | IST-REx-ID: 12607 |
Buri, P., & Pellicciotti, F. (2018). Aspect controls the survival of ice cliffs on debris-covered glaciers. PNAS. Proceedings of the National Academy of Sciences. https://doi.org/10.1073/pnas.1713892115
[Published Version]
View
| DOI
| Download Published Version (ext.)
2018 |Published| Thesis | IST-REx-ID: 201 |
Iglesias Ham, M. (2018). Multiple covers with balls. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_1026
[Published Version]
View
| Files available
| DOI
2018 |Published| Journal Article | IST-REx-ID: 410 |
Masís, J., Mankus, D., Wolff, S., Guitchounts, G., Jösch, M. A., & Cox, D. (2018). A micro-CT-based method for quantitative brain lesion characterization and electrode localization. Scientific Reports. Nature Publishing Group. https://doi.org/10.1038/s41598-018-23247-z
[Published Version]
View
| Files available
| DOI
| WoS
2018 |Published| Journal Article | IST-REx-ID: 399 |
Napiórkowski, M. M., Reuvers, R., & Solovej, J. (2018). Calculation of the critical temperature of a dilute Bose gas in the Bogoliubov approximation. EPL. IOP Publishing Ltd. https://doi.org/10.1209/0295-5075/121/10007
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 |Published| Journal Article | IST-REx-ID: 5780 |
Kotlobay AA, Sarkisyan K, Mokrushina YA, Marcet-Houben M, Serebrovskaya EO, Markina NM, Gonzalez Somermeyer L, Gorokhovatsky AY, Vvedensky A, Purtov KV, Petushkov VN, Rodionova NS, Chepurnyh TV, Fakhranurova L, Guglya EB, Ziganshin R, Tsarkova AS, Kaskova ZM, Shender V, Abakumov M, Abakumova TO, Povolotskaya IS, Eroshkin FM, Zaraisky AG, Mishin AS, Dolgov SV, Mitiouchkina TY, Kopantzev EP, Waldenmaier HE, Oliveira AG, Oba Y, Barsova E, Bogdanova EA, Gabaldón T, Stevani CV, Lukyanov S, Smirnov IV, Gitelson JI, Kondrashov F, Yampolsky IV. 2018. Genetically encodable bioluminescent system from fungi. Proceedings of the National Academy of Sciences of the United States of America. 115(50), 12728–12732.
[Published Version]
View
| Files available
| DOI
| WoS
2018 |Published| Journal Article | IST-REx-ID: 398
Dodier, P., Frischer, J., Wang, W., Auzinger, T., Mallouhi, A., Serles, W., … Bavinzski, G. (2018). Immediate flow disruption as a prognostic factor after flow diverter treatment long term experience with the pipeline embolization device. World Neurosurgery. Elsevier. https://doi.org/10.1016/j.wneu.2018.02.096
View
| DOI
| WoS
2018 |Published| Journal Article | IST-REx-ID: 303 |
Kalinin, N., & Shkolnikov, M. (2018). Introduction to tropical series and wave dynamic on them. Discrete and Continuous Dynamical Systems- Series A. AIMS. https://doi.org/10.3934/dcds.2018120
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
2018 |Published| Conference Paper | IST-REx-ID: 14198 |
Fortuin, V., Hüser, M., Locatello, F., Strathmann, H., & Rätsch, G. (2018). SOM-VAE: Interpretable discrete representation learning on time series. In International Conference on Learning Representations. New Orleans, LA, United States.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2018 |Published| Journal Article | IST-REx-ID: 13 |
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
[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| Journal Article | IST-REx-ID: 276 |
Frick, C., Dettinger, P., Renkawitz, J., Jauch, A., Berger, C., Recher, M., … Mehling, M. (2018). Nano-scale microfluidics to study 3D chemotaxis at the single cell level. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0198330
[Published Version]
View
| Files available
| DOI
| WoS
2018 |Published| Conference Paper | IST-REx-ID: 79 |
Arming, S., Bartocci, E., Chatterjee, K., Katoen, J. P., & Sokolova, A. (2018). Parameter-independent strategies for pMDPs via POMDPs (Vol. 11024, pp. 53–70). Presented at the QEST: Quantitative Evaluation of Systems, Beijing, China: Springer. https://doi.org/10.1007/978-3-319-99154-2_4
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv