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
Forkert, Dominik L. Gradient Flows in Spaces of Probability Measures for Finite-Volume Schemes, Metric Graphs and Non-Reversible Markov Chains. IST Austria, 2020. https://doi.org/10.15479/AT:ISTA:7629.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 7680
Kainrath, Stephanie. Synthetic Tools for Optogenetic and Chemogenetic Inhibition of Cellular Signals. IST Austria, 2020. https://doi.org/10.15479/AT:ISTA:7680.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8332 | OA
Kragl, Bernhard. Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization. IST Austria, 2020. https://doi.org/10.15479/AT:ISTA:8332.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8341
Bezeljak, Urban. In Vitro Reconstitution of a Rab Activation Switch. IST Austria, 2020. https://doi.org/10.15479/AT:ISTA:8341.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8366 | OA
Guseinov, Ruslan. Computational Design of Curved Thin Shells: From Glass Façades to Programmable Matter. IST Austria, 2020. https://doi.org/10.15479/AT:ISTA:8366.
View | Files available | DOI
 

Filters and Search Terms

type=dissertation

Search

Filter Publications