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.

105 Publications


2019 | Thesis | IST-REx-ID: 6363
Espinoza Martinez, Claudia M. Parvalbumin+ Interneurons Enable Efficient Pattern Separation in Hippocampal Microcircuits. IST Austria, 2019, doi:10.15479/AT:ISTA:6363.
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, doi:10.15479/AT:ISTA:6546.
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, doi:10.15479/AT:ISTA:6849.
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6957   OA
Paranjape, Chaitanya S. Onset of Turbulence in Plane Poiseuille Flow. IST Austria, 2019, doi:10.15479/AT:ISTA:6957.
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6894   OA
Giacobbe, Mirco. Automatic Time-Unbounded Reachability Analysis of Hybrid Systems. IST Austria, 2019, doi:10.15479/AT:ISTA:6894.
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, doi:10.15479/AT:ISTA:6825.
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6179
Schröder, Dominik J. From Dyson to Pearcey: Universal Statistics in Random Matrix Theory. IST Austria, 2019, doi:10.15479/AT:ISTA:th6179.
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, doi:10.15479/AT:ISTA:6371.
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6681
Zhechev, Stephan Y. Algorithmic Aspects of Homotopy Theory and Embeddability. IST Austria, 2019, doi:10.15479/AT:ISTA:6681.
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 7172
Vasileva, Mina K. Molecular Mechanisms of Endomembrane Trafficking in Arabidopsis Thaliana. IST Austria, 2019, doi:10.15479/AT:ISTA:7172.
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6269   OA
Narasimhan, Madhumitha. Clathrin-Mediated Endocytosis, Post-Endocytic Trafficking and Their Regulatory Controls in Plants . IST Austria, 2019, doi:10.15479/at:ista:th1075.
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6435
Casillas Perez, Barbara E. Collective Defenses of Garden Ants against a Fungal Pathogen. IST Austria, 2019, doi:10.15479/AT:ISTA:6435.
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, doi:10.15479/AT:ISTA:6947.
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6473
Cepeda Humerez, Sarah A. Estimating Information Flow in Single Cells. IST Austria, 2019, doi:10.15479/AT:ISTA:6473.
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6891
Kopf, Aglaja. The Implication of Cytoskeletal Dynamics on Leukocyte Migration. IST Austria, 2019, doi:10.15479/AT:ISTA:6891.
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, doi:10.15479/AT:ISTA:6392.
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 7132   OA
Mckenzie, Catherine. Design and Characterization of Methods and Biological Components to Realize Synthetic Neurotransmission. IST Austria, 2019, doi:10.15479/at:ista:7132.
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6071
Prizak, Roshan. Coevolution of Transcription Factors and Their Binding Sites in Sequence Space. IST Austria, 2019, doi:10.15479/at:ista:th6071.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 201   OA
Iglesias Ham, Mabel. Multiple Covers with Balls. IST Austria, 2018, doi:10.15479/AT:ISTA:th_1026.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 395   OA
Tarlungeanu, Dora-Clara. The Branched Chain Amino Acids in Autism Spectrum Disorders . IST Austria, 2018, doi:10.15479/AT:ISTA:th_992.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 9   OA
Belyaeva, Vera. Transcriptional Regulation of Macrophage Migration in the Drosophila Melanogaster Embryo . IST Austria, 2018, doi:10.15479/AT:ISTA:th1064.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 48   OA
Gridchyn, Igor. Reactivation Content Is Important for Consolidation of Spatial Memory. IST Austria, 2018, doi:10.15479/AT:ISTA:th_1042.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 149
Alt, Johannes. Dyson Equation and Eigenvalue Statistics of Random Matrices. IST Austria, 2018, doi:10.15479/AT:ISTA:TH_1040.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 50
Capek, Daniel. Optogenetic Frizzled 7 Reveals a Permissive Function of Wnt/PCP Signaling in Directed Mesenchymal Cell Migration. IST Austria, 2018, doi:10.15479/AT:ISTA:TH_1031.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 6263
Lukacisinova, Marta. Genetic Determinants of Antibiotic Resistance Evolution. IST Austria, 2018, doi:10.15479/AT:ISTA:th1072.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 323   OA
Leithner, Alexander F. Branched Actin Networks in Dendritic Cell Biology. IST Austria, 2018, doi:10.15479/AT:ISTA:th_998.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 49   OA
Watzinger, Hannes. Ge Hut Wires - from Growth to Hole Spin Resonance. IST Austria, 2018, doi:10.15479/AT:ISTA:th_1033.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 68   OA
Zimin, Alexander. Learning from Dependent Data. IST Austria, 2018, doi:10.15479/AT:ISTA:TH1048.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 51
Case, Matthew J. From the Left to the Right: A Tale of Asymmetries, Environments, and Hippocampal Development. IST Austria, 2018, doi:10.15479/AT:ISTA:th_1032.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 418   OA
Gschaider-Reichhart, Eva. Optical and Optogenetic Control of Proliferation and Survival . IST Austria, 2018, doi:10.15479/AT:ISTA:th_913.
View | Files available | DOI
 

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

