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.
26 Publications
2021 | Thesis | IST-REx-ID: 9056 | 
Osang, Georg F. “Multi-Cover Persistence and Delaunay Mosaics.” IST Austria, 2021. https://doi.org/10.15479/AT:ISTA:9056.
View
| Files available
| DOI
2021 | Thesis | IST-REx-ID: 8934 |
Goharshady, Amir Kafshdar. “Parameterized and Algebro-Geometric Advances in Static Program Analysis.” IST Austria, 2021. https://doi.org/10.15479/AT:ISTA:8934.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8032 |
Huszár, Kristóf. “Combinatorial Width Parameters for 3-Dimensional Manifolds.” IST Austria, 2020. https://doi.org/10.15479/AT:ISTA:8032.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8155 |
Grah, Rok. “Gene Regulation across Scales – How Biophysical Constraints Shape Evolution.” IST Austria, 2020. https://doi.org/10.15479/AT:ISTA:8155.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8332 |
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: 8366 |
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
2020 | Thesis | IST-REx-ID: 8386 |
Zhang, Ran. “Structure-Aware Computational Design and Its Application to 3D Printable Volume Scattering, Mechanism, and Multistability.” IST Austria, 2020. https://doi.org/10.15479/AT:ISTA:8386.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8653
Tomanek, Isabella. “The Evolution of Gene Expression by Copy Number and Point Mutations.” IST Austria, 2020. https://doi.org/10.15479/AT:ISTA:8653.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 7460 |
Ölsböck, Katharina. “The Hole System of Triangulated Shapes.” IST Austria, 2020. https://doi.org/10.15479/AT:ISTA:7460.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 7514 |
Mayer, Simon. “The Free Energy of a Dilute Two-Dimensional Bose Gas.” IST Austria, 2020. https://doi.org/10.15479/AT:ISTA:7514.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 7629 |
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: 8958 |
Li, Xiang. “Rotation of Coupled Cold Molecules in the Presence of a Many-Body Environment.” IST Austria, 2020. https://doi.org/10.15479/AT:ISTA:8958.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 7525 |
Bhandari, Pradeep. “Localization and Functional Role of Cav2.3 in the Medial Habenula to Interpeduncular Nucleus Pathway.” IST Austria, 2020. https://doi.org/10.15479/AT:ISTA:7525.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 7258 |
Scarselli, Davide. “New Approaches to Reduce Friction in Turbulent Pipe Flow.” IST Austria, 2020. https://doi.org/10.15479/AT:ISTA:7258.
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 7186 |
Schwayer, Cornelia. “Mechanosensation of Tight Junctions Depends on ZO-1 Phase Separation and Flow.” IST Austria, 2019. https://doi.org/10.15479/AT:ISTA:7186.
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6473 |
Cepeda Humerez, Sarah A. “Estimating Information Flow in Single Cells.” IST Austria, 2019. https://doi.org/10.15479/AT:ISTA:6473.
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6681 |
Zhechev, Stephan Y. “Algorithmic Aspects of Homotopy Theory and Embeddability.” IST Austria, 2019. https://doi.org/10.15479/AT:ISTA:6681.
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6392 |
Lukacisin, Martin. “Quantitative Investigation of Gene Expression Principles through Combinatorial Drug Perturbation and Theory.” IST Austria, 2019. https://doi.org/10.15479/AT:ISTA:6392.
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6947 |
Assen, Frank P. “Lymph Node Mechanics: Deciphering the Interplay between Stroma Contractility, Morphology and Lymphocyte Trafficking.” IST Austria, 2019. https://doi.org/10.15479/AT:ISTA:6947.
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6849 |
Rangel Guerrero, Dámaris K. “The Role of CCK-Interneurons in Regulating Hippocampal Network Dynamics.” IST Austria, 2019. https://doi.org/10.15479/AT:ISTA:6849.
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6546 |
Valosková, Katarina. “The Role of a Highly Conserved Major Facilitator Superfamily Member in Drosophila Embryonic Macrophage Migration.” IST Austria, 2019. https://doi.org/10.15479/AT:ISTA:6546.
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6371 |
Igler, Claudia. “On the Nature of Gene Regulatory Design - The Biophysics of Transcription Factor Binding Shapes Gene Regulation.” IST Austria, 2019. https://doi.org/10.15479/AT:ISTA:6371.
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6363 |
Espinoza Martinez, Claudia M. “Parvalbumin+ Interneurons Enable Efficient Pattern Separation in Hippocampal Microcircuits.” IST Austria, 2019. https://doi.org/10.15479/AT:ISTA:6363.
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6825 |
Käfer, Karola. “The Hippocampus and Medial Prefrontal Cortex during Flexible Behavior.” IST Austria, 2019. https://doi.org/10.15479/AT:ISTA:6825.
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 7132 |
Mckenzie, Catherine. “Design and Characterization of Methods and Biological Components to Realize Synthetic Neurotransmission.” IST Austria, 2019. https://doi.org/10.15479/at:ista:7132.
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 6266 |
Mckenzie, Catherine. “Design and Characterization of Methods and Biological Components to Realize Synthetic Neurotransmission .” IST Austria, 2018. https://doi.org/10.15479/at:ista:th_1055.
View
| Files available
| DOI