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 

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 

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 

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 

Lukacisinova, M. (2018). Genetic determinants of antibiotic resistance evolution. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:th1072 

Polshyn, H. (2017). Magnetic force microscopy studies of mesoscopic superconducting structures. University of Illinois at Urbana-Champaign.

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 

Payne, P. (2017). Bacterial herd and social immunity to phages. Institute of Science and Technology Austria.

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 

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 

Jesse, F. (2017). The lac operon in the wild. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:th_857 

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 

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 

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 

Rolinek, M. (2017). Complexity of constraint satisfaction. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:th_815 

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 

Nikitenko, A. (2017). Discrete Morse theory for random complexes . Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:th_873 

Prat, T. (2017). Identification of novel regulators of PIN polarity and development of novel auxin sensor. Institute of Science and Technology Austria.

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 

Pull, C. (2017). Disease defence in garden ants. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:th_861 

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 

Jochum, C. (2016). Dissipative Few-Body Quantum Systems. Technical University Vienna.

Acar, H. (2016). Selective barriers to horizontal gene transfer. Institute of Science and Technology Austria.

Rieckh, G. (2016). Studying the complexities of transcriptional regulation. Institute of Science and Technology Austria.

Morri, M. (2016). Optical functionalization of human class A orphan G-protein coupled receptors. Institute of Science and Technology Austria.

Schwarz, J. (2016). Quantitative analysis of haptotactic cell migration. Institute of Science and Technology Austria.

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 

Chmelik, M. (2016). Algorithms for partially observable markov decision processes. Institute of Science and Technology Austria.

Mabillard, I. (2016). Eliminating higher-multiplicity intersections: an r-fold Whitney trick for the topological Tverberg conjecture. Institute of Science and Technology Austria.

Mishra, R. K. (2016). Synaptic plasticity rules at C-C recurrent synapses in hippocampus. Institute of Science and Technology Austria.

Novak, S. (2016). Evolutionary proccesses in variable emvironments. Institute of Science and Technology Austria.

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 

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 

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  

Tugrul, M. (2016). Evolution of transcriptional regulatory sequences. Institute of Science and Technology Austria.

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 

Reiter, J. (2015). The subclonal evolution of cancer. Institute of Science and Technology Austria.

Pausinger, F. (2015). On the approximation of intrinsic volumes. Institute of Science and Technology Austria.

Stock, M. (2014). Evolution of a fungal pathogen towards individual versus social immunity in ants. IST Austria.

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.

Marhavá, P. (2014). Molecular mechanisms of patterning and subcellular trafficking in Arabidopsis thaliana. Institute of Science and Technology Austria.

Behrndt, M. (2014). Forces driving epithelial spreading in zebrafish epiboly. IST Austria.

Zufferey, D. (2013). Analysis of dynamic message passing programs. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:1405 

Campinho, P. (2013). Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading. Institute of Science and Technology Austria.

Kim, S. (2012). Active properties of hippocampal C pyramidal neuron dendrites. Institute of Science and Technology Austria.

Schumann, K. (2011). The role of chemotactic gradients in dendritic cell migration. Institute of Science and Technology Austria.

Maître, J.-L. (2011). Mechanics of adhesion and deadhesion in zebrafish germ layer progenitors. Institute of Science and Technology Austria.

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 

Wojtan, C. (2010). Animating physical phenomena with embedded surface meshes. Georgia Institute of Technology.

Pflicke, H. (2010).   Dendritic cell migration across basement membranes in the skin. Institute of Science and Technology Austria.

Schmalhorst, P. S. (2009). Biosynthesis of Galactofuranose Containing Glycans and Their Relevance for the Pathogenic Fungus Aspergillus fumigatus. Gottfried Wilhelm Leibniz Universität Hannover.

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 

Singh, V. (2009). Formalizing and Verifying Transactional Memories. Formalizing and Verifying Transactional Memories. EPFL Lausanne.

Prabhu, V. (2008). Games for the verification of timed systems. University of California, Berkeley.

Matic, S. (2008). Compositionality in deterministic real-time embedded systems. University of California, Berkeley.

Ghosal, A. (2008). A hierarchical coordination language for reliable real-time tasks. University of California, Berkeley.

Chatterjee, K. (2007). Stochastic <9-Regular Games. University of California, Berkeley.

Chakrabarti, A. (2007). A framework for compositional design and analysis of systems. University of California, Berkeley.

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 

Jhala, R. (2004). Program verification by lazy abstraction. University of California, Berkeley.

Wagner, U. (2003). On k-Sets and Their Applications. ETH Zurich.https://doi.org/10.3929/ethz-a-004708408 

Lampert, C. (2003). The Neumann operator in strictly pseudoconvex domains with weighted Bergman metric . Bonner Mathematische Schriften. Universität Bonn, Fachbibliothek Mathematik.

Majumdar, R. (2003). Symbolic algorithms for verification and control. University of California, Berkeley.

Horowitz, B. (2003). Giotto: A time-triggered language for embedded programming. University of California, Berkeley.

Mang, F. (2002). Games in open systems verification and synthesis. University of California, Berkeley.

Qadeer, S. (1999). Algorithms and Methodology for Scalable Model Checking. University of California, Berkeley.

Kopke, P. (1996). The Theory of Rectangular Hybrid Automata. Cornell University.

Ho, P. (1995). Automatic analysis of hybrid systems. Cornell University.

Henzinger, T. A. (1991). The temporal specification and verification of real-time systems . Stanford University.

Barton, N. H. (1979). A hybrid zone in the alpine grasshopper Podisma pedestris. University of East Anglia.