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.
189 Publications
2019 | Thesis | IST-REx-ID: 7132 | 
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, 2019.
View
| Files available
| DOI
C. Mckenzie, Design and Characterization of Methods and Biological Components to Realize Synthetic Neurotransmission, IST Austria, 2019.
2018 | Thesis | IST-REx-ID: 197 |
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
A. Kolesnikov, Weakly-Supervised Segmentation and Unsupervised Modeling of Natural Images, IST Austria, 2018.
2018 | Thesis | IST-REx-ID: 201 |
Multiple covers with balls
M. Iglesias Ham, Multiple Covers with Balls, IST Austria, 2018.
View
| Files available
| DOI
M. Iglesias Ham, Multiple Covers with Balls, IST Austria, 2018.
2018 | Thesis | IST-REx-ID: 418 |
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
E. Gschaider-Reichhart, Optical and Optogenetic Control of Proliferation and Survival , IST Austria, 2018.
2018 | Thesis | IST-REx-ID: 49 |
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
H. Watzinger, Ge Hut Wires - from Growth to Hole Spin Resonance, IST Austria, 2018.
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 Published Version (ext.)
M. Villányi, Lizenzverträge mit Open-Access-Komponenten an österreichischen Bibliotheken, Universität Wien, 2018.
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
H. Ringbauer, Inferring Recent Demography from Spatial Genetic Structure, IST Austria, 2018.
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
J. Alt, Dyson Equation and Eigenvalue Statistics of Random Matrices, IST Austria, 2018.
2018 | Thesis | IST-REx-ID: 68 |
Learning from dependent data
A. Zimin, Learning from Dependent Data, IST Austria, 2018.
View
| Files available
| DOI
A. Zimin, Learning from Dependent Data, IST Austria, 2018.
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
T. Moser, Point Interactions in Systems of Fermions, IST Austria, 2018.
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
C. Chen, Synaptotagmins Ensure Speed and Efficiency of Inhibitory Neurotransmitter Release, IST Austria, 2018.
2018 | Thesis | IST-REx-ID: 83 |
Proof systems for sustainable decentralized cryptocurrencies
H.M. Abusalah, Proof Systems for Sustainable Decentralized Cryptocurrencies, IST Austria, 2018.
View
| Files available
| DOI
H.M. Abusalah, Proof Systems for Sustainable Decentralized Cryptocurrencies, IST Austria, 2018.
2018 | Thesis | IST-REx-ID: 69 |
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
L. Vukušić, Charge Sensing and Spin Relaxation Times of Holes in Ge Hut Wires, IST Austria, 2018.
2018 | Thesis | IST-REx-ID: 395 |
The branched chain amino acids in autism spectrum disorders
D.-C. Tarlungeanu, The Branched Chain Amino Acids in Autism Spectrum Disorders , IST Austria, 2018.
View
| Files available
| DOI
D.-C. Tarlungeanu, The Branched Chain Amino Acids in Autism Spectrum Disorders , IST Austria, 2018.
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
M.J. Case, From the Left to the Right: A Tale of Asymmetries, Environments, and Hippocampal Development, IST Austria, 2018.
2018 | Thesis | IST-REx-ID: 323 |
Branched actin networks in dendritic cell biology
A.F. Leithner, Branched Actin Networks in Dendritic Cell Biology, IST Austria, 2018.
View
| Files available
| DOI
A.F. Leithner, Branched Actin Networks in Dendritic Cell Biology, IST Austria, 2018.
2018 | Thesis | IST-REx-ID: 10 |
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
S. Laukoter, Role of Genomic Imprinting in Cerebral Cortex Development, IST Austria, 2018.
2018 | Thesis | IST-REx-ID: 539 |
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
A. Hurny, Identification and Characterization of Novel Auxin-Cytokinin Cross-Talk Components, IST Austria, 2018.
2018 | Thesis | IST-REx-ID: 48 |
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
I. Gridchyn, Reactivation Content Is Important for Consolidation of Spatial Memory, IST Austria, 2018.
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
M. Lukacisinova, Genetic Determinants of Antibiotic Resistance Evolution, IST Austria, 2018.
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
C. Mckenzie, Design and Characterization of Methods and Biological Components to Realize Synthetic Neurotransmission , IST Austria, 2018.
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
D. Capek, Optogenetic Frizzled 7 Reveals a Permissive Function of Wnt/PCP Signaling in Directed Mesenchymal Cell Migration, IST Austria, 2018.
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
M. Steinrück, The Influence of Sequence Context on the Evolution of Bacterial Gene Expression, IST Austria, 2018.
2018 | Thesis | IST-REx-ID: 9 |
Transcriptional regulation of macrophage migration in the Drosophila melanogaster embryo
V. Belyaeva, Transcriptional Regulation of Macrophage Migration in the Drosophila Melanogaster Embryo , IST Austria, 2018.
View
| Files available
| DOI
V. Belyaeva, Transcriptional Regulation of Macrophage Migration in the Drosophila Melanogaster Embryo , IST Austria, 2018.
2017 | Thesis | IST-REx-ID: 10663 |
Magnetic force microscopy studies of mesoscopic superconducting structures
H. Polshyn, Magnetic Force Microscopy Studies of Mesoscopic Superconducting Structures, University of Illinois at Urbana-Champaign, 2017.
View
| Download Published Version (ext.)
H. Polshyn, Magnetic Force Microscopy Studies of Mesoscopic Superconducting Structures, University of Illinois at Urbana-Champaign, 2017.
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
P. Daca, Statistical and Logical Methods for Property Checking, IST Austria, 2017.
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
T. Prat, Identification of Novel Regulators of PIN Polarity and Development of Novel Auxin Sensor, IST Austria, 2017.
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
M. Pleska, Biology of Restriction-Modification Systems at the Single-Cell and Population Level, IST Austria, 2017.
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
P. Payne, Bacterial Herd and Social Immunity to Phages, IST Austria, 2017.
2017 | Thesis | IST-REx-ID: 818 |
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
K. Mitosch, Timing, Variability and Cross-Protection in Bacteria – Insights from Dynamic Gene Expression Responses to Antibiotics, IST Austria, 2017.
2017 | Thesis | IST-REx-ID: 819 |
Disease defence in garden ants
C. Pull, Disease Defence in Garden Ants, IST Austria, 2017.
View
| Files available
| DOI
C. Pull, Disease Defence in Garden Ants, IST Austria, 2017.
2017 | Thesis | IST-REx-ID: 820 |
The lac operon in the wild
F. Jesse, The Lac Operon in the Wild, IST Austria, 2017.
View
| Files available
| DOI
F. Jesse, The Lac Operon in the Wild, IST Austria, 2017.
2017 | Thesis | IST-REx-ID: 821 |
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
A. Pavlogiannis, Algorithmic Advances in Program Analysis and Their Applications, IST Austria, 2017.
2017 | Thesis | IST-REx-ID: 837 |
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
H. Xu, Reactivation of the Hippocampal Cognitive Map in Goal-Directed Spatial Tasks, IST Austria, 2017.
2017 | Thesis | IST-REx-ID: 838 |
(The exact security of) Message authentication codes
M. Rybar, (The Exact Security of) Message Authentication Codes, IST Austria, 2017.
View
| Files available
| DOI
M. Rybar, (The Exact Security of) Message Authentication Codes, IST Austria, 2017.
2017 | Thesis | IST-REx-ID: 839 |
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
D. Hahn, Brittle Fracture Simulation with Boundary Elements for Computer Graphics, IST Austria, 2017.
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
A. Nikitenko, Discrete Morse Theory for Random Complexes , IST Austria, 2017.
2017 | Thesis | IST-REx-ID: 961 |
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
V. Barone, Cell Adhesion and Cell Fate: An Effective Feedback Loop during Zebrafish Gastrulation, IST Austria, 2017.
2017 | Thesis | IST-REx-ID: 992 |
Complexity of constraint satisfaction
M. Rolinek, Complexity of Constraint Satisfaction, IST Austria, 2017.
View
| Files available
| DOI
M. Rolinek, Complexity of Constraint Satisfaction, IST Austria, 2017.
2017 | Thesis | IST-REx-ID: 938 |
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
M. Adamowski, Investigations into Cell Polarity and Trafficking in the Plant Model Arabidopsis Thaliana , IST Austria, 2017.
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
H. Acar, Selective Barriers to Horizontal Gene Transfer, IST Austria, 2016.
2016 | Thesis | IST-REx-ID: 1126 |
Theoretical foundations of multi-task lifelong learning
A. Pentina, Theoretical Foundations of Multi-Task Lifelong Learning, IST Austria, 2016.
View
| Files available
| DOI
A. Pentina, Theoretical Foundations of Multi-Task Lifelong Learning, IST Austria, 2016.
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
M. Morri, Optical Functionalization of Human Class A Orphan G-Protein Coupled Receptors, IST Austria, 2016.
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
J. Schwarz, Quantitative Analysis of Haptotactic Cell Migration, IST Austria, 2016.
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
G. Rieckh, Studying the Complexities of Transcriptional Regulation, IST Austria, 2016.
2016 | Thesis | IST-REx-ID: 1189 |
Dissipative Few-Body Quantum Systems
C. Jochum, Dissipative Few-Body Quantum Systems, Technical University Vienna, 2016.
View
| Download Published Version (ext.)
C. Jochum, Dissipative Few-Body Quantum Systems, Technical University Vienna, 2016.
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
M. Chmelik, Algorithms for Partially Observable Markov Decision Processes, IST Austria, 2016.
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
R.K. Mishra, Synaptic Plasticity Rules at CA3-CA3 Recurrent Synapses in Hippocampus, IST Austria, 2016.
2016 | Thesis | IST-REx-ID: 1125 |
Evolutionary proccesses in variable emvironments
S. Novak, Evolutionary Proccesses in Variable Emvironments, IST Austria, 2016.
View
| Files available
S. Novak, Evolutionary Proccesses in Variable Emvironments, IST Austria, 2016.
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
I. Mabillard, Eliminating Higher-Multiplicity Intersections: An r-Fold Whitney Trick for the Topological Tverberg Conjecture, IST Austria, 2016.
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
| DOI
| Download Published Version (ext.)
T. Tarrach, Automatic Synthesis of Synchronisation Primitives for Concurrent Programs, IST Austria, 2016.
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
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.
2016 | Thesis | IST-REx-ID: 1131 |
Evolution of transcriptional regulatory sequences
M. Tugrul, Evolution of Transcriptional Regulatory Sequences, IST Austria, 2016.
View
| Files available
M. Tugrul, Evolution of Transcriptional Regulatory Sequences, IST Austria, 2016.
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
M. Bojsen-Hansen, Tracking, Correcting and Absorbing Water Surface Waves, IST Austria, 2016.
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
| Files available
| DOI
| Download Published Version (ext.)
V. Sharmanska, Learning with Attributes for Object Recognition: Parametric and Non-Parametrics Views, IST Austria, 2015.
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
F. Pausinger, On the Approximation of Intrinsic Volumes, IST Austria, 2015.
2015 | Thesis | IST-REx-ID: 1400
The subclonal evolution of cancer
J. Reiter, The Subclonal Evolution of Cancer, IST Austria, 2015.
View
| Files available
J. Reiter, The Subclonal Evolution of Cancer, IST Austria, 2015.
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
M. Konrad, Immune Defences in Ants: Effects of Social Immunisation and a Fungal Ectosymbiont in the Ant Lasius Neglectus, IST Austria, 2014.
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
M. Stock, Evolution of a Fungal Pathogen towards Individual versus Social Immunity in Ants, IST Austria, 2014.
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
P. Marhavá, Molecular Mechanisms of Patterning and Subcellular Trafficking in Arabidopsis Thaliana, IST Austria, 2014.
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
M. Behrndt, Forces Driving Epithelial Spreading in Zebrafish Epiboly, IST Austria, 2014.
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
P. Campinho, Mechanics of Zebrafish Epiboly: Tension-Oriented Cell Divisions Limit Anisotropic Tissue Tension in Epithelial Spreading, IST Austria, 2013.
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
| DOI
| Download Published Version (ext.)
D. Zufferey, Analysis of Dynamic Message Passing Programs, IST Austria, 2013.
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
S. Kim, Active Properties of Hippocampal CA3 Pyramidal Neuron Dendrites, IST Austria, 2012.
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
K. Schumann, The Role of Chemotactic Gradients in Dendritic Cell Migration, IST Austria, 2011.
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
J.-L. Maître, Mechanics of Adhesion and De‐adhesion in Zebrafish Germ Layer Progenitors, IST Austria, 2011.
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
B. Bickel, Measurement-Based Modeling and Fabrication of Deformable Materials for Human Faces, Unknown, 2010.
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
H. Pflicke, Dendritic Cell Migration across Basement Membranes in the Skin, IST Austria, 2010.
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 None (ext.)
C. Wojtan, Animating Physical Phenomena with Embedded Surface Meshes, Georgia Institute of Technology, 2010.
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.)
P.S. Schmalhorst, Biosynthesis of Galactofuranose Containing Glycans and Their Relevance for the Pathogenic Fungus Aspergillus Fumigatus, Gottfried Wilhelm Leibniz Universität Hannover, 2009.
2009 | Thesis | IST-REx-ID: 4232
Stochasticity and Variability in the dynamics and genetics of populations
H. de Vladar, Stochasticity and Variability in the Dynamics and Genetics of Populations, Faculty of mathematical and natural sciences, University of Groningen, 2009.
View
| DOI
H. de Vladar, Stochasticity and Variability in the Dynamics and Genetics of Populations, Faculty of mathematical and natural sciences, University of Groningen, 2009.
2009 | Thesis | IST-REx-ID: 4363
Formalizing and Verifying Transactional Memories
V. Singh, Formalizing and Verifying Transactional Memories, EPFL Lausanne, 2009.
View
V. Singh, Formalizing and Verifying Transactional Memories, EPFL Lausanne, 2009.
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
| Download None (ext.)
V. Prabhu, Games for the Verification of Timed Systems, University of California, Berkeley, 2008.
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
S. Matic, Compositionality in Deterministic Real-Time Embedded Systems, University of California, Berkeley, 2008.
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
A. Ghosal, A Hierarchical Coordination Language for Reliable Real-Time Tasks, University of California, Berkeley, 2008.
2007 | Thesis | IST-REx-ID: 4559
Stochastic ω-Regular Games
K. Chatterjee, Stochastic ω-Regular Games, University of California, Berkeley, 2007.
View
| Download (ext.)
K. Chatterjee, Stochastic ω-Regular Games, University of California, Berkeley, 2007.
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
A. Chakrabarti, A Framework for Compositional Design and Analysis of Systems, University of California, Berkeley, 2007.
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
H. de Vladar, Métodos No Lineales y Sus Aplicaciones En Dinámicas Aleatorias de Poblaciones Celulares, Centro de estudios avazados, IVIC, 2004.
2004 | Thesis | IST-REx-ID: 4424
Program verification by lazy abstraction
R. Jhala, Program Verification by Lazy Abstraction, University of California, Berkeley, 2004.
View
R. Jhala, Program Verification by Lazy Abstraction, University of California, Berkeley, 2004.
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
U. Wagner, On K-Sets and Their Applications, ETH Zurich, 2003.
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.)
C. Lampert, The Neumann Operator in Strictly Pseudoconvex Domains with Weighted Bergman Metric , Universität Bonn, Fachbibliothek Mathematik, 2003.
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
R. Majumdar, Symbolic Algorithms for Verification and Control, University of California, Berkeley, 2003.
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
B. Horowitz, Giotto: A Time-Triggered Language for Embedded Programming, University of California, Berkeley, 2003.
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
F. Mang, Games in Open Systems Verification and Synthesis, University of California, Berkeley, 2002.
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 None (ext.)
S. Qadeer, Algorithms and Methodology for Scalable Model Checking, University of California, Berkeley, 1999.
1996 | Thesis | IST-REx-ID: 4419
The Theory of Rectangular Hybrid Automata
P. Kopke, The Theory of Rectangular Hybrid Automata, Cornell University, 1996.
View
P. Kopke, The Theory of Rectangular Hybrid Automata, Cornell University, 1996.
1995 | Thesis | IST-REx-ID: 4428 |
Automatic analysis of hybrid systems
P. Ho, Automatic Analysis of Hybrid Systems, Cornell University, 1995.
View
| Download Published Version (ext.)
P. Ho, Automatic Analysis of Hybrid Systems, Cornell University, 1995.
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 None (ext.)
T.A. Henzinger, The Temporal Specification and Verification of Real-Time Systems , Stanford University, 1991.
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
N.H. Barton, A Hybrid Zone in the Alpine Grasshopper Podisma Pedestris, University of East Anglia, 1979.