Please note that we no longer support Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

IST Austria Research Explorer is the new institutional repository at IST Austria which combines the former IST PubRep, IST PubList and IST DataRep within one repository.


Latest Publications

2020 | Conference Paper | IST-REx-ID: 7955   OA Ashok, Pranav, Approximating values of generalized-reachability stochastic games. Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (). , 2020
2020 | Journal Article | IST-REx-ID: 8042   OA Boccato, Chiara, The excitation spectrum of Bose gases interacting through singular potentials. Journal of the European Mathematical Society 22 (7). , 2020
2020 | Technical Report | IST-REx-ID: 8067   OA Varzi, Alberto, Current status and future perspectives of Lithium metal batteries. (). , 2020

Any Questions? Ask Your