2018 | Thesis | IST-REx-ID: 69   OA
Vukušić, Lada. Charge Sensing and Spin Relaxation Times of Holes in Ge Hut Wires. IST Austria, 2018, doi:10.15479/AT:ISTA:TH_1047.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 26
Steinrück, Magdalena. The Influence of Sequence Context on the Evolution of Bacterial Gene Expression. IST Austria, 2018, doi:10.15479/AT:ISTA:th1059.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 324
Chen, Chong. Synaptotagmins Ensure Speed and Efficiency of Inhibitory Neurotransmitter Release. IST Austria, 2018, doi:10.15479/AT:ISTA:th_997.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 52
Moser, Thomas. Point Interactions in Systems of Fermions. IST Austria, 2018, doi:10.15479/AT:ISTA:th_1043.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 83   OA
Abusalah, Hamza M. Proof Systems for Sustainable Decentralized Cryptocurrencies. IST Austria, 2018, doi:10.15479/AT:ISTA:TH_1046.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 10   OA
Laukoter, Susanne. Role of Genomic Imprinting in Cerebral Cortex Development. IST Austria, 2018, pp. 1–139, doi:10.15479/AT:ISTA:th1057.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 197   OA
Kolesnikov, Alexander. Weakly-Supervised Segmentation and Unsupervised Modeling of Natural Images. IST Austria, 2018, doi:10.15479/AT:ISTA:th_1021.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 539   OA
Hurny, Andrej. Identification and Characterization of Novel Auxin-Cytokinin Cross-Talk Components. IST Austria, 2018, doi:10.15479/AT:ISTA:th_930.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 200
Ringbauer, Harald. Inferring Recent Demography from Spatial Genetic Structure. IST Austria, 2018, doi:10.15479/AT:ISTA:th_963.
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, doi:10.15479/at:ista:th_1055.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 821   OA
Pavlogiannis, Andreas. Algorithmic Advances in Program Analysis and Their Applications. IST Austria, 2017, doi:10.15479/AT:ISTA:th_854.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 819   OA
Pull, Christopher. Disease Defence in Garden Ants. IST Austria, 2017, doi:10.15479/AT:ISTA:th_861.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 838   OA
Rybar, Michal. (The Exact Security of) Message Authentication Codes. IST Austria, 2017, doi:10.15479/AT:ISTA:th_828.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 1155
Daca, Przemyslaw. Statistical and Logical Methods for Property Checking. IST Austria, 2017, doi:10.15479/AT:ISTA:TH_730.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 202
Pleska, Maros. Biology of Restriction-Modification Systems at the Single-Cell and Population Level. IST Austria, 2017, doi:10.15479/AT:ISTA:th_916.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 839   OA
Hahn, David. Brittle Fracture Simulation with Boundary Elements for Computer Graphics. IST Austria, 2017, doi:10.15479/AT:ISTA:th_855.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 6287
Nikitenko, Anton. Discrete Morse Theory for Random Complexes . IST Austria, 2017, doi:10.15479/AT:ISTA:th_873.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 992   OA
Rolinek, Michal. Complexity of Constraint Satisfaction. IST Austria, 2017, doi:10.15479/AT:ISTA:th_815.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 961   OA
Barone, Vanessa. Cell Adhesion and Cell Fate: An Effective Feedback Loop during Zebrafish Gastrulation. IST Austria, 2017, doi:10.15479/AT:ISTA:th_825.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 6291
Payne, Pavel. Bacterial Herd and Social Immunity to Phages. IST Austria, 2017.
View | Files available
 

