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.

139 Publications


2021 | Thesis | IST-REx-ID: 8934
Goharshady AK. Parameterized and algebro-geometric advances in static program analysis. 2021. doi:10.15479/AT:ISTA:8934
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 7196 | OA
Tkadlec J. A role of graphs in evolutionary processes. 2020. doi:10.15479/AT:ISTA:7196
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 7680
Kainrath S. Synthetic tools for optogenetic and chemogenetic inhibition of cellular signals. 2020. doi:10.15479/AT:ISTA:7680
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 7944 | OA
Masárová Z. Reconfiguration problems. 2020. doi:10.15479/AT:ISTA:7944
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8032 | OA
Huszár K. Combinatorial width parameters for 3-dimensional manifolds. 2020. doi:10.15479/AT:ISTA:8032
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8156 | OA
Avvakumov S. Topological methods in geometry and discrete mathematics. 2020. doi:10.15479/AT:ISTA:8156
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8353
Steiner J. Biochemical and structural investigation of the Mrp antiporter, an ancestor of complex I. 2020. doi:10.15479/AT:ISTA:8353
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8350
Shamipour S. Bulk actin dynamics drive phase segregation in zebrafish oocytes . 2020. doi:10.15479/AT:ISTA:8350
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8574 | OA
Szep E. Local adaptation in metapopulations. 2020. doi:10.15479/AT:ISTA:8574
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8366 | OA
Guseinov R. Computational design of curved thin shells: From glass façades to programmable matter. 2020. doi:10.15479/AT:ISTA:8366
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8958 | OA
Li X. Rotation of coupled cold molecules in the presence of a many-body environment. 2020. doi:10.15479/AT:ISTA:8958
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 7460 | OA
Ölsböck K. The hole system of triangulated shapes. 2020. doi:10.15479/AT:ISTA:7460
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 7525
Bhandari P. Localization and functional role of Cav2.3 in the medial habenula to interpeduncular nucleus pathway. 2020. doi:10.15479/AT:ISTA:7525
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 7514 | OA
Mayer S. The free energy of a dilute two-dimensional Bose gas. 2020. doi:10.15479/AT:ISTA:7514
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 7629 | OA
Forkert DL. Gradient flows in spaces of probability measures for finite-volume schemes, metric graphs and non-reversible Markov chains. 2020. doi:10.15479/AT:ISTA:7629
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 7896 | OA
Kamath Hosdurg C. On the average-case hardness of total search problems. 2020. doi:10.15479/AT:ISTA:7896
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 7902
Contreras X. Genetic dissection of neural development in health and disease at single cell resolution. 2020. doi:10.15479/AT:ISTA:7902
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8155 | OA
Grah R. Gene regulation across scales – how biophysical constraints shape evolution. 2020. doi:10.15479/AT:ISTA:8155
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8332 | OA
Kragl B. Verifying concurrent programs: Refinement, synchronization, sequentialization. 2020. doi:10.15479/AT:ISTA:8332
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8341
Bezeljak U. In vitro reconstitution of a Rab activation switch. 2020. doi:10.15479/AT:ISTA:8341
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8340
Kampjut D. Molecular mechanisms of mitochondrial redox-coupled proton pumping enzymes. 2020. doi:10.15479/AT:ISTA:8340
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8358 | OA
Dos Santos Caldas PR. Organization and dynamics of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinkers. 2020. doi:10.15479/AT:ISTA:8358
View | Files available | DOI
 

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

2020 | Thesis | IST-REx-ID: 7996 | OA
Kukucka J. Implementation of a hole spin qubit in Ge hut wires and dispersive spin sensing. 2020. doi:10.15479/AT:ISTA:7996
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8589
Han H. Novel insights into PIN polarity regulation during Arabidopsis development. 2020. doi:10.15479/AT:ISTA:8589
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8620
Morandell J. Illuminating the role of Cul3 in autism spectrum disorder pathogenesis. 2020. doi:10.15479/AT:ISTA:8620
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8653
Tomanek I. The evolution of gene expression by copy number and point mutations. 2020. doi:10.15479/AT:ISTA:8653
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8657
Kavcic B. Perturbations of protein synthesis: from antibiotics to genetics and physiology. 2020. doi:10.15479/AT:ISTA:8657
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8822
Hajny J. Identification and characterization of the molecular machinery of auxin-dependent canalization during vasculature formation and regeneration. 2020. doi:10.15479/AT:ISTA:8822
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8390 | OA
Royer A. Leveraging structure in Computer Vision tasks for flexible Deep Learning models. 2020. doi:10.15479/AT:ISTA:8390
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8983
Emtenani S. Metabolic regulation of Drosophila macrophage tissue invasion. 2020. doi:10.15479/AT:ISTA:8983
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 7258 | OA
Scarselli D. New approaches to reduce friction in turbulent pipe flow. 2020. doi:10.15479/AT:ISTA:7258
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6179 | OA
Schröder DJ. From Dyson to Pearcey: Universal statistics in random matrix theory. 2019. doi:10.15479/AT:ISTA:th6179
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6269 | OA
Narasimhan M. Clathrin-Mediated endocytosis, post-endocytic trafficking and their regulatory controls in plants . 2019. doi:10.15479/at:ista:th1075
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6363 | OA
Espinoza Martinez CM. Parvalbumin+ interneurons enable efficient pattern separation in hippocampal microcircuits. 2019. doi:10.15479/AT:ISTA:6363
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6392 | OA
Lukacisin M. Quantitative investigation of gene expression principles through combinatorial drug perturbation and theory. 2019. doi:10.15479/AT:ISTA:6392
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6435 | OA
Casillas Perez BE. Collective defenses of garden ants against a fungal pathogen. 2019. doi:10.15479/AT:ISTA:6435
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6546 | OA
Valosková K. The role of a highly conserved major facilitator superfamily member in Drosophila embryonic macrophage migration. 2019. doi:10.15479/AT:ISTA:6546
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6371 | OA
Igler C. On the nature of gene regulatory design - The biophysics of transcription factor binding shapes gene regulation. 2019. doi:10.15479/AT:ISTA:6371
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6681 | OA
Zhechev SY. Algorithmic aspects of homotopy theory and embeddability. 2019. doi:10.15479/AT:ISTA:6681
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6894 | OA
Giacobbe M. Automatic time-unbounded reachability analysis of hybrid systems. 2019. doi:10.15479/AT:ISTA:6894
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6473 | OA
Cepeda Humerez SA. Estimating information flow in single cells. 2019. doi:10.15479/AT:ISTA:6473
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6957 | OA
Paranjape CS. Onset of turbulence in plane Poiseuille flow. 2019. doi:10.15479/AT:ISTA:6957
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 7132 | OA
Mckenzie C. Design and characterization of methods and biological components to realize synthetic neurotransmission. 2019. doi:10.15479/at:ista:7132
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 7172 | OA
Vasileva MK. Molecular mechanisms of endomembrane trafficking in Arabidopsis thaliana. 2019. doi:10.15479/AT:ISTA:7172
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 7186 | OA
Schwayer C. Mechanosensation of tight junctions depends on ZO-1 phase separation and flow. 2019. doi:10.15479/AT:ISTA:7186
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 8311 | OA
Kokoris Kogias E. Secure, confidential blockchains providing high throughput and low latency. 2019. doi:10.5075/epfl-thesis-7101
View | DOI | Download Published Version (ext.)
 

2019 | Thesis | IST-REx-ID: 6071 | OA
Prizak R. Coevolution of transcription factors and their binding sites in sequence space. 2019. doi:10.15479/at:ista:th6071
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6891 | OA
Kopf A. The implication of cytoskeletal dynamics on leukocyte migration. 2019. doi:10.15479/AT:ISTA:6891
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6947 | OA
Assen FP. Lymph node mechanics: Deciphering the interplay between stroma contractility, morphology and lymphocyte trafficking. 2019. doi:10.15479/AT:ISTA:6947
View | Files available | DOI
 

Filters and Search Terms

type=dissertation

Search

Filter Publications