Lukacisin M. 2019. Quantitative investigation of gene expression principles through combinatorial drug perturbation and theory. IST Austria.
LibreCat: https://research-explorer.ista.ac.at/record/6392
DOI: 10.15479/AT:ISTA:6392

Casillas Perez BE. 2019. Collective defenses of garden ants against a fungal pathogen. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/6435
DOI: 10.15479/AT:ISTA:6435

Narasimhan M. 2019. Clathrin-Mediated endocytosis, post-endocytic trafficking and their regulatory controls in plants . Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/6269
DOI: 10.15479/at:ista:th1075

Assen FP. 2019. Lymph node mechanics: Deciphering the interplay between stroma contractility, morphology and lymphocyte trafficking. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/6947
DOI: 10.15479/AT:ISTA:6947

Mckenzie C. 2019. Design and characterization of methods and biological components to realize synthetic neurotransmission. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/7132
DOI: 10.15479/at:ista:7132

Valosková K. 2019. The role of a highly conserved major facilitator superfamily member in Drosophila embryonic macrophage migration. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/6546
DOI: 10.15479/AT:ISTA:6546

Espinoza Martinez C. 2019. Parvalbumin+ interneurons enable efficient pattern separation in hippocampal microcircuits. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/6363
DOI: 10.15479/AT:ISTA:6363

Kopf A. 2019. The implication of cytoskeletal dynamics on leukocyte migration. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/6891
DOI: 10.15479/AT:ISTA:6891

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

Rangel Guerrero DK. 2019. The role of CCK-interneurons in regulating hippocampal network dynamics. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/6849
DOI: 10.15479/AT:ISTA:6849

Käfer K. 2019. The hippocampus and medial prefrontal cortex during flexible behavior. Institute of Science and Technology Austria.
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.
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.
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.
LibreCat: https://research-explorer.ista.ac.at/record/68
DOI: 10.15479/AT:ISTA:TH1048

Abusalah HM. 2018. Proof systems for sustainable decentralized cryptocurrencies. Institute of Science and Technology Austria.
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.
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.
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.
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.
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.
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.
LibreCat: https://research-explorer.ista.ac.at/record/324
DOI: 10.15479/AT:ISTA:th_997

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

Case MJ. 2018. From the left to the right: A tale of asymmetries, environments, and hippocampal development. Institute of Science and Technology Austria.
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.
LibreCat: https://research-explorer.ista.ac.at/record/10
DOI: 10.15479/AT:ISTA:th1057

Leithner AF. 2018. Branched actin networks in dendritic cell biology. Institute of Science and Technology Austria.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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 RK. 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.
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.
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.
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.
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.
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.
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 PS. 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.
LibreCat: https://research-explorer.ista.ac.at/record/4232
DOI: 3811

Singh V. 2009. 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.
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.
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 . 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 TA. 1991. The temporal specification and verification of real-time systems . Stanford University.
LibreCat: https://research-explorer.ista.ac.at/record/4516

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