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.

202 Publications


2021 | Thesis | IST-REx-ID: 10422 | OA
A. Piankov, “Towards designer materials using customizable particle shape,” Institute of Science and Technology Austria, 2021.
[Published Version] View | Files available | DOI
 

2021 | Thesis | IST-REx-ID: 9418 | OA
M. Phuong, “Underspecification in deep learning,” Institute of Science and Technology Austria, 2021.
[Published Version] View | Files available | DOI
 

2021 | Thesis | IST-REx-ID: 10199 | OA
V. Toman, “Improved verification techniques for concurrent systems,” Institute of Science and Technology Austria, 2021.
[Published Version] View | Files available | DOI
 

2021 | Thesis | IST-REx-ID: 10035 | OA
K. Klein, “On the adaptive security of graph-based games,” Institute of Science and Technology Austria, 2021.
[Published Version] View | Files available | DOI
 

2021 | Thesis | IST-REx-ID: 10429 | OA
G. Nadiradze, “On achieving scalability through relaxation,” Institute of Science and Technology Austria, 2021.
[Published Version] View | Files available | DOI
 

Filters and Search Terms

type=dissertation

extern<>1

Search

Filter Publications