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
Reactivation content is important for consolidation of spatial memory
I. Gridchyn, Reactivation Content Is Important for Consolidation of Spatial Memory, IST Austria, 2018.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 149
Dyson equation and eigenvalue statistics of random matrices
J. Alt, Dyson Equation and Eigenvalue Statistics of Random Matrices, IST Austria, 2018.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 50
Optogenetic Frizzled 7 reveals a permissive function of Wnt/PCP signaling in directed mesenchymal cell migration
D. Capek, Optogenetic Frizzled 7 Reveals a Permissive Function of Wnt/PCP Signaling in Directed Mesenchymal Cell Migration, IST Austria, 2018.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 6263
Genetic determinants of antibiotic resistance evolution
M. Lukacisinova, Genetic Determinants of Antibiotic Resistance Evolution, IST Austria, 2018.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 323   OA
Branched actin networks in dendritic cell biology
A.F. Leithner, Branched Actin Networks in Dendritic Cell Biology, IST Austria, 2018.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 49   OA
Ge hut wires - from growth to hole spin resonance
H. Watzinger, Ge Hut Wires - from Growth to Hole Spin Resonance, IST Austria, 2018.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 68   OA
Learning from dependent data
A. Zimin, Learning from Dependent Data, IST Austria, 2018.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 51
From the left to the right: A tale of asymmetries, environments, and hippocampal development
M.J. Case, From the Left to the Right: A Tale of Asymmetries, Environments, and Hippocampal Development, IST Austria, 2018.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 418   OA
Optical and optogenetic control of proliferation and survival
E. Gschaider-Reichhart, Optical and Optogenetic Control of Proliferation and Survival , IST Austria, 2018.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 278
Lizenzverträge mit Open-Access-Komponenten an österreichischen Bibliotheken
M. Villányi, 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
Charge sensing and spin relaxation times of holes in Ge hut wires
L. Vukušić, Charge Sensing and Spin Relaxation Times of Holes in Ge Hut Wires, IST Austria, 2018.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 26
The influence of sequence context on the evolution of bacterial gene expression
M. Steinrück, The Influence of Sequence Context on the Evolution of Bacterial Gene Expression, IST Austria, 2018.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 324
Synaptotagmins ensure speed and efficiency of inhibitory neurotransmitter release
C. Chen, Synaptotagmins Ensure Speed and Efficiency of Inhibitory Neurotransmitter Release, IST Austria, 2018.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 83   OA
Proof systems for sustainable decentralized cryptocurrencies
H.M. Abusalah, Proof Systems for Sustainable Decentralized Cryptocurrencies, IST Austria, 2018.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 52
Point interactions in systems of fermions
T. Moser, Point Interactions in Systems of Fermions, IST Austria, 2018.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 197   OA
Weakly-Supervised Segmentation and Unsupervised Modeling of Natural Images
A. Kolesnikov, Weakly-Supervised Segmentation and Unsupervised Modeling of Natural Images, IST Austria, 2018.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 539   OA
Identification and characterization of novel auxin-cytokinin cross-talk components
A. Hurny, Identification and Characterization of Novel Auxin-Cytokinin Cross-Talk Components, IST Austria, 2018.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 200
Inferring recent demography from spatial genetic structure
H. Ringbauer, Inferring Recent Demography from Spatial Genetic Structure, IST Austria, 2018.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 10   OA
Role of genomic imprinting in cerebral cortex development
S. Laukoter, Role of Genomic Imprinting in Cerebral Cortex Development, IST Austria, 2018.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 6266
Design and characterization of methods and biological components to realize synthetic neurotransmission
C. Mckenzie, Design and Characterization of Methods and Biological Components to Realize Synthetic Neurotransmission , IST Austria, 2018.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 819   OA
Disease defence in garden ants
C. Pull, Disease Defence in Garden Ants, IST Austria, 2017.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 821   OA
Algorithmic advances in program analysis and their applications
A. Pavlogiannis, Algorithmic Advances in Program Analysis and Their Applications, IST Austria, 2017.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 838   OA
(The exact security of) Message authentication codes
M. Rybar, (The Exact Security of) Message Authentication Codes, IST Austria, 2017.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 1155
Statistical and logical methods for property checking
P. Daca, Statistical and Logical Methods for Property Checking, IST Austria, 2017.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 202
Biology of restriction-modification systems at the single-cell and population level
M. Pleska, Biology of Restriction-Modification Systems at the Single-Cell and Population Level, IST Austria, 2017.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 839   OA
Brittle fracture simulation with boundary elements for computer graphics
D. Hahn, Brittle Fracture Simulation with Boundary Elements for Computer Graphics, IST Austria, 2017.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 992   OA
Complexity of constraint satisfaction
M. Rolinek, Complexity of Constraint Satisfaction, IST Austria, 2017.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 961   OA
Cell adhesion and cell fate: An effective feedback loop during zebrafish gastrulation
V. Barone, Cell Adhesion and Cell Fate: An Effective Feedback Loop during Zebrafish Gastrulation, IST Austria, 2017.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 6287
Discrete Morse theory for random complexes
A. Nikitenko, Discrete Morse Theory for Random Complexes , IST Austria, 2017.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 6291
Bacterial herd and social immunity to phages
P. Payne, Bacterial Herd and Social Immunity to Phages, IST Austria, 2017.
View | Files available
 

