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.
5915 Publications
2020 | Published | Conference Paper | IST-REx-ID: 7992 | 
Patakova, Zuzana, Martin Tancer, and Uli Wagner. “Barycentric Cuts through a Convex Body.” In 36th International Symposium on Computational Geometry, Vol. 164. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. https://doi.org/10.4230/LIPIcs.SoCG.2020.62.
[Published Version]
View
| Files available
| DOI
| arXiv
2020 | Published | Conference Paper | IST-REx-ID: 7955 |
Ashok, Pranav, Krishnendu Chatterjee, Jan Kretinsky, Maximilian Weininger, and Tobias Winkler. “Approximating Values of Generalized-Reachability Stochastic Games.” In Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science , 102–15. Association for Computing Machinery, 2020. https://doi.org/10.1145/3373718.3394761.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 | Published | Conference Paper | IST-REx-ID: 7994 |
Arroyo Guevara, Alan M, Julien Bensmail, and R. Bruce Richter. “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. https://doi.org/10.4230/LIPIcs.SoCG.2020.9.
[Published Version]
View
| Files available
| DOI
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 7995 |
Perini, Samuel, Marina Rafajlović, Anja M Westram, Kerstin Johannesson, and Roger K. Butlin. “Assortative Mating, Sexual Selection, and Their Consequences for Gene Flow in Littorina.” Evolution. Wiley, 2020. https://doi.org/10.1111/evo.14027.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Research Data Reference | IST-REx-ID: 8809 |
Perini, Samuel, Marina Rafajlovic, Anja M Westram, Kerstin Johannesson, and Roger Butlin. “Data from: Assortative Mating, Sexual Selection and Their Consequences for Gene Flow in Littorina.” Dryad, 2020. https://doi.org/10.5061/dryad.qrfj6q5cn.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2020 | Published | Journal Article | IST-REx-ID: 8091 |
Seiringer, Robert, and Jakob Yngvason. “Emergence of Haldane Pseudo-Potentials in Systems with Short-Range Interactions.” Journal of Statistical Physics. Springer, 2020. https://doi.org/10.1007/s10955-020-02586-0.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 8040
Gupta, Chitrak, Umesh Khaniya, Chun Kit Chan, Francois Dehez, Mrinal Shekhar, M. R. Gunner, Leonid A Sazanov, Christophe Chipot, and Abhishek Singharoy. “Charge Transfer and Chemo-Mechanical Coupling in Respiratory Complex I.” Journal of the American Chemical Society. American Chemical Society, 2020. https://doi.org/10.1021/jacs.9b13450.
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Journal Article | IST-REx-ID: 8043 |
Paranjape, Chaitanya S, Yohann Duguet, and Björn Hof. “Oblique Stripe Solutions of Channel Flow.” Journal of Fluid Mechanics. Cambridge University Press, 2020. https://doi.org/10.1017/jfm.2020.322.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Research Data Reference | IST-REx-ID: 9326
Gupta, Chitrak, Umesh Khaniya, Chun Chan, Francois Dehez, Mrinal Shekhar, M. R. Gunner, Leonid A Sazanov, Christophe Chipot, and Abhishek Singharoy. “Charge Transfer and Chemo-Mechanical Coupling in Respiratory Complex I.” American Chemical Society, 2020. https://doi.org/10.1021/jacs.9b13450.s002.
[Published Version]
View
| Files available
| DOI
2020 | Published | Journal Article | IST-REx-ID: 8042 |
Boccato, Chiara, Christian Brennecke, Serena Cenatiempo, and Benjamin Schlein. “The Excitation Spectrum of Bose Gases Interacting through Singular Potentials.” Journal of the European Mathematical Society. European Mathematical Society, 2020. https://doi.org/10.4171/JEMS/966.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Research Data Reference | IST-REx-ID: 9713
Gupta, Chitrak, Umesh Khaniya, Chun Kit Chan, Francois Dehez, Mrinal Shekhar, M.R. Gunner, Leonid A Sazanov, Christophe Chipot, and Abhishek Singharoy. “Supporting Information.” American Chemical Society , 2020. https://doi.org/10.1021/jacs.9b13450.s001.
[Published Version]
View
| Files available
| DOI
2020 | Research Data Reference | IST-REx-ID: 9878
Gupta, Chitrak, Umesh Khaniya, Chun Kit Chan, Francois Dehez, Mrinal Shekhar, M.R. Gunner, Leonid A Sazanov, Christophe Chipot, and Abhishek Singharoy. “Movies.” American Chemical Society, 2020. https://doi.org/10.1021/jacs.9b13450.s002.
[Published Version]
View
| Files available
| DOI
2020 | Published | Thesis | IST-REx-ID: 8390 |
Royer, Amélie. “Leveraging Structure in Computer Vision Tasks for Flexible Deep Learning Models.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:8390.
[Published Version]
View
| Files available
| DOI
2020 | Published | Conference Paper | IST-REx-ID: 8135 |
Edelsbrunner, Herbert, Anton Nikitenko, Katharina Ölsböck, and Peter Synak. “Radius Functions on Poisson–Delaunay Mosaics and Related Complexes Experimentally.” In Topological Data Analysis, 15:181–218. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-43408-3_8.
[Submitted Version]
View
| Files available
| DOI
2020 | Published | Conference Paper | IST-REx-ID: 8193
Chatterjee, Krishnendu, Martin Chmelik, Deep Karkhanis, Petr Novotný, and Amélie Royer. “Multiple-Environment Markov Decision Processes: Efficient Analysis and Applications.” In Proceedings of the 30th International Conference on Automated Planning and Scheduling, 30:48–56. Association for the Advancement of Artificial Intelligence, 2020.
View
| Files available
2020 | Published | Journal Article | IST-REx-ID: 8134 |
Mayer, Simon, and Robert Seiringer. “The Free Energy of the Two-Dimensional Dilute Bose Gas. II. Upper Bound.” Journal of Mathematical Physics. AIP Publishing, 2020. https://doi.org/10.1063/5.0005950.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Conference Paper | IST-REx-ID: 15077 |
Alistarh, Dan-Adrian, Giorgi Nadiradze, and Amirmojtaba Sabour. “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. https://doi.org/10.4230/LIPIcs.ICALP.2020.7.
[Published Version]
View
| Files available
| DOI
| arXiv
2020 | Published | Conference Paper | IST-REx-ID: 8287 |
Bogomolov, Sergiy, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, and Christian Schilling. “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, Sergiy, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, and Christian Schilling. “Reachability Analysis of Linear Hybrid Systems via Block Decomposition.” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. IEEE, 2020. https://doi.org/10.1109/TCAD.2020.3012859.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 8268 |
Gurel, Nezihe Merve, Kaan Kara, Alen Stojanov, Tyler Smith, Thomas Lemmin, Dan-Adrian Alistarh, Markus Puschel, and Ce Zhang. “Compressive Sensing Using Iterative Hard Thresholding with Low Precision Data Representation: Theory and Applications.” IEEE Transactions on Signal Processing. IEEE, 2020. https://doi.org/10.1109/TSP.2020.3010355.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv