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.

7223 Publications


2017 | Journal Article | IST-REx-ID: 676 | OA
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 | OA
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: 696 | OA
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: 1028 | OA
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: 1027 | OA
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 | Journal Article | IST-REx-ID: 704 | OA
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 | Conference Paper | IST-REx-ID: 949 | OA
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 | OA
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
 

2017 | Book | IST-REx-ID: 567
Erdös, L., & Yau, H. (2017). A Dynamical Approach to Random Matrix Theory (Vol. 28). American Mathematical Society. https://doi.org/10.1090/cln/028
View | DOI
 

2017 | Book Chapter | IST-REx-ID: 649
Maas, J. (2017). Entropic Ricci curvature for discrete spaces. In L. Najman & P. Romon (Eds.), Modern Approaches to Discrete Curvature (Vol. 2184, pp. 159–174). Springer. https://doi.org/10.1007/978-3-319-58002-9_5
View | DOI
 

2017 | Conference (Editor) | IST-REx-ID: 638
Bogomolov, S., Martel, M., & Prabhakar, P. (Eds.). (2017). Numerical Software Verification (Vol. 10152). Presented at the NSV: Numerical Software Verification, Toronto, ON, Canada: Springer. https://doi.org/10.1007/978-3-319-54292-8
View | DOI
 

2017 | Journal Article | IST-REx-ID: 1528 | OA
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
 

2016 | Conference Paper | IST-REx-ID: 785
Haider, S., Hasenplaugh, W., & Alistarh, D.-A. (2016). Lease/Release: Architectural support for scaling contended data structures (Vol. 12-16-March-2016). Presented at the PPoPP: Principles and Practice of Parallel Pogramming, ACM. https://doi.org/10.1145/2851141.2851155
View | DOI
 

2016 | Journal Article | IST-REx-ID: 786 | OA
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 | OA
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 | OA
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 | OA
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: 813
Füzik, T., Píchalová, R., Schur, F. K., Strohalmová, K., Křížová, I., Hadravová, R., … Ruml, T. (2016). Nucleic acid binding by Mason-Pfizer monkey virus CA promotes virus assembly and genome packaging. Journal of Virology. ASM. https://doi.org/10.1128/JVI.03197-15
View | DOI
 

2016 | Journal Article | IST-REx-ID: 816
Schur, F. K., Obr, M., Hagen, W., Wan, W., Jakobi, A., Kirkpatrick, J., … Briggs, J. (2016). An atomic model of HIV-1 capsid-SP1 reveals structures regulating assembly and maturation. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.aaf9620
View | DOI
 

2016 | Journal Article | IST-REx-ID: 8241 | OA
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: 8300
Kokoris Kogias, E., Voutyras, O., & Varvarigou, T. (2016). TRM-SIoT: A scalable hybrid trust & reputation model for the social Internet of Things. In 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation. Berlin, Germany: IEEE. https://doi.org/10.1109/etfa.2016.7733612
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 8302 | OA
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: 8452
Rodrigues, C. D. A., Henry, X., Neumann, E., Kurauskas, V., Bellard, L., Fichou, Y., … Morlot, C. (2016). A ring-shaped conduit connects the mother cell and forespore during sporulation in Bacillus subtilis. Proceedings of the National Academy of Sciences. National Academy of Sciences. https://doi.org/10.1073/pnas.1609604113
View | DOI
 

2016 | Journal Article | IST-REx-ID: 8453
Kurauskas, V., Weber, E., Hessel, A., Ayala, I., Marion, D., & Schanda, P. (2016). Cross-correlated relaxation of dipolar coupling and chemical-shift anisotropy in magic-angle spinning R1ρ NMR measurements: Application to protein backbone dynamics measurements. The Journal of Physical Chemistry B. American Chemical Society. https://doi.org/10.1021/acs.jpcb.6b06129
View | DOI
 

2016 | Journal Article | IST-REx-ID: 8454
Schanda, P., & Ernst, M. (2016). Studying dynamics by magic-angle spinning solid-state NMR spectroscopy: Principles and applications to biomolecules. Progress in Nuclear Magnetic Resonance Spectroscopy. Elsevier. https://doi.org/10.1016/j.pnmrs.2016.02.001
View | DOI
 

2016 | Journal Article | IST-REx-ID: 8455
Kurauskas, V., Crublet, E., Macek, P., Kerfah, R., Gauto, D. F., Boisbouvier, J., & Schanda, P. (2016). Sensitive proton-detected solid-state NMR spectroscopy of large proteins with selective CH3labelling: Application to the 50S ribosome subunit. Chemical Communications. Royal Society of Chemistry. https://doi.org/10.1039/c6cc04484k
View | DOI
 

2016 | Journal Article | IST-REx-ID: 849
Saint Léger, A., Bello, C., Dans, P., Torres, A., Novoa, E., Camacho, N., … Ribas De Pouplana, L. (2016). Saturation of recognition elements blocks evolution of new tRNA identities. Science Advances. American Association for the Advancement of Science. https://doi.org/10.1126/sciadv.1501860
View | DOI
 

2016 | Journal Article | IST-REx-ID: 8493
Guardia, M., Kaloshin, V., & Zhang, J. (2016). A second order expansion of the separatrix map for trigonometric perturbations of a priori unstable systems. Communications in Mathematical Physics. Springer Nature. https://doi.org/10.1007/s00220-016-2705-9
View | DOI
 

2016 | Journal Article | IST-REx-ID: 8494
Bernard, P., Kaloshin, V., & Zhang, K. (2016). Arnold diffusion in arbitrary degrees of freedom and normally hyperbolic invariant cylinders. Acta Mathematica. Institut Mittag-Leffler. https://doi.org/10.1007/s11511-016-0141-5
View | DOI
 

2016 | Journal Article | IST-REx-ID: 8496
Avila, A., De Simoi, J., & Kaloshin, V. (2016). An integrable deformation of an ellipse of small eccentricity is an ellipse. Annals of Mathematics. Princeton University Press. https://doi.org/10.4007/annals.2016.184.2.5
View | DOI
 

2016 | Journal Article | IST-REx-ID: 8497
Féjoz, J., Guàrdia, M., Kaloshin, V., & Roldán, P. (2016). Kirkwood gaps and diffusion along mean motion resonances in the restricted planar three-body problem. Journal of the European Mathematical Society. European Mathematical Society Publishing House. https://doi.org/10.4171/jems/642
View | DOI
 

2016 | Journal Article | IST-REx-ID: 850
Sarkisyan K, Bolotin D, Meer M, Usmanova D, Mishin A, Sharonov G, Ivankov D, Bozhanova N, Baranov M, Soylemez O, Bogatyreva N, Vlasov P, Egorov E, Logacheva M, Kondrashov A, Chudakov D, Putintseva E, Mamedov I, Tawfik D, Lukyanov K, Kondrashov F. 2016. Local fitness landscape of the green fluorescent protein. Nature. 533, 397–401.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 853
Rivkina, E., Petrovskaya, L., Vishnivetskaya, T., Krivushin, K., Shmakova, L., Tutukina, M., … Kondrashov, F. (2016). Metagenomic analyses of the late Pleistocene permafrost - Additional tools for reconstruction of environmental conditions. Biogeosciences. European Geosciences Union. https://doi.org/10.5194/bg-13-2207-2016
View | DOI
 

2016 | Journal Article | IST-REx-ID: 460 | OA
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 | OA
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: 479
Jiang, Y., Liu, H., Kong, H., Wang, R., Hosseini, M., Sun, J., & Sha, L. (2016). Use runtime verification to improve the quality of medical care practice. In Proceedings of the 38th International Conference on Software Engineering Companion (pp. 112–121). Austin, TX, USA: IEEE. https://doi.org/10.1145/2889160.2889233
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 480 | OA
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 | Conference Paper | IST-REx-ID: 482
Rueda, A., Sedlmeir, F., Collodo, M., Vogl, U., Stiller, B., Schunk, G., … Schwefel, H. (2016). Nonlinear single sideband microwave to optical conversion using an electro-optic WGM-resonator. Presented at the NP: Nonlinear Photonics, Sydney, Australia: OSA. https://doi.org/10.1364/NP.2016.NTh3A.6
View | DOI
 

2016 | Journal Article | IST-REx-ID: 510 | OA
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 | Journal Article | IST-REx-ID: 526
von Wangenheim, D., Fangerau, J., Schmitz, A., Smith, R., Leitte, H., Stelzer, E., & Maizel, A. (2016). Rules and self-organizing properties of post-embryonic plant organ cell division patterns. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2015.12.047
View | DOI
 

2016 | Technical Report | IST-REx-ID: 5445 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
Ellis, T. (2016). Data on pollinator observations and offpsring phenotypes. IST Austria. https://doi.org/10.15479/AT:ISTA:35
View | Files available | DOI
 

Search

Filter Publications