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.
9096 Publications
2018 | Conference Paper | IST-REx-ID: 81 | 
Elgyütt, Adrian, et al. Monitoring Temporal Logic with Clock Variables. Vol. 11022, Springer, 2018, pp. 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, Christoph, and Joel Rybicki. “Near-Optimal Self-Stabilising Counting and Firing Squads.” Distributed Computing, Springer, 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, Herbert, and Mabel Iglesias Ham. “Multiple Covers with Balls I: Inclusion–Exclusion.” Computational Geometry: Theory and Applications, vol. 68, Elsevier, 2018, pp. 119–33, doi:10.1016/j.comgeo.2017.06.014.
[Preprint]
View
| Files available
| DOI
| WoS
2018 | Journal Article | IST-REx-ID: 307 |
Redchenko, Elena, et al. “Nanoscopy of Pairs of Atoms by Fluorescence in a Magnetic Field.” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 97, no. 4, 043812, American Physical Society, 2018, doi:10.1103/PhysRevA.97.043812.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv