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.

4181 Publications


2015 | Journal Article | IST-REx-ID: 1709 | OA
Reiter, J., Kanodia, A., Gupta, R., Nowak, M., & Chatterjee, K. (2015). Biological auctions with multiple rewards. Proceedings of the Royal Society of London Series B Biological Sciences. Royal Society. https://doi.org/10.1098/rspb.2015.1041
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1666 | OA
Tugrul, M., Paixao, T., Barton, N. H., & Tkačik, G. (2015). Dynamics of transcription factor binding site evolution. PLoS Genetics. Public Library of Science. https://doi.org/10.1371/journal.pgen.1005639
[Published Version] View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1502 | OA
Beneš, N., Daca, P., Henzinger, T. A., Kretinsky, J., & Nickovic, D. (2015). Complete composition operators for IOCO-testing theory (pp. 101–110). Presented at the CBSE: Component-Based Software Engineering , Montreal, QC, Canada: ACM. https://doi.org/10.1145/2737166.2737175
[Submitted Version] View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1501 | OA
Chatterjee, K., Chmelik, M., & Daca, P. (2015). CEGAR for compositional analysis of qualitative properties in Markov decision processes. Formal Methods in System Design. Springer. https://doi.org/10.1007/s10703-015-0235-2
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1602 | OA
Chatterjee, K., Ibsen-Jensen, R., Pavlogiannis, A., & Goyal, P. (2015). Faster algorithms for algebraic path properties in recursive state machines with constant treewidth. ACM SIGPLAN Notices. Mumbai, India: ACM. https://doi.org/10.1145/2676726.2676979
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 1607 | OA
Chatterjee, K., Ibsen-Jensen, R., & Pavlogiannis, A. (2015). Faster algorithms for quantitative verification in constant treewidth graphs (Vol. 9206, pp. 140–157). Presented at the CAV: Computer Aided Verification, San Francisco, CA, USA: Springer. https://doi.org/10.1007/978-3-319-21690-4_9
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1633 | OA
Hahn, D., & Wojtan, C. (2015). High-resolution brittle fracture simulation with boundary elements (Vol. 34). Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States: ACM. https://doi.org/10.1145/2766896
[Submitted Version] View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1537 | OA
Ruprecht, V., Wieser, S., Callan Jones, A., Smutny, M., Morita, H., Sako, K., … Heisenberg, C.-P. J. (2015). Cortical contractility triggers a stochastic switch to fast amoeboid cell motility. Cell. Cell Press. https://doi.org/10.1016/j.cell.2015.01.008
[Published Version] View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1591 | OA
Adamowski, M., & Friml, J. (2015). PIN-dependent auxin transport: Action, regulation, and evolution. Plant Cell. American Society of Plant Biologists. https://doi.org/10.1105/tpc.114.134874
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1677 | OA
Alt, J. (2015). The local semicircle law for random matrices with a fourfold symmetry. Journal of Mathematical Physics. American Institute of Physics. https://doi.org/10.1063/1.4932606
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1678 | OA
Inglés Prieto, Á., Gschaider-Reichhart, E., Muellner, M., Nowak, M., Nijman, S., Grusch, M., & Janovjak, H. L. (2015). Light-assisted small-molecule screening against protein kinases. Nature Chemical Biology. Nature Publishing Group. https://doi.org/10.1038/nchembio.1933
[Submitted Version] View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1576 | OA
Cepeda Humerez, S. A., Rieckh, G., & Tkačik, G. (2015). Stochastic proofreading mechanism alleviates crosstalk in transcriptional regulation. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.115.248101
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2015 | Preprint | IST-REx-ID: 8183 | OA
Avvakumov, S., Mabillard, I., Skopenkov, A., & Wagner, U. (n.d.). Eliminating higher-multiplicity intersections, III. Codimension 2. arXiv.
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 

