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.
172 Publications
2018 | Thesis | IST-REx-ID: 9 |

Belyaeva, V. (2018). Transcriptional regulation of macrophage migration in the Drosophila melanogaster embryo . IST Austria. https://doi.org/10.15479/AT:ISTA:th1064
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 50 |

Capek, D. (2018). Optogenetic Frizzled 7 reveals a permissive function of Wnt/PCP signaling in directed mesenchymal cell migration. IST Austria. https://doi.org/10.15479/AT:ISTA:TH_1031
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 395 |

Tarlungeanu, D.-C. (2018). The branched chain amino acids in autism spectrum disorders . IST Austria. https://doi.org/10.15479/AT:ISTA:th_992
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 10 |

Laukoter, S. (2018). Role of genomic imprinting in cerebral cortex development. IST Austria. https://doi.org/10.15479/AT:ISTA:th1057
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 6266 |

Mckenzie, C. (2018). Design and characterization of methods and biological components to realize synthetic neurotransmission . IST Austria. https://doi.org/10.15479/at:ista:th_1055
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 26 |

Steinrück, M. (2018). The influence of sequence context on the evolution of bacterial gene expression. IST Austria. https://doi.org/10.15479/AT:ISTA:th1059
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 6263 |

Lukacisinova, M. (2018). Genetic determinants of antibiotic resistance evolution. IST Austria. https://doi.org/10.15479/AT:ISTA:th1072
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 818 |

Mitosch, K. (2017). Timing, variability and cross-protection in bacteria – insights from dynamic gene expression responses to antibiotics. IST Austria. https://doi.org/10.15479/AT:ISTA:th_862
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 819 |

Pull, C. (2017). Disease defence in garden ants. IST Austria. https://doi.org/10.15479/AT:ISTA:th_861
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 820 |

Jesse, F. (2017). The lac operon in the wild. IST Austria. https://doi.org/10.15479/AT:ISTA:th_857
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 821 |

Pavlogiannis, A. (2017). Algorithmic advances in program analysis and their applications. IST Austria. https://doi.org/10.15479/AT:ISTA:th_854
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 837 |

Xu, H. (2017). Reactivation of the hippocampal cognitive map in goal-directed spatial tasks. IST Austria. https://doi.org/10.15479/AT:ISTA:th_858
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 838 |

Rybar, M. (2017). (The exact security of) Message authentication codes. IST Austria. https://doi.org/10.15479/AT:ISTA:th_828
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 839 |

Hahn, D. (2017). Brittle fracture simulation with boundary elements for computer graphics. IST Austria. https://doi.org/10.15479/AT:ISTA:th_855
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 10663 |

Polshyn, H. (2017). Magnetic force microscopy studies of mesoscopic superconducting structures. University of Illinois at Urbana-Champaign.
View
| Download Published Version (ext.)
2017 | Thesis | IST-REx-ID: 1127 |

Prat, T. (2017). Identification of novel regulators of PIN polarity and development of novel auxin sensor. IST Austria.
View
| Files available
2017 | Thesis | IST-REx-ID: 1155 |

Daca, P. (2017). Statistical and logical methods for property checking. IST Austria. https://doi.org/10.15479/AT:ISTA:TH_730
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 6287 |

Nikitenko, A. (2017). Discrete Morse theory for random complexes . IST Austria. https://doi.org/10.15479/AT:ISTA:th_873
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 6291 |

Payne, P. (2017). Bacterial herd and social immunity to phages. IST Austria.
View
| Files available
2017 | Thesis | IST-REx-ID: 938 |

Adamowski, M. (2017). Investigations into cell polarity and trafficking in the plant model Arabidopsis thaliana . IST Austria. https://doi.org/10.15479/AT:ISTA:th_842
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 992 |

Rolinek, M. (2017). Complexity of constraint satisfaction. IST Austria. https://doi.org/10.15479/AT:ISTA:th_815
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 202 |

Pleska, M. (2017). Biology of restriction-modification systems at the single-cell and population level. IST Austria. https://doi.org/10.15479/AT:ISTA:th_916
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 961 |

Barone, V. (2017). Cell adhesion and cell fate: An effective feedback loop during zebrafish gastrulation. IST Austria. https://doi.org/10.15479/AT:ISTA:th_825
View
| Files available
| DOI
2016 | Thesis | IST-REx-ID: 1121 |

Acar, H. (2016). Selective barriers to horizontal gene transfer. IST Austria.
View
| Files available
2016 | Thesis | IST-REx-ID: 1122 |

