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.
4060 Publications
2017 | Book Chapter | IST-REx-ID: 625 | 
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2017). The cost of exactness in quantitative reachability. In L. Aceto, G. Bacci, A. Ingólfsdóttir, A. Legay, & R. Mardare (Eds.), Models, Algorithms, Logics and Tools (Vol. 10460, pp. 367–381). Springer. https://doi.org/10.1007/978-3-319-63121-9_18
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1528 |
Bao, Z., & Erdös, L. (2017). Delocalization for a class of random block band matrices. Probability Theory and Related Fields. Springer. https://doi.org/10.1007/s00440-015-0692-y
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 202 |
Pleska, M. (2017). Biology of restriction-modification systems at the single-cell and population level. IST Austria. https://doi.org/10.15479/AT:ISTA:th_916
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 561 |
Pleska, M., & Guet, C. C. (2017). Effects of mutations in phage restriction sites during escape from restriction–modification. Biology Letters. The Royal Society. https://doi.org/10.1098/rsbl.2017.0646
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 1013 |
Fink, J. M. (2017). Viewpoint: Microwave quantum states beat the heat. Physics. American Physical Society. https://doi.org/10.1103/Physics.10.32
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 653 |
Makohon Moore, A., Zhang, M., Reiter, J., Božić, I., Allen, B., Kundu, D., … Iacobuzio Donahue, C. (2017). Limited heterogeneity of known driver gene mutations among the metastases of individual patients with pancreatic cancer. Nature Genetics. Nature Publishing Group. https://doi.org/10.1038/ng.3764
View
| Files available
| DOI
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 1228 |
Sauerzopf, U., Sacco, R., Novarino, G., Niello, M., Weidenauer, A., Praschak Rieder, N., … Willeit, M. (2017). Are reprogrammed cells a useful tool for studying dopamine dysfunction in psychotic disorders? A review of the current evidence. European Journal of Neuroscience. Wiley-Blackwell. https://doi.org/10.1111/ejn.13418
View
| Files available
| DOI
| PubMed | Europe PMC
2017 | Thesis | IST-REx-ID: 961 |
Barone, V. (2017). Cell adhesion and cell fate: An effective feedback loop during zebrafish gastrulation. IST Austria. https://doi.org/10.15479/AT:ISTA:th_825
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1433 |
Bauer, U., Kerber, M., Reininghaus, J., & Wagner, H. (2017). Phat - Persistent homology algorithms toolbox. Journal of Symbolic Computation. Academic Press. https://doi.org/10.1016/j.jsc.2016.03.008
View
| Files available
| DOI
| Download Published Version (ext.)
2017 | Conference Paper | IST-REx-ID: 552 |
Chatterjee, K., Henzinger, M., & Svozil, A. (2017). Faster algorithms for mean-payoff parity games. In Leibniz International Proceedings in Informatics (Vol. 83). Aalborg, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.MFCS.2017.39
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1029 |
Lukacisin, M., Landon, M., & Jajoo, R. (2017). Sequence-specific thermodynamic properties of nucleic acids influence both transcriptional pausing and backtracking in yeast. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0174066
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 682 |
Ukai, H., Kawahara, A., Hirayama, K., Case, M. J., Aino, S., Miyabe, M., … Ito, I. (2017). PirB regulates asymmetries in hippocampal circuitry. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0179377
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1028 |
Kainrath, S., Stadler, M., Gschaider-Reichhart, E., Distel, M., & Janovjak, H. L. (2017). Green-light-induced inactivation of receptor signaling using cobalamin-binding domains. Angewandte Chemie - International Edition. Wiley-Blackwell. https://doi.org/10.1002/anie.201611998
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1024 |
Hurny, A., & Benková, E. (2017). Methodological advances in auxin and cytokinin biology. Auxins and Cytokinins in Plant Biology. Springer. https://doi.org/10.1007/978-1-4939-6831-2_1
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 676 |
Krens, G., Veldhuis, J., Barone, V., Capek, D., Maître, J.-L., Brodland, W., & Heisenberg, C.-P. J. (2017). Interstitial fluid osmolarity modulates the action of differential tissue surface tension in progenitor cell segregation during gastrulation. Development. Company of Biologists. https://doi.org/10.1242/dev.144964
View
| Files available
| DOI
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 661 |
Smutny, M., Ákos, Z., Grigolon, S., Shamipour, S., Ruprecht, V., Capek, D., … Heisenberg, C.-P. J. (2017). Friction forces position the neural anlage. Nature Cell Biology. Nature Publishing Group. https://doi.org/10.1038/ncb3492
View
| Files available
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 704 |
Steinrück, M., & Guet, C. C. (2017). Complex chromosomal neighborhood effects determine the adaptive potential of a gene under selection. ELife. eLife Sciences Publications. https://doi.org/10.7554/eLife.25100
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 696 |
Lukacisinova, M., Novak, S., & Paixao, T. (2017). Stress induced mutagenesis: Stress diversity facilitates the persistence of mutator genes. PLoS Computational Biology. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1005609
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1027 |
Lukacisinova, M., & Bollenbach, M. T. (2017). Toward a quantitative understanding of antibiotic resistance evolution. Current Opinion in Biotechnology. Elsevier. https://doi.org/10.1016/j.copbio.2017.02.013
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 949 |
Chatterjee, K., Goharshady, A. K., & Pavlogiannis, A. (2017). JTDec: A tool for tree decompositions in soot. In D. D’Souza (Ed.) (Vol. 10482, pp. 59–66). Presented at the ATVA: Automated Technology for Verification and Analysis, Pune, India: Springer. https://doi.org/10.1007/978-3-319-68167-2_4
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 639 |
Chatterjee, K., Fu, H., & Goharshady, A. K. (2017). Non-polynomial worst case analysis of recursive programs. In R. Majumdar & V. Kunčak (Eds.) (Vol. 10427, pp. 41–63). Presented at the CAV: Computer Aided Verification, Heidelberg, Germany: Springer. https://doi.org/10.1007/978-3-319-63390-9_3
View
| Files available
| DOI
| Download Submitted Version (ext.)
| arXiv
2016 | Journal Article | IST-REx-ID: 786 |
Alistarh, D.-A., Censor Hillel, K., & Shavit, N. (2016). Are lock free concurrent algorithms practically wait free . Journal of the ACM. ACM. https://doi.org/10.1145/2903136
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Journal Article | IST-REx-ID: 8020 |
Barron, H. C., Vogels, T. P., Emir, U. E., Makin, T. R., O’Shea, J., Clare, S., … Behrens, T. E. J. (2016). Unmasking latent inhibitory connections in human cortex to reveal dormant cortical memories. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2016.02.031
View
| Files available
| DOI
| PubMed | Europe PMC
2016 | Conference Paper | IST-REx-ID: 8094 |
Martius, G. S., Hostettler, R., Knoll, A., & Der, R. (2016). Self-organized control of an tendon driven arm by differential extrinsic plasticity. In Proceedings of the Artificial Life Conference 2016 (Vol. 28, pp. 142–143). Cancun, Mexico: MIT Press. https://doi.org/10.7551/978-0-262-33936-0-ch029
View
| Files available
| DOI
2016 | Preprint | IST-REx-ID: 8128 |
Clopath, C., Vogels, T. P., Froemke, R. C., & Sprekeler, H. (2016). Receptive field formation by interacting excitatory and inhibitory synaptic plasticity. bioRxiv. Cold Spring Harbor Laboratory.
View
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 8241 |
Singer, J., Manzano-Szalai, K., Singer, J., Thell, K., Bentley-Lukschal, A., Stremnitzer, C., … Jensen-Jarolim, E. (2016). Proof of concept study with an HER-2 mimotope anticancer vaccine deduced from a novel AAV-mimotope library platform. OncoImmunology. Taylor & Francis. https://doi.org/10.1080/2162402x.2016.1171446
View
| DOI
| Download Published Version (ext.)
2016 | Conference Paper | IST-REx-ID: 8302 |
Kokoris Kogias, E., Jovanovic, P., Gailly, N., Khoffi, I., Gasser, L., & Ford, B. (2016). Enhancing bitcoin security and performance with strong consistency via collective signing. In Proceedings of the 25th USENIX Conference on Security Symposium (pp. 279–296). Austin, TX, United States: USENIX Association.
View
| Download Published Version (ext.)
| arXiv
2016 | Journal Article | IST-REx-ID: 460 |
Willmann, K., Sacco, R., Martins, R., Garncarz, W., Krolo, A., Knapp, S., … Boztug, K. (2016). Expanding the interactome of the noncanonical NF-κB signaling pathway. Journal of Proteome Research. American Chemical Society. https://doi.org/10.1021/acs.jproteome.5b01004
View
| DOI
| Download (ext.)
2016 | Conference Paper | IST-REx-ID: 478 |
Chatterjee, K., & Ibsen-Jensen, R. (2016). The complexity of deciding legality of a single step of magic: The gathering (Vol. 285, pp. 1432–1439). Presented at the ECAI: European Conference on Artificial Intelligence, The Hague, Netherlands: IOS Press. https://doi.org/10.3233/978-1-61499-672-9-1432
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 480 |
Chatterjee, K., & Doyen, L. (2016). Perfect-information stochastic games with generalized mean-payoff objectives (Vol. 05-08-July-2016, pp. 247–256). Presented at the LICS: Logic in Computer Science, New York, NY, USA: IEEE. https://doi.org/10.1145/2933575.2934513
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 510 |
Liu, Z., Yang, N., Lv, Y., Pan, L., Lv, S., Han, H., & Wang, G. (2016). The CLE gene family in Populus trichocarpa. Plant Signaling & Behavior. Landes Bioscience. https://doi.org/10.1080/15592324.2016.1191734
View
| DOI
| Download Submitted Version (ext.)
2016 | Technical Report | IST-REx-ID: 5445 |
Chatterjee, K., Pavlogiannis, A., & Velner, Y. (2016). Quantitative interprocedural analysis. IST Austria. https://doi.org/10.15479/AT:IST-2016-523-v1-1
View
| Files available
| DOI
2016 | Technical Report | IST-REx-ID: 5446 |
Anonymous, 1, Anonymous, 2, & Anonymous, 3. (2016). Termination and worst-case analysis of recursive programs. IST Austria.
View
| Files available
2016 | Technical Report | IST-REx-ID: 5447 |
Anonymous, 1, Anonymous, 2, & Anonymous, 3. (2016). Average-case analysis of programs: Automated recurrence analysis for almost-linear bounds. IST Austria.
View
| Files available
2016 | Technical Report | IST-REx-ID: 5448 |
Anonymous, 1, Anonymous, 2, Anonymous, 3, & Anonymous, 4. (2016). Data-centric dynamic partial order reduction. IST Austria.
View
| Files available
| arXiv
2016 | Technical Report | IST-REx-ID: 5449 |
Pavlogiannis, A., Tkadlec, J., Chatterjee, K., & Nowak, M. (2016). Amplification on undirected population structures: Comets beat stars. IST Austria. https://doi.org/10.15479/AT:IST-2016-648-v1-1
View
| Files available
| DOI
2016 | Technical Report | IST-REx-ID: 5451 |
Pavlogiannis, A., Tkadlec, J., Chatterjee, K., & Nowak, M. (2016). Strong amplifiers of natural selection. IST Austria. https://doi.org/10.15479/AT:IST-2016-728-v1-1
View
| Files available
| DOI
2016 | Technical Report | IST-REx-ID: 5452 |
Pavlogiannis, A., Tkadlec, J., Chatterjee, K., & Nowak, M. (2016). Arbitrarily strong amplifiers of natural selection. IST Austria. https://doi.org/10.15479/AT:IST-2017-728-v2-1
View
| Files available
| DOI
2016 | Technical Report | IST-REx-ID: 5453 |
Pavlogiannis, A., Tkadlec, J., Chatterjee, K., & Nowak, M. (2016). Arbitrarily strong amplifiers of natural selection. IST Austria. https://doi.org/10.15479/AT:IST-2017-749-v3-1
View
| Files available
| DOI
2016 | Research Data | IST-REx-ID: 5550 |
Ellis, T., & Field, D. (2016). Flower colour data and phylogeny (NEXUS) files. IST Austria. https://doi.org/10.15479/AT:ISTA:34
View
| Files available
| DOI
2016 | Research Data | IST-REx-ID: 5551 |
Ellis, T. (2016). Data on pollinator observations and offpsring phenotypes. IST Austria. https://doi.org/10.15479/AT:ISTA:35
View
| Files available
| DOI
2016 | Research Data | IST-REx-ID: 5552 |
Ellis, T. (2016). Pollinator visitation data for wild Antirrhinum majus plants, with phenotypic and frequency data. IST Austria. https://doi.org/10.15479/AT:ISTA:36
View
| Files available
| DOI
2016 | Research Data | IST-REx-ID: 5553 |
Field, D., & Ellis, T. (2016). Inference of mating patterns among wild snapdragons in a natural hybrid zone in 2012. IST Austria. https://doi.org/10.15479/AT:ISTA:37
View
| Files available
| DOI
2016 | Research Data | IST-REx-ID: 5554 |
Tugrul, M. (2016). Experimental Data for Binding Site Evolution of Bacterial RNA Polymerase. IST Austria. https://doi.org/10.15479/AT:ISTA:43
View
| Files available
| DOI
2016 | Research Data | IST-REx-ID: 5555 |
Hauschild, R. (2016). Fiji script to determine average speed and direction of migration of cells. IST Austria. https://doi.org/10.15479/AT:ISTA:44
View
| Files available
| DOI
2016 | Research Data | IST-REx-ID: 5556 |
Lukacisin, M., Landon, M., & Jajoo, R. (2016). MATLAB analysis code for “Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast.” IST Austria. https://doi.org/10.15479/AT:ISTA:45
View
| Files available
| DOI
2016 | Research Data | IST-REx-ID: 5557 |
Swoboda, P. (2016). Synthetic discrete tomography problems. IST Austria. https://doi.org/10.15479/AT:ISTA:46
View
| Files available
| DOI
2016 | Research Data | IST-REx-ID: 5558 |
Bojsen-Hansen, M. (2016). Tracking, Correcting and Absorbing Water Surface Waves. IST Austria. https://doi.org/10.15479/AT:ISTA:48
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 5749 |
Wielgoss, S., Bergmiller, T., Bischofberger, A. M., & Hall, A. R. (2016). Adaptation to parasites and costs of parasite resistance in mutator and nonmutator bacteria. Molecular Biology and Evolution. Oxford University Press. https://doi.org/10.1093/molbev/msv270
View
| Files available
| DOI
| PubMed | Europe PMC
2016 | Journal Article | IST-REx-ID: 5771 |
Mattei, S., Schur, F. K., & Briggs, J. A. (2016). Retrovirus maturation—an extraordinary structural transformation. Current Opinion in Virology. Elsevier. https://doi.org/10.1016/j.coviro.2016.02.008
View
| Files available
| DOI