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
2019 | Thesis | IST-REx-ID: 6371 |
Igler, C. (2019). On the nature of gene regulatory design - The biophysics of transcription factor binding shapes gene regulation. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:6371
[Published Version]
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 49 |
Watzinger, H. (2018). Ge hut wires - from growth to hole spin resonance. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_1033
[Published Version]
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 201 |
Iglesias Ham, M. (2018). Multiple covers with balls. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_1026
[Published Version]
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 68 |
Zimin, A. (2018). Learning from dependent data. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:TH1048
[Published Version]
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 83 |
Abusalah, H. M. (2018). Proof systems for sustainable decentralized cryptocurrencies. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:TH_1046
[Published Version]
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 197 |
Kolesnikov, A. (2018). Weakly-Supervised Segmentation and Unsupervised Modeling of Natural Images. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_1021
[Published Version]
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 200 |
Ringbauer, H. (2018). Inferring recent demography from spatial genetic structure. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_963
[Published Version]
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 418 |
Gschaider-Reichhart, E. (2018). Optical and optogenetic control of proliferation and survival . Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_913
[Published Version]
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 52 |
Moser, T. (2018). Point interactions in systems of fermions. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_1043
[Published Version]
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 69 |
Vukušić, L. (2018). Charge sensing and spin relaxation times of holes in Ge hut wires. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:TH_1047
[Published Version]
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 324 |
Chen, C. (2018). Synaptotagmins ensure speed and efficiency of inhibitory neurotransmitter release. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_997
[Published Version]
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 14306 |
Praetorius, F. M. (2018). Genetically encoding the spatial arrangement of DNA and proteins in self-assembling nanostructures. Technische Universität München.
[Published Version]
View
| Download Published Version (ext.)
2018 | Thesis | IST-REx-ID: 278 |
Villányi, M. (2018). Lizenzverträge mit Open-Access-Komponenten an österreichischen Bibliotheken. Universität Wien.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2018 | Thesis | IST-REx-ID: 149 |
Alt, J. (2018). Dyson equation and eigenvalue statistics of random matrices. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:TH_1040
[Published Version]
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 395 |
Tarlungeanu, D.-C. (2018). The branched chain amino acids in autism spectrum disorders . Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_992
[Published Version]
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 51 |
Case, M. J. (2018). From the left to the right: A tale of asymmetries, environments, and hippocampal development. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_1032
[Published Version]
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 10 |
Laukoter, S. (2018). Role of genomic imprinting in cerebral cortex development. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th1057
[Published Version]
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 323 |
Leithner, A. F. (2018). Branched actin networks in dendritic cell biology. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_998
[Published Version]
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 539 |
Hurny, A. (2018). Identification and characterization of novel auxin-cytokinin cross-talk components. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_930
[Published Version]
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 48 |
Gridchyn, I. (2018). Reactivation content is important for consolidation of spatial memory. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_1042
[Published Version]
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 9 |
Belyaeva, V. (2018). Transcriptional regulation of macrophage migration in the Drosophila melanogaster embryo . Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th1064
[Published Version]
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 . Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:th_1055
[Published Version]
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. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:TH_1031
[Published Version]
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. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th1059
[Published Version]
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 6263 |
Lukacisinova, M. (2018). Genetic determinants of antibiotic resistance evolution. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th1072
[Published Version]
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.
[Published Version]
View
| Download Published Version (ext.)
2017 | Thesis | IST-REx-ID: 1155 |
Daca, P. (2017). Statistical and logical methods for property checking. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:TH_730
[Published Version]
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 6291 |
Payne, P. (2017). Bacterial herd and social immunity to phages. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
2017 | Thesis | IST-REx-ID: 818 |
Mitosch, K. (2017). Timing, variability and cross-protection in bacteria – insights from dynamic gene expression responses to antibiotics. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_862
[Published Version]
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 821 |
Pavlogiannis, A. (2017). Algorithmic advances in program analysis and their applications. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_854
[Published Version]
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 820 |
Jesse, F. (2017). The lac operon in the wild. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_857
[Published Version]
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 838 |
Rybar, M. (2017). (The exact security of) Message authentication codes. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_828
[Published Version]
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 837 |
Xu, H. (2017). Reactivation of the hippocampal cognitive map in goal-directed spatial tasks. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_858
[Published Version]
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 938 |
Adamowski, M. (2017). Investigations into cell polarity and trafficking in the plant model Arabidopsis thaliana . Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_842
[Published Version]
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 992 |
Rolinek, M. (2017). Complexity of constraint satisfaction. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_815
[Published Version]
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. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_916
[Published Version]
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 6287 |
Nikitenko, A. (2017). Discrete Morse theory for random complexes . Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_873
[Published Version]
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 1127 |
Prat, T. (2017). Identification of novel regulators of PIN polarity and development of novel auxin sensor. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
2017 | Thesis | IST-REx-ID: 961 |
Barone, V. (2017). Cell adhesion and cell fate: An effective feedback loop during zebrafish gastrulation. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_825
[Published Version]
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 819 |
Pull, C. (2017). Disease defence in garden ants. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_861
[Published Version]
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 839 |
Hahn, D. (2017). Brittle fracture simulation with boundary elements for computer graphics. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_855
[Published Version]
View
| Files available
| DOI
2016 | Thesis | IST-REx-ID: 1189 |
Jochum, C. (2016). Dissipative Few-Body Quantum Systems. Technical University Vienna.
[Published Version]
View
| Download Published Version (ext.)
2016 | Thesis | IST-REx-ID: 1121 |
Acar, H. (2016). Selective barriers to horizontal gene transfer. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
2016 | Thesis | IST-REx-ID: 1128 |
Rieckh, G. (2016). Studying the complexities of transcriptional regulation. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
2016 | Thesis | IST-REx-ID: 1124 |
Morri, M. (2016). Optical functionalization of human class A orphan G-protein coupled receptors. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
2016 | Thesis | IST-REx-ID: 1129 |
Schwarz, J. (2016). Quantitative analysis of haptotactic cell migration. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
2016 | Thesis | IST-REx-ID: 1126 |
Pentina, A. (2016). Theoretical foundations of multi-task lifelong learning. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:TH_776
[Published Version]
View
| Files available
| DOI
2016 | Thesis | IST-REx-ID: 1397
Chmelik, M. (2016). Algorithms for partially observable markov decision processes. Institute of Science and Technology Austria.
View
2016 | Thesis | IST-REx-ID: 1123 |
Mabillard, I. (2016). Eliminating higher-multiplicity intersections: an r-fold Whitney trick for the topological Tverberg conjecture. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
2016 | Thesis | IST-REx-ID: 1396 |
Mishra, R. K. (2016). Synaptic plasticity rules at CA3-CA3 recurrent synapses in hippocampus. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
2016 | Thesis | IST-REx-ID: 1125 |
Novak, S. (2016). Evolutionary proccesses in variable emvironments. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
2016 | Thesis | IST-REx-ID: 1130 |
Tarrach, T. (2016). Automatic synthesis of synchronisation primitives for concurrent programs. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:1130
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2016 | Thesis | IST-REx-ID: 1122 |
Bojsen-Hansen, M. (2016). Tracking, correcting and absorbing water surface waves. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_640
[Published Version]
View
| Files available
| DOI
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. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:TH_526
[Published Version]
View
| Files available
| DOI
2016 | Thesis | IST-REx-ID: 1131 |
Tugrul, M. (2016). Evolution of transcriptional regulatory sequences. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
2015 | Thesis | IST-REx-ID: 1401 |
Sharmanska, V. (2015). Learning with attributes for object recognition: Parametric and non-parametrics views. Institute of Science and Technology Austria. 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, J. (2015). The subclonal evolution of cancer. Institute of Science and Technology Austria.
View
| Files available
2015 | Thesis | IST-REx-ID: 1399
Pausinger, F. (2015). On the approximation of intrinsic volumes. Institute of Science and Technology 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
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. Institute of Science and Technology Austria.
View
2014 | Thesis | IST-REx-ID: 1402
Marhavá, P. (2014). Molecular mechanisms of patterning and subcellular trafficking in Arabidopsis thaliana. Institute of Science and Technology Austria.
View
2014 | Thesis | IST-REx-ID: 1403
Behrndt, M. (2014). Forces driving epithelial spreading in zebrafish epiboly. IST Austria.
View
| Files available
2013 | Thesis | IST-REx-ID: 1405 |
Zufferey, D. (2013). Analysis of dynamic message passing programs. Institute of Science and Technology Austria. 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, P. (2013). Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading. Institute of Science and Technology Austria.
View
2012 | Thesis | IST-REx-ID: 2964
Kim, S. (2012). Active properties of hippocampal CA3 pyramidal neuron dendrites. Institute of Science and Technology Austria.
View
| Files available
2011 | Thesis | IST-REx-ID: 3275 |
Schumann, K. (2011). The role of chemotactic gradients in dendritic cell migration. Institute of Science and Technology Austria.
[Published Version]
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. Institute of Science and Technology Austria.
View
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: 3296
Wojtan, C. (2010). Animating physical phenomena with embedded surface meshes. Georgia Institute of Technology.
View
| Download None (ext.)
2010 | Thesis | IST-REx-ID: 3962
Pflicke, H. (2010). Dendritic cell migration across basement membranes in the skin. Institute of Science and Technology 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: 4409 |
Prabhu, V. (2008). Games for the verification of timed systems. University of California, Berkeley.
View
| Download None (ext.)
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
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: 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
2004 | Thesis | IST-REx-ID: 4424
Jhala, R. (2004). Program verification by lazy abstraction. 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.)
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
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.
[Published Version]
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