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.

230 Publications


2020 | Thesis | IST-REx-ID: 7902 | OA
Contreras, Ximena. “Genetic Dissection of Neural Development in Health and Disease at Single Cell Resolution.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:7902.
[Published Version] View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 8311 | OA
Kokoris Kogias, Eleftherios. “Secure, Confidential Blockchains Providing High Throughput and Low Latency.” École Polytechnique Fédérale de Lausanne, 2019. https://doi.org/10.5075/epfl-thesis-7101.
[Published Version] View | DOI | Download Published Version (ext.)
 

2019 | Thesis | IST-REx-ID: 6957 | OA
Paranjape, Chaitanya S. “Onset of Turbulence in Plane Poiseuille Flow.” Institute of Science and Technology Austria, 2019. https://doi.org/10.15479/AT:ISTA:6957.
[Published Version] View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 7186 | OA
Schwayer, Cornelia. “Mechanosensation of Tight Junctions Depends on ZO-1 Phase Separation and Flow.” Institute of Science and Technology Austria, 2019. https://doi.org/10.15479/AT:ISTA:7186.
[Published Version] View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6681 | OA
Zhechev, Stephan Y. “Algorithmic Aspects of Homotopy Theory and Embeddability.” Institute of Science and Technology Austria, 2019. https://doi.org/10.15479/AT:ISTA:6681.
[Published Version] View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6894 | OA
Giacobbe, Mirco. “Automatic Time-Unbounded Reachability Analysis of Hybrid Systems.” Institute of Science and Technology Austria, 2019. https://doi.org/10.15479/AT:ISTA:6894.
[Published Version] View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 7172 | OA
Vasileva, Mina K. “Molecular Mechanisms of Endomembrane Trafficking in Arabidopsis Thaliana.” Institute of Science and Technology Austria, 2019. https://doi.org/10.15479/AT:ISTA:7172.
[Published Version] View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6473 | OA
Cepeda Humerez, Sarah A. “Estimating Information Flow in Single Cells.” Institute of Science and Technology Austria, 2019. https://doi.org/10.15479/AT:ISTA:6473.
[Published Version] View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6071 | OA
Prizak, Roshan. “Coevolution of Transcription Factors and Their Binding Sites in Sequence Space.” Institute of Science and Technology Austria, 2019. https://doi.org/10.15479/at:ista:th6071.
[Published Version] View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6179 | OA
Schröder, Dominik J. “From Dyson to Pearcey: Universal Statistics in Random Matrix Theory.” Institute of Science and Technology Austria, 2019. https://doi.org/10.15479/AT:ISTA:th6179.
[Published Version] View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6392 | OA
Lukacisin, Martin. “Quantitative Investigation of Gene Expression Principles through Combinatorial Drug Perturbation and Theory.” IST Austria, 2019. https://doi.org/10.15479/AT:ISTA:6392.
[Published Version] View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6435 | OA
Casillas Perez, Barbara E. “Collective Defenses of Garden Ants against a Fungal Pathogen.” Institute of Science and Technology Austria, 2019. https://doi.org/10.15479/AT:ISTA:6435.
[Published Version] 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 .” Institute of Science and Technology Austria, 2019. https://doi.org/10.15479/at:ista:th1075.
[Published Version] View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6947 | OA
Assen, Frank P. “Lymph Node Mechanics: Deciphering the Interplay between Stroma Contractility, Morphology and Lymphocyte Trafficking.” Institute of Science and Technology Austria, 2019. https://doi.org/10.15479/AT:ISTA:6947.
[Published Version] View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6849 | OA
Rangel Guerrero, Dámaris K. “The Role of CCK-Interneurons in Regulating Hippocampal Network Dynamics.” Institute of Science and Technology Austria, 2019. https://doi.org/10.15479/AT:ISTA:6849.
[Published Version] 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.” Institute of Science and Technology Austria, 2019. https://doi.org/10.15479/at:ista:7132.
[Published Version] View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6825 | OA
Käfer, Karola. “The Hippocampus and Medial Prefrontal Cortex during Flexible Behavior.” Institute of Science and Technology Austria, 2019. https://doi.org/10.15479/AT:ISTA:6825.
[Published Version] View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6546 | OA
Valosková, Katarina. “The Role of a Highly Conserved Major Facilitator Superfamily Member in Drosophila Embryonic Macrophage Migration.” Institute of Science and Technology Austria, 2019. https://doi.org/10.15479/AT:ISTA:6546.
[Published Version] View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6363 | OA
Espinoza Martinez, Claudia . “Parvalbumin+ Interneurons Enable Efficient Pattern Separation in Hippocampal Microcircuits.” Institute of Science and Technology Austria, 2019. https://doi.org/10.15479/AT:ISTA:6363.
[Published Version] View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6891 | OA
Kopf, Aglaja. “The Implication of Cytoskeletal Dynamics on Leukocyte Migration.” Institute of Science and Technology Austria, 2019. https://doi.org/10.15479/AT:ISTA:6891.
[Published Version] View | Files available | DOI
 

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.” Institute of Science and Technology Austria, 2019. https://doi.org/10.15479/AT:ISTA:6371.
[Published Version] View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 49 | OA
Watzinger, Hannes. “Ge Hut Wires - from Growth to Hole Spin Resonance.” Institute of Science and Technology Austria, 2018. https://doi.org/10.15479/AT:ISTA:th_1033.
[Published Version] View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 201 | OA
Iglesias Ham, Mabel. “Multiple Covers with Balls.” Institute of Science and Technology Austria, 2018. https://doi.org/10.15479/AT:ISTA:th_1026.
[Published Version] View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 68 | OA
Zimin, Alexander. “Learning from Dependent Data.” Institute of Science and Technology Austria, 2018. https://doi.org/10.15479/AT:ISTA:TH1048.
[Published Version] View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 83 | OA
Abusalah, Hamza M. “Proof Systems for Sustainable Decentralized Cryptocurrencies.” Institute of Science and Technology Austria, 2018. https://doi.org/10.15479/AT:ISTA:TH_1046.
[Published Version] View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 197 | OA
Kolesnikov, Alexander. “Weakly-Supervised Segmentation and Unsupervised Modeling of Natural Images.” Institute of Science and Technology Austria, 2018. https://doi.org/10.15479/AT:ISTA:th_1021.
[Published Version] View | Files available | DOI
 

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