2017 | Thesis | IST-REx-ID: 1127
Identification of novel regulators of PIN polarity and development of novel auxin sensor
T. Prat, 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
Timing, variability and cross-protection in bacteria – insights from dynamic gene expression responses to antibiotics
K. Mitosch, Timing, Variability and Cross-Protection in Bacteria – Insights from Dynamic Gene Expression Responses to Antibiotics, IST Austria, 2017.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 837   OA
Reactivation of the hippocampal cognitive map in goal-directed spatial tasks
H. Xu, Reactivation of the Hippocampal Cognitive Map in Goal-Directed Spatial Tasks, IST Austria, 2017.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 820   OA
The lac operon in the wild
F. Jesse, The Lac Operon in the Wild, IST Austria, 2017.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 938   OA
Investigations into cell polarity and trafficking in the plant model Arabidopsis thaliana
M. Adamowski, Investigations into Cell Polarity and Trafficking in the Plant Model Arabidopsis Thaliana , IST Austria, 2017.
View | Files available | DOI
 

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

2016 | Thesis | IST-REx-ID: 1123
Eliminating higher-multiplicity intersections: an r-fold Whitney trick for the topological Tverberg conjecture
I. Mabillard, 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
Automatic synthesis of synchronisation primitives for concurrent programs
T. Tarrach, Automatic Synthesis of Synchronisation Primitives for Concurrent Programs, IST Austria, 2016.
View | Files available | Download (ext.)
 

2016 | Thesis | IST-REx-ID: 1129
Quantitative analysis of haptotactic cell migration
J. Schwarz, Quantitative Analysis of Haptotactic Cell Migration, IST Austria, 2016.
View | Files available
 

2016 | Thesis | IST-REx-ID: 1124
Optical functionalization of human class A orphan G-protein coupled receptors
M. Morri, Optical Functionalization of Human Class A Orphan G-Protein Coupled Receptors, IST Austria, 2016.
View | Files available
 

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

2016 | Thesis | IST-REx-ID: 1396
Synaptic plasticity rules at CA3-CA3 recurrent synapses in hippocampus
R.K. Mishra, Synaptic Plasticity Rules at CA3-CA3 Recurrent Synapses in Hippocampus, IST Austria, 2016.
View | Files available
 

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

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

2016 | Thesis | IST-REx-ID: 1126   OA
Theoretical foundations of multi-task lifelong learning
A. Pentina, Theoretical Foundations of Multi-Task Lifelong Learning, IST Austria, 2016.
View | Files available | DOI
 

2016 | Thesis | IST-REx-ID: 1397
Algorithms for partially observable markov decision processes
M. Chmelik, Algorithms for Partially Observable Markov Decision Processes, IST Austria, 2016.
View
 

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

2016 | Thesis | IST-REx-ID: 1122
Tracking, correcting and absorbing water surface waves
M. Bojsen-Hansen, Tracking, Correcting and Absorbing Water Surface Waves, IST Austria, 2016.
View | Files available | DOI
 

2016 | Thesis | IST-REx-ID: 1398
The role of pollinator-mediated selection in the maintenance of a flower color polymorphism in an Antirrhinum majus hybrid zone
T. Ellis, The Role of Pollinator-Mediated Selection in the Maintenance of a Flower Color Polymorphism in an Antirrhinum Majus Hybrid Zone, IST Austria, 2016.
View | Files available | DOI
 

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

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

2015 | Thesis | IST-REx-ID: 1401
Learning with attributes for object recognition: Parametric and non-parametrics views
V. Sharmanska, Learning with Attributes for Object Recognition: Parametric and Non-Parametrics Views, IST Austria, 2015.
View | Download (ext.)
 

2014 | Thesis | IST-REx-ID: 1402
Molecular mechanisms of patterning and subcellular trafficking in Arabidopsis thaliana
P. Marhavá, Molecular Mechanisms of Patterning and Subcellular Trafficking in Arabidopsis Thaliana, IST Austria, 2014.
View
 

2014 | Thesis | IST-REx-ID: 1395
Immune defences in ants: Effects of social immunisation and a fungal ectosymbiont in the ant Lasius neglectus
M. Konrad, 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
Forces driving epithelial spreading in zebrafish epiboly
M. Behrndt, Forces Driving Epithelial Spreading in Zebrafish Epiboly, IST Austria, 2014.
View | Files available
 