Bojsen-Hansen, M. (2016). Tracking, correcting and absorbing water surface waves. IST Austria. https://doi.org/10.15479/AT:ISTA:th_640
View
| Files available
| DOI
2016 | Thesis | IST-REx-ID: 1123 |

Mabillard, I. (2016). Eliminating higher-multiplicity intersections: an r-fold Whitney trick for the topological Tverberg conjecture. IST Austria.
View
| Files available
2016 | Thesis | IST-REx-ID: 1124 |

Morri, M. (2016). Optical functionalization of human class A orphan G-protein coupled receptors. IST Austria.
View
| Files available
2016 | Thesis | IST-REx-ID: 1125 |

Novak, S. (2016). Evolutionary proccesses in variable emvironments. IST Austria.
View
| Files available
2016 | Thesis | IST-REx-ID: 1126 |

Pentina, A. (2016). Theoretical foundations of multi-task lifelong learning. IST Austria. https://doi.org/10.15479/AT:ISTA:TH_776
View
| Files available
| DOI
2016 | Thesis | IST-REx-ID: 1128 |

Rieckh, G. (2016). Studying the complexities of transcriptional regulation. IST Austria.
View
| Files available
2016 | Thesis | IST-REx-ID: 1129 |

Schwarz, J. (2016). Quantitative analysis of haptotactic cell migration. IST Austria.
View
| Files available
2016 | Thesis | IST-REx-ID: 1130 |

Tarrach, T. (2016). Automatic synthesis of synchronisation primitives for concurrent programs. IST Austria. https://doi.org/10.15479/at:ista:1130
View
| Files available
| DOI
| Download Published Version (ext.)
2016 | Thesis | IST-REx-ID: 1131 |

Tugrul, M. (2016). Evolution of transcriptional regulatory sequences. IST Austria.
View
| Files available
2016 | Thesis | IST-REx-ID: 1189 |

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

Mishra, R. K. (2016). Synaptic plasticity rules at CA3-CA3 recurrent synapses in hippocampus. IST Austria.
View
| Files available
2016 | Thesis | IST-REx-ID: 1397
Chmelik, M. (2016). Algorithms for partially observable markov decision processes. IST Austria.
View
2016 | Thesis | IST-REx-ID: 1398 |

Ellis, T. (2016). The role of pollinator-mediated selection in the maintenance of a flower color polymorphism in an Antirrhinum majus hybrid zone. IST Austria. https://doi.org/10.15479/AT:ISTA:TH_526
View
| Files available
| DOI
2015 | Thesis | IST-REx-ID: 1399
Pausinger, F. (2015). On the approximation of intrinsic volumes. IST Austria.
View
| Files available
2015 | Thesis | IST-REx-ID: 1400
Reiter, J. (2015). The subclonal evolution of cancer. IST Austria.
View
| Files available
2015 | Thesis | IST-REx-ID: 1401 |

Sharmanska, V. (2015). Learning with attributes for object recognition: Parametric and non-parametrics views. IST Austria. https://doi.org/10.15479/at:ista:1401
View
| Files available
| DOI
| Download Published Version (ext.)
2014 | Thesis | IST-REx-ID: 1395
Konrad, M. (2014). Immune defences in ants: Effects of social immunisation and a fungal ectosymbiont in the ant Lasius neglectus. IST Austria.
View
2014 | Thesis | IST-REx-ID: 1402
Marhavá, P. (2014). Molecular mechanisms of patterning and subcellular trafficking in Arabidopsis thaliana. IST Austria.
View
2014 | Thesis | IST-REx-ID: 1403
Behrndt, M. (2014). Forces driving epithelial spreading in zebrafish epiboly. IST Austria.
View
| Files available
2014 | Thesis | IST-REx-ID: 1404
Stock, M. (2014). Evolution of a fungal pathogen towards individual versus social immunity in ants. IST Austria.
View
2013 | Thesis | IST-REx-ID: 1405 |

Zufferey, D. (2013). Analysis of dynamic message passing programs. IST Austria. https://doi.org/10.15479/at:ista:1405
View
| Files available
| DOI
| Download Published Version (ext.)
2013 | Thesis | IST-REx-ID: 1406
Campinho, P. (2013). Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading. IST Austria.
View
2012 | Thesis | IST-REx-ID: 2964
Kim, S. (2012). Active properties of hippocampal CA3 pyramidal neuron dendrites. IST Austria.
View
| Files available
2011 | Thesis | IST-REx-ID: 3273
Maître, J.-L. (2011). Mechanics of adhesion and de‐adhesion in zebrafish germ layer progenitors. IST Austria.
View
2011 | Thesis | IST-REx-ID: 3275 |

Schumann, K. (2011). The role of chemotactic gradients in dendritic cell migration. IST Austria.
View
| Files available
2010 | Thesis | IST-REx-ID: 3296
Wojtan, C. J. (2010). Animating physical phenomena with embedded surface meshes. Georgia Institute of Technology.
View
| Download None (ext.)
2010 | Thesis | IST-REx-ID: 2075
Bickel, B. (2010). Measurement-based modeling and fabrication of deformable materials for human faces. Unknown. Unknown. https://doi.org/dx.doi.org/10.3929/ethz-a-006354908
View
| DOI
2010 | Thesis | IST-REx-ID: 3962
Pflicke, H. (2010). Dendritic cell migration across basement membranes in the skin. IST Austria.
View
2009 | Thesis | IST-REx-ID: 3400
Schmalhorst, P. S. (2009). Biosynthesis of Galactofuranose Containing Glycans and Their Relevance for the Pathogenic Fungus Aspergillus fumigatus. Gottfried Wilhelm Leibniz Universität Hannover.
View
| Download (ext.)
2009 | Thesis | IST-REx-ID: 4232
de Vladar, H. (2009). Stochasticity and Variability in the dynamics and genetics of populations. Faculty of mathematical and natural sciences, University of Groningen. https://doi.org/3811
View
| DOI
2009 | Thesis | IST-REx-ID: 4363
Singh, V. (2009). Formalizing and Verifying Transactional Memories. Formalizing and Verifying Transactional Memories. EPFL Lausanne.
View
2008 | Thesis | IST-REx-ID: 4415
Matic, S. (2008). Compositionality in deterministic real-time embedded systems. University of California, Berkeley.
View
2008 | Thesis | IST-REx-ID: 4524
Ghosal, A. (2008). A hierarchical coordination language for reliable real-time tasks. University of California, Berkeley.
View
2008 | Thesis | IST-REx-ID: 4409 |

Prabhu, V. (2008). Games for the verification of timed systems. University of California, Berkeley.
View
| Download None (ext.)
2007 | Thesis | IST-REx-ID: 4559
Chatterjee, K. (2007). Stochastic ω-Regular Games. University of California, Berkeley.
View
| Download (ext.)
2007 | Thesis | IST-REx-ID: 4566
Chakrabarti, A. (2007). A framework for compositional design and analysis of systems. University of California, Berkeley.
View
2004 | Thesis | IST-REx-ID: 4424
Jhala, R. (2004). Program verification by lazy abstraction. University of California, Berkeley.
View
2004 | Thesis | IST-REx-ID: 4236
de Vladar, H. (2004). Métodos no lineales y sus aplicaciones en dinámicas aleatorias de poblaciones celulares. Centro de estudios avazados, IVIC. https://doi.org/3810
View
| DOI
2003 | Thesis | IST-REx-ID: 4416
Majumdar, R. (2003). Symbolic algorithms for verification and control. University of California, Berkeley.
View
2003 | Thesis | IST-REx-ID: 4425
Horowitz, B. (2003). Giotto: A time-triggered language for embedded programming. University of California, Berkeley.
View
2003 | Thesis | IST-REx-ID: 2414
Wagner, U. (2003). On k-Sets and Their Applications. ETH Zurich. https://doi.org/10.3929/ethz-a-004708408
View
| DOI
2003 | Thesis | IST-REx-ID: 3678
Lampert, C. (2003). The Neumann operator in strictly pseudoconvex domains with weighted Bergman metric . Bonner Mathematische Schriften. Universität Bonn, Fachbibliothek Mathematik.
View
| Download (ext.)
2002 | Thesis | IST-REx-ID: 4414
Mang, F. (2002). Games in open systems verification and synthesis. University of California, Berkeley.
View
1999 | Thesis | IST-REx-ID: 4411
Qadeer, S. (1999). Algorithms and Methodology for Scalable Model Checking. University of California, Berkeley.
View
| Download None (ext.)
1996 | Thesis | IST-REx-ID: 4419
Kopke, P. (1996). The Theory of Rectangular Hybrid Automata. Cornell University.
View
1995 | Thesis | IST-REx-ID: 4428 |

Ho, P. (1995). Automatic analysis of hybrid systems. Cornell University.
View
| Download Published Version (ext.)
1991 | Thesis | IST-REx-ID: 4516
Henzinger, T. A. (1991). The temporal specification and verification of real-time systems . Stanford University.
View
| Download None (ext.)
1979 | Thesis | IST-REx-ID: 4337
Barton, N. H. (1979). A hybrid zone in the alpine grasshopper Podisma pedestris. University of East Anglia.
View