Please note that IST 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.

135 Publications


2020 | Thesis | IST-REx-ID: 7629 | OA
D. L. Forkert, Gradient flows in spaces of probability measures for finite-volume schemes, metric graphs and non-reversible Markov chains. IST Austria, 2020.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 7680
S. Kainrath, Synthetic tools for optogenetic and chemogenetic inhibition of cellular signals. IST Austria, 2020.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8332 | OA
B. Kragl, Verifying concurrent programs: Refinement, synchronization, sequentialization. IST Austria, 2020.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8341
U. Bezeljak, In vitro reconstitution of a Rab activation switch. IST Austria, 2020.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8366 | OA
R. Guseinov, Computational design of curved thin shells: From glass façades to programmable matter. IST Austria, 2020.
View | Files available | DOI
 

Filters and Search Terms

type=dissertation

Search

Filter Publications