Chiossi HSC. Adaptive hierarchical representations in the hippocampus. 2024. doi:10.15479/at:ista:14821

Hledik M. Genetic information and biological optimization. 2024. doi:10.15479/at:ista:15020

Cultrera di Montesano S. Persistence and Morse theory for discrete geometric structures. 2024. doi:10.15479/at:ista:15094

Olusanya OO. Local adaptation, genetic load and extinction in metapopulations. 2024. doi:10.15479/at:ista:14711

Chen J. Developmental transformation of nanodomain coupling between C+ channels and release sensors at a central GABAergic synapse. 2024. doi:10.15479/at:ista:15101

Burnett L. To flee, or not to flee? Using innate defensive behaviours to investigate rapid perceptual decision-making through subcortical circuits in mouse models of autism. 2023. doi:10.15479/at:ista:12716

Pokusaeva V. Neural control of optic flow-based navigation in Drosophila melanogaster. 2023. doi:10.15479/at:ista:12826

Peste E-A. Efficiency and generalization of sparse neural networks. 2023. doi:10.15479/at:ista:13074

Boocock DR. Mechanochemical pattern formation across biological scales. 2023. doi:10.15479/at:ista:12964

Calcabrini M. Nanoparticle-based semiconductor solids: From synthesis to consolidation. 2023. doi:10.15479/at:ista:12885

Schauer A. Mesendoderm formation in zebrafish gastrulation: The role of extraembryonic tissues. 2023. doi:10.15479/at:ista:12891

Sahu R. Cavity quantum electrooptics. 2023. doi:10.15479/at:ista:13175

Sahu R. Cavity quantum electrooptics. 2023. doi:10.15479/at:ista:12900

Brighi P. Ergodicity breaking in disordered and kinetically constrained quantum many-body systems. 2023. doi:10.15479/at:ista:12732

Bocanegra L. Epithelial dynamics during mouse neural tube development. 2023. doi:10.15479/at:ista:13081

Köse S. Exterior algebra and combinatorics. 2023. doi:10.15479/at:ista:13331

Confavreux BJ. Synapseek: Meta-learning synaptic plasticity rules. 2023. doi:10.15479/at:ista:14422

Roos B. Boundary superconductivity in BCS theory. 2023. doi:10.15479/at:ista:14374

Yeo MX. Advances in efficiency and privacy in payment channel network analysis. 2023. doi:10.15479/14506

Riedl M. Synchronization in collectively moving active matter. 2023. doi:10.15479/at:ista:12726

Riedl M. Synchronization in collectively moving active matter. 2023. doi:10.15479/14530

Phan DT. Resonant microwave spectroscopy of Al-InAs. 2023. doi:10.15479/14547

Puixeu Sala G. The molecular basis of sexual dimorphism: Experimental and theoretical characterization of phenotypic, transcriptomic and genetic patterns of sex-specific adaptation. 2023. doi:10.15479/at:ista:14058

Sack S. Improving variational quantum algorithms: Innovative initialization techniques and extensions to qudit systems. 2023. doi:10.15479/at:ista:14622

Stopp JA. Neutrophils on the hunt: Migratory strategies employed by neutrophils to fulfill their effector function. 2023. doi:10.15479/at:ista:14697

Arathoon LS. Investigating inbreeding depression and the self-incompatibility locus of Antirrhinum majus. 2023. doi:10.15479/at:ista:14651

Zikelic D. Automated verification and control of infinite state stochastic systems. 2023. doi:10.15479/14539

Knaus L. The metabolism of the developing brainf: How large neutral amino acids modulate perinatal neuronal excitability and survival. 2023. doi:10.15479/at:ista:13107

Radler P. Spatiotemporal signaling during assembly of the bacterial divisome. 2023. doi:10.15479/at:ista:14280

Valentini M. Mesoscopic phenomena in hybrid semiconductor-superconductor nanodevicesf: From full-shell nanowires to two-dimensional hole gas in germanium. 2023. doi:10.15479/at:ista:13286

Franschitz A. Individual and social immunity against viral infections in ants. 2023. doi:10.15479/at:ista:13984

Kuzmicz-Kowalska K. Regulation of neural progenitor survival by Shh and BMP in the developing spinal cord. 2023. doi:10.15479/at:ista:14323

Hennessey-Wesen M. Adaptive mutation in E. coli modulated by luxS. 2023. doi:10.15479/at:ista:14641

Marveggio A. Weak-strong stability and phase-field approximation of interface evolution problems in fluid mechanics and in material sciences. 2023. doi:10.15479/at:ista:14587

Zens B. Ultrastructural characterization of natively preserved extracellular matrix by cryo-electron tomography. 2023. doi:10.15479/at:ista:12491

Kravchuk V. Structural and mechanistic study of bacterial complex I and its cyanobacterial ortholog. 2023. doi:10.15479/at:ista:12781

Alcarva C. Plasticity in the cerebellum: What molecular mechanisms are behind physiological learning. 2023. doi:10.15479/at:ista:12809

Stephenson ER. Generalizing medial axes with homology switches. 2023. doi:10.15479/at:ista:14226

Kirillova K. Panoramic functional gradients across the mouse retina. 2023. doi:10.15479/at:ista:12531

Julseth M. The effect of local population structure on genetic variation at selected loci in the A. majus hybrid zone. 2023. doi:10.15479/at:ista:12800

Gnyliukh N. Mechanism of clathrin-coated vesicle  formation during endocytosis in plants. 2023. doi:10.15479/at:ista:14510

Hafner C. Inverse shape design with parametric representations: Kirchhoff Rods and parametric surface models. 2023. doi:10.15479/at:ista:12897

Michalska JM. A versatile toolbox for the comprehensive analysis of nervous tissue organization with light microscopy. 2023. doi:10.15479/at:ista:12470

Shute AL. Existence and density problems in Diophantine geometry: From norm forms to Campana points. 2022. doi:10.15479/at:ista:12072

Wild P. High-dimensional expansion and crossing numbers of simplicial complexes. 2022. doi:10.15479/at:ista:11777

Matejovicova L. Genetic basis of flower colour as a model for adaptive evolution. 2022. doi:10.15479/at:ista:11128

Schulz R. Chimeric G protein-coupled receptors mimic distinct signaling pathways and modulate microglia function. 2022. doi:10.15479/at:ista:11945

Brooks M. Translation-invariant quantum systems with effectively broken symmetry. 2022. doi:10.15479/at:ista:12390

Lechner M. Learning verifiable representations. 2022. doi:10.15479/at:ista:11362

Mysliwy K. Polarons in Bose gases and polar crystals: Some rigorous energy estimates. 2022. doi:10.15479/at:ista:11473

Konstantinov NH. Robustness and fairness in machine learning. 2022. doi:10.15479/at:ista:10799

Gallei MC. Auxin and strigolactone non-canonical signaling regulating development in Arabidopsis thaliana. 2022. doi:10.15479/at:ista:11626

Sperl G. Homogenizing yarn simulations: Large-scale mechanics, small-scale detail, and quantitative fitting. 2022. doi:10.15479/at:ista:12103

Rzadkowski W. Analytic and machine learning approaches to composite quantum impurities. 2022. doi:10.15479/at:ista:10759

Arslan FN. Remodeling of E-cadherin-mediated contacts via cortical  flows. 2022. doi:10.15479/at:ista:12153

Kim O. Nanoarchitecture of hippocampal mossy fiber-C pyramidal neuron synapses. 2022. doi:10.15479/at:ista:11196

Metzler S. Pathogen-mediated sexual selection and immunization in ant colonies. 2022. doi:10.15479/AT:ISTA:10727

Artner C. Modulation of auxin transport via ZF proteins adjust plant response to high ambient temperature. 2022. doi:10.15479/at:ista:11879

Jevtic M. Contextual fear learning induced changes in AMPA receptor subtypes along the proximodistal axis in dorsal hippocampus. 2022. doi:10.15479/at:ista:11393

Redchenko E. Controllable states of superconducting Qubit ensembles. 2022. doi:10.15479/at:ista:12132

Nardin M. On the encoding, transfer, and consolidation of spatial memories. 2022. doi:10.15479/at:ista:11932

Colombo G. MorphOMICs, a tool for mapping microglial morphology, reveals brain region- and sex-dependent phenotypes. 2022. doi:10.15479/at:ista:12378

Belohlavy S. The genetic basis of complex traits studied via analysis of evolve and resequence experiments. 2022. doi:10.15479/at:ista:11388

Tasciyan S. Role of microenvironment heterogeneity in cancer cell invasion. 2022. doi:10.15479/at:ista:12401

Wachner S. Transcriptional regulation by Dfos and BMP-signaling support tissue invasion of Drosophila immune cells. 2022. doi:10.15479/at:ista:11193

Dotter C. Transcriptional consequences of mutations in genes associated with Autism Spectrum Disorder. 2022. doi:10.15479/at:ista:12094

Osang GF. Multi-cover persistence and Delaunay mosaics. 2021. doi:10.15479/AT:ISTA:9056

Cipolloni G. Fluctuations in the spectrum of random matrices. 2021. doi:10.15479/AT:ISTA:9022

Hensel S. Curvature driven interface evolution: Uniqueness properties of weak solution concepts. 2021. doi:10.15479/at:ista:10007

Portinale L. Discrete-to-continuum limits of transport problems and gradient flows in the space of measures. 2021. doi:10.15479/at:ista:10030

Peruzzo M. Geometric superinductors and their applications in circuit quantum electrodynamics. 2021. doi:10.15479/at:ista:9920

Piankov A. Towards designer materials using customizable particle shape. 2021. doi:10.15479/at:ista:10422

Phuong M. Underspecification in deep learning. 2021. doi:10.15479/AT:ISTA:9418

Toman V. Improved verification techniques for concurrent systems. 2021. doi:10.15479/at:ista:10199

Klein K. On the adaptive security of graph-based games. 2021. doi:10.15479/at:ista:10035

Nadiradze G. On achieving scalability through relaxation. 2021. doi:10.15479/at:ista:10429

Feliciangeli D. The polaron at strong coupling. 2021. doi:10.15479/at:ista:9733

Hörmayer L. Wound healing in the Arabidopsis root meristem. 2021. doi:10.15479/at:ista:9992

Caballero Mancebo S. Fertilization-induced deformations are controlled by the actin cortex and a mitochondria-rich subcortical layer in ascidian oocytes. 2021. doi:10.15479/at:ista:9623

Jirovec D. Singlet-Triplet qubits and spin-orbit interaction in 2-dimensional Ge hole gases. 2021. doi:10.15479/at:ista:10058

Huljev K. Coordinated spatiotemporal reorganization of interstitial fluid is required for axial mesendoderm migration in zebrafish gastrulation. 2021. doi:10.15479/at:ista:9397

Kleindienst D. 2B or not 2B: Hippocampal asymmetries mediated by NMDA receptor subunit GluN2B C-terminus and high-throughput image analysis by Deep-Learning. 2021. doi:10.15479/at:ista:9562

Goharshady AK. Parameterized and algebro-geometric advances in static program analysis. 2021. doi:10.15479/AT:ISTA:8934

Tomasek K. Pathogenic Escherichia coli hijack the host immune response. 2021. doi:10.15479/at:ista:10307

Abualia R. Role of hormones in nitrate regulated growth. 2021. doi:10.15479/at:ista:10303

Hansen AH. Cell-autonomous gene function and non-cell-autonomous effects in radial projection neuron migration. 2021. doi:10.15479/at:ista:9962

Li L. Rapid cell growth regulation in Arabidopsis. 2021. doi:10.15479/at:ista:10083

Schmid L. Evolution of cooperation via (in)direct reciprocity under imperfect information. 2021. doi:10.15479/at:ista:10293

Semerádová H. Molecular mechanisms of the cytokinin-regulated endomembrane trafficking to coordinate plant organogenesis. 2021. doi:10.15479/at:ista:10135

Agrawal N. Transition to turbulence and drag reduction in particle-laden pipe flows. 2021. doi:10.15479/at:ista:9728

Forkert DL. Gradient flows in spaces of probability measures for finite-volume schemes, metric graphs and non-reversible Markov chains. 2020. doi:10.15479/AT:ISTA:7629

Szep E. Local adaptation in metapopulations. 2020. doi:10.15479/AT:ISTA:8574

Mayer S. The free energy of a dilute two-dimensional Bose gas. 2020. doi:10.15479/AT:ISTA:7514

Steiner J. Biochemical and structural investigation of the Mrp antiporter, an ancestor of complex I. 2020. doi:10.15479/AT:ISTA:8353

Han H. Novel insights into PIN polarity regulation during Arabidopsis development. 2020. doi:10.15479/AT:ISTA:8589

Grah R. Gene regulation across scales – how biophysical constraints shape evolution. 2020. doi:10.15479/AT:ISTA:8155

Ölsböck K. The hole system of triangulated shapes. 2020. doi:10.15479/AT:ISTA:7460

Kamath Hosdurg C. On the average-case hardness of total search problems. 2020. doi:10.15479/AT:ISTA:7896

Masárová Z. Reconfiguration problems. 2020. doi:10.15479/AT:ISTA:7944

Bezeljak U. In vitro reconstitution of a Rab activation switch. 2020. doi:10.15479/AT:ISTA:8341

Huszár K. Combinatorial width parameters for 3-dimensional manifolds. 2020. doi:10.15479/AT:ISTA:8032

Dos Santos Caldas PR. Organization and dynamics of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinkers. 2020. doi:10.15479/AT:ISTA:8358

Kragl B. Verifying concurrent programs: Refinement, synchronization, sequentialization. 2020. doi:10.15479/AT:ISTA:8332

Li X. Rotation of coupled cold molecules in the presence of a many-body environment. 2020. doi:10.15479/AT:ISTA:8958

Zhang R. Structure-aware computational design and its application to 3D printable volume scattering, mechanism, and multistability. 2020. doi:10.15479/AT:ISTA:8386

Kukucka J. Implementation of a hole spin qubit in Ge hut wires and dispersive spin sensing. 2020. doi:10.15479/AT:ISTA:7996

Royer A. Leveraging structure in Computer Vision tasks for flexible Deep Learning models. 2020. doi:10.15479/AT:ISTA:8390

Tkadlec J. A role of graphs in evolutionary processes. 2020. doi:10.15479/AT:ISTA:7196

Avvakumov S. Topological methods in geometry and discrete mathematics. 2020. doi:10.15479/AT:ISTA:8156

Guseinov R. Computational design of curved thin shells: From glass façades to programmable matter. 2020. doi:10.15479/AT:ISTA:8366

Bhandari P. Localization and functional role of Ca.3 in the medial habenula to interpeduncular nucleus pathway. 2020. doi:10.15479/AT:ISTA:7525

Kavcic B. Perturbations of protein synthesis: from antibiotics to genetics and physiology. 2020. doi:10.15479/AT:ISTA:8657

Kainrath S. Synthetic tools for optogenetic and chemogenetic inhibition of cellular signals. 2020. doi:10.15479/AT:ISTA:7680

Morandell J. Illuminating the role of Cul3 in autism spectrum disorder pathogenesis. 2020. doi:10.15479/AT:ISTA:8620

Kampjut D. Molecular mechanisms of mitochondrial redox-coupled proton pumping enzymes. 2020. doi:10.15479/AT:ISTA:8340

Emtenani S. Metabolic regulation of Drosophila macrophage tissue invasion. 2020. doi:10.15479/AT:ISTA:8983

Scarselli D. New approaches to reduce friction in turbulent pipe flow. 2020. doi:10.15479/AT:ISTA:7258

Tomanek I. The evolution of gene expression by copy number and point mutations. 2020. doi:10.15479/AT:ISTA:8653

Hajny J. Identification and characterization of the molecular machinery of auxin-dependent canalization during vasculature formation and regeneration. 2020. doi:10.15479/AT:ISTA:8822

Shamipour S. Bulk actin dynamics drive phase segregation in zebrafish oocytes . 2020. doi:10.15479/AT:ISTA:8350

Contreras X. Genetic dissection of neural development in health and disease at single cell resolution. 2020. doi:10.15479/AT:ISTA:7902

Kokoris Kogias E. Secure, confidential blockchains providing high throughput and low latency. 2019. doi:10.5075/epfl-thesis-7101

Paranjape CS. Onset of turbulence in plane Poiseuille flow. 2019. doi:10.15479/AT:ISTA:6957

Schwayer C. Mechanosensation of tight junctions depends on ZO-1 phase separation and flow. 2019. doi:10.15479/AT:ISTA:7186

Zhechev SY. Algorithmic aspects of homotopy theory and embeddability. 2019. doi:10.15479/AT:ISTA:6681

Giacobbe M. Automatic time-unbounded reachability analysis of hybrid systems. 2019. doi:10.15479/AT:ISTA:6894

Vasileva MK. Molecular mechanisms of endomembrane trafficking in Arabidopsis thaliana. 2019. doi:10.15479/AT:ISTA:7172

Cepeda Humerez SA. Estimating information flow in single cells. 2019. doi:10.15479/AT:ISTA:6473

Prizak R. Coevolution of transcription factors and their binding sites in sequence space. 2019. doi:10.15479/at:ista:th6071

Schröder DJ. From Dyson to Pearcey: Universal statistics in random matrix theory. 2019. doi:10.15479/AT:ISTA:th6179

Lukacisin M. Quantitative investigation of gene expression principles through combinatorial drug perturbation and theory. 2019. doi:10.15479/AT:ISTA:6392

Narasimhan M. Clathrin-Mediated endocytosis, post-endocytic trafficking and their regulatory controls in plants . 2019. doi:10.15479/at:ista:th1075

Casillas Perez BE. Collective defenses of garden ants against a fungal pathogen. 2019. doi:10.15479/AT:ISTA:6435

Assen FP. Lymph node mechanics: Deciphering the interplay between stroma contractility, morphology and lymphocyte trafficking. 2019. doi:10.15479/AT:ISTA:6947

Mckenzie C. Design and characterization of methods and biological components to realize synthetic neurotransmission. 2019. doi:10.15479/at:ista:7132

Valosková K. The role of a highly conserved major facilitator superfamily member in Drosophila embryonic macrophage migration. 2019. doi:10.15479/AT:ISTA:6546

Espinoza Martinez C. Parvalbumin+ interneurons enable efficient pattern separation in hippocampal microcircuits. 2019. doi:10.15479/AT:ISTA:6363

Kopf A. The implication of cytoskeletal dynamics on leukocyte migration. 2019. doi:10.15479/AT:ISTA:6891

Igler C. On the nature of gene regulatory design - The biophysics of transcription factor binding shapes gene regulation. 2019. doi:10.15479/AT:ISTA:6371

Rangel Guerrero DK. The role of CCK-interneurons in regulating hippocampal network dynamics. 2019. doi:10.15479/AT:ISTA:6849

Käfer K. The hippocampus and medial prefrontal cortex during flexible behavior. 2019. doi:10.15479/AT:ISTA:6825

Watzinger H. Ge hut wires - from growth to hole spin resonance. 2018. doi:10.15479/AT:ISTA:th_1033

Iglesias Ham M. Multiple covers with balls. 2018. doi:10.15479/AT:ISTA:th_1026

Zimin A. Learning from dependent data. 2018. doi:10.15479/AT:ISTA:TH1048

Abusalah HM. Proof systems for sustainable decentralized cryptocurrencies. 2018. doi:10.15479/AT:ISTA:TH_1046

Kolesnikov A. Weakly-Supervised Segmentation and Unsupervised Modeling of Natural Images. 2018. doi:10.15479/AT:ISTA:th_1021

Ringbauer H. Inferring recent demography from spatial genetic structure. 2018. doi:10.15479/AT:ISTA:th_963

Gschaider-Reichhart E. Optical and optogenetic control of proliferation and survival . 2018. doi:10.15479/AT:ISTA:th_913

Moser T. Point interactions in systems of fermions. 2018. doi:10.15479/AT:ISTA:th_1043

Vukusi L. Charge sensing and spin relaxation times of holes in Ge hut wires. 2018. doi:10.15479/AT:ISTA:TH_1047

Chen C. Synaptotagmins ensure speed and efficiency of inhibitory neurotransmitter release. 2018. doi:10.15479/AT:ISTA:th_997

Praetorius FM. Genetically encoding the spatial arrangement of DNA and proteins in self-assembling nanostructures. 2018.

Villányi M. Lizenzverträge mit Open-Access-Komponenten an österreichischen Bibliotheken. 2018.

Alt J. Dyson equation and eigenvalue statistics of random matrices. 2018. doi:10.15479/AT:ISTA:TH_1040

Tarlungeanu D-C. The branched chain amino acids in autism spectrum disorders . 2018. doi:10.15479/AT:ISTA:th_992

Case MJ. From the left to the right: A tale of asymmetries, environments, and hippocampal development. 2018. doi:10.15479/AT:ISTA:th_1032

Laukoter S. Role of genomic imprinting in cerebral cortex development. 2018:1-139. doi:10.15479/AT:ISTA:th1057

Leithner AF. Branched actin networks in dendritic cell biology. 2018. doi:10.15479/AT:ISTA:th_998

Hurny A. Identification and characterization of novel auxin-cytokinin cross-talk components. 2018. doi:10.15479/AT:ISTA:th_930

Gridchyn I. Reactivation content is important for consolidation of spatial memory. 2018. doi:10.15479/AT:ISTA:th_1042

Belyaeva V. Transcriptional regulation of macrophage migration in the Drosophila melanogaster embryo . 2018. doi:10.15479/AT:ISTA:th1064

Mckenzie C. Design and characterization of methods and biological components to realize synthetic neurotransmission . 2018. doi:10.15479/at:ista:th_1055

Capek D. Optogenetic Frizzled 7 reveals a permissive function of Wnt/PCP signaling in directed mesenchymal cell migration. 2018. doi:10.15479/AT:ISTA:TH_1031

Steinrück M. The influence of sequence context on the evolution of bacterial gene expression. 2018. doi:10.15479/AT:ISTA:th1059

Lukacisinova M. Genetic determinants of antibiotic resistance evolution. 2018. doi:10.15479/AT:ISTA:th1072

Polshyn H. Magnetic force microscopy studies of mesoscopic superconducting structures. 2017.

Daca P. Statistical and logical methods for property checking. 2017. doi:10.15479/AT:ISTA:TH_730

Payne P. Bacterial herd and social immunity to phages. 2017.

Mitosch K. Timing, variability and cross-protection in bacteria – insights from dynamic gene expression responses to antibiotics. 2017. doi:10.15479/AT:ISTA:th_862

Pavlogiannis A. Algorithmic advances in program analysis and their applications. 2017. doi:10.15479/AT:ISTA:th_854

Jesse F. The lac operon in the wild. 2017. doi:10.15479/AT:ISTA:th_857

Rybar M. (The exact security of) Message authentication codes. 2017. doi:10.15479/AT:ISTA:th_828

Xu H. Reactivation of the hippocampal cognitive map in goal-directed spatial tasks. 2017. doi:10.15479/AT:ISTA:th_858

Adamowski M. Investigations into cell polarity and trafficking in the plant model Arabidopsis thaliana . 2017. doi:10.15479/AT:ISTA:th_842

Rolinek M. Complexity of constraint satisfaction. 2017. doi:10.15479/AT:ISTA:th_815

Pleska M. Biology of restriction-modification systems at the single-cell and population level. 2017. doi:10.15479/AT:ISTA:th_916

Nikitenko A. Discrete Morse theory for random complexes . 2017. doi:10.15479/AT:ISTA:th_873

Prat T. Identification of novel regulators of PIN polarity and development of novel auxin sensor. 2017.

Barone V. Cell adhesion and cell fate: An effective feedback loop during zebrafish gastrulation. 2017. doi:10.15479/AT:ISTA:th_825

Pull C. Disease defence in garden ants. 2017. doi:10.15479/AT:ISTA:th_861

Hahn D. Brittle fracture simulation with boundary elements for computer graphics. 2017. doi:10.15479/AT:ISTA:th_855

Jochum C. Dissipative Few-Body Quantum Systems. 2016.

Acar H. Selective barriers to horizontal gene transfer. 2016.

Rieckh G. Studying the complexities of transcriptional regulation. 2016.

Morri M. Optical functionalization of human class A orphan G-protein coupled receptors. 2016.

Schwarz J. Quantitative analysis of haptotactic cell migration. 2016.

Pentina A. Theoretical foundations of multi-task lifelong learning. 2016. doi:10.15479/AT:ISTA:TH_776

Chmelik M. Algorithms for partially observable markov decision processes. 2016.

Mabillard I. Eliminating higher-multiplicity intersections: an r-fold Whitney trick for the topological Tverberg conjecture. 2016.

Mishra RK. Synaptic plasticity rules at C-C recurrent synapses in hippocampus. 2016.

Novak S. Evolutionary proccesses in variable emvironments. 2016.

Tarrach T. Automatic synthesis of synchronisation primitives for concurrent programs. 2016. doi:10.15479/at:ista:1130

Bojsen-Hansen M. Tracking, correcting and absorbing water surface waves. 2016. doi:10.15479/AT:ISTA:th_640

Ellis T. The role of pollinator-mediated selection in the maintenance of a flower color polymorphism in an Antirrhinum majus hybrid zone. 2016. doi:10.15479/AT:ISTA:TH_526 

Tugrul M. Evolution of transcriptional regulatory sequences. 2016.

Sharmanska V. Learning with attributes for object recognition: Parametric and non-parametrics views. 2015. doi:10.15479/at:ista:1401

Reiter J. The subclonal evolution of cancer. 2015.

Pausinger F. On the approximation of intrinsic volumes. 2015.

Stock M. Evolution of a fungal pathogen towards individual versus social immunity in ants. 2014.

Konrad M. Immune defences in ants: Effects of social immunisation and a fungal ectosymbiont in the ant Lasius neglectus. 2014.

Marhavá P. Molecular mechanisms of patterning and subcellular trafficking in Arabidopsis thaliana. 2014.

Behrndt M. Forces driving epithelial spreading in zebrafish epiboly. 2014.

Zufferey D. Analysis of dynamic message passing programs. 2013. doi:10.15479/at:ista:1405

Campinho P. Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading. 2013.

Kim S. Active properties of hippocampal C pyramidal neuron dendrites. 2012.

Schumann K. The role of chemotactic gradients in dendritic cell migration. 2011.

Maître J-L. Mechanics of adhesion and deadhesion in zebrafish germ layer progenitors. 2011.

Bickel B. Measurement-based modeling and fabrication of deformable materials for human faces. Unknown. 2010;499(7458). doi:dx.doi.org/10.3929/ethz-a-006354908

Wojtan C. Animating physical phenomena with embedded surface meshes. 2010:1-175.

Pflicke H.   Dendritic cell migration across basement membranes in the skin. 2010.

Schmalhorst PS. Biosynthesis of Galactofuranose Containing Glycans and Their Relevance for the Pathogenic Fungus Aspergillus fumigatus. 2009:1-72.

de Vladar H. Stochasticity and Variability in the dynamics and genetics of populations. 2009. doi:3811

Singh V. Formalizing and Verifying Transactional Memories. Formalizing and Verifying Transactional Memories. 2009.

Prabhu V. Games for the verification of timed systems. 2008:1-137.

Matic S. Compositionality in deterministic real-time embedded systems. 2008:1-148.

Ghosal A. A hierarchical coordination language for reliable real-time tasks. 2008:1-210.

Chatterjee K. Stochastic <9-Regular Games. 2007:1-247.

Chakrabarti A. A framework for compositional design and analysis of systems. 2007:1-244.

de Vladar H. Métodos no lineales y sus aplicaciones en dinámicas aleatorias de poblaciones celulares. 2004. doi:3810

Jhala R. Program verification by lazy abstraction. 2004:1-165.

Wagner U. On k-Sets and Their Applications. 2003. doi:10.3929/ethz-a-004708408

Lampert C. The Neumann operator in strictly pseudoconvex domains with weighted Bergman metric . Bonner Mathematische Schriften. 2003;356:1-165.

Majumdar R. Symbolic algorithms for verification and control. 2003:1-201.

Horowitz B. Giotto: A time-triggered language for embedded programming. 2003:1-237.

Mang F. Games in open systems verification and synthesis. 2002:1-116.

Qadeer S. Algorithms and Methodology for Scalable Model Checking. 1999:1-150.

Kopke P. The Theory of Rectangular Hybrid Automata. 1996.

Ho P. Automatic analysis of hybrid systems. 1995:1-188.

Henzinger TA. The temporal specification and verification of real-time systems . 1991.

Barton NH. A hybrid zone in the alpine grasshopper Podisma pedestris. 1979.