2017 | Thesis | IST-REx-ID: 820   OA
Jesse, Fabienne. The Lac Operon in the Wild. IST Austria, 2017, doi:10.15479/AT:ISTA:th_857.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 818   OA
Mitosch, Karin. Timing, Variability and Cross-Protection in Bacteria – Insights from Dynamic Gene Expression Responses to Antibiotics. IST Austria, 2017, doi:10.15479/AT:ISTA:th_862.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 837   OA
Xu, Haibing. Reactivation of the Hippocampal Cognitive Map in Goal-Directed Spatial Tasks. IST Austria, 2017, doi:10.15479/AT:ISTA:th_858.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 938   OA
Adamowski, Maciek. Investigations into Cell Polarity and Trafficking in the Plant Model Arabidopsis Thaliana . IST Austria, 2017, doi:10.15479/AT:ISTA:th_842.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 1127
Prat, Tomas. Identification of Novel Regulators of PIN Polarity and Development of Novel Auxin Sensor. IST Austria, 2017.
View | Files available
 

2016 | Thesis | IST-REx-ID: 1128
Rieckh, Georg. Studying the Complexities of Transcriptional Regulation. IST Austria, 2016.
View | Files available
 

2016 | Thesis | IST-REx-ID: 1123
Mabillard, Isaac. 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
Tarrach, Thorsten. Automatic Synthesis of Synchronisation Primitives for Concurrent Programs. IST Austria, 2016.
View | Files available | Download (ext.)
 

2016 | Thesis | IST-REx-ID: 1129
Schwarz, Jan. Quantitative Analysis of Haptotactic Cell Migration. IST Austria, 2016.
View | Files available
 

2016 | Thesis | IST-REx-ID: 1124
Morri, Maurizio. Optical Functionalization of Human Class A Orphan G-Protein Coupled Receptors. IST Austria, 2016.
View | Files available
 

2016 | Thesis | IST-REx-ID: 1131
Tugrul, Murat. Evolution of Transcriptional Regulatory Sequences. IST Austria, 2016.
View | Files available
 

2016 | Thesis | IST-REx-ID: 1396
Mishra, Rajiv Kumar. Synaptic Plasticity Rules at CA3-CA3 Recurrent Synapses in Hippocampus. IST Austria, 2016.
View | Files available
 

2016 | Thesis | IST-REx-ID: 1125
Novak, Sebastian. Evolutionary Proccesses in Variable Emvironments. IST Austria, 2016.
View | Files available
 

2016 | Thesis | IST-REx-ID: 1121
Acar, Hande. Selective Barriers to Horizontal Gene Transfer. IST Austria, 2016.
View | Files available | Download (ext.)
 

2016 | Thesis | IST-REx-ID: 1126   OA
Pentina, Anastasia. Theoretical Foundations of Multi-Task Lifelong Learning. IST Austria, 2016, doi:10.15479/AT:ISTA:TH_776.
View | Files available | DOI
 