2015 | Technical Report | IST-REx-ID: 5441 | OA
Chatterjee, K., Ibsen-Jensen, R., Goharshady, A. K., & Pavlogiannis, A. (2015). Algorithms for algebraic path properties in concurrent systems of constant treewidth components. IST Austria. https://doi.org/10.15479/AT:IST-2015-340-v1-1
[Published Version] View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5442 | OA
Anonymous, 1, Anonymous, 2, Anonymous, 3, & Anonymous, 4. (2015). Algorithms for algebraic path properties in concurrent systems of constant treewidth components. IST Austria.
[Published Version] View | Files available
 

2015 | Conference Paper | IST-REx-ID: 1689 | OA
Svoreňová, M., Kretinsky, J., Chmelik, M., Chatterjee, K., Cěrná, I., & Belta, C. (2015). Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. In Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control (pp. 259–268). Seattle, WA, United States: ACM. https://doi.org/10.1145/2728606.2728608
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1835 | OA
Giacobbe, M., Guet, C. C., Gupta, A., Henzinger, T. A., Paixao, T., & Petrov, T. (2015). Model checking gene regulatory networks. Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, London, United Kingdom: Springer. https://doi.org/10.1007/978-3-662-46681-0_47
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1509 | OA
Michalko, J., Lukacisinova, M., Bollenbach, M. T., & Friml, J. (2015). Embryo-lethal phenotypes in early abp1 mutants are due to disruption of the neighboring BSM gene. F1000 Research . F1000 Research. https://doi.org/10.12688/f1000research.7143.1
[Published Version] View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1681 | OA
Priklopil, T., & Chatterjee, K. (2015). Evolution of decisions in population games with sequentially searching individuals. Games. MDPI. https://doi.org/10.3390/g6040413
[Published Version] View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1655 | OA
Martius, G. S., & Olbrich, E. (2015). Quantifying emergent behavior of autonomous robots. Entropy. MDPI. https://doi.org/10.3390/e17107266
[Published Version] View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1834 | OA
Chen, C., Wang, C., Zhao, X., Zhou, T., Xu, D., Wang, Z., & Wang, Y. (2015). Low-dose sevoflurane promoteshippocampal neurogenesis and facilitates the development of dentate gyrus-dependent learning in neonatal rats. ASN Neuro. SAGE Publications. https://doi.org/10.1177/1759091415575845
[Published Version] View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1635 | OA
Erbar, M., Maas, J., & Tetali, P. (2015). Discrete Ricci curvature bounds for Bernoulli-Laplace and random transposition models. Annales de La Faculté Des Sciences de Toulouse. Faculté des sciences de Toulouse. https://doi.org/10.5802/afst.1464
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 1603 | OA
Brázdil, T., Chatterjee, K., Chmelik, M., Fellner, A., & Kretinsky, J. (2015). Counterexample explanation by learning small strategies in Markov decision processes (Vol. 9206, pp. 158–177). Presented at the CAV: Computer Aided Verification, San Francisco, CA, United States: Springer. https://doi.org/10.1007/978-3-319-21690-4_10
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2015 | Research Data | IST-REx-ID: 5549 | OA
Fellner, A. (2015). Experimental part of CAV 2015 publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:28
[Published Version] View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1512 | OA
Goaoc, X., Paták, P., Patakova, Z., Tancer, M., & Wagner, U. (2015). Bounding Helly numbers via Betti numbers (Vol. 34, pp. 507–521). Presented at the SoCG: Symposium on Computational Geometry, Eindhoven, Netherlands: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SOCG.2015.507
[Submitted Version] View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1675 | OA
Dziembowski, S., Faust, S., Kolmogorov, V., & Pietrzak, K. Z. (2015). Proofs of space. In 35th Annual Cryptology Conference (Vol. 9216, pp. 585–605). Santa Barbara, CA, United States: Springer. https://doi.org/10.1007/978-3-662-48000-7_29
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1619 | OA
Chevereau, G., Lukacisinova, M., Batur, T., Guvenek, A., Ayhan, D., Toprak, E., & Bollenbach, M. T. (2015). Quantifying the determinants of evolutionary dynamics leading to drug resistance. PLoS Biology. Public Library of Science. https://doi.org/10.1371/journal.pbio.1002299
[Published Version] View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 10815 | OA
Hashimoto, M., Morita, H., & Ueno, N. (2014). Molecular and cellular mechanisms of development underlying congenital diseases. Congenital Anomalies. Wiley. https://doi.org/10.1111/cga.12039
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

