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


2021 | Thesis | IST-REx-ID: 8934
A. K. Goharshady, “Parameterized and algebro-geometric advances in static program analysis,” IST Austria, 2021.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 7196 | OA
J. Tkadlec, “A role of graphs in evolutionary processes,” 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: 7944 | OA
Z. Masárová, “Reconfiguration problems,” IST Austria, 2020.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8032 | OA
K. Huszár, “Combinatorial width parameters for 3-dimensional manifolds,” IST Austria, 2020.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8156 | OA
S. Avvakumov, “Topological methods in geometry and discrete mathematics,” IST Austria, 2020.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8353
J. Steiner, “Biochemical and structural investigation of the Mrp antiporter, an ancestor of complex I,” IST Austria, 2020.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8350
S. Shamipour, “Bulk actin dynamics drive phase segregation in zebrafish oocytes ,” IST Austria, 2020.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8574 | OA
E. Szep, “Local adaptation in metapopulations,” 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
 

2020 | Thesis | IST-REx-ID: 8958 | OA
X. Li, “Rotation of coupled cold molecules in the presence of a many-body environment,” IST Austria, 2020.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 7460 | OA
K. Ölsböck, “The hole system of triangulated shapes,” IST Austria, 2020.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 7525
P. Bhandari, “Localization and functional role of Cav2.3 in the medial habenula to interpeduncular nucleus pathway,” IST Austria, 2020.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 7514 | OA
S. Mayer, “The free energy of a dilute two-dimensional Bose gas,” IST Austria, 2020.
View | Files available | DOI
 

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: 7896 | OA
C. Kamath Hosdurg, “On the average-case hardness of total search problems,” IST Austria, 2020.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 7902
X. Contreras, “Genetic dissection of neural development in health and disease at single cell resolution,” IST Austria, 2020.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8155 | OA
R. Grah, “Gene regulation across scales – how biophysical constraints shape evolution,” 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: 8340
D. Kampjut, “Molecular mechanisms of mitochondrial redox-coupled proton pumping enzymes,” IST Austria, 2020.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8358 | OA
P. R. Dos Santos Caldas, “Organization and dynamics of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinkers,” IST Austria, 2020.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8386 | OA
R. Zhang, “Structure-aware computational design and its application to 3D printable volume scattering, mechanism, and multistability,” IST Austria, 2020.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 7996 | OA
J. Kukucka, “Implementation of a hole spin qubit in Ge hut wires and dispersive spin sensing,” IST Austria, 2020.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8589
H. Han, “Novel insights into PIN polarity regulation during Arabidopsis development,” IST Austria, 2020.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8620
J. Morandell, “Illuminating the role of Cul3 in autism spectrum disorder pathogenesis,” IST Austria, 2020.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8653
I. Tomanek, “The evolution of gene expression by copy number and point mutations,” IST Austria, 2020.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8657
B. Kavcic, “Perturbations of protein synthesis: from antibiotics to genetics and physiology,” IST Austria, 2020.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8822
J. Hajny, “Identification and characterization of the molecular machinery of auxin-dependent canalization during vasculature formation and regeneration,” IST Austria, 2020.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8390 | OA
A. Royer, “Leveraging structure in Computer Vision tasks for flexible Deep Learning models,” IST Austria, 2020.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8983
S. Emtenani, “Metabolic regulation of Drosophila macrophage tissue invasion,” IST Austria, 2020.
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 7258 | OA
D. Scarselli, “New approaches to reduce friction in turbulent pipe flow,” IST Austria, 2020.
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6179 | OA
D. J. Schröder, “From Dyson to Pearcey: Universal statistics in random matrix theory,” IST Austria, 2019.
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6269 | OA
M. Narasimhan, “Clathrin-Mediated endocytosis, post-endocytic trafficking and their regulatory controls in plants ,” IST Austria, 2019.
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6363 | OA
C. M. Espinoza Martinez, “Parvalbumin+ interneurons enable efficient pattern separation in hippocampal microcircuits,” IST Austria, 2019.
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6435 | OA
B. E. Casillas Perez, “Collective defenses of garden ants against a fungal pathogen,” IST Austria, 2019.
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6546 | OA
K. Valosková, “The role of a highly conserved major facilitator superfamily member in Drosophila embryonic macrophage migration,” IST Austria, 2019.
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6371 | OA
C. Igler, “On the nature of gene regulatory design - The biophysics of transcription factor binding shapes gene regulation,” IST Austria, 2019.
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6681 | OA
S. Y. Zhechev, “Algorithmic aspects of homotopy theory and embeddability,” IST Austria, 2019.
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6894 | OA
M. Giacobbe, “Automatic time-unbounded reachability analysis of hybrid systems,” IST Austria, 2019.
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6473 | OA
S. A. Cepeda Humerez, “Estimating information flow in single cells,” IST Austria, 2019.
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6957 | OA
C. S. Paranjape, “Onset of turbulence in plane Poiseuille flow,” IST Austria, 2019.
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 7132 | OA
C. Mckenzie, “Design and characterization of methods and biological components to realize synthetic neurotransmission,” IST Austria, 2019.
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 7172 | OA
M. K. Vasileva, “Molecular mechanisms of endomembrane trafficking in Arabidopsis thaliana,” IST Austria, 2019.
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 7186 | OA
C. Schwayer, “Mechanosensation of tight junctions depends on ZO-1 phase separation and flow,” IST Austria, 2019.
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6071 | OA
R. Prizak, “Coevolution of transcription factors and their binding sites in sequence space,” IST Austria, 2019.
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6891 | OA
A. Kopf, “The implication of cytoskeletal dynamics on leukocyte migration,” IST Austria, 2019.
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6947 | OA
F. P. Assen, “Lymph node mechanics: Deciphering the interplay between stroma contractility, morphology and lymphocyte trafficking,” IST Austria, 2019.
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6849 | OA
D. K. Rangel Guerrero, “The role of CCK-interneurons in regulating hippocampal network dynamics,” IST Austria, 2019.
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6825 | OA
K. Käfer, “The hippocampus and medial prefrontal cortex during flexible behavior,” IST Austria, 2019.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 10 | OA
S. Laukoter, “Role of genomic imprinting in cerebral cortex development,” IST Austria, 2018.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 197 | OA
A. Kolesnikov, “Weakly-Supervised Segmentation and Unsupervised Modeling of Natural Images,” IST Austria, 2018.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 201 | OA
M. Iglesias Ham, “Multiple covers with balls,” IST Austria, 2018.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 323 | OA
A. F. Leithner, “Branched actin networks in dendritic cell biology,” IST Austria, 2018.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 395 | OA
D.-C. Tarlungeanu, “The branched chain amino acids in autism spectrum disorders ,” IST Austria, 2018.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 418 | OA
E. Gschaider-Reichhart, “Optical and optogenetic control of proliferation and survival ,” IST Austria, 2018.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 48 | OA
I. Gridchyn, “Reactivation content is important for consolidation of spatial memory,” IST Austria, 2018.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 49 | OA
H. Watzinger, “Ge hut wires - from growth to hole spin resonance,” IST Austria, 2018.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 278 | OA
M. Villányi, “Lizenzverträge mit Open-Access-Komponenten an österreichischen Bibliotheken,” Universität Wien, 2018.
View | Files available | Download Published Version (ext.)
 

2018 | Thesis | IST-REx-ID: 200 | OA
H. Ringbauer, “Inferring recent demography from spatial genetic structure,” IST Austria, 2018.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 149 | OA
J. Alt, “Dyson equation and eigenvalue statistics of random matrices,” IST Austria, 2018.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 50 | OA
D. Capek, “Optogenetic Frizzled 7 reveals a permissive function of Wnt/PCP signaling in directed mesenchymal cell migration,” IST Austria, 2018.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 68 | OA
A. Zimin, “Learning from dependent data,” IST Austria, 2018.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 51 | OA
M. J. Case, “From the left to the right: A tale of asymmetries, environments, and hippocampal development,” IST Austria, 2018.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 69 | OA
L. Vukušić, “Charge sensing and spin relaxation times of holes in Ge hut wires,” IST Austria, 2018.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 6263 | OA
M. Lukacisinova, “Genetic determinants of antibiotic resistance evolution,” IST Austria, 2018.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 26 | OA
M. Steinrück, “The influence of sequence context on the evolution of bacterial gene expression,” IST Austria, 2018.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 6266 | OA
C. Mckenzie, “Design and characterization of methods and biological components to realize synthetic neurotransmission ,” IST Austria, 2018.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 83 | OA
H. M. Abusalah, “Proof systems for sustainable decentralized cryptocurrencies,” IST Austria, 2018.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 9 | OA
V. Belyaeva, “Transcriptional regulation of macrophage migration in the Drosophila melanogaster embryo ,” IST Austria, 2018.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 52 | OA
T. Moser, “Point interactions in systems of fermions,” IST Austria, 2018.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 324 | OA
C. Chen, “Synaptotagmins ensure speed and efficiency of inhibitory neurotransmitter release,” IST Austria, 2018.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 539 | OA
A. Hurny, “Identification and characterization of novel auxin-cytokinin cross-talk components,” IST Austria, 2018.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 1155 | OA
P. Daca, “Statistical and logical methods for property checking,” IST Austria, 2017.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 1127
T. Prat, “Identification of novel regulators of PIN polarity and development of novel auxin sensor,” IST Austria, 2017.
View | Files available
 