2018 | Thesis | IST-REx-ID: 418 | OA
Gschaider-Reichhart, Eva. “Optical and Optogenetic Control of Proliferation and Survival .” Institute of Science and Technology Austria, 2018. https://doi.org/10.15479/AT:ISTA:th_913.
[Published Version] View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 52 | OA
Moser, Thomas. “Point Interactions in Systems of Fermions.” Institute of Science and Technology Austria, 2018. https://doi.org/10.15479/AT:ISTA:th_1043.
[Published Version] 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.” Institute of Science and Technology Austria, 2018. https://doi.org/10.15479/AT:ISTA:TH_1047.
[Published Version] View | Files available | DOI
 

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

2018 | Thesis | IST-REx-ID: 14306 | OA
Praetorius, Florian M. “Genetically Encoding the Spatial Arrangement of DNA and Proteins in Self-Assembling Nanostructures.” Technische Universität München, 2018.
[Published Version] View | Download Published Version (ext.)
 

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

2018 | Thesis | IST-REx-ID: 149 | OA
Alt, Johannes. “Dyson Equation and Eigenvalue Statistics of Random Matrices.” Institute of Science and Technology Austria, 2018. https://doi.org/10.15479/AT:ISTA:TH_1040.
[Published Version] View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 395 | OA
Tarlungeanu, Dora-Clara. “The Branched Chain Amino Acids in Autism Spectrum Disorders .” Institute of Science and Technology Austria, 2018. https://doi.org/10.15479/AT:ISTA:th_992.
[Published Version] 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.” Institute of Science and Technology Austria, 2018. https://doi.org/10.15479/AT:ISTA:th_1032.
[Published Version] View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 10 | OA
Laukoter, Susanne. “Role of Genomic Imprinting in Cerebral Cortex Development.” Institute of Science and Technology Austria, 2018. https://doi.org/10.15479/AT:ISTA:th1057.
[Published Version] View | Files available | DOI
 

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

2018 | Thesis | IST-REx-ID: 539 | OA
Hurny, Andrej. “Identification and Characterization of Novel Auxin-Cytokinin Cross-Talk Components.” Institute of Science and Technology Austria, 2018. https://doi.org/10.15479/AT:ISTA:th_930.
[Published Version] View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 48 | OA
Gridchyn, Igor. “Reactivation Content Is Important for Consolidation of Spatial Memory.” Institute of Science and Technology Austria, 2018. https://doi.org/10.15479/AT:ISTA:th_1042.
[Published Version] View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 9 | OA
Belyaeva, Vera. “Transcriptional Regulation of Macrophage Migration in the Drosophila Melanogaster Embryo .” Institute of Science and Technology Austria, 2018. https://doi.org/10.15479/AT:ISTA:th1064.
[Published Version] 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 .” Institute of Science and Technology Austria, 2018. https://doi.org/10.15479/at:ista:th_1055.
[Published Version] 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.” Institute of Science and Technology Austria, 2018. https://doi.org/10.15479/AT:ISTA:TH_1031.
[Published Version] 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.” Institute of Science and Technology Austria, 2018. https://doi.org/10.15479/AT:ISTA:th1059.
[Published Version] View | Files available | DOI
 

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

2017 | Thesis | IST-REx-ID: 10663 | OA
Polshyn, Hryhoriy. “Magnetic Force Microscopy Studies of Mesoscopic Superconducting Structures.” University of Illinois at Urbana-Champaign, 2017.
[Published Version] View | Download Published Version (ext.)
 

2017 | Thesis | IST-REx-ID: 1155 | OA
Daca, Przemyslaw. “Statistical and Logical Methods for Property Checking.” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:TH_730.
[Published Version] View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 6291 | OA
Payne, Pavel. “Bacterial Herd and Social Immunity to Phages.” Institute of Science and Technology Austria, 2017.
[Published Version] 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.” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_862.
[Published Version] View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 821 | OA
Pavlogiannis, Andreas. “Algorithmic Advances in Program Analysis and Their Applications.” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_854.
[Published Version] View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 820 | OA
Jesse, Fabienne. “The Lac Operon in the Wild.” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_857.
[Published Version] View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 838 | OA
Rybar, Michal. “(The Exact Security of) Message Authentication Codes.” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_828.
[Published Version] View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 837 | OA
Xu, Haibing. “Reactivation of the Hippocampal Cognitive Map in Goal-Directed Spatial Tasks.” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_858.
[Published Version] 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 .” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_842.
[Published Version] View | Files available | DOI
 

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

2017 | Thesis | IST-REx-ID: 202 | OA
Pleska, Maros. “Biology of Restriction-Modification Systems at the Single-Cell and Population Level.” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_916.
[Published Version] View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 6287 | OA
Nikitenko, Anton. “Discrete Morse Theory for Random Complexes .” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_873.
[Published Version] View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 1127 | OA
Prat, Tomas. “Identification of Novel Regulators of PIN Polarity and Development of Novel Auxin Sensor.” Institute of Science and Technology Austria, 2017.
[Published Version] View | Files available
 

2017 | Thesis | IST-REx-ID: 961 | OA
Barone, Vanessa. “Cell Adhesion and Cell Fate: An Effective Feedback Loop during Zebrafish Gastrulation.” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_825.
[Published Version] View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 819 | OA
Pull, Christopher. “Disease Defence in Garden Ants.” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_861.
[Published Version] View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 839 | OA
Hahn, David. “Brittle Fracture Simulation with Boundary Elements for Computer Graphics.” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_855.
[Published Version] View | Files available | DOI
 

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

2016 | Thesis | IST-REx-ID: 1121 | OA
Acar, Hande. “Selective Barriers to Horizontal Gene Transfer.” Institute of Science and Technology Austria, 2016.
[Published Version] View | Files available
 

