Verifying concurrent programs: Refinement, synchronization, sequentialization
B. Kragl, Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization, Institute of Science and Technology Austria, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/8332
DOI: 10.15479/AT:ISTA:8332

Rotation of coupled cold molecules in the presence of a many-body environment
X. Li, Rotation of Coupled Cold Molecules in the Presence of a Many-Body Environment, Institute of Science and Technology Austria, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/8958
DOI: 10.15479/AT:ISTA:8958

Structure-aware computational design and its application to 3D printable volume scattering, mechanism, and multistability
R. Zhang, Structure-Aware Computational Design and Its Application to 3D Printable Volume Scattering, Mechanism, and Multistability, Institute of Science and Technology Austria, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/8386
DOI: 10.15479/AT:ISTA:8386

Implementation of a hole spin qubit in Ge hut wires and dispersive spin sensing
J. Kukucka, Implementation of a Hole Spin Qubit in Ge Hut Wires and Dispersive Spin Sensing, Institute of Science and Technology Austria, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/7996
DOI: 10.15479/AT:ISTA:7996

Leveraging structure in Computer Vision tasks for flexible Deep Learning models
A. Royer, Leveraging Structure in Computer Vision Tasks for Flexible Deep Learning Models, Institute of Science and Technology Austria, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/8390
DOI: 10.15479/AT:ISTA:8390

A role of graphs in evolutionary processes
J. Tkadlec, A Role of Graphs in Evolutionary Processes, Institute of Science and Technology Austria, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/7196
DOI: 10.15479/AT:ISTA:7196

Topological methods in geometry and discrete mathematics
S. Avvakumov, Topological Methods in Geometry and Discrete Mathematics, Institute of Science and Technology Austria, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/8156
DOI: 10.15479/AT:ISTA:8156

Computational design of curved thin shells: From glass façades to programmable matter
R. Guseinov, Computational Design of Curved Thin Shells: From Glass Façades to Programmable Matter, Institute of Science and Technology Austria, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/8366
DOI: 10.15479/AT:ISTA:8366

Localization and functional role of Ca.3 in the medial habenula to interpeduncular nucleus pathway
P. Bhandari, Localization and Functional Role of Ca.3 in the Medial Habenula to Interpeduncular Nucleus Pathway, Institute of Science and Technology Austria, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/7525
DOI: 10.15479/AT:ISTA:7525

Perturbations of protein synthesis: from antibiotics to genetics and physiology
B. Kavcic, Perturbations of Protein Synthesis: From Antibiotics to Genetics and Physiology, Institute of Science and Technology Austria, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/8657
DOI: 10.15479/AT:ISTA:8657

Synthetic tools for optogenetic and chemogenetic inhibition of cellular signals
S. Kainrath, Synthetic Tools for Optogenetic and Chemogenetic Inhibition of Cellular Signals, Institute of Science and Technology Austria, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/7680
DOI: 10.15479/AT:ISTA:7680

Illuminating the role of Cul3 in autism spectrum disorder pathogenesis
J. Morandell, Illuminating the Role of Cul3 in Autism Spectrum Disorder Pathogenesis, Institute of Science and Technology Austria, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/8620
DOI: 10.15479/AT:ISTA:8620

Molecular mechanisms of mitochondrial redox-coupled proton pumping enzymes
D. Kampjut, Molecular Mechanisms of Mitochondrial Redox-Coupled Proton Pumping Enzymes, Institute of Science and Technology Austria, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/8340
DOI: 10.15479/AT:ISTA:8340

Metabolic regulation of Drosophila macrophage tissue invasion
S. Emtenani, Metabolic Regulation of Drosophila Macrophage Tissue Invasion, Institute of Science and Technology Austria, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/8983
DOI: 10.15479/AT:ISTA:8983

New approaches to reduce friction in turbulent pipe flow
D. Scarselli, New Approaches to Reduce Friction in Turbulent Pipe Flow, Institute of Science and Technology Austria, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/7258
DOI: 10.15479/AT:ISTA:7258

The evolution of gene expression by copy number and point mutations
I. Tomanek, The Evolution of Gene Expression by Copy Number and Point Mutations, Institute of Science and Technology Austria, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/8653
DOI: 10.15479/AT:ISTA:8653

Identification and characterization of the molecular machinery of auxin-dependent canalization during vasculature formation and regeneration
J. Hajny, Identification and Characterization of the Molecular Machinery of Auxin-Dependent Canalization during Vasculature Formation and Regeneration, Institute of Science and Technology Austria, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/8822
DOI: 10.15479/AT:ISTA:8822

Bulk actin dynamics drive phase segregation in zebrafish oocytes 
S. Shamipour, Bulk Actin Dynamics Drive Phase Segregation in Zebrafish Oocytes , Institute of Science and Technology Austria, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/8350
DOI: 10.15479/AT:ISTA:8350

Genetic dissection of neural development in health and disease at single cell resolution
X. Contreras, Genetic Dissection of Neural Development in Health and Disease at Single Cell Resolution, Institute of Science and Technology Austria, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/7902
DOI: 10.15479/AT:ISTA:7902

Onset of turbulence in plane Poiseuille flow
C.S. Paranjape, Onset of Turbulence in Plane Poiseuille Flow, Institute of Science and Technology Austria, 2019.
LibreCat: https://research-explorer.ista.ac.at/record/6957
DOI: 10.15479/AT:ISTA:6957