2017 | Thesis | IST-REx-ID: 202 | OA
M. Pleska, “Biology of restriction-modification systems at the single-cell and population level,” IST Austria, 2017.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 6291
P. Payne, “Bacterial herd and social immunity to phages,” IST Austria, 2017.
View | Files available
 

2017 | Thesis | IST-REx-ID: 818 | OA
K. Mitosch, “Timing, variability and cross-protection in bacteria – insights from dynamic gene expression responses to antibiotics,” IST Austria, 2017.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 821 | OA
A. Pavlogiannis, “Algorithmic advances in program analysis and their applications,” IST Austria, 2017.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 838 | OA
M. Rybar, “(The exact security of) Message authentication codes,” IST Austria, 2017.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 837 | OA
H. Xu, “Reactivation of the hippocampal cognitive map in goal-directed spatial tasks,” IST Austria, 2017.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 992 | OA
M. Rolinek, “Complexity of constraint satisfaction,” IST Austria, 2017.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 961 | OA
V. Barone, “Cell adhesion and cell fate: An effective feedback loop during zebrafish gastrulation,” IST Austria, 2017.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 820 | OA
F. Jesse, “The lac operon in the wild,” IST Austria, 2017.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 819 | OA
C. Pull, “Disease defence in garden ants,” IST Austria, 2017.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 839 | OA
D. Hahn, “Brittle fracture simulation with boundary elements for computer graphics,” IST Austria, 2017.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 6287 | OA
A. Nikitenko, “Discrete Morse theory for random complexes ,” IST Austria, 2017.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 938 | OA
M. Adamowski, “Investigations into cell polarity and trafficking in the plant model Arabidopsis thaliana ,” IST Austria, 2017.
View | Files available | DOI
 

2016 | Thesis | IST-REx-ID: 1126 | OA
A. Pentina, “Theoretical foundations of multi-task lifelong learning,” IST Austria, 2016.
View | Files available | DOI
 

2016 | Thesis | IST-REx-ID: 1121
H. Acar, “Selective barriers to horizontal gene transfer,” IST Austria, 2016.
View | Files available | Download None (ext.)
 

2016 | Thesis | IST-REx-ID: 1124
M. Morri, “Optical functionalization of human class A orphan G-protein coupled receptors,” IST Austria, 2016.
View | Files available
 

2016 | Thesis | IST-REx-ID: 1128 | OA
G. Rieckh, “Studying the complexities of transcriptional regulation,” IST Austria, 2016.
View | Files available
 

2016 | Thesis | IST-REx-ID: 1129
J. Schwarz, “Quantitative analysis of haptotactic cell migration,” IST Austria, 2016.
View | Files available
 

2016 | Thesis | IST-REx-ID: 1397
M. Chmelik, “Algorithms for partially observable markov decision processes,” IST Austria, 2016.
View
 

2016 | Thesis | IST-REx-ID: 1396
R. K. Mishra, “Synaptic plasticity rules at CA3-CA3 recurrent synapses in hippocampus,” IST Austria, 2016.
View | Files available
 

2016 | Thesis | IST-REx-ID: 1125
S. Novak, “Evolutionary proccesses in variable emvironments,” IST Austria, 2016.
View | Files available
 

2016 | Thesis | IST-REx-ID: 1123
I. Mabillard, “Eliminating higher-multiplicity intersections: an r-fold Whitney trick for the topological Tverberg conjecture,” IST Austria, 2016.
View | Files available
 

2016 | Thesis | IST-REx-ID: 1130
T. Tarrach, “Automatic synthesis of synchronisation primitives for concurrent programs,” IST Austria, 2016.
View | Files available | Download None (ext.)
 

2016 | Thesis | IST-REx-ID: 1398 | OA
T. Ellis, “The role of pollinator-mediated selection in the maintenance of a flower color polymorphism in an Antirrhinum majus hybrid zone,” IST Austria, 2016.
View | Files available | DOI
 

2016 | Thesis | IST-REx-ID: 1131
M. Tugrul, “Evolution of transcriptional regulatory sequences,” IST Austria, 2016.
View | Files available
 

Filters and Search Terms

type=dissertation

extern<>1

Search

Filter Publications