2016 | Thesis | IST-REx-ID: 1397
Chmelik, Martin. Algorithms for Partially Observable Markov Decision Processes. IST Austria, 2016.
View
 

2016 | Thesis | IST-REx-ID: 1189   OA
Jochum, Clemens. Dissipative Few-Body Quantum Systems. Technical University Vienna, 2016, pp. 1–77.
View | Download (ext.)
 

2016 | Thesis | IST-REx-ID: 1122
Bojsen-Hansen, Morten. Tracking, Correcting and Absorbing Water Surface Waves. IST Austria, 2016, doi:10.15479/AT:ISTA:th_640.
View | Files available | DOI
 

2016 | Thesis | IST-REx-ID: 1398
Ellis, Thomas. The Role of Pollinator-Mediated Selection in the Maintenance of a Flower Color Polymorphism in an Antirrhinum Majus Hybrid Zone. IST Austria, 2016, doi:10.15479/AT:ISTA:TH_526 .
View | Files available | DOI
 

2015 | Thesis | IST-REx-ID: 1399
Pausinger, Florian. On the Approximation of Intrinsic Volumes. IST Austria, 2015.
View | Files available
 

2015 | Thesis | IST-REx-ID: 1400
Reiter, Johannes. The Subclonal Evolution of Cancer. IST Austria, 2015.
View | Files available
 

2015 | Thesis | IST-REx-ID: 1401
Sharmanska, Viktoriia. Learning with Attributes for Object Recognition: Parametric and Non-Parametrics Views. IST Austria, 2015.
View | Download (ext.)
 

2014 | Thesis | IST-REx-ID: 1402
Marhavá, Petra. Molecular Mechanisms of Patterning and Subcellular Trafficking in Arabidopsis Thaliana. IST Austria, 2014.
View
 

2014 | Thesis | IST-REx-ID: 1395
Konrad, Matthias. Immune Defences in Ants: Effects of Social Immunisation and a Fungal Ectosymbiont in the Ant Lasius Neglectus. IST Austria, 2014.
View
 

2014 | Thesis | IST-REx-ID: 1403
Behrndt, Martin. Forces Driving Epithelial Spreading in Zebrafish Epiboly. IST Austria, 2014.
View | Files available
 

2014 | Thesis | IST-REx-ID: 1404
Stock, Miriam. Evolution of a Fungal Pathogen towards Individual versus Social Immunity in Ants. IST Austria, 2014.
View
 

2013 | Thesis | IST-REx-ID: 1405
Zufferey, Damien. Analysis of Dynamic Message Passing Programs. IST Austria, 2013.
View | Files available | Download (ext.)
 

2013 | Thesis | IST-REx-ID: 1406
Campinho, Pedro. Mechanics of Zebrafish Epiboly: Tension-Oriented Cell Divisions Limit Anisotropic Tissue Tension in Epithelial Spreading. IST Austria, 2013.
View
 

2012 | Thesis | IST-REx-ID: 2964
Kim, Sooyun. Active Properties of Hippocampal CA3 Pyramidal Neuron Dendrites. IST Austria, 2012.
View | Files available
 

2011 | Thesis | IST-REx-ID: 3275
Schumann, Kathrin. The Role of Chemotactic Gradients in Dendritic Cell Migration. IST Austria, 2011.
View | Files available
 

2011 | Thesis | IST-REx-ID: 3273
Maître, Jean-Léon. Mechanics of Adhesion and De‐adhesion in Zebrafish Germ Layer Progenitors. IST Austria, 2011.
View
 

2010 | Thesis | IST-REx-ID: 2075
Bickel, Bernd. “Measurement-Based Modeling and Fabrication of Deformable Materials for Human Faces.” Unknown, vol. 499, no. 7458, Unknown, 2010, doi:dx.doi.org/10.3929/ethz-a-006354908.
View | DOI
 

