Please note that ISTA 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.
190 Publications
2023 | Thesis | IST-REx-ID: 12470
A versatile toolbox for the comprehensive analysis of nervous tissue organization with light microscopy
J.M. Michalska, A Versatile Toolbox for the Comprehensive Analysis of Nervous Tissue Organization with Light Microscopy, Institute of Science and Technology Austria, 2023.
View
| Files available
| DOI
J.M. Michalska, A Versatile Toolbox for the Comprehensive Analysis of Nervous Tissue Organization with Light Microscopy, Institute of Science and Technology Austria, 2023.
2023 | Thesis | IST-REx-ID: 12531
Panoramic functional gradients across the mouse retina
K. Kirillova, Panoramic Functional Gradients across the Mouse Retina, Institute of Science and Technology Austria, 2023.
View
| Files available
| DOI
K. Kirillova, Panoramic Functional Gradients across the Mouse Retina, Institute of Science and Technology Austria, 2023.
2023 | Thesis | IST-REx-ID: 12491
Ultrastructural characterization of natively preserved extracellular matrix by cryo-electron tomography
B. Zens, Ultrastructural Characterization of Natively Preserved Extracellular Matrix by Cryo-Electron Tomography, Institute of Science and Technology Austria, 2023.
View
| Files available
| DOI
B. Zens, Ultrastructural Characterization of Natively Preserved Extracellular Matrix by Cryo-Electron Tomography, Institute of Science and Technology Austria, 2023.
2023 | Thesis | IST-REx-ID: 12726
Synchronization in collectively moving active matter
M. Riedl, Synchronization in Collectively Moving Active Matter, Institute of Science and Technology Austria, 2023.
View
| Files available
| DOI
M. Riedl, Synchronization in Collectively Moving Active Matter, Institute of Science and Technology Austria, 2023.
2022 | Thesis | IST-REx-ID: 11128 | 
Genetic basis of flower colour as a model for adaptive evolution
L. Matejovicova, Genetic Basis of Flower Colour as a Model for Adaptive Evolution, ISTA, 2022.
View
| Files available
| DOI
L. Matejovicova, Genetic Basis of Flower Colour as a Model for Adaptive Evolution, ISTA, 2022.
2022 | Thesis | IST-REx-ID: 11777 |
High-dimensional expansion and crossing numbers of simplicial complexes
P. Wild, High-Dimensional Expansion and Crossing Numbers of Simplicial Complexes, Institute of Science and Technology (ISTA), 2022.
View
| Files available
| DOI
P. Wild, High-Dimensional Expansion and Crossing Numbers of Simplicial Complexes, Institute of Science and Technology (ISTA), 2022.
2022 | Thesis | IST-REx-ID: 11879
Modulation of auxin transport via ZF proteins adjust plant response to high ambient temperature
C. Artner, Modulation of Auxin Transport via ZF Proteins Adjust Plant Response to High Ambient Temperature, Institute of Science and Technology Austria, 2022.
View
| Files available
| DOI
C. Artner, Modulation of Auxin Transport via ZF Proteins Adjust Plant Response to High Ambient Temperature, Institute of Science and Technology Austria, 2022.
2022 | Thesis | IST-REx-ID: 11945 |
Chimeric G protein-coupled receptors mimic distinct signaling pathways and modulate microglia function
R. Schulz, Chimeric G Protein-Coupled Receptors Mimic Distinct Signaling Pathways and Modulate Microglia Function, Institute of Science and Technology Austria (ISTA), 2022.
View
| Files available
| DOI
R. Schulz, Chimeric G Protein-Coupled Receptors Mimic Distinct Signaling Pathways and Modulate Microglia Function, Institute of Science and Technology Austria (ISTA), 2022.
2022 | Thesis | IST-REx-ID: 12072 |
Existence and density problems in Diophantine geometry: From norm forms to Campana points
A.L. Shute, Existence and Density Problems in Diophantine Geometry: From Norm Forms to Campana Points, Institute of Science and Technology Austria, 2022.
View
| Files available
| DOI
A.L. Shute, Existence and Density Problems in Diophantine Geometry: From Norm Forms to Campana Points, Institute of Science and Technology Austria, 2022.
2022 | Thesis | IST-REx-ID: 12378
MorphOMICs, a tool for mapping microglial morphology, reveals brain region- and sex-dependent phenotypes
G. Colombo, MorphOMICs, a Tool for Mapping Microglial Morphology, Reveals Brain Region- and Sex-Dependent Phenotypes, Institute of Science and Technology Austria, 2022.
View
| Files available
| DOI
G. Colombo, MorphOMICs, a Tool for Mapping Microglial Morphology, Reveals Brain Region- and Sex-Dependent Phenotypes, Institute of Science and Technology Austria, 2022.
2022 | Thesis | IST-REx-ID: 12364
Transcriptional consequences of mutations in genes associated with Autism Spectrum Disorder
C. Dotter, Transcriptional Consequences of Mutations in Genes Associated with Autism Spectrum Disorder, Institute of Science and Technology Austria, 2022.
View
| Files available
| DOI
C. Dotter, Transcriptional Consequences of Mutations in Genes Associated with Autism Spectrum Disorder, Institute of Science and Technology Austria, 2022.
2022 | Thesis | IST-REx-ID: 11193
Transcriptional regulation by Dfos and BMP-signaling support tissue invasion of Drosophila immune cells
S. Wachner, Transcriptional Regulation by Dfos and BMP-Signaling Support Tissue Invasion of Drosophila Immune Cells, ISTA, 2022.
View
| Files available
| DOI
S. Wachner, Transcriptional Regulation by Dfos and BMP-Signaling Support Tissue Invasion of Drosophila Immune Cells, ISTA, 2022.
2022 | Thesis | IST-REx-ID: 11932
On the encoding, transfer, and consolidation of spatial memories
M. Nardin, On the Encoding, Transfer, and Consolidation of Spatial Memories, Institute of Science and Technology Austria (ISTA), 2022.
View
| Files available
| DOI
M. Nardin, On the Encoding, Transfer, and Consolidation of Spatial Memories, Institute of Science and Technology Austria (ISTA), 2022.
2022 | Thesis | IST-REx-ID: 11388
The genetic basis of complex traits studied via analysis of evolve and resequence experiments
S. Belohlavy, The Genetic Basis of Complex Traits Studied via Analysis of Evolve and Resequence Experiments, ISTA, 2022.
View
| Files available
| DOI
S. Belohlavy, The Genetic Basis of Complex Traits Studied via Analysis of Evolve and Resequence Experiments, ISTA, 2022.
2022 | Thesis | IST-REx-ID: 11393
Contextual fear learning induced changes in AMPA receptor subtypes along the proximodistal axis in dorsal hippocampus
M. Jevtic, Contextual Fear Learning Induced Changes in AMPA Receptor Subtypes along the Proximodistal Axis in Dorsal Hippocampus, ISTA, 2022.
View
| Files available
| DOI
M. Jevtic, Contextual Fear Learning Induced Changes in AMPA Receptor Subtypes along the Proximodistal Axis in Dorsal Hippocampus, ISTA, 2022.
2022 | Thesis | IST-REx-ID: 11196
Nanoarchitecture of hippocampal mossy fiber-CA3 pyramidal neuron synapses
O. Kim, Nanoarchitecture of Hippocampal Mossy Fiber-CA3 Pyramidal Neuron Synapses, ISTA, 2022.
View
| Files available
| DOI
O. Kim, Nanoarchitecture of Hippocampal Mossy Fiber-CA3 Pyramidal Neuron Synapses, ISTA, 2022.
2022 | Thesis | IST-REx-ID: 11362 |
Learning verifiable representations
M. Lechner, Learning Verifiable Representations, ISTA, 2022.
View
| Files available
| DOI
M. Lechner, Learning Verifiable Representations, ISTA, 2022.
2022 | Thesis | IST-REx-ID: 10759 |
Analytic and machine learning approaches to composite quantum impurities
W. Rzadkowski, Analytic and Machine Learning Approaches to Composite Quantum Impurities, IST Austria, 2022.
View
| Files available
| DOI
W. Rzadkowski, Analytic and Machine Learning Approaches to Composite Quantum Impurities, IST Austria, 2022.
2022 | Thesis | IST-REx-ID: 10799 |
Robustness and fairness in machine learning
N.H. Konstantinov, Robustness and Fairness in Machine Learning, IST Austria, 2022.
View
| Files available
| DOI
N.H. Konstantinov, Robustness and Fairness in Machine Learning, IST Austria, 2022.
2022 | Thesis | IST-REx-ID: 12358 |
Homogenizing yarn simulations: Large-scale mechanics, small-scale detail, and quantitative fitting
G. Sperl, Homogenizing Yarn Simulations: Large-Scale Mechanics, Small-Scale Detail, and Quantitative Fitting, Institute of Science and Technology Austria, 2022.
View
| Files available
| DOI
G. Sperl, Homogenizing Yarn Simulations: Large-Scale Mechanics, Small-Scale Detail, and Quantitative Fitting, Institute of Science and Technology Austria, 2022.
2022 | Thesis | IST-REx-ID: 11473 |
Polarons in Bose gases and polar crystals: Some rigorous energy estimates
K. Mysliwy, Polarons in Bose Gases and Polar Crystals: Some Rigorous Energy Estimates, Institute of Science and Technology Austria (ISTA), 2022.
View
| Files available
| DOI
K. Mysliwy, Polarons in Bose Gases and Polar Crystals: Some Rigorous Energy Estimates, Institute of Science and Technology Austria (ISTA), 2022.
2022 | Thesis | IST-REx-ID: 12390 |
Translation-invariant quantum systems with effectively broken symmetry
M. Brooks, Translation-Invariant Quantum Systems with Effectively Broken Symmetry, Institute of Science and Technology Austria, 2022.
View
| Files available
| DOI
M. Brooks, Translation-Invariant Quantum Systems with Effectively Broken Symmetry, Institute of Science and Technology Austria, 2022.
2022 | Thesis | IST-REx-ID: 11626 |
Auxin and strigolactone non-canonical signaling regulating development in Arabidopsis thaliana
M.C. Gallei, Auxin and Strigolactone Non-Canonical Signaling Regulating Development in Arabidopsis Thaliana, Institute of Science and Technology Austria (ISTA), 2022.
View
| Files available
| DOI
M.C. Gallei, Auxin and Strigolactone Non-Canonical Signaling Regulating Development in Arabidopsis Thaliana, Institute of Science and Technology Austria (ISTA), 2022.
2022 | Thesis | IST-REx-ID: 12368 |
Remodeling of E-cadherin-mediated contacts via cortical flows
F.N. Arslan, Remodeling of E-Cadherin-Mediated Contacts via Cortical Flows, Institute of Science and Technology Austria, 2022.
View
| Files available
| DOI
F.N. Arslan, Remodeling of E-Cadherin-Mediated Contacts via Cortical Flows, Institute of Science and Technology Austria, 2022.
2022 | Thesis | IST-REx-ID: 12401
Role of microenvironment heterogeneity in cancer cell invasion
S. Tasciyan, Role of Microenvironment Heterogeneity in Cancer Cell Invasion, Institute of Science and Technology Austria, 2022.
View
| Files available
| DOI
S. Tasciyan, Role of Microenvironment Heterogeneity in Cancer Cell Invasion, Institute of Science and Technology Austria, 2022.
2022 | Thesis | IST-REx-ID: 10727 |
Pathogen-mediated sexual selection and immunization in ant colonies
S. Metzler, Pathogen-Mediated Sexual Selection and Immunization in Ant Colonies, IST Austria, 2022.
View
| Files available
| DOI
S. Metzler, Pathogen-Mediated Sexual Selection and Immunization in Ant Colonies, IST Austria, 2022.
2022 | Thesis | IST-REx-ID: 12366 |
Controllable states of superconducting Qubit ensembles
E. Redchenko, Controllable States of Superconducting Qubit Ensembles, Institute of Science and Technology Austria, 2022.
View
| Files available
| DOI
E. Redchenko, Controllable States of Superconducting Qubit Ensembles, Institute of Science and Technology Austria, 2022.
2021 | Thesis | IST-REx-ID: 10422 |
Towards designer materials using customizable particle shape
A. Piankov, Towards Designer Materials Using Customizable Particle Shape, IST Austria, 2021.
View
| Files available
| DOI
A. Piankov, Towards Designer Materials Using Customizable Particle Shape, IST Austria, 2021.
2021 | Thesis | IST-REx-ID: 10035 |
On the adaptive security of graph-based games
K. Klein, On the Adaptive Security of Graph-Based Games, IST Austria, 2021.
View
| Files available
| DOI
K. Klein, On the Adaptive Security of Graph-Based Games, IST Austria, 2021.
2021 | Thesis | IST-REx-ID: 10429 |
On achieving scalability through relaxation
G. Nadiradze, On Achieving Scalability through Relaxation, IST Austria, 2021.
View
| Files available
| DOI
G. Nadiradze, On Achieving Scalability through Relaxation, IST Austria, 2021.
2021 | Thesis | IST-REx-ID: 10007 |
Curvature driven interface evolution: Uniqueness properties of weak solution concepts
S. Hensel, Curvature Driven Interface Evolution: Uniqueness Properties of Weak Solution Concepts, IST Austria, 2021.
View
| Files available
| DOI
S. Hensel, Curvature Driven Interface Evolution: Uniqueness Properties of Weak Solution Concepts, IST Austria, 2021.
2021 | Thesis | IST-REx-ID: 9056 |
Multi-cover persistence and Delaunay mosaics
G.F. Osang, Multi-Cover Persistence and Delaunay Mosaics, IST Austria, 2021.
View
| Files available
| DOI
G.F. Osang, Multi-Cover Persistence and Delaunay Mosaics, IST Austria, 2021.
2021 | Thesis | IST-REx-ID: 9418 |
Underspecification in deep learning
M. Phuong, Underspecification in Deep Learning, IST Austria, 2021.
View
| Files available
| DOI
M. Phuong, Underspecification in Deep Learning, IST Austria, 2021.
2021 | Thesis | IST-REx-ID: 9920 |
Geometric superinductors and their applications in circuit quantum electrodynamics
M. Peruzzo, Geometric Superinductors and Their Applications in Circuit Quantum Electrodynamics, IST Austria, 2021.
View
| Files available
| DOI
M. Peruzzo, Geometric Superinductors and Their Applications in Circuit Quantum Electrodynamics, IST Austria, 2021.
2021 | Thesis | IST-REx-ID: 9022 |
Fluctuations in the spectrum of random matrices
G. Cipolloni, Fluctuations in the Spectrum of Random Matrices, IST Austria, 2021.
View
| Files available
| DOI
G. Cipolloni, Fluctuations in the Spectrum of Random Matrices, IST Austria, 2021.
2021 | Thesis | IST-REx-ID: 10030 |
Discrete-to-continuum limits of transport problems and gradient flows in the space of measures
L. Portinale, Discrete-to-Continuum Limits of Transport Problems and Gradient Flows in the Space of Measures, IST Austria, 2021.
View
| Files available
| DOI
L. Portinale, Discrete-to-Continuum Limits of Transport Problems and Gradient Flows in the Space of Measures, IST Austria, 2021.
2021 | Thesis | IST-REx-ID: 9733 |
The polaron at strong coupling
D. Feliciangeli, The Polaron at Strong Coupling, IST Austria, 2021.
View
| Files available
| DOI
D. Feliciangeli, The Polaron at Strong Coupling, IST Austria, 2021.
2021 | Thesis | IST-REx-ID: 10199 |
Improved verification techniques for concurrent systems
V. Toman, Improved Verification Techniques for Concurrent Systems, IST Austria, 2021.
View
| Files available
| DOI
V. Toman, Improved Verification Techniques for Concurrent Systems, IST Austria, 2021.
2021 | Thesis | IST-REx-ID: 10307 |
Pathogenic Escherichia coli hijack the host immune response
K. Tomasek, Pathogenic Escherichia Coli Hijack the Host Immune Response, IST Austria, 2021.
View
| Files available
| DOI
K. Tomasek, Pathogenic Escherichia Coli Hijack the Host Immune Response, IST Austria, 2021.
2021 | Thesis | IST-REx-ID: 10135 |
Molecular mechanisms of the cytokinin-regulated endomembrane trafficking to coordinate plant organogenesis
H. Semerádová, Molecular Mechanisms of the Cytokinin-Regulated Endomembrane Trafficking to Coordinate Plant Organogenesis, IST Austria, 2021.
View
| Files available
| DOI
H. Semerádová, Molecular Mechanisms of the Cytokinin-Regulated Endomembrane Trafficking to Coordinate Plant Organogenesis, IST Austria, 2021.
2021 | Thesis | IST-REx-ID: 10058 |
Singlet-Triplet qubits and spin-orbit interaction in 2-dimensional Ge hole gases
D. Jirovec, Singlet-Triplet Qubits and Spin-Orbit Interaction in 2-Dimensional Ge Hole Gases, 2021.
View
| Files available
| DOI
D. Jirovec, Singlet-Triplet Qubits and Spin-Orbit Interaction in 2-Dimensional Ge Hole Gases, 2021.
2021 | Thesis | IST-REx-ID: 9623 |
Fertilization-induced deformations are controlled by the actin cortex and a mitochondria-rich subcortical layer in ascidian oocytes
S. Caballero Mancebo, Fertilization-Induced Deformations Are Controlled by the Actin Cortex and a Mitochondria-Rich Subcortical Layer in Ascidian Oocytes, IST Austria, 2021.
View
| Files available
| DOI
S. Caballero Mancebo, Fertilization-Induced Deformations Are Controlled by the Actin Cortex and a Mitochondria-Rich Subcortical Layer in Ascidian Oocytes, IST Austria, 2021.
2021 | Thesis | IST-REx-ID: 9562 |
2B or not 2B: Hippocampal asymmetries mediated by NMDA receptor subunit GluN2B C-terminus and high-throughput image analysis by Deep-Learning
D. Kleindienst, 2B or Not 2B: Hippocampal Asymmetries Mediated by NMDA Receptor Subunit GluN2B C-Terminus and High-Throughput Image Analysis by Deep-Learning, IST Austria, 2021.
View
| Files available
| DOI
D. Kleindienst, 2B or Not 2B: Hippocampal Asymmetries Mediated by NMDA Receptor Subunit GluN2B C-Terminus and High-Throughput Image Analysis by Deep-Learning, IST Austria, 2021.
2021 | Thesis | IST-REx-ID: 9397 |
Coordinated spatiotemporal reorganization of interstitial fluid is required for axial mesendoderm migration in zebrafish gastrulation
K. Huljev, Coordinated Spatiotemporal Reorganization of Interstitial Fluid Is Required for Axial Mesendoderm Migration in Zebrafish Gastrulation, IST Austria, 2021.
View
| Files available
| DOI
K. Huljev, Coordinated Spatiotemporal Reorganization of Interstitial Fluid Is Required for Axial Mesendoderm Migration in Zebrafish Gastrulation, IST Austria, 2021.
2021 | Thesis | IST-REx-ID: 8934 |
Parameterized and algebro-geometric advances in static program analysis
A.K. Goharshady, Parameterized and Algebro-Geometric Advances in Static Program Analysis, IST Austria, 2021.
View
| Files available
| DOI
A.K. Goharshady, Parameterized and Algebro-Geometric Advances in Static Program Analysis, IST Austria, 2021.
2021 | Thesis | IST-REx-ID: 10083 |
Rapid cell growth regulation in Arabidopsis
L. Li, Rapid Cell Growth Regulation in Arabidopsis, IST Austria, 2021.
View
| Files available
| DOI
L. Li, Rapid Cell Growth Regulation in Arabidopsis, IST Austria, 2021.
2021 | Thesis | IST-REx-ID: 9728 |
Transition to turbulence and drag reduction in particle-laden pipe flows
N. Agrawal, Transition to Turbulence and Drag Reduction in Particle-Laden Pipe Flows, IST Austria, 2021.
View
| Files available
| DOI
N. Agrawal, Transition to Turbulence and Drag Reduction in Particle-Laden Pipe Flows, IST Austria, 2021.
2021 | Thesis | IST-REx-ID: 10303 |
Role of hormones in nitrate regulated growth
R. Abualia, Role of Hormones in Nitrate Regulated Growth, IST Austria, 2021.
View
| Files available
| DOI
R. Abualia, Role of Hormones in Nitrate Regulated Growth, IST Austria, 2021.
2021 | Thesis | IST-REx-ID: 10293 |
Evolution of cooperation via (in)direct reciprocity under imperfect information
L. Schmid, Evolution of Cooperation via (in)Direct Reciprocity under Imperfect Information, IST Austria, 2021.
View
| Files available
| DOI
L. Schmid, Evolution of Cooperation via (in)Direct Reciprocity under Imperfect Information, IST Austria, 2021.
2021 | Thesis | IST-REx-ID: 9962 |
Cell-autonomous gene function and non-cell-autonomous effects in radial projection neuron migration
A.H. Hansen, Cell-Autonomous Gene Function and Non-Cell-Autonomous Effects in Radial Projection Neuron Migration, IST Austria, 2021.
View
| Files available
| DOI
A.H. Hansen, Cell-Autonomous Gene Function and Non-Cell-Autonomous Effects in Radial Projection Neuron Migration, IST Austria, 2021.
2021 | Thesis | IST-REx-ID: 9992 |
Wound healing in the Arabidopsis root meristem
L. Hörmayer, Wound Healing in the Arabidopsis Root Meristem, IST Austria, 2021.
View
| Files available
| DOI
L. Hörmayer, Wound Healing in the Arabidopsis Root Meristem, IST Austria, 2021.
2020 | Thesis | IST-REx-ID: 7196 |
A role of graphs in evolutionary processes
J. Tkadlec, A Role of Graphs in Evolutionary Processes, IST Austria, 2020.
View
| Files available
| DOI
J. Tkadlec, A Role of Graphs in Evolutionary Processes, 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: 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: 7944 |
Reconfiguration problems
Z. Masárová, Reconfiguration Problems, IST Austria, 2020.
View
| Files available
| DOI
Z. Masárová, Reconfiguration Problems, IST Austria, 2020.
2020 | Thesis | IST-REx-ID: 8032 |
Combinatorial width parameters for 3-dimensional manifolds
K. Huszár, Combinatorial Width Parameters for 3-Dimensional Manifolds, IST Austria, 2020.
View
| Files available
| DOI
K. Huszár, Combinatorial Width Parameters for 3-Dimensional Manifolds, 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: 8156 |
Topological methods in geometry and discrete mathematics
S. Avvakumov, Topological Methods in Geometry and Discrete Mathematics, IST Austria, 2020.
View
| Files available
| DOI
S. Avvakumov, Topological Methods in Geometry and Discrete Mathematics, 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.
2020 | Thesis | IST-REx-ID: 8353 |
Biochemical and structural investigation of the Mrp antiporter, an ancestor of complex I
J. Steiner, Biochemical and Structural Investigation of the Mrp Antiporter, an Ancestor of Complex I, IST Austria, 2020.
View
| Files available
| DOI
J. Steiner, Biochemical and Structural Investigation of the Mrp Antiporter, an Ancestor of Complex I, IST Austria, 2020.
2020 | Thesis | IST-REx-ID: 8358 |
Organization and dynamics of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinkers
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
P.R. Dos Santos Caldas, Organization and Dynamics of Treadmilling Filaments in Cytoskeletal Networks of FtsZ and Its Crosslinkers, IST Austria, 2020.
2020 | Thesis | IST-REx-ID: 8386 |
Structure-aware computational design and its application to 3D printable volume scattering, mechanism, and multistability
R. Zhang, Structure-Aware Computational Design and Its Application to 3D Printable Volume Scattering, Mechanism, and Multistability, IST Austria, 2020.
View
| Files available
| DOI
R. Zhang, Structure-Aware Computational Design and Its Application to 3D Printable Volume Scattering, Mechanism, and Multistability, IST Austria, 2020.
2020 | Thesis | IST-REx-ID: 7996 |
Implementation of a hole spin qubit in Ge hut wires and dispersive spin sensing
J. Kukucka, Implementation of a Hole Spin Qubit in Ge Hut Wires and Dispersive Spin Sensing, IST Austria, 2020.
View
| Files available
| DOI
J. Kukucka, Implementation of a Hole Spin Qubit in Ge Hut Wires and Dispersive Spin Sensing, IST Austria, 2020.
2020 | Thesis | IST-REx-ID: 8574 |
Local adaptation in metapopulations
E. Szep, Local Adaptation in Metapopulations, IST Austria, 2020.
View
| Files available
| DOI
E. Szep, Local Adaptation in Metapopulations, IST Austria, 2020.
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: 8366 |
Computational design of curved thin shells: From glass façades to programmable matter
R. Guseinov, Computational Design of Curved Thin Shells: From Glass Façades to Programmable Matter, IST Austria, 2020.
View
| Files available
| DOI
R. Guseinov, Computational Design of Curved Thin Shells: From Glass Façades to Programmable Matter, IST Austria, 2020.
2020 | Thesis | IST-REx-ID: 8589 |
Novel insights into PIN polarity regulation during Arabidopsis development
H. Han, Novel Insights into PIN Polarity Regulation during Arabidopsis Development, IST Austria, 2020.
View
| Files available
| DOI
H. Han, Novel Insights into PIN Polarity Regulation during Arabidopsis Development, IST Austria, 2020.
2020 | Thesis | IST-REx-ID: 8390 |
Leveraging structure in Computer Vision tasks for flexible Deep Learning models
A. Royer, Leveraging Structure in Computer Vision Tasks for Flexible Deep Learning Models, IST Austria, 2020.
View
| Files available
| DOI
A. Royer, Leveraging Structure in Computer Vision Tasks for Flexible Deep Learning Models, 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: 7680 |
Synthetic tools for optogenetic and chemogenetic inhibition of cellular signals
S. Kainrath, Synthetic Tools for Optogenetic and Chemogenetic Inhibition of Cellular Signals, IST Austria, 2020.
View
| Files available
| DOI
S. Kainrath, Synthetic Tools for Optogenetic and Chemogenetic Inhibition of Cellular Signals, IST Austria, 2020.
2020 | Thesis | IST-REx-ID: 7258 |
New approaches to reduce friction in turbulent pipe flow
D. Scarselli, New Approaches to Reduce Friction in Turbulent Pipe Flow, IST Austria, 2020.
View
| Files available
| DOI
D. Scarselli, New Approaches to Reduce Friction in Turbulent Pipe Flow, 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: 8350 |
Bulk actin dynamics drive phase segregation in zebrafish oocytes
S. Shamipour, Bulk Actin Dynamics Drive Phase Segregation in Zebrafish Oocytes , IST Austria, 2020.
View
| Files available
| DOI
S. Shamipour, Bulk Actin Dynamics Drive Phase Segregation in Zebrafish Oocytes , IST Austria, 2020.
2020 | Thesis | IST-REx-ID: 8340 |
Molecular mechanisms of mitochondrial redox-coupled proton pumping enzymes
D. Kampjut, Molecular Mechanisms of Mitochondrial Redox-Coupled Proton Pumping Enzymes, IST Austria, 2020.
View
| Files available
| DOI
D. Kampjut, Molecular Mechanisms of Mitochondrial Redox-Coupled Proton Pumping Enzymes, IST Austria, 2020.
2020 | Thesis | IST-REx-ID: 8822 |
Identification and characterization of the molecular machinery of auxin-dependent canalization during vasculature formation and regeneration
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
J. Hajny, Identification and Characterization of the Molecular Machinery of Auxin-Dependent Canalization during Vasculature Formation and Regeneration, IST Austria, 2020.
2020 | Thesis | IST-REx-ID: 8657 |
Perturbations of protein synthesis: from antibiotics to genetics and physiology
B. Kavcic, Perturbations of Protein Synthesis: From Antibiotics to Genetics and Physiology, IST Austria, 2020.
View
| Files available
| DOI
B. Kavcic, Perturbations of Protein Synthesis: From Antibiotics to Genetics and Physiology, IST Austria, 2020.
2020 | Thesis | IST-REx-ID: 8620 |
Illuminating the role of Cul3 in autism spectrum disorder pathogenesis
J. Morandell, Illuminating the Role of Cul3 in Autism Spectrum Disorder Pathogenesis, IST Austria, 2020.
View
| Files available
| DOI
J. Morandell, Illuminating the Role of Cul3 in Autism Spectrum Disorder Pathogenesis, IST Austria, 2020.
2020 | Thesis | IST-REx-ID: 8653 |
The evolution of gene expression by copy number and point mutations
I. Tomanek, The Evolution of Gene Expression by Copy Number and Point Mutations, IST Austria, 2020.
View
| Files available
| DOI
I. Tomanek, The Evolution of Gene Expression by Copy Number and Point Mutations, IST Austria, 2020.
2020 | Thesis | IST-REx-ID: 8983 |
Metabolic regulation of Drosophila macrophage tissue invasion
S. Emtenani, Metabolic Regulation of Drosophila Macrophage Tissue Invasion, IST Austria, 2020.
View
| Files available
| DOI
S. Emtenani, Metabolic Regulation of Drosophila Macrophage Tissue Invasion, IST Austria, 2020.
2019 | Thesis | IST-REx-ID: 6179 |
From Dyson to Pearcey: Universal statistics in random matrix theory
D.J. Schröder, From Dyson to Pearcey: Universal Statistics in Random Matrix Theory, IST Austria, 2019.
View
| Files available
| DOI
D.J. Schröder, From Dyson to Pearcey: Universal Statistics in Random Matrix Theory, IST Austria, 2019.
2019 | Thesis | IST-REx-ID: 6681 |
Algorithmic aspects of homotopy theory and embeddability
S.Y. Zhechev, Algorithmic Aspects of Homotopy Theory and Embeddability, IST Austria, 2019.
View
| Files available
| DOI
S.Y. Zhechev, Algorithmic Aspects of Homotopy Theory and Embeddability, IST Austria, 2019.
2019 | Thesis | IST-REx-ID: 6894 |
Automatic time-unbounded reachability analysis of hybrid systems
M. Giacobbe, Automatic Time-Unbounded Reachability Analysis of Hybrid Systems, IST Austria, 2019.
View
| Files available
| DOI
M. Giacobbe, Automatic Time-Unbounded Reachability Analysis of Hybrid Systems, IST Austria, 2019.
2019 | Thesis | IST-REx-ID: 6473 |
Estimating information flow in single cells
S.A. Cepeda Humerez, Estimating Information Flow in Single Cells, IST Austria, 2019.
View
| Files available
| DOI
S.A. Cepeda Humerez, Estimating Information Flow in Single Cells, IST Austria, 2019.
2019 | Thesis | IST-REx-ID: 6957 |
Onset of turbulence in plane Poiseuille flow
C.S. Paranjape, Onset of Turbulence in Plane Poiseuille Flow, IST Austria, 2019.
View
| Files available
| DOI
C.S. Paranjape, Onset of Turbulence in Plane Poiseuille Flow, IST Austria, 2019.
2019 | Thesis | IST-REx-ID: 7172 |
Molecular mechanisms of endomembrane trafficking in Arabidopsis thaliana
M.K. Vasileva, Molecular Mechanisms of Endomembrane Trafficking in Arabidopsis Thaliana, IST Austria, 2019.
View
| Files available
| DOI
M.K. Vasileva, Molecular Mechanisms of Endomembrane Trafficking in Arabidopsis Thaliana, IST Austria, 2019.
2019 | Thesis | IST-REx-ID: 7186 |
Mechanosensation of tight junctions depends on ZO-1 phase separation and flow
C. Schwayer, Mechanosensation of Tight Junctions Depends on ZO-1 Phase Separation and Flow, IST Austria, 2019.
View
| Files available
| DOI
C. Schwayer, Mechanosensation of Tight Junctions Depends on ZO-1 Phase Separation and Flow, IST Austria, 2019.
2019 | Thesis | IST-REx-ID: 8311 |
Secure, confidential blockchains providing high throughput and low latency
E. Kokoris Kogias, Secure, Confidential Blockchains Providing High Throughput and Low Latency, École Polytechnique Fédérale de Lausanne, 2019.
View
| DOI
| Download Published Version (ext.)
E. Kokoris Kogias, Secure, Confidential Blockchains Providing High Throughput and Low Latency, École Polytechnique Fédérale de Lausanne, 2019.
2019 | Thesis | IST-REx-ID: 6071 |
Coevolution of transcription factors and their binding sites in sequence space
R. Prizak, Coevolution of Transcription Factors and Their Binding Sites in Sequence Space, IST Austria, 2019.
View
| Files available
| DOI
R. Prizak, Coevolution of Transcription Factors and Their Binding Sites in Sequence Space, IST Austria, 2019.
2019 | Thesis | IST-REx-ID: 6392 |
Quantitative investigation of gene expression principles through combinatorial drug perturbation and theory
M. Lukacisin, Quantitative Investigation of Gene Expression Principles through Combinatorial Drug Perturbation and Theory, IST Austria, 2019.
View
| Files available
| DOI
M. Lukacisin, Quantitative Investigation of Gene Expression Principles through Combinatorial Drug Perturbation and Theory, IST Austria, 2019.
2019 | Thesis | IST-REx-ID: 6435 |
Collective defenses of garden ants against a fungal pathogen
B.E. Casillas Perez, Collective Defenses of Garden Ants against a Fungal Pathogen, IST Austria, 2019.
View
| Files available
| DOI
B.E. Casillas Perez, Collective Defenses of Garden Ants against a Fungal Pathogen, IST Austria, 2019.
2019 | Thesis | IST-REx-ID: 6269 |
Clathrin-Mediated endocytosis, post-endocytic trafficking and their regulatory controls in plants
M. Narasimhan, Clathrin-Mediated Endocytosis, Post-Endocytic Trafficking and Their Regulatory Controls in Plants , IST Austria, 2019.
View
| Files available
| DOI
M. Narasimhan, Clathrin-Mediated Endocytosis, Post-Endocytic Trafficking and Their Regulatory Controls in Plants , IST Austria, 2019.
2019 | Thesis | IST-REx-ID: 6891 |
The implication of cytoskeletal dynamics on leukocyte migration
A. Kopf, The Implication of Cytoskeletal Dynamics on Leukocyte Migration, IST Austria, 2019.
View
| Files available
| DOI
A. Kopf, The Implication of Cytoskeletal Dynamics on Leukocyte Migration, IST Austria, 2019.
2019 | Thesis | IST-REx-ID: 6849 |
The role of CCK-interneurons in regulating hippocampal network dynamics
D.K. Rangel Guerrero, The Role of CCK-Interneurons in Regulating Hippocampal Network Dynamics, IST Austria, 2019.
View
| Files available
| DOI
D.K. Rangel Guerrero, The Role of CCK-Interneurons in Regulating Hippocampal Network Dynamics, IST Austria, 2019.
2019 | Thesis | IST-REx-ID: 6947 |
Lymph node mechanics: Deciphering the interplay between stroma contractility, morphology and lymphocyte trafficking
F.P. Assen, Lymph Node Mechanics: Deciphering the Interplay between Stroma Contractility, Morphology and Lymphocyte Trafficking, IST Austria, 2019.
View
| Files available
| DOI
F.P. Assen, Lymph Node Mechanics: Deciphering the Interplay between Stroma Contractility, Morphology and Lymphocyte Trafficking, IST Austria, 2019.
2019 | Thesis | IST-REx-ID: 6546 |
The role of a highly conserved major facilitator superfamily member in Drosophila embryonic macrophage migration
K. Valosková, The Role of a Highly Conserved Major Facilitator Superfamily Member in Drosophila Embryonic Macrophage Migration, IST Austria, 2019.
View
| Files available
| DOI
K. Valosková, The Role of a Highly Conserved Major Facilitator Superfamily Member in Drosophila Embryonic Macrophage Migration, IST Austria, 2019.
2019 | Thesis | IST-REx-ID: 6371 |
On the nature of gene regulatory design - The biophysics of transcription factor binding shapes gene regulation
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
C. Igler, On the Nature of Gene Regulatory Design - The Biophysics of Transcription Factor Binding Shapes Gene Regulation, IST Austria, 2019.
2019 | Thesis | IST-REx-ID: 6363 |
Parvalbumin+ interneurons enable efficient pattern separation in hippocampal microcircuits
C. Espinoza Martinez, Parvalbumin+ Interneurons Enable Efficient Pattern Separation in Hippocampal Microcircuits, IST Austria, 2019.
View
| Files available
| DOI
C. Espinoza Martinez, Parvalbumin+ Interneurons Enable Efficient Pattern Separation in Hippocampal Microcircuits, IST Austria, 2019.