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.
114 Publications
2020 | Thesis | IST-REx-ID: 8958 |

Rotation of coupled cold molecules in the presence of a many-body environment
X. Li, Rotation of Coupled Cold Molecules in the Presence of a Many-Body Environment, IST Austria, 2020.
View
| Files available
| DOI
X. Li, Rotation of Coupled Cold Molecules in the Presence of a Many-Body Environment, IST Austria, 2020.
2020 | Thesis | IST-REx-ID: 7460 |

The hole system of triangulated shapes
K. Ölsböck, The Hole System of Triangulated Shapes, IST Austria, 2020.
View
| Files available
| DOI
K. Ölsböck, The Hole System of Triangulated Shapes, IST Austria, 2020.
2020 | Thesis | IST-REx-ID: 7525
Localization and functional role of Cav2.3 in the medial habenula to interpeduncular nucleus pathway
P. Bhandari, Localization and Functional Role of Cav2.3 in the Medial Habenula to Interpeduncular Nucleus Pathway, IST Austria, 2020.
View
| Files available
| DOI
P. Bhandari, Localization and Functional Role of Cav2.3 in the Medial Habenula to Interpeduncular Nucleus Pathway, IST Austria, 2020.
2020 | Thesis | IST-REx-ID: 7514 |

The free energy of a dilute two-dimensional Bose gas
S. Mayer, The Free Energy of a Dilute Two-Dimensional Bose Gas, IST Austria, 2020.
View
| Files available
| DOI
S. Mayer, The Free Energy of a Dilute Two-Dimensional Bose Gas, IST Austria, 2020.
2020 | Thesis | IST-REx-ID: 7629 |

Gradient flows in spaces of probability measures for finite-volume schemes, metric graphs and non-reversible Markov chains
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
D.L. Forkert, Gradient Flows in Spaces of Probability Measures for Finite-Volume Schemes, Metric Graphs and Non-Reversible Markov Chains, IST Austria, 2020.
2020 | Thesis | IST-REx-ID: 7896 |

On the average-case hardness of total search problems
C. Kamath Hosdurg, On the Average-Case Hardness of Total Search Problems, IST Austria, 2020.
View
| Files available
| DOI
C. Kamath Hosdurg, On the Average-Case Hardness of Total Search Problems, IST Austria, 2020.
2020 | Thesis | IST-REx-ID: 7902
Genetic dissection of neural development in health and disease at single cell resolution
X. Contreras, Genetic Dissection of Neural Development in Health and Disease at Single Cell Resolution, IST Austria, 2020.
View
| Files available
| DOI
X. Contreras, Genetic Dissection of Neural Development in Health and Disease at Single Cell Resolution, IST Austria, 2020.
2020 | Thesis | IST-REx-ID: 8155 |

Gene regulation across scales – how biophysical constraints shape evolution
R. Grah, Gene Regulation across Scales – How Biophysical Constraints Shape Evolution, IST Austria, 2020.
View
| Files available
| DOI
R. Grah, Gene Regulation across Scales – How Biophysical Constraints Shape Evolution, IST Austria, 2020.
2020 | Thesis | IST-REx-ID: 8332 |

Verifying concurrent programs: Refinement, synchronization, sequentialization
B. Kragl, Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization, IST Austria, 2020.
View
| Files available
| DOI
B. Kragl, Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization, IST Austria, 2020.
2020 | Thesis | IST-REx-ID: 8341
In vitro reconstitution of a Rab activation switch
U. Bezeljak, In Vitro Reconstitution of a Rab Activation Switch, IST Austria, 2020.
View
| Files available
| DOI
U. Bezeljak, In Vitro Reconstitution of a Rab Activation Switch, IST Austria, 2020.