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
2020 | Conference Paper | IST-REx-ID: 7955 | 
Ashok P, Chatterjee K, Kretinsky J, Weininger M, Winkler T. 2020. Approximating values of generalized-reachability stochastic games. Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science . LICS: Symposium on Logic in Computer Science, 102–115.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 | Journal Article | IST-REx-ID: 7957 |
Parenti I, Garcia Rabaneda LE, Schön H, Novarino G. 2020. Neurodevelopmental disorders: From genetics to functional pathways. Trends in Neurosciences. 43(8), 608–621.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 7960 |
Kalai G, Patakova Z. 2020. Intersection patterns of planar sets. Discrete and Computational Geometry. 64, 304–323.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Journal Article | IST-REx-ID: 7962 |
Pach J, Reed B, Yuditsky Y. 2020. Almost all string graphs are intersection graphs of plane convex sets. Discrete and Computational Geometry. 63(4), 888–917.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Journal Article | IST-REx-ID: 13460 |
Götberg YLL, Korol V, Lamberts A, Kupfer T, Breivik K, Ludwig B, Drout MR. 2020. Stars stripped in binaries: The living gravitational-wave sources. The Astrophysical Journal. 904(1), 56.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv