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. 2020. Bounding radon number via Betti numbers. 36th International Symposium on Computational Geometry. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 164, 61:1-61:13.
[Published Version]
View
| Files available
| DOI
| arXiv
2020 | Published | Conference Paper | IST-REx-ID: 7992 |
Patakova Z, Tancer M, Wagner U. 2020. Barycentric cuts through a convex body. 36th International Symposium on Computational Geometry. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 164, 62:1-62:16.
[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. 2020. Approximating values of generalized-reachability stochastic games. Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science . LICS: Logic in Computer Science, 102–115.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 | Published | Conference Paper | IST-REx-ID: 7994 |
Arroyo Guevara AM, Bensmail J, Bruce Richter R. 2020. Extending drawings of graphs to arrangements of pseudolines. 36th International Symposium on Computational Geometry. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 164, 9:1-9:14.
[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. 2020. Assortative mating, sexual selection, and their consequences for gene flow in Littorina. Evolution. 74(7), 1482–1497.
[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. 2020. Data from: Assortative mating, sexual selection and their consequences for gene flow in Littorina, Dryad, 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. 2020. Emergence of Haldane pseudo-potentials in systems with short-range interactions. Journal of Statistical Physics. 181, 448–464.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 8040
Gupta C, Khaniya U, Chan CK, Dehez F, Shekhar M, Gunner MR, Sazanov LA, Chipot C, Singharoy A. 2020. Charge transfer and chemo-mechanical coupling in respiratory complex I. Journal of the American Chemical Society. 142(20), 9220–9230.
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Journal Article | IST-REx-ID: 8043 |
Paranjape CS, Duguet Y, Hof B. 2020. Oblique stripe solutions of channel flow. Journal of Fluid Mechanics. 897, A7.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Research Data Reference | IST-REx-ID: 9326
Gupta C, Khaniya U, Chan C, Dehez F, Shekhar M, Gunner MR, Sazanov LA, Chipot C, Singharoy A. 2020. Charge transfer and chemo-mechanical coupling in respiratory complex I, American Chemical Society, 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. 2020. The excitation spectrum of Bose gases interacting through singular potentials. Journal of the European Mathematical Society. 22(7), 2331–2403.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Research Data Reference | IST-REx-ID: 9713
Gupta C, Khaniya U, Chan CK, Dehez F, Shekhar M, Gunner MR, Sazanov LA, Chipot C, Singharoy A. 2020. Supporting information, American Chemical Society , 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, Dehez F, Shekhar M, Gunner MR, Sazanov LA, Chipot C, Singharoy A. 2020. Movies, American Chemical Society, 10.1021/jacs.9b13450.s002.
[Published Version]
View
| Files available
| DOI
2020 | Published | Thesis | IST-REx-ID: 8390 |
Royer A. 2020. Leveraging structure in Computer Vision tasks for flexible Deep Learning models. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2020 | Published | Conference Paper | IST-REx-ID: 8135 |
Edelsbrunner H, Nikitenko A, Ölsböck K, Synak P. 2020. Radius functions on Poisson–Delaunay mosaics and related complexes experimentally. Topological Data Analysis. , Abel Symposia, vol. 15, 181–218.
[Submitted Version]
View
| Files available
| DOI
2020 | Published | Conference Paper | IST-REx-ID: 8193
Chatterjee K, Chmelik M, Karkhanis D, Novotný P, Royer A. 2020. Multiple-environment Markov decision processes: Efficient analysis and applications. Proceedings of the 30th International Conference on Automated Planning and Scheduling. ICAPS: International Conference on Automated Planning and Scheduling vol. 30, 48–56.
View
| Files available
2020 | Published | Journal Article | IST-REx-ID: 8134 |
Mayer S, Seiringer R. 2020. The free energy of the two-dimensional dilute Bose gas. II. Upper bound. Journal of Mathematical Physics. 61(6), 061901.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Conference Paper | IST-REx-ID: 15077 |
Alistarh D-A, Nadiradze G, Sabour A. 2020. Dynamic averaging load balancing on cycles. 47th International Colloquium on Automata, Languages, and Programming. ICALP: Automata, Languages and Programming, LIPIcs, vol. 168, 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. 2020. Reachability analysis of linear hybrid systems via block decomposition. Proceedings of the International Conference on Embedded Software. EMSOFT: Embedded Software.
[Preprint]
View
| Files available
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 8790 |
Bogomolov S, Forets M, Frehse G, Potomkin K, Schilling C. 2020. Reachability analysis of linear hybrid systems via block decomposition. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 39(11), 4018–4029.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv