en
2019 | Journal Article | IST-REx-ID: 405
Virosztek, Daniel, Jointly convex quantum Jensen divergences. Linear Algebra and Its Applications 576 (). , 2019
2019 | Conference Paper | IST-REx-ID: 6780
Huang, Mingzhang, Modular verification for almost-sure termination of probabilistic programs. Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications (). , 2019
2019 | Journal Article | IST-REx-ID: 6521
Maes, Margaret E, Targeting microglia with lentivirus and AAV: Recent advances and remaining challenges. Neuroscience Letters 707 (). , 2019
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
2019 | Journal Article | IST-REx-ID: 405
Virosztek, Daniel, Jointly convex quantum Jensen divergences. Linear Algebra and Its Applications 576 (). , 2019
2019 | Conference Paper | IST-REx-ID: 6780
Huang, Mingzhang, Modular verification for almost-sure termination of probabilistic programs. Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications (). , 2019
2019 | Journal Article | IST-REx-ID: 6521
Maes, Margaret E, Targeting microglia with lentivirus and AAV: Recent advances and remaining challenges. Neuroscience Letters 707 (). , 2019
