Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
114 Publications
2020 | Thesis | IST-REx-ID: 8958 | 
Li, Xiang. Rotation of Coupled Cold Molecules in the Presence of a Many-Body Environment. IST Austria, 2020, doi:10.15479/AT:ISTA:8958.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 7460 |
Ölsböck, Katharina. The Hole System of Triangulated Shapes. IST Austria, 2020, doi:10.15479/AT:ISTA:7460.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 7525
Bhandari, Pradeep. Localization and Functional Role of Cav2.3 in the Medial Habenula to Interpeduncular Nucleus Pathway. IST Austria, 2020, doi:10.15479/AT:ISTA:7525.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 7514 |
Mayer, Simon. The Free Energy of a Dilute Two-Dimensional Bose Gas. IST Austria, 2020, doi:10.15479/AT:ISTA:7514.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 7629 |
Forkert, Dominik L. Gradient Flows in Spaces of Probability Measures for Finite-Volume Schemes, Metric Graphs and Non-Reversible Markov Chains. IST Austria, 2020, doi:10.15479/AT:ISTA:7629.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 7896 |
Kamath Hosdurg, Chethan. On the Average-Case Hardness of Total Search Problems. IST Austria, 2020, doi:10.15479/AT:ISTA:7896.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 7902
Contreras, Ximena. Genetic Dissection of Neural Development in Health and Disease at Single Cell Resolution. IST Austria, 2020, doi:10.15479/AT:ISTA:7902.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8155 |
Grah, Rok. Gene Regulation across Scales – How Biophysical Constraints Shape Evolution. IST Austria, 2020, doi:10.15479/AT:ISTA:8155.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8332 |
Kragl, Bernhard. Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization. IST Austria, 2020, doi:10.15479/AT:ISTA:8332.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8341
Bezeljak, Urban. In Vitro Reconstitution of a Rab Activation Switch. IST Austria, 2020, doi:10.15479/AT:ISTA:8341.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8340
Kampjut, Domen. Molecular Mechanisms of Mitochondrial Redox-Coupled Proton Pumping Enzymes. IST Austria, 2020, doi:10.15479/AT:ISTA:8340.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8358 |
Dos Santos Caldas, Paulo R. Organization and Dynamics of Treadmilling Filaments in Cytoskeletal Networks of FtsZ and Its Crosslinkers. IST Austria, 2020, doi:10.15479/AT:ISTA:8358.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8386 |
Zhang, Ran. Structure-Aware Computational Design and Its Application to 3D Printable Volume Scattering, Mechanism, and Multistability. IST Austria, 2020, doi:10.15479/AT:ISTA:8386.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 7996 |
Kukucka, Josip. Implementation of a Hole Spin Qubit in Ge Hut Wires and Dispersive Spin Sensing. IST Austria, 2020, doi:10.15479/AT:ISTA:7996.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8589
Han, Huibin. Novel Insights into PIN Polarity Regulation during Arabidopsis Development. IST Austria, 2020, doi:10.15479/AT:ISTA:8589.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8620
Morandell, Jasmin. Illuminating the Role of Cul3 in Autism Spectrum Disorder Pathogenesis. IST Austria, 2020, doi:10.15479/AT:ISTA:8620.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8653
Tomanek, Isabella. The Evolution of Gene Expression by Copy Number and Point Mutations. IST Austria, 2020, doi:10.15479/AT:ISTA:8653.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8657
Kavcic, Bor. Perturbations of Protein Synthesis: From Antibiotics to Genetics and Physiology. IST Austria, 2020, doi:10.15479/AT:ISTA:8657.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8822
Hajny, Jakub. Identification and Characterization of the Molecular Machinery of Auxin-Dependent Canalization during Vasculature Formation and Regeneration. IST Austria, 2020, doi:10.15479/AT:ISTA:8822.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8390 |
Royer, Amélie. Leveraging Structure in Computer Vision Tasks for Flexible Deep Learning Models. IST Austria, 2020, doi:10.15479/AT:ISTA:8390.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8983
Emtenani, Shamsi. Metabolic Regulation of Drosophila Macrophage Tissue Invasion. IST Austria, 2020, doi:10.15479/AT:ISTA:8983.
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 7258 |
Scarselli, Davide. New Approaches to Reduce Friction in Turbulent Pipe Flow. IST Austria, 2020, doi:10.15479/AT:ISTA:7258.
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6179 |
Schröder, Dominik J. From Dyson to Pearcey: Universal Statistics in Random Matrix Theory. IST Austria, 2019, doi:10.15479/AT:ISTA:th6179.
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6269 |
Narasimhan, Madhumitha. Clathrin-Mediated Endocytosis, Post-Endocytic Trafficking and Their Regulatory Controls in Plants . IST Austria, 2019, doi:10.15479/at:ista:th1075.
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6363 |
Espinoza Martinez, Claudia M. Parvalbumin+ Interneurons Enable Efficient Pattern Separation in Hippocampal Microcircuits. IST Austria, 2019, doi:10.15479/AT:ISTA:6363.
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6435 |
Casillas Perez, Barbara E. Collective Defenses of Garden Ants against a Fungal Pathogen. IST Austria, 2019, doi:10.15479/AT:ISTA:6435.
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6546 |
Valosková, Katarina. The Role of a Highly Conserved Major Facilitator Superfamily Member in Drosophila Embryonic Macrophage Migration. IST Austria, 2019, doi:10.15479/AT:ISTA:6546.
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6371 |
Igler, Claudia. On the Nature of Gene Regulatory Design - The Biophysics of Transcription Factor Binding Shapes Gene Regulation. IST Austria, 2019, doi:10.15479/AT:ISTA:6371.
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6681 |
Zhechev, Stephan Y. Algorithmic Aspects of Homotopy Theory and Embeddability. IST Austria, 2019, doi:10.15479/AT:ISTA:6681.
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6894 |
Giacobbe, Mirco. Automatic Time-Unbounded Reachability Analysis of Hybrid Systems. IST Austria, 2019, doi:10.15479/AT:ISTA:6894.
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6473 |
Cepeda Humerez, Sarah A. Estimating Information Flow in Single Cells. IST Austria, 2019, doi:10.15479/AT:ISTA:6473.
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6957 |
Paranjape, Chaitanya S. Onset of Turbulence in Plane Poiseuille Flow. IST Austria, 2019, doi:10.15479/AT:ISTA:6957.
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 7132 |
Mckenzie, Catherine. Design and Characterization of Methods and Biological Components to Realize Synthetic Neurotransmission. IST Austria, 2019, doi:10.15479/at:ista:7132.
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 7172 |
Vasileva, Mina K. Molecular Mechanisms of Endomembrane Trafficking in Arabidopsis Thaliana. IST Austria, 2019, doi:10.15479/AT:ISTA:7172.
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 7186 |
Schwayer, Cornelia. Mechanosensation of Tight Junctions Depends on ZO-1 Phase Separation and Flow. IST Austria, 2019, doi:10.15479/AT:ISTA:7186.
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6071 |
Prizak, Roshan. Coevolution of Transcription Factors and Their Binding Sites in Sequence Space. IST Austria, 2019, doi:10.15479/at:ista:th6071.
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6891 |
Kopf, Aglaja. The Implication of Cytoskeletal Dynamics on Leukocyte Migration. IST Austria, 2019, doi:10.15479/AT:ISTA:6891.
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6947 |
Assen, Frank P. Lymph Node Mechanics: Deciphering the Interplay between Stroma Contractility, Morphology and Lymphocyte Trafficking. IST Austria, 2019, doi:10.15479/AT:ISTA:6947.
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6849 |
Rangel Guerrero, Dámaris K. The Role of CCK-Interneurons in Regulating Hippocampal Network Dynamics. IST Austria, 2019, doi:10.15479/AT:ISTA:6849.
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6825 |
Käfer, Karola. The Hippocampus and Medial Prefrontal Cortex during Flexible Behavior. IST Austria, 2019, doi:10.15479/AT:ISTA:6825.
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 10 |
Laukoter, Susanne. Role of Genomic Imprinting in Cerebral Cortex Development. IST Austria, 2018, pp. 1–139, doi:10.15479/AT:ISTA:th1057.
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 197 |
Kolesnikov, Alexander. Weakly-Supervised Segmentation and Unsupervised Modeling of Natural Images. IST Austria, 2018, doi:10.15479/AT:ISTA:th_1021.
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 201 |
Iglesias Ham, Mabel. Multiple Covers with Balls. IST Austria, 2018, doi:10.15479/AT:ISTA:th_1026.
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 323 |
Leithner, Alexander F. Branched Actin Networks in Dendritic Cell Biology. IST Austria, 2018, doi:10.15479/AT:ISTA:th_998.
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 395 |
Tarlungeanu, Dora-Clara. The Branched Chain Amino Acids in Autism Spectrum Disorders . IST Austria, 2018, doi:10.15479/AT:ISTA:th_992.
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 418 |
Gschaider-Reichhart, Eva. Optical and Optogenetic Control of Proliferation and Survival . IST Austria, 2018, doi:10.15479/AT:ISTA:th_913.
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 48 |
Gridchyn, Igor. Reactivation Content Is Important for Consolidation of Spatial Memory. IST Austria, 2018, doi:10.15479/AT:ISTA:th_1042.
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 49 |
Watzinger, Hannes. Ge Hut Wires - from Growth to Hole Spin Resonance. IST Austria, 2018, doi:10.15479/AT:ISTA:th_1033.
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 278 |
Villányi, Márton. Lizenzverträge mit Open-Access-Komponenten an österreichischen Bibliotheken. Universität Wien, 2018.
View
| Files available
| Download Published Version (ext.)
2018 | Thesis | IST-REx-ID: 200 |
Ringbauer, Harald. Inferring Recent Demography from Spatial Genetic Structure. IST Austria, 2018, doi:10.15479/AT:ISTA:th_963.
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 149 |
Alt, Johannes. Dyson Equation and Eigenvalue Statistics of Random Matrices. IST Austria, 2018, doi:10.15479/AT:ISTA:TH_1040.
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 50 |
Capek, Daniel. Optogenetic Frizzled 7 Reveals a Permissive Function of Wnt/PCP Signaling in Directed Mesenchymal Cell Migration. IST Austria, 2018, doi:10.15479/AT:ISTA:TH_1031.
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 68 |
Zimin, Alexander. Learning from Dependent Data. IST Austria, 2018, doi:10.15479/AT:ISTA:TH1048.
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 51 |
Case, Matthew J. From the Left to the Right: A Tale of Asymmetries, Environments, and Hippocampal Development. IST Austria, 2018, doi:10.15479/AT:ISTA:th_1032.
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 69 |
Vukušić, Lada. Charge Sensing and Spin Relaxation Times of Holes in Ge Hut Wires. IST Austria, 2018, doi:10.15479/AT:ISTA:TH_1047.
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 6263 |
Lukacisinova, Marta. Genetic Determinants of Antibiotic Resistance Evolution. IST Austria, 2018, doi:10.15479/AT:ISTA:th1072.
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 26 |
Steinrück, Magdalena. The Influence of Sequence Context on the Evolution of Bacterial Gene Expression. IST Austria, 2018, doi:10.15479/AT:ISTA:th1059.
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 6266 |
Mckenzie, Catherine. Design and Characterization of Methods and Biological Components to Realize Synthetic Neurotransmission . IST Austria, 2018, doi:10.15479/at:ista:th_1055.
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 83 |
Abusalah, Hamza M. Proof Systems for Sustainable Decentralized Cryptocurrencies. IST Austria, 2018, doi:10.15479/AT:ISTA:TH_1046.
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 9 |
Belyaeva, Vera. Transcriptional Regulation of Macrophage Migration in the Drosophila Melanogaster Embryo . IST Austria, 2018, doi:10.15479/AT:ISTA:th1064.
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 52 |
Moser, Thomas. Point Interactions in Systems of Fermions. IST Austria, 2018, doi:10.15479/AT:ISTA:th_1043.
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 324 |
Chen, Chong. Synaptotagmins Ensure Speed and Efficiency of Inhibitory Neurotransmitter Release. IST Austria, 2018, doi:10.15479/AT:ISTA:th_997.
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 539 |
Hurny, Andrej. Identification and Characterization of Novel Auxin-Cytokinin Cross-Talk Components. IST Austria, 2018, doi:10.15479/AT:ISTA:th_930.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 1155 |
Daca, Przemyslaw. Statistical and Logical Methods for Property Checking. IST Austria, 2017, doi:10.15479/AT:ISTA:TH_730.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 1127
Prat, Tomas. Identification of Novel Regulators of PIN Polarity and Development of Novel Auxin Sensor. IST Austria, 2017.
View
| Files available
2017 | Thesis | IST-REx-ID: 202 |
Pleska, Maros. Biology of Restriction-Modification Systems at the Single-Cell and Population Level. IST Austria, 2017, doi:10.15479/AT:ISTA:th_916.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 6291
Payne, Pavel. Bacterial Herd and Social Immunity to Phages. IST Austria, 2017.
View
| Files available
2017 | Thesis | IST-REx-ID: 818 |
Mitosch, Karin. Timing, Variability and Cross-Protection in Bacteria – Insights from Dynamic Gene Expression Responses to Antibiotics. IST Austria, 2017, doi:10.15479/AT:ISTA:th_862.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 821 |
Pavlogiannis, Andreas. Algorithmic Advances in Program Analysis and Their Applications. IST Austria, 2017, doi:10.15479/AT:ISTA:th_854.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 838 |
Rybar, Michal. (The Exact Security of) Message Authentication Codes. IST Austria, 2017, doi:10.15479/AT:ISTA:th_828.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 837 |
Xu, Haibing. Reactivation of the Hippocampal Cognitive Map in Goal-Directed Spatial Tasks. IST Austria, 2017, doi:10.15479/AT:ISTA:th_858.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 992 |
Rolinek, Michal. Complexity of Constraint Satisfaction. IST Austria, 2017, doi:10.15479/AT:ISTA:th_815.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 961 |
Barone, Vanessa. Cell Adhesion and Cell Fate: An Effective Feedback Loop during Zebrafish Gastrulation. IST Austria, 2017, doi:10.15479/AT:ISTA:th_825.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 820 |
Jesse, Fabienne. The Lac Operon in the Wild. IST Austria, 2017, doi:10.15479/AT:ISTA:th_857.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 819 |
Pull, Christopher. Disease Defence in Garden Ants. IST Austria, 2017, doi:10.15479/AT:ISTA:th_861.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 839 |
Hahn, David. Brittle Fracture Simulation with Boundary Elements for Computer Graphics. IST Austria, 2017, doi:10.15479/AT:ISTA:th_855.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 6287 |
Nikitenko, Anton. Discrete Morse Theory for Random Complexes . IST Austria, 2017, doi:10.15479/AT:ISTA:th_873.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 938 |
Adamowski, Maciek. Investigations into Cell Polarity and Trafficking in the Plant Model Arabidopsis Thaliana . IST Austria, 2017, doi:10.15479/AT:ISTA:th_842.
View
| Files available
| DOI
2016 | Thesis | IST-REx-ID: 1126 |
Pentina, Anastasia. Theoretical Foundations of Multi-Task Lifelong Learning. IST Austria, 2016, doi:10.15479/AT:ISTA:TH_776.
View
| Files available
| DOI
2016 | Thesis | IST-REx-ID: 1121
Acar, Hande. Selective Barriers to Horizontal Gene Transfer. IST Austria, 2016.
View
| Files available
| Download None (ext.)
2016 | Thesis | IST-REx-ID: 1124
Morri, Maurizio. Optical Functionalization of Human Class A Orphan G-Protein Coupled Receptors. IST Austria, 2016.
View
| Files available
2016 | Thesis | IST-REx-ID: 1128 |
Rieckh, Georg. Studying the Complexities of Transcriptional Regulation. IST Austria, 2016.
View
| Files available
2016 | Thesis | IST-REx-ID: 1129
Schwarz, Jan. Quantitative Analysis of Haptotactic Cell Migration. IST Austria, 2016.
View
| Files available
2016 | Thesis | IST-REx-ID: 1397
Chmelik, Martin. Algorithms for Partially Observable Markov Decision Processes. IST Austria, 2016.
View
2016 | Thesis | IST-REx-ID: 1396
Mishra, Rajiv Kumar. Synaptic Plasticity Rules at CA3-CA3 Recurrent Synapses in Hippocampus. IST Austria, 2016.
View
| Files available
2016 | Thesis | IST-REx-ID: 1125
Novak, Sebastian. Evolutionary Proccesses in Variable Emvironments. IST Austria, 2016.
View
| Files available
2016 | Thesis | IST-REx-ID: 1123
Mabillard, Isaac. Eliminating Higher-Multiplicity Intersections: An r-Fold Whitney Trick for the Topological Tverberg Conjecture. IST Austria, 2016.
View
| Files available
2016 | Thesis | IST-REx-ID: 1130
Tarrach, Thorsten. Automatic Synthesis of Synchronisation Primitives for Concurrent Programs. IST Austria, 2016.
View
| Files available
| Download None (ext.)
2016 | Thesis | IST-REx-ID: 1398 |
Ellis, Thomas. The Role of Pollinator-Mediated Selection in the Maintenance of a Flower Color Polymorphism in an Antirrhinum Majus Hybrid Zone. IST Austria, 2016, doi:10.15479/AT:ISTA:TH_526 .
View
| Files available
| DOI
2016 | Thesis | IST-REx-ID: 1131
Tugrul, Murat. Evolution of Transcriptional Regulatory Sequences. IST Austria, 2016.
View
| Files available
2016 | Thesis | IST-REx-ID: 1122 |
Bojsen-Hansen, Morten. Tracking, Correcting and Absorbing Water Surface Waves. IST Austria, 2016, doi:10.15479/AT:ISTA:th_640.
View
| Files available
| DOI
2015 | Thesis | IST-REx-ID: 1401
Sharmanska, Viktoriia. Learning with Attributes for Object Recognition: Parametric and Non-Parametrics Views. IST Austria, 2015.
View
| Download None (ext.)
2015 | Thesis | IST-REx-ID: 1399
Pausinger, Florian. On the Approximation of Intrinsic Volumes. IST Austria, 2015.
View
| Files available
2015 | Thesis | IST-REx-ID: 1400
Reiter, Johannes. The Subclonal Evolution of Cancer. IST Austria, 2015.
View
| Files available
2014 | Thesis | IST-REx-ID: 1395
Konrad, Matthias. Immune Defences in Ants: Effects of Social Immunisation and a Fungal Ectosymbiont in the Ant Lasius Neglectus. IST Austria, 2014.
View
2014 | Thesis | IST-REx-ID: 1402
Marhavá, Petra. Molecular Mechanisms of Patterning and Subcellular Trafficking in Arabidopsis Thaliana. IST Austria, 2014.
View
2014 | Thesis | IST-REx-ID: 1404
Stock, Miriam. Evolution of a Fungal Pathogen towards Individual versus Social Immunity in Ants. IST Austria, 2014.
View
2014 | Thesis | IST-REx-ID: 1403
Behrndt, Martin. Forces Driving Epithelial Spreading in Zebrafish Epiboly. IST Austria, 2014.
View
| Files available
2013 | Thesis | IST-REx-ID: 1406
Campinho, Pedro. Mechanics of Zebrafish Epiboly: Tension-Oriented Cell Divisions Limit Anisotropic Tissue Tension in Epithelial Spreading. IST Austria, 2013.
View
2013 | Thesis | IST-REx-ID: 1405
Zufferey, Damien. Analysis of Dynamic Message Passing Programs. IST Austria, 2013.
View
| Files available
| Download None (ext.)