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 I. 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 J. 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 D. 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 M. 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 AF. 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 H. 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 A. Learning from Dependent Data. IST Austria; 2018. doi:10.15479/AT:ISTA:TH1048
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 51
Case MJ. 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 E. 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. 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ć L. 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 M. 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 C. 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: 83   OA
Abusalah HM. 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: 52
Moser T. 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: 197   OA
Kolesnikov A. 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 A. 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 H. 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: 10   OA
Laukoter S. Role of Genomic Imprinting in Cerebral Cortex Development. IST Austria; 2018:1-139. doi:10.15479/AT:ISTA:th1057
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 6266
Mckenzie C. 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: 819   OA
Pull C. Disease Defence in Garden Ants. IST Austria; 2017. doi:10.15479/AT:ISTA:th_861
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 821   OA
Pavlogiannis A. 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: 838   OA
Rybar M. (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 P. 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 M. 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 D. 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: 992   OA
Rolinek M. 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 V. 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: 6287
Nikitenko A. 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: 6291
Payne P. Bacterial Herd and Social Immunity to Phages. IST Austria; 2017.
View | Files available
 

2017 | Thesis | IST-REx-ID: 1127
Prat T. 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 K. 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 H. 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: 820   OA
Jesse F. 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: 938   OA
Adamowski M. 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
 

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

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

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

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

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

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

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

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

2016 | Thesis | IST-REx-ID: 1126   OA
Pentina A. 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 M. Algorithms for Partially Observable Markov Decision Processes. IST Austria; 2016.
View
 

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

2016 | Thesis | IST-REx-ID: 1122
Bojsen-Hansen M. 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 T. 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 F. On the Approximation of Intrinsic Volumes. IST Austria; 2015.
View | Files available
 

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

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

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

2014 | Thesis | IST-REx-ID: 1395
Konrad M. 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 M. Forces Driving Epithelial Spreading in Zebrafish Epiboly. IST Austria; 2014.
View | Files available
 

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

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

2013 | Thesis | IST-REx-ID: 1406
Campinho P. 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 S. Active Properties of Hippocampal CA3 Pyramidal Neuron Dendrites. IST Austria; 2012.
View | Files available
 

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

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

2010 | Thesis | IST-REx-ID: 2075
Bickel B. Measurement-Based Modeling and Fabrication of Deformable Materials for Human Faces. Vol 499. Unknown; 2010. doi:dx.doi.org/10.3929/ethz-a-006354908
View | DOI
 

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

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

2009 | Thesis | IST-REx-ID: 4363
Singh V. Formalizing and Verifying Transactional Memories. EPFL Lausanne; 2009.
View
 

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

2009 | Thesis | IST-REx-ID: 4232
Vladar H. 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 S. Compositionality in Deterministic Real-Time Embedded Systems. University of California, Berkeley; 2008:1-148.
View
 

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

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

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

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

2004 | Thesis | IST-REx-ID: 4236
De Vladar H. 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 R. Program Verification by Lazy Abstraction. University of California, Berkeley; 2004:1-165.
View
 

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

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

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

2003 | Thesis | IST-REx-ID: 3678
Lampert C. The Neumann Operator in Strictly Pseudoconvex Domains with Weighted Bergman Metric . Vol 356. Universität Bonn, Fachbibliothek Mathematik; 2003:1-165.
View | Download (ext.)
 

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

1999 | Thesis | IST-REx-ID: 4411
Qadeer S. Algorithms and Methodology for Scalable Model Checking. University of California, Berkeley; 1999:1-150.
View | Download (ext.)
 

1996 | Thesis | IST-REx-ID: 4419
Kopke P. The Theory of Rectangular Hybrid Automata. Cornell University; 1996.
View
 

1995 | Thesis | IST-REx-ID: 4428
Ho P. Automatic Analysis of Hybrid Systems. Cornell University; 1995:1-188. doi:CSD-TR95-1536
View | DOI
 

1991 | Thesis | IST-REx-ID: 4516
Henzinger TA. The Temporal Specification and Verification of Real-Time Systems . Stanford University; 1991.
View | Download (ext.)
 

1979 | Thesis | IST-REx-ID: 4337
Barton NH. 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: AMA

Export / Embed