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.
702 Publications
2020 | Published | Conference Paper | IST-REx-ID: 7989 | 
Patakova Z. Bounding radon number via Betti numbers. In: 36th International Symposium on Computational Geometry. Vol 164. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020. doi:10.4230/LIPIcs.SoCG.2020.61
[Published Version]
View
| Files available
| DOI
| arXiv
2020 | Published | Conference Paper | IST-REx-ID: 7992 |
Patakova Z, Tancer M, Wagner U. Barycentric cuts through a convex body. In: 36th International Symposium on Computational Geometry. Vol 164. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020. doi:10.4230/LIPIcs.SoCG.2020.62
[Published Version]
View
| Files available
| DOI
| arXiv
2020 | Published | Conference Paper | IST-REx-ID: 7955 |
Ashok P, Chatterjee K, Kretinsky J, Weininger M, Winkler T. Approximating values of generalized-reachability stochastic games. In: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science . Association for Computing Machinery; 2020:102-115. doi:10.1145/3373718.3394761
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 | Published | Conference Paper | IST-REx-ID: 7994 |
Arroyo Guevara AM, Bensmail J, Bruce Richter R. Extending drawings of graphs to arrangements of pseudolines. In: 36th International Symposium on Computational Geometry. Vol 164. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020. doi:10.4230/LIPIcs.SoCG.2020.9
[Published Version]
View
| Files available
| DOI
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 7995 |
Perini S, Rafajlović M, Westram AM, Johannesson K, Butlin RK. Assortative mating, sexual selection, and their consequences for gene flow in Littorina. Evolution. 2020;74(7):1482-1497. doi:10.1111/evo.14027
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Research Data Reference | IST-REx-ID: 8809 |
Perini S, Rafajlovic M, Westram AM, Johannesson K, Butlin R. Data from: Assortative mating, sexual selection and their consequences for gene flow in Littorina. 2020. doi:10.5061/dryad.qrfj6q5cn
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2020 | Published | Journal Article | IST-REx-ID: 8091 |
Seiringer R, Yngvason J. Emergence of Haldane pseudo-potentials in systems with short-range interactions. Journal of Statistical Physics. 2020;181:448-464. doi:10.1007/s10955-020-02586-0
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 8040
Gupta C, Khaniya U, Chan CK, et al. Charge transfer and chemo-mechanical coupling in respiratory complex I. Journal of the American Chemical Society. 2020;142(20):9220-9230. doi:10.1021/jacs.9b13450
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Journal Article | IST-REx-ID: 8043 |
Paranjape CS, Duguet Y, Hof B. Oblique stripe solutions of channel flow. Journal of Fluid Mechanics. 2020;897. doi:10.1017/jfm.2020.322
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Research Data Reference | IST-REx-ID: 9326
Gupta C, Khaniya U, Chan C, et al. Charge transfer and chemo-mechanical coupling in respiratory complex I. 2020. doi:10.1021/jacs.9b13450.s002
[Published Version]
View
| Files available
| DOI
2020 | Published | Journal Article | IST-REx-ID: 8042 |
Boccato C, Brennecke C, Cenatiempo S, Schlein B. The excitation spectrum of Bose gases interacting through singular potentials. Journal of the European Mathematical Society. 2020;22(7):2331-2403. doi:10.4171/JEMS/966
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Research Data Reference | IST-REx-ID: 9713
Gupta C, Khaniya U, Chan CK, et al. Supporting information. 2020. doi:10.1021/jacs.9b13450.s001
[Published Version]
View
| Files available
| DOI
2020 | Research Data Reference | IST-REx-ID: 9878
Gupta C, Khaniya U, Chan CK, et al. Movies. 2020. doi:10.1021/jacs.9b13450.s002
[Published Version]
View
| Files available
| DOI
2020 | Published | Thesis | IST-REx-ID: 8390 |
Royer A. Leveraging structure in Computer Vision tasks for flexible Deep Learning models. 2020. doi:10.15479/AT:ISTA:8390
[Published Version]
View
| Files available
| DOI
2020 | Published | Conference Paper | IST-REx-ID: 8135 |
Edelsbrunner H, Nikitenko A, Ölsböck K, Synak P. Radius functions on Poisson–Delaunay mosaics and related complexes experimentally. In: Topological Data Analysis. Vol 15. Springer Nature; 2020:181-218. doi:10.1007/978-3-030-43408-3_8
[Submitted Version]
View
| Files available
| DOI
2020 | Published | Conference Paper | IST-REx-ID: 8193
Chatterjee K, Chmelik M, Karkhanis D, Novotný P, Royer A. Multiple-environment Markov decision processes: Efficient analysis and applications. In: Proceedings of the 30th International Conference on Automated Planning and Scheduling. Vol 30. Association for the Advancement of Artificial Intelligence; 2020:48-56.
View
| Files available
2020 | Published | Journal Article | IST-REx-ID: 8134 |
Mayer S, Seiringer R. The free energy of the two-dimensional dilute Bose gas. II. Upper bound. Journal of Mathematical Physics. 2020;61(6). doi:10.1063/5.0005950
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Conference Paper | IST-REx-ID: 15077 |
Alistarh D-A, Nadiradze G, Sabour A. Dynamic averaging load balancing on cycles. In: 47th International Colloquium on Automata, Languages, and Programming. Vol 168. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020. doi:10.4230/LIPIcs.ICALP.2020.7
[Published Version]
View
| Files available
| DOI
| arXiv
2020 | Published | Conference Paper | IST-REx-ID: 8287 |
Bogomolov S, Forets M, Frehse G, Potomkin K, Schilling C. Reachability analysis of linear hybrid systems via block decomposition. In: Proceedings of the International Conference on Embedded Software. ; 2020.
[Preprint]
View
| Files available
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 8790 |
Bogomolov S, Forets M, Frehse G, Potomkin K, Schilling C. Reachability analysis of linear hybrid systems via block decomposition. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 2020;39(11):4018-4029. doi:10.1109/TCAD.2020.3012859
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv