Käfer, K. (2019). The hippocampus and medial prefrontal cortex during flexible behavior. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:6825 
LibreCat: https://research-explorer.ista.ac.at/record/6825
DOI: 10.15479/AT:ISTA:6825

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 
LibreCat: https://research-explorer.ista.ac.at/record/49
DOI: 10.15479/AT:ISTA:th_1033

Iglesias Ham, M. (2018). Multiple covers with balls. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:th_1026 
LibreCat: https://research-explorer.ista.ac.at/record/201
DOI: 10.15479/AT:ISTA:th_1026

Zimin, A. (2018). Learning from dependent data. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:TH1048 
LibreCat: https://research-explorer.ista.ac.at/record/68
DOI: 10.15479/AT:ISTA:TH1048

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 
LibreCat: https://research-explorer.ista.ac.at/record/83
DOI: 10.15479/AT:ISTA:TH_1046

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 
LibreCat: https://research-explorer.ista.ac.at/record/197
DOI: 10.15479/AT:ISTA:th_1021

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 
LibreCat: https://research-explorer.ista.ac.at/record/200
DOI: 10.15479/AT:ISTA:th_963

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 
LibreCat: https://research-explorer.ista.ac.at/record/418
DOI: 10.15479/AT:ISTA:th_913

Moser, T. (2018). Point interactions in systems of fermions. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:th_1043 
LibreCat: https://research-explorer.ista.ac.at/record/52
DOI: 10.15479/AT:ISTA:th_1043

Vukusi, 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 
LibreCat: https://research-explorer.ista.ac.at/record/69
DOI: 10.15479/AT:ISTA:TH_1047

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 
LibreCat: https://research-explorer.ista.ac.at/record/324
DOI: 10.15479/AT:ISTA:th_997

Praetorius, F. M. (2018). Genetically encoding the spatial arrangement of DNA and proteins in self-assembling nanostructures. Technische Universität München.
LibreCat: https://research-explorer.ista.ac.at/record/14306

Villányi, M. (2018). Lizenzverträge mit Open-Access-Komponenten an österreichischen Bibliotheken. Universität Wien.
LibreCat: https://research-explorer.ista.ac.at/record/278

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 
LibreCat: https://research-explorer.ista.ac.at/record/149
DOI: 10.15479/AT:ISTA:TH_1040

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 
LibreCat: https://research-explorer.ista.ac.at/record/395
DOI: 10.15479/AT:ISTA:th_992

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 
LibreCat: https://research-explorer.ista.ac.at/record/51
DOI: 10.15479/AT:ISTA:th_1032

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 
LibreCat: https://research-explorer.ista.ac.at/record/10
DOI: 10.15479/AT:ISTA:th1057

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 
LibreCat: https://research-explorer.ista.ac.at/record/323
DOI: 10.15479/AT:ISTA:th_998

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 
LibreCat: https://research-explorer.ista.ac.at/record/539
DOI: 10.15479/AT:ISTA:th_930

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 
LibreCat: https://research-explorer.ista.ac.at/record/48
DOI: 10.15479/AT:ISTA:th_1042

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 
LibreCat: https://research-explorer.ista.ac.at/record/9
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/6266
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/50
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/26
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/6263
DOI: 10.15479/AT:ISTA:th1072

Polshyn, H. (2017). Magnetic force microscopy studies of mesoscopic superconducting structures. University of Illinois at Urbana-Champaign.
LibreCat: https://research-explorer.ista.ac.at/record/10663

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 
LibreCat: https://research-explorer.ista.ac.at/record/1155
DOI: 10.15479/AT:ISTA:TH_730

Payne, P. (2017). Bacterial herd and social immunity to phages. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/6291

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 
LibreCat: https://research-explorer.ista.ac.at/record/818
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/821
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/820
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/838
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/837
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/938
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/992
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/202
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/6287
DOI: 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.
LibreCat: https://research-explorer.ista.ac.at/record/1127

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 
LibreCat: https://research-explorer.ista.ac.at/record/961
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/819
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/839
DOI: 10.15479/AT:ISTA:th_855

Jochum, C. (2016). Dissipative Few-Body Quantum Systems. Technical University Vienna.
LibreCat: https://research-explorer.ista.ac.at/record/1189

Acar, H. (2016). Selective barriers to horizontal gene transfer. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/1121

Rieckh, G. (2016). Studying the complexities of transcriptional regulation. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/1128

Morri, M. (2016). Optical functionalization of human class A orphan G-protein coupled receptors. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/1124

Schwarz, J. (2016). Quantitative analysis of haptotactic cell migration. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/1129

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 
LibreCat: https://research-explorer.ista.ac.at/record/1126
DOI: 10.15479/AT:ISTA:TH_776

Chmelik, M. (2016). Algorithms for partially observable markov decision processes. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/1397

Mabillard, I. (2016). Eliminating higher-multiplicity intersections: an r-fold Whitney trick for the topological Tverberg conjecture. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/1123

Mishra, R. K. (2016). Synaptic plasticity rules at C-C recurrent synapses in hippocampus. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/1396

Novak, S. (2016). Evolutionary proccesses in variable emvironments. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/1125

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 
LibreCat: https://research-explorer.ista.ac.at/record/1130
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/1122
DOI: 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  
LibreCat: https://research-explorer.ista.ac.at/record/1398
DOI: 10.15479/AT:ISTA:TH_526 

Tugrul, M. (2016). Evolution of transcriptional regulatory sequences. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/1131

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 
LibreCat: https://research-explorer.ista.ac.at/record/1401
DOI: 10.15479/at:ista:1401

Reiter, J. (2015). The subclonal evolution of cancer. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/1400

Pausinger, F. (2015). On the approximation of intrinsic volumes. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/1399

Stock, M. (2014). Evolution of a fungal pathogen towards individual versus social immunity in ants. IST Austria.
LibreCat: https://research-explorer.ista.ac.at/record/1404

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.
LibreCat: https://research-explorer.ista.ac.at/record/1395

Marhavá, P. (2014). Molecular mechanisms of patterning and subcellular trafficking in Arabidopsis thaliana. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/1402

Behrndt, M. (2014). Forces driving epithelial spreading in zebrafish epiboly. IST Austria.
LibreCat: https://research-explorer.ista.ac.at/record/1403

Zufferey, D. (2013). Analysis of dynamic message passing programs. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:1405 
LibreCat: https://research-explorer.ista.ac.at/record/1405
DOI: 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.
LibreCat: https://research-explorer.ista.ac.at/record/1406

Kim, S. (2012). Active properties of hippocampal C pyramidal neuron dendrites. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/2964

Schumann, K. (2011). The role of chemotactic gradients in dendritic cell migration. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/3275

Maître, J.-L. (2011). Mechanics of adhesion and deadhesion in zebrafish germ layer progenitors. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/3273

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 
LibreCat: https://research-explorer.ista.ac.at/record/2075
DOI: dx.doi.org/10.3929/ethz-a-006354908

Wojtan, C. (2010). Animating physical phenomena with embedded surface meshes. Georgia Institute of Technology.
LibreCat: https://research-explorer.ista.ac.at/record/3296

Pflicke, H. (2010).   Dendritic cell migration across basement membranes in the skin. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/3962

Schmalhorst, P. S. (2009). Biosynthesis of Galactofuranose Containing Glycans and Their Relevance for the Pathogenic Fungus Aspergillus fumigatus. Gottfried Wilhelm Leibniz Universität Hannover.
LibreCat: https://research-explorer.ista.ac.at/record/3400

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 
LibreCat: https://research-explorer.ista.ac.at/record/4232
DOI: 3811

Singh, V. (2009). Formalizing and Verifying Transactional Memories. Formalizing and Verifying Transactional Memories. EPFL Lausanne.
LibreCat: https://research-explorer.ista.ac.at/record/4363

Prabhu, V. (2008). Games for the verification of timed systems. University of California, Berkeley.
LibreCat: https://research-explorer.ista.ac.at/record/4409

Matic, S. (2008). Compositionality in deterministic real-time embedded systems. University of California, Berkeley.
LibreCat: https://research-explorer.ista.ac.at/record/4415

Ghosal, A. (2008). A hierarchical coordination language for reliable real-time tasks. University of California, Berkeley.
LibreCat: https://research-explorer.ista.ac.at/record/4524

Chatterjee, K. (2007). Stochastic <9-Regular Games. University of California, Berkeley.
LibreCat: https://research-explorer.ista.ac.at/record/4559

Chakrabarti, A. (2007). A framework for compositional design and analysis of systems. University of California, Berkeley.
LibreCat: https://research-explorer.ista.ac.at/record/4566

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 
LibreCat: https://research-explorer.ista.ac.at/record/4236
DOI: 3810

Jhala, R. (2004). Program verification by lazy abstraction. University of California, Berkeley.
LibreCat: https://research-explorer.ista.ac.at/record/4424

Wagner, U. (2003). On k-Sets and Their Applications. ETH Zurich.https://doi.org/10.3929/ethz-a-004708408 
LibreCat: https://research-explorer.ista.ac.at/record/2414
DOI: 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.
LibreCat: https://research-explorer.ista.ac.at/record/3678

Majumdar, R. (2003). Symbolic algorithms for verification and control. University of California, Berkeley.
LibreCat: https://research-explorer.ista.ac.at/record/4416

Horowitz, B. (2003). Giotto: A time-triggered language for embedded programming. University of California, Berkeley.
LibreCat: https://research-explorer.ista.ac.at/record/4425

Mang, F. (2002). Games in open systems verification and synthesis. University of California, Berkeley.
LibreCat: https://research-explorer.ista.ac.at/record/4414

Qadeer, S. (1999). Algorithms and Methodology for Scalable Model Checking. University of California, Berkeley.
LibreCat: https://research-explorer.ista.ac.at/record/4411

Kopke, P. (1996). The Theory of Rectangular Hybrid Automata. Cornell University.
LibreCat: https://research-explorer.ista.ac.at/record/4419

Ho, P. (1995). Automatic analysis of hybrid systems. Cornell University.
LibreCat: https://research-explorer.ista.ac.at/record/4428

Henzinger, T. A. (1991). The temporal specification and verification of real-time systems . Stanford University.
LibreCat: https://research-explorer.ista.ac.at/record/4516

Barton, N. H. (1979). A hybrid zone in the alpine grasshopper Podisma pedestris. University of East Anglia.
LibreCat: https://research-explorer.ista.ac.at/record/4337