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