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 MH, Svozil A. Quasipolynomial set-based symbolic algorithms for parity games. In: 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Vol 57. EasyChair; 2018:233-253. doi:10.29007/5z5k
[Published Version]
View
| Files available
| DOI
| arXiv
2018 |Published| Journal Article | IST-REx-ID: 11508 |
Matthee JJ, Sobral D, Gronke M, Paulino-Afonso A, Stefanon M, Röttgering H. Confirmation of double peaked Lyα emission at z = 6.593: Witnessing a galaxy directly contributing to the reionisation of the universe. Astronomy & Astrophysics. 2018;619. doi:10.1051/0004-6361/201833528
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2018 |Published| Journal Article | IST-REx-ID: 11584 |
Matthee JJ, Schaye J. 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. 2018;479(1):L34-L39. doi: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. Sphere construction on the FCC grid interpreted as layered hexagonal grids in 3D. In: 19th International Workshop. Vol 11255. Cham: Springer; 2018:82-96. doi:10.1007/978-3-030-05288-1_7
View
| DOI
2018 |Published| Journal Article | IST-REx-ID: 7286
Schafzahl L, Ehmann H, Kriechbaum M, et al. Long-chain Li and Na alkyl carbonates as solid electrolyte interphase components: Structure, ion transport, and mechanical properties. Chemistry of Materials. 2018;30(10):3338-3345. doi:10.1021/acs.chemmater.8b00750
View
| DOI
2018 |Published| Journal Article | IST-REx-ID: 7722
Zeng J, de Vlaming R, Wu Y, et al. Signatures of negative selection in the genetic architecture of human complex traits. Nature Genetics. 2018;50(5):746-753. doi:10.1038/s41588-018-0101-4
View
| DOI
2018 |Published| Journal Article | IST-REx-ID: 9587 |
Kwan MA, Sudakov B, Vieira P. Non-trivially intersecting multi-part families. Journal of Combinatorial Theory Series A. 2018;156:44-60. doi: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. Aspect controls the survival of ice cliffs on debris-covered glaciers. PNAS. 2018;115(17):4369-4374. doi:10.1073/pnas.1713892115
[Published Version]
View
| DOI
| Download Published Version (ext.)
2018 |Published| Thesis | IST-REx-ID: 201 |
Iglesias Ham M. Multiple covers with balls. 2018. doi: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 MA, Cox D. A micro-CT-based method for quantitative brain lesion characterization and electrode localization. Scientific Reports. 2018;8(1). doi:10.1038/s41598-018-23247-z
[Published Version]
View
| Files available
| DOI
| WoS
2018 |Published| Journal Article | IST-REx-ID: 399 |
Napiórkowski MM, Reuvers R, Solovej J. Calculation of the critical temperature of a dilute Bose gas in the Bogoliubov approximation. EPL. 2018;121(1). doi: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, et al. Immediate flow disruption as a prognostic factor after flow diverter treatment long term experience with the pipeline embolization device. World Neurosurgery. 2018;13:e568-e578. doi:10.1016/j.wneu.2018.02.096
View
| DOI
| WoS
2018 |Published| Journal Article | IST-REx-ID: 303 |
Kalinin N, Shkolnikov M. Introduction to tropical series and wave dynamic on them. Discrete and Continuous Dynamical Systems- Series A. 2018;38(6):2827-2849. doi: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. SOM-VAE: Interpretable discrete representation learning on time series. In: International Conference on Learning Representations. ; 2018.
[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. Metamolds: Computational design of silicone molds. ACM Trans Graph. 2018;37(4). doi:10.1145/3197517.3201381
[Submitted Version]
View
| Files available
| DOI
| WoS
2018 |Published| Book Chapter | IST-REx-ID: 153
Renkawitz J, Reversat A, Leithner AF, Merrin J, Sixt MK. Micro-engineered “pillar forests” to study cell migration in complex but controlled 3D environments. In: Methods in Cell Biology. Vol 147. Academic Press; 2018:79-91. doi: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, et al. Nano-scale microfluidics to study 3D chemotaxis at the single cell level. PLoS One. 2018;13(6). doi: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 JP, Sokolova A. Parameter-independent strategies for pMDPs via POMDPs. In: Vol 11024. Springer; 2018:53-70. doi:10.1007/978-3-319-99154-2_4
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv