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.

151 Publications


2019 | Thesis | IST-REx-ID: 6371 | OA
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 | OA
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: 7132 | OA
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
 

2019 | Thesis | IST-REx-ID: 6825 | OA
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
 

2018 | Thesis | IST-REx-ID: 278 | OA
Villányi, Márton. “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: 83 | OA
Abusalah, Hamza M. “Proof Systems for Sustainable Decentralized Cryptocurrencies.” IST Austria, 2018. https://doi.org/10.15479/AT:ISTA:TH_1046.
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. https://doi.org/10.15479/AT:ISTA:th_1021.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 200 | OA
Ringbauer, Harald. “Inferring Recent Demography from Spatial Genetic Structure.” IST Austria, 2018. https://doi.org/10.15479/AT:ISTA:th_963.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 201 | OA
Iglesias Ham, Mabel. “Multiple Covers with Balls.” IST Austria, 2018. https://doi.org/10.15479/AT:ISTA:th_1026.
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. https://doi.org/10.15479/AT:ISTA:th_1033.
View | Files available | DOI
 

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

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

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. https://doi.org/10.15479/AT:ISTA:TH_1047.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 149 | OA
Alt, Johannes. “Dyson Equation and Eigenvalue Statistics of Random Matrices.” IST Austria, 2018. https://doi.org/10.15479/AT:ISTA:TH_1040.
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. https://doi.org/10.15479/AT:ISTA:th_913.
View | Files available | DOI
 

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

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

2018 | Thesis | IST-REx-ID: 51 | OA
Case, Matthew J. “From the Left to the Right: A Tale of Asymmetries, Environments, and Hippocampal Development.” IST Austria, 2018. https://doi.org/10.15479/AT:ISTA:th_1032.
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. https://doi.org/10.15479/AT:ISTA:th_992.
View | Files available | DOI
 

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

2018 | Thesis | IST-REx-ID: 10 | OA
Laukoter, Susanne. “Role of Genomic Imprinting in Cerebral Cortex Development.” IST Austria, 2018. https://doi.org/10.15479/AT:ISTA:th1057.
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. https://doi.org/10.15479/AT:ISTA:th_930.
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. https://doi.org/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. https://doi.org/10.15479/AT:ISTA:th_1042.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 6266 | OA
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
 

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

2018 | Thesis | IST-REx-ID: 50 | OA
Capek, Daniel. “Optogenetic Frizzled 7 Reveals a Permissive Function of Wnt/PCP Signaling in Directed Mesenchymal Cell Migration.” IST Austria, 2018. https://doi.org/10.15479/AT:ISTA:TH_1031.
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. https://doi.org/10.15479/AT:ISTA:th_862.
View | Files available | DOI
 

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

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

2017 | Thesis | IST-REx-ID: 821 | OA
Pavlogiannis, Andreas. “Algorithmic Advances in Program Analysis and Their Applications.” IST Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_854.
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. https://doi.org/10.15479/AT:ISTA:th_858.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 838 | OA
Rybar, Michal. “(The Exact Security of) Message Authentication Codes.” IST Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_828.
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. https://doi.org/10.15479/AT:ISTA:th_855.
View | Files available | DOI
 

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

2017 | Thesis | IST-REx-ID: 1155 | OA
Daca, Przemyslaw. “Statistical and Logical Methods for Property Checking.” IST Austria, 2017. https://doi.org/10.15479/AT:ISTA:TH_730.
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. https://doi.org/10.15479/AT:ISTA:th_842.
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. https://doi.org/10.15479/AT:ISTA:th_825.
View | Files available | DOI
 

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

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

2017 | Thesis | IST-REx-ID: 1127 | OA
Prat, Tomas. “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
Pleska, Maros. “Biology of Restriction-Modification Systems at the Single-Cell and Population Level.” IST Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_916.
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: 1398 | OA
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. https://doi.org/10.15479/AT:ISTA:TH_526 .
View | Files available | DOI
 

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

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

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

2016 | Thesis | IST-REx-ID: 1189 | OA
Jochum, Clemens. “Dissipative Few-Body Quantum Systems.” Technical University Vienna, 2016.
View | Download Published Version (ext.)
 

2016 | Thesis | IST-REx-ID: 1130 | OA
Tarrach, Thorsten. “Automatic Synthesis of Synchronisation Primitives for Concurrent Programs.” IST Austria, 2016.
View | Files available | Download Published Version (ext.)
 

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

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

2016 | Thesis | IST-REx-ID: 1123 | OA
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: 1121 | OA
Acar, Hande. “Selective Barriers to Horizontal Gene Transfer.” IST Austria, 2016.
View | Files available
 

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

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

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

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 | OA
Sharmanska, Viktoriia. “Learning with Attributes for Object Recognition: Parametric and Non-Parametrics Views.” IST Austria, 2015.
View | Files available | Download Published Version (ext.)
 

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: 1402
Marhavá, Petra. “Molecular Mechanisms of Patterning and Subcellular Trafficking in Arabidopsis Thaliana.” 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: 1406
Campinho, Pedro. “Mechanics of Zebrafish Epiboly: Tension-Oriented Cell Divisions Limit Anisotropic Tissue Tension in Epithelial Spreading.” IST Austria, 2013.
View
 

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

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: 3273
Maître, Jean-Léon. “Mechanics of Adhesion and De‐adhesion in Zebrafish Germ Layer Progenitors.” IST Austria, 2011.
View
 

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

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

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

2010 | Thesis | IST-REx-ID: 3296
Wojtan, Christopher J. “Animating Physical Phenomena with Embedded Surface Meshes.” Georgia Institute of Technology, 2010.
View | Download None (ext.)
 

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

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.
View | Download (ext.)
 

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

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

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

2007 | Thesis | IST-REx-ID: 4559
Chatterjee, Krishnendu. “Stochastic ω-Regular Games.” University of California, Berkeley, 2007.
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.
View
 

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

2004 | Thesis | IST-REx-ID: 4424
Jhala, Ranjit. “Program Verification by Lazy Abstraction.” University of California, Berkeley, 2004.
View
 

2003 | Thesis | IST-REx-ID: 2414
Wagner, Uli. “On K-Sets and Their Applications.” ETH Zurich, 2003. https://doi.org/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.
View
 

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

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

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

1999 | Thesis | IST-REx-ID: 4411
Qadeer, Shaz. “Algorithms and Methodology for Scalable Model Checking.” University of California, Berkeley, 1999.
View | Download None (ext.)
 

1996 | Thesis | IST-REx-ID: 4419
Kopke, Peter. “The Theory of Rectangular Hybrid Automata.” Cornell University, 1996.
View
 

1995 | Thesis | IST-REx-ID: 4428
Ho, Pei. “Automatic Analysis of Hybrid Systems.” Cornell University, 1995. https://doi.org/CSD-TR95-1536.
View | DOI
 

1991 | Thesis | IST-REx-ID: 4516
Henzinger, Thomas A. “The Temporal Specification and Verification of Real-Time Systems .” Stanford University, 1991.
View | Download (ext.)
 

1979 | Thesis | IST-REx-ID: 4337
Barton, Nicholas H. “A Hybrid Zone in the Alpine Grasshopper Podisma Pedestris.” University of East Anglia, 1979.
View
 

Filters and Search Terms

type=dissertation

Search

Filter Publications