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.

104 Publications


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: 149
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: 50
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
 

2018 | Thesis | IST-REx-ID: 6263
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: 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: 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: 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: 51
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: 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: 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. https://doi.org/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. https://doi.org/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. https://doi.org/10.15479/AT:ISTA:th_997.
View | Files available | DOI
 

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: 52
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: 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: 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: 200
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: 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: 6266
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
 

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: 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: 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: 1155
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: 202
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
 

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: 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: 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: 6287
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: 6291
Payne, Pavel. Bacterial Herd and Social Immunity to Phages. IST Austria, 2017.
View | Files available
 

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
 

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: 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: 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: 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
 

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. https://doi.org/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.
View | Download (ext.)
 

2016 | Thesis | IST-REx-ID: 1122
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: 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. https://doi.org/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. Unknown, 2010. https://doi.org/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.
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.
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. https://doi.org/3811.
View | DOI
 

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: 4409
Prabhu, Vinayak. Games for the Verification of Timed 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
De Vladar, Harold. 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: 4425
Horowitz, Benjamin. Giotto: A Time-Triggered Language for Embedded Programming. University of California, Berkeley, 2003.
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: 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.
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 (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

Display / Sort

Citation Style: Chicago

Export / Embed