2014 | Conference Paper | IST-REx-ID: 10884 | OA
Aminof, B., Jacobs, S., Khalimov, A., & Rubin, S. (2014). Parameterized model checking of token-passing systems. In Verification, Model Checking, and Abstract Interpretation (Vol. 8318, pp. 262–281). San Diego, CA, United States: Springer Nature. https://doi.org/10.1007/978-3-642-54013-4_15
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 1375 | OA
Chatterjee, K., Henzinger, M. H., Krinninger, S., Loitzenbauer, V., & Raskin, M. (2014). Approximating the minimum cycle mean. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2014.06.031
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 1392 | OA
Dragoi, C., Henzinger, T. A., Veith, H., Widder, J., & Zufferey, D. (2014). A logic-based framework for verifying consensus algorithms (Vol. 8318, pp. 161–181). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, San Diego, USA: Springer. https://doi.org/10.1007/978-3-642-54013-4_10
[Submitted Version] View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 1393 | OA
Gordon, A., Henzinger, T. A., Nori, A., & Rajamani, S. (2014). Probabilistic programming. In Proceedings of the on Future of Software Engineering (pp. 167–181). Hyderabad, India: ACM. https://doi.org/10.1145/2593882.2593900
[Published Version] View | DOI | Download Published Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 1516 | OA
Bräunlich, G., Hainzl, C., & Seiringer, R. (2014). On the BCS gap equation for superfluid fermionic gases. In Proceedings of the QMath12 Conference (pp. 127–137). Berlin, Germany: World Scientific Publishing. https://doi.org/10.1142/9789814618144_0007
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 1629 | OA
Guerrero, P., Jeschke, S., Wimmer, M., & Wonka, P. (2014). Edit propagation using geometric relationship functions. ACM Transactions on Graphics. ACM. https://doi.org/10.1145/2591010
[Submitted Version] View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 1643 | OA
Fuchsbauer, G. (2014). Constrained Verifiable Random Functions . In M. Abdalla & R. De Prisco (Eds.), SCN 2014 (Vol. 8642, pp. 95–114). Amalfi, Italy: Springer. https://doi.org/10.1007/978-3-319-10879-7_7
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 1702 | OA
Gupta, A., Popeea, C., & Rybalchenko, A. (2014). Generalised interpolation by solving recursion free-horn clauses. In Electronic Proceedings in Theoretical Computer Science, EPTCS (Vol. 169, pp. 31–38). Vienna, Austria: Open Publishing. https://doi.org/10.4204/EPTCS.169.5
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1816 | OA
Huber, S., Held, M., Meerwald, P., & Kwitt, R. (2014). Topology-preserving watermarking of vector graphics. International Journal of Computational Geometry and Applications. World Scientific Publishing. https://doi.org/10.1142/S0218195914500034
[Published Version] View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1821 | OA
Seiringer, R. (2014). Bose gases, Bose-Einstein condensation, and the Bogoliubov approximation. Journal of Mathematical Physics. American Institute of Physics. https://doi.org/10.1063/1.4881536
[Submitted Version] View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1844 | OA
Risso, V., Manssour Triedo, F., Delgado Delgado, A., Arco, R., Barroso Deljesús, A., Inglés Prieto, Á., … Sánchez Ruiz, J. (2014). Mutational studies on resurrected ancestral proteins reveal conservation of site-specific amino acid preferences throughout evolutionary history. Molecular Biology and Evolution. Oxford University Press. https://doi.org/10.1093/molbev/msu312
[Published Version] View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1842 | OA
Cibulka, J., Gao, P., Krcál, M., Valla, T., & Valtr, P. (2014). On the geometric ramsey number of outerplanar graphs. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/s00454-014-9646-x
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1854 | OA
Guerrero, P., Auzinger, T., Wimmer, M., & Jeschke, S. (2014). Partial shape matching using transformation parameter similarity. Computer Graphics Forum. Wiley. https://doi.org/10.1111/cgf.12509
[Submitted Version] View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1852 | OA
Sassi, M., Ali, O., Boudon, F., Cloarec, G., Abad, U., Cellier, C., … Traas, J. (2014). An auxin-mediated shift toward growth isotropy promotes organ formation at the shoot meristem in Arabidopsis. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2014.08.036
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1862 | OA
Chen, X., Grandont, L., Li, H., Hauschild, R., Paque, S., Abuzeineh, A., … Friml, J. (2014). Inhibition of cell expansion by rapid ABP1-mediated auxin effect on microtubules. Nature. Nature Publishing Group. https://doi.org/10.1038/nature13889
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2014 | Conference Paper | IST-REx-ID: 1872 | OA
Gupta, A., Kovács, L., Kragl, B., & Voronkov, A. (2014). Extensional crisis and proving identity. In F. Cassez & J.-F. Raskin (Eds.), ATVA 2014 (Vol. 8837, pp. 185–200). Sydney, Australia: Springer. https://doi.org/10.1007/978-3-319-11936-6_14
[Submitted Version] View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 1870 | OA
Henzinger, T. A., Otop, J., & Samanta, R. (2014). Lipschitz robustness of finite-state transducers. In Leibniz International Proceedings in Informatics, LIPIcs (Vol. 29, pp. 431–443). Delhi, India: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.FSTTCS.2014.431
[Published Version] View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 1875 | OA
Samanta, R., Olivo, O., & Allen, E. (2014). Cost-aware automatic program repair. In M. Müller-Olm & H. Seidl (Eds.) (Vol. 8723, pp. 268–284). Presented at the SAS: Static Analysis Symposium, Munich, Germany: Springer. https://doi.org/10.1007/978-3-319-10936-7_17
[Submitted Version] View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1876 | OA
Dolbilin, N., Edelsbrunner, H., Glazyrin, A., & Musin, O. (2014). Functionals on triangulations of delaunay sets. Moscow Mathematical Journal. Independent University of Moscow. https://doi.org/10.17323/1609-4514-2014-14-3-491-504
[Submitted Version] View | DOI | Download Submitted Version (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 1886 | OA
Hermundstad, A., Briguglio, J., Conte, M., Victor, J., Balasubramanian, V., & Tkačik, G. (2014). Variance predicts salience in central sensory processing. ELife. eLife Sciences Publications. https://doi.org/10.7554/eLife.03722
[Published Version] View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1890 | OA
Körner, C., Braunstein, V., Stangl, M., Schlögl, A., Neuper, C., & Ischebeck, A. (2014). Sequential effects in continued visual search: Using fixation-related potentials to compare distractor processing before and after target detection. Psychophysiology. Wiley-Blackwell. https://doi.org/10.1111/psyp.12062
[Published Version] View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1892 | OA
Ocana, S., Meidl, P., Bonfils, D., & Taborsky, M. (2014). Y-linked Mendelian inheritance of giant and dwarf male morphs in shell-brooding cichlids. Proceedings of the Royal Society of London Series B Biological Sciences. The Royal Society. https://doi.org/10.1098/rspb.2014.0253
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 1889 | OA
Bräunlich, G., Hainzl, C., & Seiringer, R. (2014). Translation-invariant quasi-free states for fermionic systems and the BCS approximation. Reviews in Mathematical Physics. World Scientific Publishing. https://doi.org/10.1142/S0129055X14500123
[Submitted Version] View | DOI | Download Submitted Version (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 1894 | OA
Grabowska, A., Wywiał, E., Dunin Horkawicz, S., Łasica, A., Wösten, M., Nagy-Staron, A. A., … Jagusztyn Krynicka, E. (2014). Functional and bioinformatics analysis of two Campylobacter jejuni homologs of the thiol-disulfide oxidoreductase, DsbA. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0106247
[Published Version] View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1895 | OA
Edamura, M., Murakami, G., Meng, H., Itakura, M., Shigemoto, R., Fukuda, A., & Nakahara, D. (2014). Functional deficiency of MHC class i enhances LTP and abolishes LTD in the nucleus accumbens of mice. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0107099
[Published Version] View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1893 | OA
Marhavá, P., Hirsch, S., Feraru, E., Tejos, R., Van Wijk, R., Viaene, T., … Friml, J. (2014). SAC phosphoinositide phosphatases at the tonoplast mediate vacuolar function in Arabidopsis. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1324264111
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1896 | OA
Kollár, R., Bodova, K., Nosek, J., & Tomáška, Ľ. (2014). Mathematical model of alternative mechanism of telomere length maintenance. Physical Review E Statistical Nonlinear and Soft Matter Physics. American Institute of Physics. https://doi.org/10.1103/PhysRevE.89.032701
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1897 | OA
Naramoto, S., Otegui, M., Kutsuna, N., De Rycke, R., Dainobu, T., Karampelias, M., … Friml, J. (2014). Insights into the localization and function of the membrane trafficking regulator GNOM ARF-GEF at the Golgi apparatus in Arabidopsis. Plant Cell. American Society of Plant Biologists. https://doi.org/10.1105/tpc.114.125880
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1899 | OA
Williams, S., Ratliff, L., Postiglione, M. P., Knoblich, J., & Fuchs, E. (2014). Par3-mInsc and Gα i3 cooperate to promote oriented epidermal cell divisions through LGN. Nature Cell Biology. Nature Publishing Group. https://doi.org/10.1038/ncb3001
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 1906 | OA
Arikan, M., Preiner, R., Scheiblauer, C., Jeschke, S., & Wimmer, M. (2014). Large-scale point-cloud visualization through localized textured surface reconstruction. IEEE Transactions on Visualization and Computer Graphics. IEEE. https://doi.org/10.1109/TVCG.2014.2312011
[Submitted Version] View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1904 | OA
Frank, R., Lewin, M., Lieb, É., & Seiringer, R. (2014). Strichartz inequality for orthonormal functions. Journal of the European Mathematical Society. European Mathematical Society. https://doi.org/10.4171/JEMS/467
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1909 | OA
Ezard, T., Prizak, R., & Hoyle, R. (2014). The fitness costs of adaptation via phenotypic plasticity and maternal effects. Functional Ecology. Wiley-Blackwell. https://doi.org/10.1111/1365-2435.12207
[Published Version] View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 1907 | OA
Demay, G., Gazi, P., Maurer, U., & Tackmann, B. (2014). Optimality of non-adaptive strategies: The case of parallel games. In IEEE International Symposium on Information Theory. Honolulu, USA: IEEE. https://doi.org/10.1109/ISIT.2014.6875125
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1908 | OA
Weissman, D., & Hallatschek, O. (2014). The rate of adaptation in large sexual populations with linear chromosomes. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.113.160705
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1916 | OA
Novarino G, Fenstermaker A, Zaki M, Hofree M, Silhavy J, Heiberg A, Abdellateef M, Rosti B, Scott E, Mansour L, Masri A, Kayserili H, Al Aama J, Abdel Salam G, Karminejad A, Kara M, Kara B, Bozorgmehri B, Ben Omran T, Mojahedi F, Mahmoud I, Bouslam N, Bouhouche A, Benomar A, Hanein S, Raymond L, Forlani S, Mascaro M, Selim L, Shehata N, Al Allawi N, Bindu P, Azam M, Günel M, Caglayan A, Bilgüvar K, Tolun A, Issa M, Schroth J, Spencer E, Rosti R, Akizu N, Vaux K, Johansen A, Koh A, Megahed H, Dürr A, Brice A, Stévanin G, Gabriel S, Ideker T, Gleeson J. 2014. Exome sequencing links corticospinal motor neuron disease to common neurodegenerative disorders. Science. 343(6170), 506–511.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 1917 | OA
Xu, T., Dai, N., Chen, J., Nagawa, S., Cao, M., Li, H., … Yang, Z. (2014). Cell surface ABP1-TMK auxin sensing complex activates ROP GTPase signaling. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1245125
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 1920 | OA
Wang, W., Nakadate, K., Masugi Tokita, M., Shutoh, F., Aziz, W., Tarusawa, E., … Shigemoto, R. (2014). Distinct cerebellar engrams in short-term and long-term motor learning. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1315541111
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1919 | OA
Aziz, W., Wang, W., Kesaf, S., Mohamed, A., Fukazawa, Y., & Shigemoto, R. (2014). Distinct kinetics of synaptic structural plasticity, memory formation, and memory decay in massed and spaced learning. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1303317110
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1918 | OA
Bellazzini, J., Frank, R., Lieb, É., & Seiringer, R. (2014). Existence of ground states for negative ions at the binding threshold. Reviews in Mathematical Physics. World Scientific Publishing. https://doi.org/10.1142/S0129055X13500219
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1925 | OA
Lamprecht, C., Plochberger, B., Ruprecht, V., Wieser, S., Rankl, C., Heister, E., … Ebner, A. (2014). A single-molecule approach to explore binding uptake and transport of cancer cell targeting nanotubes. Nanotechnology. IOP Publishing. https://doi.org/10.1088/0957-4484/25/12/125704
[Submitted Version] View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1923 | OA
Berthoumieux, H., Maître, J.-L., Heisenberg, C.-P. J., Paluch, E., Julicher, F., & Salbreux, G. (2014). Active elastic thin shell theory for cellular deformations. New Journal of Physics. IOP Publishing Ltd. https://doi.org/10.1088/1367-2630/16/6/065005
[Published Version] View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1921 | OA
Tejos, R., Sauer, M., Vanneste, S., Palacios-Gomez, M., Li, H., Heilmann, M., … Friml, J. (2014). Bipolar plasma membrane distribution of phosphoinositides and their requirement for auxin-mediated cell polarity and patterning in Arabidopsis. Plant Cell. American Society of Plant Biologists. https://doi.org/10.1105/tpc.114.126185
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1926 | OA
Sadel, C. (2014). Absolutely continuous spectrum for random Schrödinger operators on the Fibonacci and similar Tree-strips. Mathematical Physics, Analysis and Geometry. Springer. https://doi.org/10.1007/s11040-014-9163-4
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 1935 | OA
Giuliani, A., Lieb, É., & Seiringer, R. (2014). Formation of stripes and slabs near the ferromagnetic transition. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/s00220-014-1923-2
[Published Version] View | Files available | DOI | arXiv
 

2014 | Journal Article | IST-REx-ID: 1936 | OA
Arbilly, M., Weissman, D., Feldman, M., & Grodzinski, U. (2014). An arms race between producers and scroungers can drive the evolution of social cognition. Behavioral Ecology. Oxford University Press. https://doi.org/10.1093/beheco/aru002
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1932 | OA
Trotter, M., Weissman, D., Peterson, G., Peck, K., & Masel, J. (2014). Cryptic genetic variation can make "irreducible complexity" a common mode of adaptation in sexual populations. Evolution. Wiley-Blackwell. https://doi.org/10.1111/evo.12517
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1931 | OA
Savin, C., & Triesch, J. (2014). Emergence of task-dependent representations in working memory circuits. Frontiers in Computational Neuroscience. Frontiers Research Foundation. https://doi.org/10.3389/fncom.2014.00057
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1937 | OA
Bourgade, P., Erdös, L., & Yau, H. (2014). Edge universality of beta ensembles. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/s00220-014-2120-z
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1996 | OA
Hazak, O., Obolski, U., Prat, T., Friml, J., Hadany, L., & Yalovsky, S. (2014). Bimodal regulation of ICR1 levels generates self-organizing auxin distribution. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1413918111
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1995 | OA
Fratini, F., Mascarenhas, E., Safari, L., Poizat, J., Valente, D., Auffèves, A., … Santos, M. (2014). Fabry-Perot interferometer with quantum mirrors: Nonlinear light transport and rectification. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.113.243601
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2002 | OA
Kim, S. (2014). Action potential modulation in CA1 pyramidal neuron axons facilitates OLM interneuron activation in recurrent inhibitory microcircuits of rat hippocampus. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0113124
[Published Version] View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2011 | OA
Yu, F., Fienberg, S., Slaković, A., & Uhler, C. (2014). Scalable privacy-preserving data sharing methodology for genome-wide association studies. Journal of Biomedical Informatics. Elsevier. https://doi.org/10.1016/j.jbi.2014.01.008
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2014 | Research Data Reference | IST-REx-ID: 2007 | OA
Klimova, A., & Rudas, T. (2014). gIPFrm: Generalized iterative proportional fitting for relational models. The Comprehensive R Archive Network.
[Published Version] View | Download Published Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2018 | OA
Matsukawa, H., Akiyoshi Nishimura, S., Zhang, Q., Luján, R., Yamaguchi, K., Goto, H., … Itohara, S. (2014). Netrin-G/NGL complexes encode functional synaptic diversification. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.1141-14.2014
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 2019 | OA
Erdös, L., & Schröder, D. J. (2014). Phase transition in the density of states of quantum spin glasses. Mathematical Physics, Analysis and Geometry. Springer. https://doi.org/10.1007/s11040-014-9164-3
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2013 | OA
Lin, S., Uhler, C., Sturmfels, B., & Bühlmann, P. (2014). Hypersurfaces and their singularities in partial correlation testing. Foundations of Computational Mathematics. Springer. https://doi.org/10.1007/s10208-014-9205-0
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2022 | OA
Gao, P., Postiglione, M. P., Krieger, T., Hernandez, L., Wang, C., Han, Z., … Shi, S. (2014). Deterministic progenitor behavior and unitary production of neurons in the neocortex. Cell. Cell Press. https://doi.org/10.1016/j.cell.2014.10.027
[Published Version] View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2021 | OA
William, J., Hippenmeyer, S., & Luo, L. (2014). Dendrite morphogenesis depends on relative levels of NT-3/TrkC signaling. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1258996
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2027 | OA
Brázdil, T., Chatterjee, K., Chmelik, M., Forejt, V., Kretinsky, J., Kwiatkowska, M., … Ujma, M. (2014). Verification of markov decision processes using learning algorithms. In F. Cassez & J.-F. Raskin (Eds.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8837, pp. 98–114). Sydney, Australia: Society of Industrial and Applied Mathematics. https://doi.org/10.1007/978-3-319-11936-6_8
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2031 | OA
Arai, itaru, & Jonas, P. M. (2014). Nanodomain coupling explains Ca^2+ independence of transmitter release time course at a fast central synapse. ELife. eLife Sciences Publications. https://doi.org/10.7554/eLife.04057
[Submitted Version] View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2024 | OA
Toshima, J., Nishinoaki, S., Sato, Y., Yamamoto, W., Furukawa, D., Siekhaus, D. E., … Toshima, J. (2014). Bifurcation of the endocytic pathway into Rab5-dependent and -independent transport to the vacuole. Nature Communications. Nature Publishing Group. https://doi.org/10.1038/ncomms4498
[Submitted Version] View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2028 | OA
Bodova, K., Paydarfar, D., & Forger, D. (2014). Characterizing spiking in noisy type II neurons. Journal of Theoretical Biology. Academic Press. https://doi.org/10.1016/j.jtbi.2014.09.041
[Published Version] View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2029 | OA
Correggi, M., Giuliani, A., & Seiringer, R. (2014). Validity of spin-wave theory for the quantum Heisenberg model. EPL. IOP Publishing Ltd. https://doi.org/10.1209/0295-5075/108/20003
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2033 | OA
Hernandez Lobato, D., Sharmanska, V., Kersting, K., Lampert, C., & Quadrianto, N. (2014). Mind the nuisance: Gaussian process classification using privileged noise. In Advances in Neural Information Processing Systems (Vol. 1, pp. 837–845). Montreal, Canada: Neural Information Processing Systems.
[Submitted Version] View | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2032 | OA
Inglés Prieto, Á., Gschaider-Reichhart, E., Schelch, K., Janovjak, H. L., & Grusch, M. (2014). The optogenetic promise for oncology: Episode I. Molecular and Cellular Oncology. Taylor & Francis. https://doi.org/10.4161/23723548.2014.964045
[Published Version] View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2045 | OA
Dachman Soled, D., Fuchsbauer, G., Mohassel, P., & O’Neill, A. (2014). Enhanced chosen-ciphertext security and applications. In H. Krawczyk (Ed.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8383, pp. 329–344). Buenos Aires, Argentina: Springer. https://doi.org/10.1007/978-3-642-54631-0_19
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2042 | OA
Kupczok, A., & Bollback, J. P. (2014). Motif depletion in bacteriophages infecting hosts with CRISPR systems. BMC Genomics. BioMed Central. https://doi.org/10.1186/1471-2164-15-663
[Published Version] View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2043 | OA
Bauer, U., Kerber, M., & Reininghaus, J. (2014). Distributed computation of persistent homology. In C. McGeoch & U. Meyer (Eds.), Proceedings of the Workshop on Algorithm Engineering and Experiments (pp. 31–38). Portland, USA: Society of Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611973198.4
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2041 | OA
Jonas, P. M., & Lisman, J. (2014). Structure, function and plasticity of hippocampal dentate gyrus microcircuits. Frontiers in Neural Circuits. Frontiers Research Foundation. https://doi.org/10.3389/fncir.2014.00107
[Published Version] View | Files available | DOI
 

2014 | Book Chapter | IST-REx-ID: 2044 | OA
Bauer, U., Kerber, M., & Reininghaus, J. (2014). Clear and Compress: Computing Persistent Homology in Chunks. In P.-T. Bremer, I. Hotz, V. Pascucci, & R. Peikert (Eds.), Topological Methods in Data Analysis and Visualization III (pp. 103–117). Springer. https://doi.org/10.1007/978-3-319-04099-8_7
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2040 | OA
Kicheva, A., Bollenbach, M. T., Ribeiro, A., Pérez Valle, H., Lovell Badge, R., Episkopou, V., & Briscoe, J. (2014). Coordination of progenitor specification and growth in mouse and chick spinal cord. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1254927
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2047 | OA
Yu, F., Rybar, M., Uhler, C., & Fienberg, S. (2014). Differentially-private logistic regression for detecting multiple-SNP association in GWAS databases. In J. Domingo Ferrer (Ed.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8744, pp. 170–184). Ibiza, Spain: Springer. https://doi.org/10.1007/978-3-319-11257-2_14
[Submitted Version] View | DOI | Download Submitted Version (ext.) | arXiv
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications