Please note that ISTA 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.

4149 Publications


2019 | Conference Paper | IST-REx-ID: 6493 | OA
Garcia Soto, Miriam, Thomas A Henzinger, Christian Schilling, and Luka Zeleznik. “Membership-Based Synthesis of Linear Hybrid Automata.” In 31st International Conference on Computer-Aided Verification, 11561:297–314. Springer, 2019. https://doi.org/10.1007/978-3-030-25540-4_16.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6887 | OA
Chatterjee, Krishnendu, Wolfgang Dvorák, Monika H Henzinger, and Alexander Svozil. “Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPs.” In Leibniz International Proceedings in Informatics, Vol. 140. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. https://doi.org/10.4230/LIPICS.CONCUR.2019.7.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6194 | OA
Boccara, Charlotte N., Michele Nardin, Federico Stella, Joseph O’Neill, and Jozsef L Csicsvari. “The Entorhinal Cognitive Map Is Attracted to Goals.” Science. American Association for the Advancement of Science, 2019. https://doi.org/10.1126/science.aav4837.
View | Files available | DOI
 

2019 | Research Data Reference | IST-REx-ID: 9726
Ucar, Mehmet C, and Reinhard Lipowsky. “Supplementary Information - Collective Force Generation by Molecular Motors Is Determined by Strain-Induced Unbinding.” American Chemical Society , 2019. https://doi.org/10.1021/acs.nanolett.9b04445.s001.
View | Files available | DOI
 

2019 | Research Data Reference | IST-REx-ID: 9731 | OA
Sigalova, Olga, Andrei Chaplin, Olga Bochkareva, Pavel Shelyakin, Vsevolod Filaretov, Evgeny Akkuratov, Valentina Burskaia, and Mikhail S. Gelfand. “Additional File 11 of Chlamydia Pan-Genomic Analysis Reveals Balance between Host Adaptation and Selective Pressure to Genome Reduction.” Springer Nature, 2019. https://doi.org/10.6084/m9.figshare.9808772.v1.
View | Files available | DOI | Download Published Version (ext.)
 

2019 | Conference Paper | IST-REx-ID: 8324 | OA
Wang, Peixin, Hongfei Fu, Krishnendu Chatterjee, Yuxin Deng, and Ming Xu. “Proving Expected Sensitivity of Probabilistic Programs with Randomized Variable-Dependent Termination Time.” In Proceedings of the ACM on Programming Languages, Vol. 4. ACM, 2019. https://doi.org/10.1145/3371093.
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6819 | OA
Antoniou, Michael N., Armel Nicolas, Robin Mesnage, Martina Biserni, Francesco V. Rao, and Cristina Vazquez Martin. “Glyphosate Does Not Substitute for Glycine in Proteins of Actively Dividing Mammalian Cells.” BMC Research Notes. BioMed Central, 2019. https://doi.org/10.1186/s13104-019-4534-3.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Research Data Reference | IST-REx-ID: 9783 | OA
Sigalova, Olga M., Andrei V. Chaplin, Olga Bochkareva, Pavel V. Shelyakin, Vsevolod A. Filaretov, Evgeny E. Akkuratov, Valentina Burskaia, and Mikhail S. Gelfand. “Additional File 10 of Chlamydia Pan-Genomic Analysis Reveals Balance between Host Adaptation and Selective Pressure to Genome Reduction.” Springer Nature, 2019. https://doi.org/10.6084/m9.figshare.9808760.v1.
View | Files available | DOI | Download Published Version (ext.)
 

2019 | Research Data Reference | IST-REx-ID: 9784 | OA
Antoniou, Michael N., Armel Nicolas, Robin Mesnage, Martina Biserni, Francesco V. Rao, and Cristina Vazquez Martin. “MOESM1 of Glyphosate Does Not Substitute for Glycine in Proteins of Actively Dividing Mammalian Cells.” Springer Nature, 2019. https://doi.org/10.6084/m9.figshare.9411761.v1.
View | Files available | DOI | Download Published Version (ext.)
 

2019 | Journal Article | IST-REx-ID: 6831 | OA
Puixeu Sala, Gemma, Melinda Pickup, David Field, and Spencer C.H. Barrett. “Variation in Sexual Dimorphism in a Wind-Pollinated Plant: The Influence of Geographical Context and Life-Cycle Dynamics.” New Phytologist. Wiley, 2019. https://doi.org/10.1111/nph.16050.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6713 | OA
Castro, João Pl, Michelle N. Yancoskie, Marta Marchini, Stefanie Belohlavy, Layla Hiramatsu, Marek Kučka, William H. Beluch, et al. “An Integrative Genomic Analysis of the Longshanks Selection Experiment for Longer Limbs in Mice.” ELife. eLife Sciences Publications, 2019. https://doi.org/10.7554/eLife.42014.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6680 | OA
Sachdeva, Himani. “Effect of Partial Selfing and Polygenic Selection on Establishment in a New Habitat.” Evolution. Wiley, 2019. https://doi.org/10.1111/evo.13812.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6467 | OA
Fraisse, Christelle, and John J. Welch. “The Distribution of Epistasis on Simple Fitness Landscapes.” Biology Letters. Royal Society of London, 2019. https://doi.org/10.1098/rsbl.2018.0881.
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2019 | Research Data Reference | IST-REx-ID: 9804 | OA
Castro, João Pl, Michelle N. Yancoskie, Marta Marchini, Stefanie Belohlavy, Layla Hiramatsu, Marek Kučka, William H. Beluch, et al. “Data from: An Integrative Genomic Analysis of the Longshanks Selection Experiment for Longer Limbs in Mice.” Dryad, 2019. https://doi.org/10.5061/dryad.0q2h6tk.
View | Files available | DOI | Download Published Version (ext.)
 

2019 | Research Data Reference | IST-REx-ID: 9803 | OA
Puixeu Sala, Gemma, Melinda Pickup, David Field, and Spencer C.H. Barrett. “Data from: Variation in Sexual Dimorphism in a Wind-Pollinated Plant: The Influence of Geographical Context and Life-Cycle Dynamics.” Dryad, 2019. https://doi.org/10.5061/dryad.n1701c9.
View | Files available | DOI | Download Published Version (ext.)
 

2019 | Research Data Reference | IST-REx-ID: 9802 | OA
Sachdeva, Himani. “Data from: Effect of Partial Selfing and Polygenic Selection on Establishment in a New Habitat.” Dryad, 2019. https://doi.org/10.5061/dryad.8tp0900.
View | Files available | DOI | Download Published Version (ext.)
 

2019 | Journal Article | IST-REx-ID: 6105 | OA
Kutzer, Megan, Joachim Kurtz, and Sophie A.O. Armitage. “A Multi-Faceted Approach Testing the Effects of Previous Bacterial Exposure on Resistance and Tolerance.” Journal of Animal Ecology. Wiley, 2019. https://doi.org/10.1111/1365-2656.12953.
View | Files available | DOI
 

2019 | Research Data Reference | IST-REx-ID: 9806 | OA
Kutzer, Megan, Joachim Kurtz, and Sophie A.O. Armitage. “Data from: A Multi-Faceted Approach Testing the Effects of Previous Bacterial Exposure on Resistance and Tolerance.” Dryad, 2019. https://doi.org/10.5061/dryad.9kj41f0.
View | Files available | DOI | Download Published Version (ext.)
 

2019 | Research Data Reference | IST-REx-ID: 9805 | OA
Barton, Nicholas H. “Data from: The Consequences of an Introgression Event.” Dryad, 2019. https://doi.org/10.5061/dryad.2kb6fh4.
View | Files available | DOI | Download Published Version (ext.)
 

2019 | Journal Article | IST-REx-ID: 6095 | OA
Faria, Rui, Pragya Chaube, Hernán E. Morales, Tomas Larsson, Alan R. Lemmon, Emily M. Lemmon, Marina Rafajlović, et al. “Multiple Chromosomal Rearrangements in a Hybrid Zone between Littorina Saxatilis Ecotypes.” Molecular Ecology. Wiley, 2019. https://doi.org/10.1111/mec.14972.
View | Files available | DOI
 

2019 | Research Data Reference | IST-REx-ID: 9839 | OA
Polechova, Jitka. “Data from: Is the Sky the Limit? On the Expansion Threshold of a Species’ Range.” Dryad, 2019. https://doi.org/10.5061/dryad.5vv37.
View | Files available | DOI | Download Published Version (ext.)
 

2019 | Research Data Reference | IST-REx-ID: 9890 | OA
Sigalova, Olga M., Andrei V. Chaplin, Olga Bochkareva, Pavel V. Shelyakin, Vsevolod A. Filaretov, Evgeny E. Akkuratov, Valentina Burskaia, and Mikhail S. Gelfand. “Additional File 15 of Chlamydia Pan-Genomic Analysis Reveals Balance between Host Adaptation and Selective Pressure to Genome Reduction.” Springer Nature, 2019. https://doi.org/10.6084/m9.figshare.9808802.v1.
View | Files available | DOI | Download Published Version (ext.)
 

2019 | Research Data Reference | IST-REx-ID: 9892 | OA
Sigalova, Olga M., Andrei V Chaplin, Olga Bochkareva, Pavel V. Shelyakin, Vsevolod A. Filaretov, Evgeny E. Akkuratov, Valentina Burskaia, and Mikhail S. Gelfand. “Additional File 16 of Chlamydia Pan-Genomic Analysis Reveals Balance between Host Adaptation and Selective Pressure to Genome Reduction.” Springer Nature, 2019. https://doi.org/10.6084/m9.figshare.9808814.v1.
View | Files available | DOI | Download Published Version (ext.)
 

2019 | Research Data Reference | IST-REx-ID: 9898 | OA
Sigalova, Olga M., Andrei V. Chaplin, Olga Bochkareva, Pavel V. Shelyakin, Vsevolod A. Filaretov, Evgeny E. Akkuratov, Valentina Burskaia, and Mikhail S. Gelfand. “Additional File 21 of Chlamydia Pan-Genomic Analysis Reveals Balance between Host Adaptation and Selective Pressure to Genome Reduction.” Springer Nature, 2019. https://doi.org/10.6084/m9.figshare.9808859.v1.
View | Files available | DOI | Download Published Version (ext.)
 

2019 | Research Data Reference | IST-REx-ID: 9897 | OA
Sigalova, Olga M., Andrei V. Chaplin, Olga Bochkareva, Pavel V. Shelyakin, Vsevolod A. Filaretov, Evgeny E. Akkuratov, Valentina Burskaia, and Mikhail S. Gelfand. “Additional File 20 of Chlamydia Pan-Genomic Analysis Reveals Balance between Host Adaptation and Selective Pressure to Genome Reduction.” Springer Nature, 2019. https://doi.org/10.6084/m9.figshare.9808850.v1.
View | Files available | DOI | Download Published Version (ext.)
 

2019 | Research Data Reference | IST-REx-ID: 9899 | OA
Sigalova, Olga M., Andrei V. Chaplin, Olga Bochkareva, Pavel V. Shelyakin, Vsevolod A. Filaretov, Evgeny E. Akkuratov, Valentina Burskaia, and Mikhail S. Gelfand. “Additional File 2 of Chlamydia Pan-Genomic Analysis Reveals Balance between Host Adaptation and Selective Pressure to Genome Reduction.” Springer Nature, 2019. https://doi.org/10.6084/m9.figshare.9808865.v1.
View | Files available | DOI | Download Published Version (ext.)
 

2019 | Research Data Reference | IST-REx-ID: 9894 | OA
Sigalova, Olga M., Andrei V. Chaplin, Olga Bochkareva, Pavel V. Shelyakin, Vsevolod A. Filaretov, Evgeny E. Akkuratov, Valentina Burskaia, and Mikhail S. Gelfand. “Additional File 18 of Chlamydia Pan-Genomic Analysis Reveals Balance between Host Adaptation and Selective Pressure to Genome Reduction.” Springer Nature, 2019. https://doi.org/10.6084/m9.figshare.9808826.v1.
View | Files available | DOI | Download Published Version (ext.)
 

2019 | Research Data Reference | IST-REx-ID: 9893 | OA
Sigalova, Olga M., Andrei V. Chaplin, Olga Bochkareva, Pavel V. Shelyakin, Vsevolod A. Filaretov, Evgeny E. Akkuratov, Valentina Burskaia, and Mikhail S. Gelfand. “Additional File 17 of Chlamydia Pan-Genomic Analysis Reveals Balance between Host Adaptation and Selective Pressure to Genome Reduction.” Springer Nature, 2019. https://doi.org/10.6084/m9.figshare.9808820.v1.
View | Files available | DOI | Download Published Version (ext.)
 

2019 | Research Data Reference | IST-REx-ID: 9895 | OA
Sigalova, Olga M., Andrei V. Chaplin, Olga Bochkareva, Pavel V. Shelyakin, Vsevolod A. Filaretov, Evgeny E. Akkuratov, Valentina Burskaia, and Mikhail S. Gelfand. “Additional File 19 of Chlamydia Pan-Genomic Analysis Reveals Balance between Host Adaptation and Selective Pressure to Genome Reduction.” Springer Nature, 2019. https://doi.org/10.6084/m9.figshare.9808835.v1.
View | Files available | DOI | Download Published Version (ext.)
 

2019 | Research Data Reference | IST-REx-ID: 9896 | OA
Sigalova, Olga M., Andrei V. Chaplin, Olga Bochkareva, Pavel V. Shelyakin, Vsevolod A. Filaretov, Evgeny E. Akkuratov, Valentina Burskaia, and Mikhail S. Gelfand. “Additional File 1 of Chlamydia Pan-Genomic Analysis Reveals Balance between Host Adaptation and Selective Pressure to Genome Reduction.” Springer Nature, 2019. https://doi.org/10.6084/m9.figshare.9808841.v1.
View | Files available | DOI | Download Published Version (ext.)
 

2019 | Research Data Reference | IST-REx-ID: 9900 | OA
Sigalova, Olga M., Andrei V. Chaplin, Olga Bochkareva, Pavel V. Shelyakin, Vsevolod A. Filaretov, Evgeny E. Akkuratov, Valentina Burskaia, and Mikhail S. Gelfand. “Additional File 5 of Chlamydia Pan-Genomic Analysis Reveals Balance between Host Adaptation and Selective Pressure to Genome Reduction.” Springer Nature, 2019. https://doi.org/10.6084/m9.figshare.9808886.v1.
View | Files available | DOI | Download Published Version (ext.)
 

2019 | Journal Article | IST-REx-ID: 6898 | OA
Sigalova, Olga M., Andrei V. Chaplin, Olga Bochkareva, Pavel V. Shelyakin, Vsevolod A. Filaretov, Evgeny E. Akkuratov, Valentina Burskaia, and Mikhail S. Gelfand. “Chlamydia Pan-Genomic Analysis Reveals Balance between Host Adaptation and Selective Pressure to Genome Reduction.” BMC Genomics. BioMed Central, 2019. https://doi.org/10.1186/s12864-019-6059-5.
View | Files available | DOI
 

2019 | Research Data Reference | IST-REx-ID: 9901 | OA
Sigalova, Olga M., Andrei V. Chaplin, Olga Bochkareva, Pavel V. Shelyakin, Vsevolod A. Filaretov, Evgeny E. Akkuratov, Valentina Burskaia, and Mikhail S. Gelfand. “Additional File 9 of Chlamydia Pan-Genomic Analysis Reveals Balance between Host Adaptation and Selective Pressure to Genome Reduction.” Springer Nature, 2019. https://doi.org/10.6084/m9.figshare.9808907.v1.
View | Files available | DOI | Download Published Version (ext.)
 

2019 | Book Chapter | IST-REx-ID: 7453 | OA
Alur, Rajeev, Mirco Giacobbe, Thomas A Henzinger, Kim G. Larsen, and Marius Mikučionis. “Continuous-Time Models for System Design and Analysis.” In Computing and Software Science, edited by Bernhard Steffen and Gerhard Woeginger, 10000:452–77. LNCS. Springer Nature, 2019. https://doi.org/10.1007/978-3-319-91908-9_22.
View | DOI | Download Published Version (ext.)
 

2019 | Conference Paper | IST-REx-ID: 7402 | OA
Chatterjee, Krishnendu, and Laurent Doyen. “Graph Planning with Expected Finite Horizon.” In 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 1–13. IEEE, 2019. https://doi.org/10.1109/lics.2019.8785706.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6465 | OA
Chassin, Hélène, Marius Müller, Marcel Tigges, Leo Scheller, Moritz Lang, and Martin Fussenegger. “A Modular Degron Library for Synthetic Circuits in Mammalian Cells.” Nature Communications. Springer Nature, 2019. https://doi.org/10.1038/s41467-019-09974-5.
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6435 | OA
Casillas Perez, Barbara E. “Collective Defenses of Garden Ants against a Fungal Pathogen.” IST Austria, 2019. https://doi.org/10.15479/AT:ISTA:6435.
View | Files available | DOI
 

2019 | Preprint | IST-REx-ID: 10065 | OA
Hofmann, Andrea C, Daniel Jirovec, Maxim Borovkov, Ivan Prieto Gonzalez, Andrea Ballabio, Jacopo Frigerio, Daniel Chrastina, Giovanni Isella, and Georgios Katsaros. “Assessing the Potential of Ge/SiGe Quantum Dots as Hosts for Singlet-Triplet Qubits.” ArXiv, n.d.
View | Files available | Download Preprint (ext.) | arXiv
 

2019 | Thesis | IST-REx-ID: 6891 | OA
Kopf, Aglaja. “The Implication of Cytoskeletal Dynamics on Leukocyte Migration.” IST Austria, 2019. https://doi.org/10.15479/AT:ISTA:6891.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6328 | OA
Renkawitz, Jörg, Aglaja Kopf, Julian A Stopp, Ingrid de Vries, Meghan K. Driscoll, Jack Merrin, Robert Hauschild, et al. “Nuclear Positioning Facilitates Amoeboid Migration along the Path of Least Resistance.” Nature. Springer Nature, 2019. https://doi.org/10.1038/s41586-019-1087-5.
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6877
Kopf, Aglaja, and Michael K Sixt. “The Neural Crest Pitches in to Remove Apoptotic Debris.” Cell, 2019. https://doi.org/10.1016/j.cell.2019.08.047.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Thesis | IST-REx-ID: 6269 | OA
Narasimhan, Madhumitha. “Clathrin-Mediated Endocytosis, Post-Endocytic Trafficking and Their Regulatory Controls in Plants .” IST Austria, 2019. https://doi.org/10.15479/at:ista:th1075.
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6947 | OA
Assen, Frank P. “Lymph Node Mechanics: Deciphering the Interplay between Stroma Contractility, Morphology and Lymphocyte Trafficking.” IST Austria, 2019. https://doi.org/10.15479/AT:ISTA:6947.
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6849 | OA
Rangel Guerrero, Dámaris K. “The Role of CCK-Interneurons in Regulating Hippocampal Network Dynamics.” IST Austria, 2019. https://doi.org/10.15479/AT:ISTA:6849.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6189 | OA
Agrawal, Nishchal, George H Choueiri, and Björn Hof. “Transition to Turbulence in Particle Laden Flows.” Physical Review Letters. APS, 2019. https://doi.org/10.1103/PhysRevLett.122.114502.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6508 | OA
Shamipour, Shayan, Roland Kardos, Shi-lei Xue, Björn Hof, Edouard B Hannezo, and Carl-Philipp J Heisenberg. “Bulk Actin Dynamics Drive Phase Segregation in Zebrafish Oocytes.” Cell. Elsevier, 2019. https://doi.org/10.1016/j.cell.2019.04.030.
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7001 | OA
Schwayer, Cornelia, Shayan Shamipour, Kornelija Pranjic-Ferscha, Alexandra Schauer, M Balda, M Tada, K Matter, and Carl-Philipp J Heisenberg. “Mechanosensation of Tight Junctions Depends on ZO-1 Phase Separation and Flow.” Cell. Cell Press, 2019. https://doi.org/10.1016/j.cell.2019.10.006.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6848 | OA
Kampjut, Domen, and Leonid A Sazanov. “Structure and Mechanism of Mitochondrial Proton-Translocating Transhydrogenase.” Nature. Springer Nature, 2019. https://doi.org/10.1038/s41586-019-1519-2.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6830 | OA
Contreras, Ximena, and Simon Hippenmeyer. “Memo1 Tiles the Radial Glial Cell Grid.” Neuron. Elsevier, 2019. https://doi.org/10.1016/j.neuron.2019.08.021.
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6351 | OA
Marhavá, Petra, Lukas Hörmayer, Saiko Yoshida, Peter Marhavý, Eva Benková, and Jiří Friml. “Re-Activation of Stem Cell Pathways for Pattern Restoration in Plant Wound Healing.” Cell. Elsevier, 2019. https://doi.org/10.1016/j.cell.2019.04.015.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Thesis | IST-REx-ID: 6546 | OA
Valosková, Katarina. “The Role of a Highly Conserved Major Facilitator Superfamily Member in Drosophila Embryonic Macrophage Migration.” IST Austria, 2019. https://doi.org/10.15479/AT:ISTA:6546.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6943 | OA
Hörmayer, Lukas, and Jiří Friml. “Targeted Cell Ablation-Based Insights into Wound Healing and Restorative Patterning.” Current Opinion in Plant Biology. Elsevier, 2019. https://doi.org/10.1016/j.pbi.2019.08.006.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Thesis | IST-REx-ID: 6371 | OA
Igler, Claudia. “On the Nature of Gene Regulatory Design - The Biophysics of Transcription Factor Binding Shapes Gene Regulation.” IST Austria, 2019. https://doi.org/10.15479/AT:ISTA:6371.
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6363 | OA
Espinoza Martinez, Claudia . “Parvalbumin+ Interneurons Enable Efficient Pattern Separation in Hippocampal Microcircuits.” IST Austria, 2019. https://doi.org/10.15479/AT:ISTA:6363.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 5949 | OA
Käfer, Karola, Hugo Malagon-Vina, Desiree Dickerson, Joseph O’Neill, Svenja V. Trossbach, Carsten Korth, and Jozsef L Csicsvari. “Disrupted-in-Schizophrenia 1 Overexpression Disrupts Hippocampal Coding and Oscillatory Synchronization.” Hippocampus. Wiley, 2019. https://doi.org/10.1002/hipo.23076.
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6825 | OA
Käfer, Karola. “The Hippocampus and Medial Prefrontal Cortex during Flexible Behavior.” IST Austria, 2019. https://doi.org/10.15479/AT:ISTA:6825.
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 7132 | OA
Mckenzie, Catherine. “Design and Characterization of Methods and Biological Components to Realize Synthetic Neurotransmission.” IST Austria, 2019. https://doi.org/10.15479/at:ista:7132.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6486 | OA
Kühnen, Jakob, Davide Scarselli, and Björn Hof. “Relaminarization of Pipe Flow by Means of 3D-Printed Shaped Honeycombs.” Journal of Fluids Engineering. ASME, 2019. https://doi.org/10.1115/1.4043494.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6228 | OA
Scarselli, Davide, Jakob Kühnen, and Björn Hof. “Relaminarising Pipe Flow by Wall Movement.” Journal of Fluid Mechanics. Cambridge University Press, 2019. https://doi.org/10.1017/jfm.2019.191.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6187 | OA
Valosková, Katarina, Julia Biebl, Marko Roblek, Shamsi Emtenani, Attila György, Michaela Misova, Aparna Ratheesh, et al. “A Conserved Major Facilitator Superfamily Member Orchestrates a Subset of O-Glycosylation to Aid Macrophage Tissue Invasion.” ELife. eLife Sciences Publications, 2019. https://doi.org/10.7554/elife.41801.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6260 | OA
Oochi, A, Jakub Hajny, K Fukui, Y Nakao, Michelle C Gallei, M Quareshy, K Takahashi, et al. “Pinstatic Acid Promotes Auxin Transport by Inhibiting PIN Internalization.” Plant Physiology. ASPB, 2019. https://doi.org/10.1104/pp.19.00201.
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7158 | OA
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Prateesh Goyal, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. “Faster Algorithms for Dynamic Algebraic Queries in Basic RSMs with Constant Treewidth.” ACM Transactions on Programming Languages and Systems. ACM, 2019. https://doi.org/10.1145/3363525.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6378 | OA
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, and Arash Pourdamghani. “Hybrid Mining: Exploiting Blockchain’s Computational Power for Distributed Problem Solving.” In Proceedings of the 34th ACM Symposium on Applied Computing, Part F147772:374–81. ACM, 2019. https://doi.org/10.1145/3297280.3297319.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6175 | OA
Wang, Peixin, Hongfei Fu, Amir Kafshdar Goharshady, Krishnendu Chatterjee, Xudong Qin, and Wenjun Shi. “Cost Analysis of Nondeterministic Probabilistic Programs.” In PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 204–20. Association for Computing Machinery, 2019. https://doi.org/10.1145/3314221.3314581.
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6380 | OA
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Nastaran Okati, and Andreas Pavlogiannis. “Efficient Parameterized Algorithms for Data Packing.” Proceedings of the ACM on Programming Languages. ACM, 2019. https://doi.org/10.1145/3290366.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6490 | OA
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, and Ehsan Kafshdar Goharshady. “The Treewidth of Smart Contracts.” In Proceedings of the 34th ACM Symposium on Applied Computing, Part F147772:400–408. ACM, n.d. https://doi.org/10.1145/3297280.3297322.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6056 | OA
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, and Arash Pourdamghani. “Probabilistic Smart Contracts: Secure Randomness on the Blockchain.” In IEEE International Conference on Blockchain and Cryptocurrency. IEEE, 2019. https://doi.org/10.1109/BLOC.2019.8751326.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7014 | OA
Chatterjee, Krishnendu, Hongfei Fu, and Amir Kafshdar Goharshady. “Non-Polynomial Worst-Case Analysis of Recursive Programs.” ACM Transactions on Programming Languages and Systems. ACM, 2019. https://doi.org/10.1145/3339984.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6780 | OA
Huang, Mingzhang, Hongfei Fu, Krishnendu Chatterjee, and Amir Kafshdar Goharshady. “Modular Verification for Almost-Sure Termination of Probabilistic Programs.” In Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications , Vol. 3. ACM, 2019. https://doi.org/10.1145/3360555.
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6627 | OA
Adamowski, Maciek, Lanxin Li, and Jiří Friml. “Reorientation of Cortical Microtubule Arrays in the Hypocotyl of Arabidopsis Thaliana Is Induced by the Cell Growth Process and Independent of Auxin Signaling.” International Journal of Molecular Sciences. MDPI, 2019. https://doi.org/10.3390/ijms20133337.
View | Files available | DOI | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 280
Gao, Zhen, Anna Daneva, Yuliya Salanenka, Matthias Van Durme, Marlies Huysmans, Zongcheng Lin, Freya De Winter, et al. “KIRA1 and ORESARA1 Terminate Flower Receptivity by Promoting Cell Death in the Stigma of Arabidopsis.” Nature Plants. Nature Publishing Group, 2018. https://doi.org/10.1038/s41477-018-0160-7.
View | DOI
 

2018 | Journal Article | IST-REx-ID: 281 | OA
Granados, Alejandro, Julian Pietsch, Sarah A Cepeda Humerez, Isebail Farquhar, Gašper Tkačik, and Peter Swain. “Distributed and Dynamic Intracellular Organization of Extracellular Information.” PNAS. National Academy of Sciences, 2018. https://doi.org/10.1073/pnas.1716659115.
View | Files available | DOI | Download Preprint (ext.) | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 282 | OA
Sachdeva, Himani, and Nicholas H Barton. “Introgression of a Block of Genome under Infinitesimal Selection.” Genetics. Genetics Society of America, 2018. https://doi.org/10.1534/genetics.118.301018.
View | DOI | Download Submitted Version (ext.)
 

2018 | Journal Article | IST-REx-ID: 283 | OA
Ceinos, Rosa Maria, Elena Frigato, Cristina Pagano, Nadine Frohlich, Pietro Negrini, Nicola Cavallari, Daniela Vallone, Silvia Fuselli, Cristiano Bertolucci, and Nicholas S Foulkes. “Mutations in Blind Cavefish Target the Light Regulated Circadian Clock Gene Period 2.” Scientific Reports. Nature Publishing Group, 2018. https://doi.org/10.1038/s41598-018-27080-2.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 284 | OA
Virosztek, Daniel. “Maps on Probability Measures Preserving Certain Distances - a Survey and Some New Results.” Acta Scientiarum Mathematicarum (Szeged). Bolyai Institute, 2018. https://doi.org/10.14232/actasm-018-753-y.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 285 | OA
Huszár, Kristóf, Jonathan Spreer, and Uli Wagner. “On the Treewidth of Triangulated 3-Manifolds,” Vol. 99. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018. https://doi.org/10.4230/LIPIcs.SoCG.2018.46.
View | Files available | DOI | arXiv
 

2018 | Journal Article | IST-REx-ID: 286
Ellis, Thomas, David Field, and Nicholas H Barton. “Efficient Inference of Paternity and Sibship Inference given Known Maternity via Hierarchical Clustering.” Molecular Ecology Resources. Wiley, 2018. https://doi.org/10.1111/1755-0998.12782.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 287 | OA
Salari, Vahid, Shabir Barzanjeh, Michal Cifra, Christoph Simon, Felix Scholkmann, Zahra Alirezaei, and Jack Tuszynski. “Electromagnetic Fields and Optomechanics In Cancer Diagnostics and Treatment.” Frontiers in Bioscience - Landmark. Frontiers in Bioscience, 2018. https://doi.org/10.2741/4651.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 288 | OA
Lilja, Anna, Veronica Rodilla, Mathilde Huyghe, Edouard B Hannezo, Camille Landragin, Olivier Renaud, Olivier Leroy, Steffen Rulands, Benjamin Simons, and Silvia Fré. “Clonal Analysis of Notch1-Expressing Cells Reveals the Existence of Unipotent Stem Cells That Retain Long-Term Plasticity in the Embryonic Mammary Gland.” Nature Cell Biology. Nature Publishing Group, 2018. https://doi.org/10.1038/s41556-018-0108-1.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 289 | OA
Zibrov, Alexander, Peng Rao, Carlos Kometter, Jia Li, Cory Dean, Takashi Taniguchi, Kenji Watanabe, Maksym Serbyn, and Andrea Young. “Emergent Dirac Gullies and Gully-Symmetry-Breaking Quantum Hall States in ABA Trilayer Graphene.” Physical Review Letters. American Physical Society, 2018. https://doi.org/10.1103/PhysRevLett.121.167601.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 29 | OA
Viljakainen, Lumi, Jaana Jurvansuu, Ida Holmberg, Tobias Pamminger, Silvio Erler, and Sylvia Cremer. “Social Environment Affects the Transcriptomic Response to Bacteria in Ant Queens.” Ecology and Evolution. Wiley, 2018. https://doi.org/10.1002/ece3.4573.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 291 | OA
Budanur, Nazmi B, and Björn Hof. “Complexity of the Laminar-Turbulent Boundary in Pipe Flow.” Physical Review Fluids. American Physical Society, 2018. https://doi.org/10.1103/PhysRevFluids.3.054401.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 292 | OA
Botella Soler, Vicente, Stephane Deny, Georg S Martius, Olivier Marre, and Gašper Tkačik. “Nonlinear Decoding of a Complex Movie from the Mammalian Retina.” PLoS Computational Biology. Public Library of Science, 2018. https://doi.org/10.1371/journal.pcbi.1006057.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 293 | OA
Hoffman, Moshe, Christian Hilbe, and Martin Nowak. “The Signal-Burying Game Can Explain Why We Obscure Positive Traits and Good Deeds.” Nature Human Behaviour. Nature Publishing Group, 2018. https://doi.org/10.1038/s41562-018-0354-z.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 294 | OA
Fratini, Filippo, Laleh Safari, Pedro Amaro, and José Santos. “Two-Photon Processes Based on Quantum Commutators.” Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society, 2018. https://doi.org/10.1103/PhysRevA.97.043842.
View | DOI | Download Submitted Version (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 295 | OA
Lundholm, Douglas, and Robert Seiringer. “Fermionic Behavior of Ideal Anyons.” Letters in Mathematical Physics. Springer, 2018. https://doi.org/10.1007/s11005-018-1091-y.
View | Files available | DOI | arXiv
 

2018 | Journal Article | IST-REx-ID: 296 | OA
Turner, Christopher, Alexios Michailidis, Dmitry Abanin, Maksym Serbyn, and Zlatko Papić. “Weak Ergodicity Breaking from Quantum Many-Body Scars.” Nature Physics. Nature Publishing Group, 2018. https://doi.org/10.1038/s41567-018-0137-5.
View | DOI | Download Submitted Version (ext.)
 

2018 | Conference Paper | IST-REx-ID: 297 | OA
Brázdil, Tomáš, Krishnendu Chatterjee, Jan Kretinsky, and Viktor Toman. “Strategy Representation by Decision Trees in Reactive Synthesis,” 10805:385–407. Springer, 2018. https://doi.org/10.1007/978-3-319-89960-2_21.
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 298 | OA
Alwen, Joel F, Jeremiah Blocki, and Krzysztof Z Pietrzak. “Sustained Space Complexity,” 10821:99–130. Springer, 2018. https://doi.org/10.1007/978-3-319-78375-8_4.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 299 | OA
Nickovic, Dejan, Olivier Lebeltel, Oded Maler, Thomas Ferrere, and Dogan Ulus. “AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic.” edited by Dirk Beyer and Marieke Huisman, 10806:303–19. Springer, 2018. https://doi.org/10.1007/978-3-319-89963-3_18.
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 300 | OA
Micciancio, Daniele, and Michael Walter. “On the Bit Security of Cryptographic Primitives,” 10820:3–28. Springer, 2018. https://doi.org/10.1007/978-3-319-78381-9_1.
View | DOI | Download Submitted Version (ext.)
 

2018 | Conference Paper | IST-REx-ID: 302 | OA
Cohen, Bram, and Krzysztof Z Pietrzak. “Simple Proofs of Sequential Work,” 10821:451–67. Springer, 2018. https://doi.org/10.1007/978-3-319-78375-8_15.
View | DOI | Download Submitted Version (ext.)
 

2018 | Journal Article | IST-REx-ID: 303 | OA
Kalinin, Nikita, and Mikhail Shkolnikov. “Introduction to Tropical Series and Wave Dynamic on Them.” Discrete and Continuous Dynamical Systems- Series A. AIMS, 2018. https://doi.org/10.3934/dcds.2018120.
View | DOI | Download Submitted Version (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 304 | OA
Auzinger, Thomas, Wolfgang Heidrich, and Bernd Bickel. “Computational Design of Nanostructural Color for Additive Manufacturing.” ACM Transactions on Graphics. ACM, 2018. https://doi.org/10.1145/3197517.3201376.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 305
Misun, Patrick, Axel Birchler, Moritz Lang, Andreas Hierlemann, and Olivier Frey. “Fabrication and Operation of Microfluidic Hanging Drop Networks.” Methods in Molecular Biology. Springer, 2018. https://doi.org/10.1007/978-1-4939-7792-5_15.
View | DOI
 

2018 | Journal Article | IST-REx-ID: 306 | OA
De Martino, Andrea, and Daniele De Martino. “An Introduction to the Maximum Entropy Approach and Its Application to Inference Problems in Biology.” Heliyon. Elsevier, 2018. https://doi.org/10.1016/j.heliyon.2018.e00596.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 307 | OA
Redchenko, Elena, Alexander Makarov, and Vladimir Yudson. “Nanoscopy of Pairs of Atoms by Fluorescence in a Magnetic Field.” Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society, 2018. https://doi.org/10.1103/PhysRevA.97.043812.
View | DOI | Download Submitted Version (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 308 | OA
Ratheesh, Aparna, Julia Biebl, Michael Smutny, Jana Veselá, Ekaterina Papusheva, Gabriel Krens, Walter Kaufmann, Attila György, Alessandra M Casano, and Daria E Siekhaus. “Drosophila TNF Modulates Tissue Tension in the Embryo to Facilitate Macrophage Invasive Migration.” Developmental Cell. Elsevier, 2018. https://doi.org/10.1016/j.devcel.2018.04.002.
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2018 | Conference Paper | IST-REx-ID: 309 | OA
Akitaya, Hugo, Radoslav Fulek, and Csaba Tóth. “Recognizing Weak Embeddings of Graphs,” 274–92. ACM, 2018. https://doi.org/10.1137/1.9781611975031.20.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 31 | OA
Ferrari, Ulisse, Stephane Deny, Matthew J Chalk, Gašper Tkačik, Olivier Marre, and Thierry Mora. “Separating Intrinsic Interactions from Extrinsic Correlations in a Network of Sensory Neurons.” Physical Review E. American Physical Society, 2018. https://doi.org/10.1103/PhysRevE.98.042410.
View | DOI | Download Preprint (ext.)
 

Filters and Search Terms

extern<>1

Search

Filter Publications