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.
9087 Publications
2018 | Journal Article | IST-REx-ID: 283 | 
Ceinos RM, Frigato E, Pagano C, et al. Mutations in blind cavefish target the light regulated circadian clock gene period 2. Scientific Reports. 2018;8(1). doi:10.1038/s41598-018-27080-2
[Published Version]
View
| Files available
| DOI
| WoS
2018 | Conference Paper | IST-REx-ID: 81 |
Elgyütt A, Ferrere T, Henzinger TA. Monitoring temporal logic with clock variables. In: Vol 11022. Springer; 2018:53-70. doi:10.1007/978-3-030-00151-3_4
[Submitted Version]
View
| Files available
| DOI
| WoS
2018 | Journal Article | IST-REx-ID: 76 |
Lenzen C, Rybicki J. Near-optimal self-stabilising counting and firing squads. Distributed Computing. 2018. doi:10.1007/s00446-018-0342-6
[Published Version]
View
| Files available
| DOI
| WoS
2018 | Journal Article | IST-REx-ID: 547
Gstrein T, Edwards A, Přistoupilová A, Leca I, Breuss M, Pilat Carotta S, Hansen AH, Tripathy R, Traunbauer A, Hochstoeger T, Rosoklija G, Repic M, Landler L, Stránecký V, Dürnberger G, Keane T, Zuber J, Adams D, Flint J, Honzik T, Gut M, Beltran S, Mechtler K, Sherr E, Kmoch S, Gut I, Keays D. 2018. Mutations in Vps15 perturb neuronal migration in mice and are associated with neurodevelopmental disease in humans. Nature Neuroscience. 21(2), 207–217.
View
| DOI
| WoS
2018 | Journal Article | IST-REx-ID: 530 |
Edelsbrunner H, Iglesias Ham M. Multiple covers with balls I: Inclusion–exclusion. Computational Geometry: Theory and Applications. 2018;68:119-133. doi:10.1016/j.comgeo.2017.06.014
[Preprint]
View
| Files available
| DOI
| WoS