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.

513 Publications


2019 | Published | Conference Paper | IST-REx-ID: 6822 | OA
Avni G, Henzinger TA, Ibsen-Jensen R, Novotny P. 2019. Bidding games on Markov decision processes. Proceedings of the 13th International Conference of Reachability Problems. RP: Reachability Problems, LNCS, vol. 11674, 1–12.
[Submitted Version] View | Files available | DOI | WoS
 

2019 | Published | Conference Paper | IST-REx-ID: 6490 | OA
Chatterjee K, Goharshady AK, Goharshady EK. 2019. The treewidth of smart contracts. Proceedings of the 34th ACM Symposium on Applied Computing. SAC: Symposium on Applied Computing vol. Part F147772, 400–408.
[Submitted Version] View | Files available | DOI | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 13374 | OA
Samanta D, Galaktionova D, Gemen J, Shimon LJW, Diskin-Posner Y, Avram L, Král P, Klajn R. 2018. Reversible chromism of spiropyran in the cavity of a flexible coordination cage. Nature Communications. 9, 641.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2018 | Published | Journal Article | IST-REx-ID: 13475 | OA
Götberg YLL, de Mink SE, Groh JH, Kupfer T, Crowther PA, Zapartas E, Renzo M. 2018. Spectral models for binary products: Unifying subdwarfs and Wolf-Rayet stars as a sequence of stripped-envelope stars. Astronomy & Astrophysics. 615, A78.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 14003 | OA
Baykusheva DR, Wörner HJ. 2018. Chiral discrimination through bielliptical high-harmonic spectroscopy. Physical Review X. 8(3), 031060.
[Published Version] View | DOI | Download Published Version (ext.)
 

2018 | Published | Conference Paper | IST-REx-ID: 144
Ferrere T, Henzinger TA, Saraç E. 2018. A theory of register monitors. LICS: Logic in Computer Science, ACM/IEEE Symposium on Logic in Computer Science, vol. Part F138033, 394–403.
View | DOI | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 11064 | OA
Fleischer JG, Schulte R, Tsai HH, Tyagi S, Ibarra A, Shokhirev MN, Huang L, Hetzer M, Navlakha S. 2018. Predicting age from the transcriptome of human dermal fibroblasts. Genome Biology. 19, 221.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2018 | Published | Journal Article | IST-REx-ID: 11508 | OA
Matthee JJ, 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. 619, A136.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 11555 | OA
Carniani S, Maiolino R, Amorin R, Pentericci L, Pallottini A, Ferrara A, Willott CJ, Smit R, Matthee JJ, Sobral D, Santini P, Castellano M, De Barros S, Fontana A, Grazian A, Guaita L. 2018. Kiloparsec-scale gaseous clumps and star formation at z = 5–7. Monthly Notices of the Royal Astronomical Society. 478(1), 1170–1184.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 11558 | OA
Sobral D, Santos S, Matthee JJ, Paulino-Afonso A, Ribeiro B, Calhau J, Khostovan AA. 2018. Slicing COSMOS with SC4K: The evolution of typical Ly α emitters and the Ly α escape fraction from z ∼ 2 to 6. Monthly Notices of the Royal Astronomical Society. 476(4), 4725–4752.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 17679 | OA
Inayoshi K, Ostriker JP, Haiman Z, Kuiper R. 2018. Low-density, radiatively inefficient rotating-accretion flow on to a black hole. Monthly Notices of the Royal Astronomical Society. 476(1), 1412–1426.
[Published Version] View | DOI | Download Published Version (ext.)
 

2018 | Published | Journal Article | IST-REx-ID: 17687 | OA
Inayoshi K, Li M, Haiman Z. 2018. Massive black hole and Population III galaxy formation in overmassive dark-matter haloes with violent merger histories. Monthly Notices of the Royal Astronomical Society. 479(3), 4017–4027.
[Published Version] View | DOI | Download Published Version (ext.)
 

2018 | Published | Journal Article | IST-REx-ID: 6
Masís J, Mankus D, Wolff S, Guitchounts G, Jösch MA, Cox D. 2018. A micro-CT-based method for characterising lesions and locating electrodes in small animal brains. Journal of visualized experiments. 141.
View | DOI | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 12604 | OA
Miles ES, Willis I, Buri P, Steiner JF, Arnold NS, Pellicciotti F. 2018. Surface pond energy absorption across four Himalayan Glaciers accounts for 1/8 of total catchment ice loss. Geophysical Research Letters. 45(19), 10464–10473.
[Published Version] View | DOI | Download Published Version (ext.)
 

2018 | Published | Journal Article | IST-REx-ID: 127
Waitukaitis SR. 2018. Clicks for doughnuts. Nature Physics. 14(8), 777–778.
View | DOI
 

2018 | Published | Journal Article | IST-REx-ID: 7713 | OA
Guo J, Wu Y, Zhu Z, Zheng Z, Trzaskowski M, Zeng J, Robinson MR, Visscher PM, Yang J. 2018. Global genetic differentiation of complex traits shaped by natural selection in humans. Nature Communications. 9, 1865.
[Published Version] View | DOI | Download Published Version (ext.)
 

2018 | Published | Journal Article | IST-REx-ID: 7716 | OA
Maier RM, Zhu Z, Lee SH, Trzaskowski M, Ruderfer DM, Stahl EA, Ripke S, Wray NR, Yang J, Visscher PM, Robinson MR. 2018. Improving genetic prediction by leveraging genetic correlations among human diseases and traits. Nature Communications. 9, 989.
[Published Version] View | DOI | Download Published Version (ext.)
 

2018 | Published | Journal Article | IST-REx-ID: 7722
Zeng J, de Vlaming R, Wu Y, Robinson MR, Lloyd-Jones LR, Yengo L, Yap CX, Xue A, Sidorenko J, McRae AF, Powell JE, Montgomery GW, Metspalu A, Esko T, Gibson G, Wray NR, Visscher PM, Yang J. 2018. Signatures of negative selection in the genetic architecture of human complex traits. Nature Genetics. 50(5), 746–753.
View | DOI
 

2018 | Published | Conference Paper | IST-REx-ID: 397
Arbel Raviv M, Brown TA. 2018. Harnessing epoch-based reclamation for efficient range queries. PPoPP: Principles and Practice of Parallel Programming, PPoPP, vol. 53, 14–27.
View | DOI | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 407
Kubiasová K, Mik V, Nisler J, Hönig M, Husičková A, Spíchal L, Pěkná Z, Šamajová O, Doležal K, Plíhal O, Benková E, Strnad M, Plíhalová L. 2018. Design, synthesis and perception of fluorescently labeled isoprenoid cytokinins. Phytochemistry. 150, 1–11.
View | DOI | WoS
 

Filters and Search Terms

isbn%3D978-303030805-6

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed