en
2020 | Conference Paper | IST-REx-ID: 7955
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
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
Varzi, Alberto, Current status and future perspectives of Lithium metal batteries. (). , 2020
Any Questions? Ask Your
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.
Read More...
Latest Publications
2020 | Conference Paper | IST-REx-ID: 7955
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
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
Varzi, Alberto, Current status and future perspectives of Lithium metal batteries. (). , 2020