2016 | Thesis | IST-REx-ID: 1128 | OA
Rieckh, Georg. “Studying the Complexities of Transcriptional Regulation.” Institute of Science and Technology Austria, 2016.
[Published Version] View | Files available
 

2016 | Thesis | IST-REx-ID: 1124 | OA
Morri, Maurizio. “Optical Functionalization of Human Class A Orphan G-Protein Coupled Receptors.” Institute of Science and Technology Austria, 2016.
[Published Version] View | Files available
 

2016 | Thesis | IST-REx-ID: 1129 | OA
Schwarz, Jan. “Quantitative Analysis of Haptotactic Cell Migration.” Institute of Science and Technology Austria, 2016.
[Published Version] View | Files available
 

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

2016 | Thesis | IST-REx-ID: 1397
Chmelik, Martin. “Algorithms for Partially Observable Markov Decision Processes.” Institute of Science and Technology Austria, 2016.
View
 

2016 | Thesis | IST-REx-ID: 1123 | OA
Mabillard, Isaac. “Eliminating Higher-Multiplicity Intersections: An r-Fold Whitney Trick for the Topological Tverberg Conjecture.” Institute of Science and Technology Austria, 2016.
[Published Version] View | Files available
 

2016 | Thesis | IST-REx-ID: 1396 | OA
Mishra, Rajiv Kumar. “Synaptic Plasticity Rules at CA3-CA3 Recurrent Synapses in Hippocampus.” Institute of Science and Technology Austria, 2016.
[Published Version] View | Files available
 

2016 | Thesis | IST-REx-ID: 1125 | OA
Novak, Sebastian. “Evolutionary Proccesses in Variable Emvironments.” Institute of Science and Technology Austria, 2016.
[Published Version] View | Files available
 

2016 | Thesis | IST-REx-ID: 1130 | OA
Tarrach, Thorsten. “Automatic Synthesis of Synchronisation Primitives for Concurrent Programs.” Institute of Science and Technology Austria, 2016. https://doi.org/10.15479/at:ista:1130.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

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

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.” Institute of Science and Technology Austria, 2016. https://doi.org/10.15479/AT:ISTA:TH_526 .
[Published Version] View | Files available | DOI
 

2016 | Thesis | IST-REx-ID: 1131 | OA
Tugrul, Murat. “Evolution of Transcriptional Regulatory Sequences.” Institute of Science and Technology Austria, 2016.
[Published Version] View | Files available
 

2015 | Thesis | IST-REx-ID: 1401 | OA
Sharmanska, Viktoriia. “Learning with Attributes for Object Recognition: Parametric and Non-Parametrics Views.” Institute of Science and Technology Austria, 2015. https://doi.org/10.15479/at:ista:1401.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2015 | Thesis | IST-REx-ID: 1400
Reiter, Johannes. “The Subclonal Evolution of Cancer.” Institute of Science and Technology Austria, 2015.
View | Files available
 

2015 | Thesis | IST-REx-ID: 1399
Pausinger, Florian. “On the Approximation of Intrinsic Volumes.” Institute of Science and Technology Austria, 2015.
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
 

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.” Institute of Science and Technology Austria, 2014.
View
 

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

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

2013 | Thesis | IST-REx-ID: 1405 | OA
Zufferey, Damien. “Analysis of Dynamic Message Passing Programs.” Institute of Science and Technology Austria, 2013. https://doi.org/10.15479/at:ista:1405.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

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

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

2011 | Thesis | IST-REx-ID: 3275 | OA
Schumann, Kathrin. “The Role of Chemotactic Gradients in Dendritic Cell Migration.” Institute of Science and Technology Austria, 2011.
[Published Version] 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.” Institute of Science and Technology Austria, 2011.
View
 

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: 3296
Wojtan, Chris. “Animating Physical Phenomena with Embedded Surface Meshes.” Georgia Institute of Technology, 2010.
View | Download None (ext.)
 

2010 | Thesis | IST-REx-ID: 3962
Pflicke, Holger. “  Dendritic Cell Migration across Basement Membranes in the Skin.” Institute of Science and Technology Austria, 2010.
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 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
 

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

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
 

Filters and Search Terms

type=dissertation

Search

Filter Publications