2014 | Thesis | IST-REx-ID: 1404
Evolution of a fungal pathogen towards individual versus social immunity in ants
M. Stock, Evolution of a Fungal Pathogen towards Individual versus Social Immunity in Ants, IST Austria, 2014.
View
 

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

2013 | Thesis | IST-REx-ID: 1406
Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading
P. Campinho, 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
Active properties of hippocampal CA3 pyramidal neuron dendrites
S. Kim, Active Properties of Hippocampal CA3 Pyramidal Neuron Dendrites, IST Austria, 2012.
View | Files available
 

2011 | Thesis | IST-REx-ID: 3275
The role of chemotactic gradients in dendritic cell migration
K. Schumann, The Role of Chemotactic Gradients in Dendritic Cell Migration, IST Austria, 2011.
View | Files available
 

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

2010 | Thesis | IST-REx-ID: 2075
Measurement-based modeling and fabrication of deformable materials for human faces
B. Bickel, Measurement-Based Modeling and Fabrication of Deformable Materials for Human Faces, Unknown, 2010.
View | DOI
 

2010 | Thesis | IST-REx-ID: 3296
Animating physical phenomena with embedded surface meshes
C. Wojtan, Animating Physical Phenomena with Embedded Surface Meshes, Georgia Institute of Technology, 2010.
View | Download (ext.)
 

2010 | Thesis | IST-REx-ID: 3962
Dendritic cell migration across basement membranes in the skin
H. Pflicke,   Dendritic Cell Migration across Basement Membranes in the Skin, IST Austria, 2010.
View
 

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

2009 | Thesis | IST-REx-ID: 3400
Biosynthesis of Galactofuranose Containing Glycans and Their Relevance for the Pathogenic Fungus Aspergillus fumigatus
P.S. Schmalhorst, 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
Stochasticity and Variability in the dynamics and genetics of populations
H. Vladar, Stochasticity and Variability in the Dynamics and Genetics of Populations, Faculty of mathematical and natural sciences, University of Groningen, 2009.
View | DOI
 

2008 | Thesis | IST-REx-ID: 4415
Compositionality in deterministic real-time embedded systems
S. Matic, Compositionality in Deterministic Real-Time Embedded Systems, University of California, Berkeley, 2008.
View
 

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

2008 | Thesis | IST-REx-ID: 4524
A hierarchical coordination language for reliable real-time tasks
A. Ghosal, A Hierarchical Coordination Language for Reliable Real-Time Tasks, University of California, Berkeley, 2008.
View
 

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

2007 | Thesis | IST-REx-ID: 4566
A framework for compositional design and analysis of systems
A. Chakrabarti, A Framework for Compositional Design and Analysis of Systems, University of California, Berkeley, 2007.
View
 

2004 | Thesis | IST-REx-ID: 4236
Métodos no lineales y sus aplicaciones en dinámicas aleatorias de poblaciones celulares
H. De Vladar, Métodos No Lineales y Sus Aplicaciones En Dinámicas Aleatorias de Poblaciones Celulares, Centro de estudios avazados, IVIC, 2004.
View | DOI
 

2004 | Thesis | IST-REx-ID: 4424
Program verification by lazy abstraction
R. Jhala, Program Verification by Lazy Abstraction, University of California, Berkeley, 2004.
View
 

2003 | Thesis | IST-REx-ID: 4425
Giotto: A time-triggered language for embedded programming
B. Horowitz, Giotto: A Time-Triggered Language for Embedded Programming, University of California, Berkeley, 2003.
View
 

2003 | Thesis | IST-REx-ID: 2414
On k-Sets and Their Applications
U. Wagner, On K-Sets and Their Applications, ETH Zurich, 2003.
View | DOI
 

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

2003 | Thesis | IST-REx-ID: 3678
The Neumann operator in strictly pseudoconvex domains with weighted Bergman metric
C. Lampert, The Neumann Operator in Strictly Pseudoconvex Domains with Weighted Bergman Metric , Universität Bonn, Fachbibliothek Mathematik, 2003.
View | Download (ext.)
 

2002 | Thesis | IST-REx-ID: 4414
Games in open systems verification and synthesis
F. Mang, Games in Open Systems Verification and Synthesis, University of California, Berkeley, 2002.
View
 

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

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

1995 | Thesis | IST-REx-ID: 4428
Automatic Analysis of Hybrid Systems
P. Ho, Automatic Analysis of Hybrid Systems, Cornell University, 1995.
View | DOI
 

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

1979 | Thesis | IST-REx-ID: 4337
A hybrid zone in the alpine grasshopper Podisma pedestris
N.H. Barton, 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

Export / Embed