2010 | Thesis | IST-REx-ID: 3296
Wojtan, Chris. Animating Physical Phenomena with Embedded Surface Meshes. Georgia Institute of Technology, 2010, pp. 1–175.
View | Download (ext.)
 

2010 | Thesis | IST-REx-ID: 3962
Pflicke, Holger.   Dendritic Cell Migration across Basement Membranes in the Skin. IST Austria, 2010.
View
 

2009 | Thesis | IST-REx-ID: 4363
Singh, Vasu. “Formalizing and Verifying Transactional Memories.” Formalizing and Verifying Transactional Memories, EPFL Lausanne, 2009.
View
 

2009 | Thesis | IST-REx-ID: 3400
Schmalhorst, Philipp S. Biosynthesis of Galactofuranose Containing Glycans and Their Relevance for the Pathogenic Fungus Aspergillus Fumigatus. Gottfried Wilhelm Leibniz Universität Hannover, 2009, pp. 1–72.
View | Download (ext.)
 

2009 | Thesis | IST-REx-ID: 4232
Vladar, Harold. Stochasticity and Variability in the Dynamics and Genetics of Populations. Faculty of mathematical and natural sciences, University of Groningen, 2009, doi:3811.
View | DOI
 

2008 | Thesis | IST-REx-ID: 4415
Matic, Slobodan. Compositionality in Deterministic Real-Time Embedded Systems. University of California, Berkeley, 2008, pp. 1–148.
View
 

2008 | Thesis | IST-REx-ID: 4409
Prabhu, Vinayak. Games for the Verification of Timed Systems. University of California, Berkeley, 2008, pp. 1–137.
View
 

2008 | Thesis | IST-REx-ID: 4524
Ghosal, Arkadeb. A Hierarchical Coordination Language for Reliable Real-Time Tasks. University of California, Berkeley, 2008, pp. 1–210.
View
 

2007 | Thesis | IST-REx-ID: 4559
Chatterjee, Krishnendu. Stochastic ω-Regular Games. University of California, Berkeley, 2007, pp. 1–247.
View | Download (ext.)
 

2007 | Thesis | IST-REx-ID: 4566
Chakrabarti, Arindam. A Framework for Compositional Design and Analysis of Systems. University of California, Berkeley, 2007, pp. 1–244.
View
 

2004 | Thesis | IST-REx-ID: 4236
De Vladar, Harold. Métodos No Lineales y Sus Aplicaciones En Dinámicas Aleatorias de Poblaciones Celulares. Centro de estudios avazados, IVIC, 2004, doi:3810.
View | DOI
 

2004 | Thesis | IST-REx-ID: 4424
Jhala, Ranjit. Program Verification by Lazy Abstraction. University of California, Berkeley, 2004, pp. 1–165.
View
 

2003 | Thesis | IST-REx-ID: 4425
Horowitz, Benjamin. Giotto: A Time-Triggered Language for Embedded Programming. University of California, Berkeley, 2003, pp. 1–237.
View
 

2003 | Thesis | IST-REx-ID: 2414
Wagner, Uli. On K-Sets and Their Applications. ETH Zurich, 2003, doi:10.3929/ethz-a-004708408.
View | DOI
 

2003 | Thesis | IST-REx-ID: 4416
Majumdar, Ritankar. Symbolic Algorithms for Verification and Control. University of California, Berkeley, 2003, pp. 1–201.
View
 

2003 | Thesis | IST-REx-ID: 3678
Lampert, Christoph. “The Neumann Operator in Strictly Pseudoconvex Domains with Weighted Bergman Metric .” Bonner Mathematische Schriften, vol. 356, Universität Bonn, Fachbibliothek Mathematik, 2003, pp. 1–165.
View | Download (ext.)
 

2002 | Thesis | IST-REx-ID: 4414
Mang, Freddy. Games in Open Systems Verification and Synthesis. University of California, Berkeley, 2002, pp. 1–116.
View
 

Filters and Search Terms

type=dissertation

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed