Konrad, M., Grasse, A. V., Tragust, S., &; Cremer, S. (2015). Anti-pathogen protection versus survival costs mediated by an ectosymbiont in an ant host. Proceedings of the Royal Society of London Series B Biological Sciences. The Royal Society.https://doi.org/10.1098/rspb.2014.1976 
LibreCat: https://research-explorer.ista.ac.at/record/1993
DOI: 10.1098/rspb.2014.1976
PMID: 25473011

Westhus, C., Ugelvig, L. V., Tourdot, E., Heinze, J., Doums, C., &; Cremer, S. (2015). Data from: Increased grooming after repeated brood care provides sanitary benefits in a clonal ant. Dryad.https://doi.org/10.5061/dryad.7kc79 
LibreCat: https://research-explorer.ista.ac.at/record/9742
DOI: 10.5061/dryad.7kc79

Chevereau, G., Lukacisinova, M., Batur, T., Guvenek, A., Ayhan, D. H., Toprak, E., &; Bollenbach, M. T. (2015). Gene ontology enrichment analysis for the most sensitive gene deletion strains for all drugs. Public Library of Science.https://doi.org/10.1371/journal.pbio.1002299.s008 
LibreCat: https://research-explorer.ista.ac.at/record/9765
DOI: 10.1371/journal.pbio.1002299.s008

Veldkamp, C., Kiermaier, E., Gabel Eissens, S., Gillitzer, M., Lippner, D., Disilvio, F.,https://doi.org/10.1021/acs.biochem.5b00560__Peterson, F. (2015). Solution structure of CCL19 and identification of overlapping CC and PSGL-1 binding sites. Biochemistry. American Chemical Society.https://doi.org/10.1021/acs.biochem.5b00560 
LibreCat: https://research-explorer.ista.ac.at/record/1618
DOI: 10.1021/acs.biochem.5b00560
PMID: 26115234

Martius, G. S., &; Olbrich, E. (2015). Quantifying self-organizing behavior of autonomous robots. In Proceedings of the 13th European Conference on Artificial Life (p. 78). York, United Kingdom: MIT Press.https://doi.org/10.7551/978-0-262-33027-5-ch018 
LibreCat: https://research-explorer.ista.ac.at/record/12881
DOI: 10.7551/978-0-262-33027-5-ch018

Wielgoss, S., Bergmiller, T., Bischofberger, A. M., &; Hall, A. R. (2015). Data from: Adaptation to parasites and costs of parasite resistance in mutator and non-mutator bacteria. Dryad.https://doi.org/10.5061/dryad.cj910 
LibreCat: https://research-explorer.ista.ac.at/record/9719
DOI: 10.5061/dryad.cj910

Sharmanska, V. (2015). Learning with attributes for object recognition: Parametric and non-parametrics views. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:1401 
LibreCat: https://research-explorer.ista.ac.at/record/1401
DOI: 10.15479/at:ista:1401

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 
LibreCat: https://research-explorer.ista.ac.at/record/1709
DOI: 10.1098/rspb.2015.1041
PMID: 26180069

Reiter, J. (2015). The subclonal evolution of cancer. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/1400

Pausinger, F., &; Svane, A. (2015). A Koksma-Hlawka inequality for general discrepancy systems. Journal of Complexity. Academic Press.https://doi.org/10.1016/j.jco.2015.06.002 
LibreCat: https://research-explorer.ista.ac.at/record/1792
DOI: 10.1016/j.jco.2015.06.002

Pausinger, F. (2015). On the approximation of intrinsic volumes. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/1399

Tugrul, M., Paixao, T., Barton, N. H., &; Tkadik, G. (2015). Dynamics of transcription factor binding site evolution. PLoS Genetics. Public Library of Science.https://doi.org/10.1371/journal.pgen.1005639 
LibreCat: https://research-explorer.ista.ac.at/record/1666
DOI: 10.1371/journal.pgen.1005639

Benes, 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 
LibreCat: https://research-explorer.ista.ac.at/record/1502
DOI: 10.1145/2737166.2737175

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 
LibreCat: https://research-explorer.ista.ac.at/record/1501
DOI: 10.1007/s10703-015-0235-2

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 
LibreCat: https://research-explorer.ista.ac.at/record/1602
DOI: 10.1145/2676726.2676979
arXiv: 1410.7724

Chatterjee, K., Pavlogiannis, A., &; Velner, Y. (2015). Quantitative interprocedural analysis. Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT . Mumbai, India: ACM.https://doi.org/10.1145/2676726.2676968 
LibreCat: https://research-explorer.ista.ac.at/record/1604
DOI: 10.1145/2676726.2676968

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 
LibreCat: https://research-explorer.ista.ac.at/record/1607
DOI: 10.1007/978-3-319-21690-4_9

Chatterjee, K., Pavlogiannis, A., Kößler, A., &; Schmid, U. (2015). A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks. In Real-Time Systems Symposium (Vol. 2015, pp. 118–127). Rome, Italy: IEEE.https://doi.org/10.1109/RTSS.2014.9 
LibreCat: https://research-explorer.ista.ac.at/record/1714
DOI: 10.1109/RTSS.2014.9

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 
LibreCat: https://research-explorer.ista.ac.at/record/1633
DOI: 10.1145/2766896

Ruprecht, V., Wieser, S., Callan Jones, A., Smutny, M., Morita, H., Sako, K.,https://doi.org/10.1016/j.cell.2015.01.008__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 
LibreCat: https://research-explorer.ista.ac.at/record/1537
DOI: 10.1016/j.cell.2015.01.008

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 
LibreCat: https://research-explorer.ista.ac.at/record/1591
DOI: 10.1105/tpc.114.134874
PMID: 25604445

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 
LibreCat: https://research-explorer.ista.ac.at/record/1677
DOI: 10.1063/1.4932606

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 
LibreCat: https://research-explorer.ista.ac.at/record/1678
DOI: 10.1038/nchembio.1933

Cepeda Humerez, S. A., Rieckh, G., &; Tkadik, G. (2015). Stochastic proofreading mechanism alleviates crosstalk in transcriptional regulation. Physical Review Letters. American Physical Society.https://doi.org/10.1103/PhysRevLett.115.248101 
LibreCat: https://research-explorer.ista.ac.at/record/1576
DOI: 10.1103/PhysRevLett.115.248101

Avvakumov, S., Mabillard, I., Skopenkov, A., &; Wagner, U. (n.d.). Eliminating higher-multiplicity intersections, III. Codimension 2. arXiv.
LibreCat: https://research-explorer.ista.ac.at/record/8183
arXiv: 1511.03501

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 
LibreCat: https://research-explorer.ista.ac.at/record/5441
DOI: 10.15479/AT:IST-2015-340-v1-1

Anonymous, 1, Anonymous, 2, Anonymous, 3, &; Anonymous, 4. (2015). Algorithms for algebraic path properties in concurrent systems of constant treewidth components. IST Austria.
LibreCat: https://research-explorer.ista.ac.at/record/5442

Svoreová, M., Kretinsky, J., Chmelik, M., Chatterjee, K., Cbrná, 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 
LibreCat: https://research-explorer.ista.ac.at/record/1689
DOI: 10.1145/2728606.2728608

Cerny, P., Clarke, E., Henzinger, T. A., Radhakrishna, A., Ryzhyk, L., Samanta, R., &; Tarrach, T. (2015). From non-preemptive to preemptive scheduling using synchronization synthesis. Presented at the CAV: Computer Aided Verification, San Francisco, CA, United States: Springer.https://doi.org/10.1007/978-3-319-21668-3_11 
LibreCat: https://research-explorer.ista.ac.at/record/1729
DOI: 10.1007/978-3-319-21668-3_11

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 
LibreCat: https://research-explorer.ista.ac.at/record/1835
DOI: 10.1007/978-3-662-46681-0_47

Michalko, J., Lukacisinova, M., Bollenbach, M. T., &; Friml, J. (2015). Embryo-lethal phenotypes in early ab mutants are due to disruption of the neighboring BSM gene. 00 Research . 00 Research.https://doi.org/10.12688/f1000research.7143.1 
LibreCat: https://research-explorer.ista.ac.at/record/1509
DOI: 10.12688/f1000research.7143.1

Priklopil, T., &; Chatterjee, K. (2015). Evolution of decisions in population games with sequentially searching individuals. Games. MDPI.https://doi.org/10.3390/g6040413 
LibreCat: https://research-explorer.ista.ac.at/record/1681
DOI: 10.3390/g6040413

Martius, G. S., &; Olbrich, E. (2015). Quantifying emergent behavior of autonomous robots. Entropy. MDPI.https://doi.org/10.3390/e17107266 
LibreCat: https://research-explorer.ista.ac.at/record/1655
DOI: 10.3390/e17107266

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 
LibreCat: https://research-explorer.ista.ac.at/record/1834
DOI: 10.1177/1759091415575845

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 
LibreCat: https://research-explorer.ista.ac.at/record/1635
DOI: 10.5802/afst.1464
arXiv: 1409.8605

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 
LibreCat: https://research-explorer.ista.ac.at/record/1603
DOI: 10.1007/978-3-319-21690-4_10

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 
LibreCat: https://research-explorer.ista.ac.at/record/5549
DOI: 10.15479/AT:ISTA:28

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 
LibreCat: https://research-explorer.ista.ac.at/record/1512
DOI: 10.4230/LIPIcs.SOCG.2015.507

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 
LibreCat: https://research-explorer.ista.ac.at/record/1675
DOI: 10.1007/978-3-662-48000-7_29

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 
LibreCat: https://research-explorer.ista.ac.at/record/1619
DOI: 10.1371/journal.pbio.1002299

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 
LibreCat: https://research-explorer.ista.ac.at/record/10815
DOI: 10.1111/cga.12039
PMID: 24666178

Zaeímalová, E., Petrásek, J., &; Benková, E. (Eds.). (2014). Auxin and Its Role in Plant Development (1st ed.). Vienna: Springer Nature.https://doi.org/10.1007/978-3-7091-1526-8 
LibreCat: https://research-explorer.ista.ac.at/record/10811
DOI: 10.1007/978-3-7091-1526-8

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 
LibreCat: https://research-explorer.ista.ac.at/record/10884
DOI: 10.1007/978-3-642-54013-4_15
arXiv: 1311.4425

Kasten, J., Reininghaus, J., Reich, W., &; Scheuermann, G. (2014). Toward the extraction of saddle periodic orbits. In P.-T. Bremer, I. Hotz, V. Pascucci, &; R. Peikert (Eds.), Topological Methods in Data Analysis and Visualization III  (Vol. 1, pp. 55–69). Cham: Springer.https://doi.org/10.1007/978-3-319-04099-8_4 
LibreCat: https://research-explorer.ista.ac.at/record/10893
DOI: 10.1007/978-3-319-04099-8_4

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 
LibreCat: https://research-explorer.ista.ac.at/record/1375
DOI: 10.1016/j.tcs.2014.06.031
arXiv: 1307.4473

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 
LibreCat: https://research-explorer.ista.ac.at/record/1392
DOI: 10.1007/978-3-642-54013-4_10

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 
LibreCat: https://research-explorer.ista.ac.at/record/1393
DOI: 10.1145/2593882.2593900

Stock, M. (2014). Evolution of a fungal pathogen towards individual versus social immunity in ants. IST Austria.
LibreCat: https://research-explorer.ista.ac.at/record/1404

Bräunlich, G., Hainzl, C., &; Seiringer, R. (2014). On the BCS gap equation for superfluid fermionic gases. In Proceedings of the QMat Conference (pp. 127–137). Berlin, Germany: World Scientific Publishing.https://doi.org/10.1142/9789814618144_0007 
LibreCat: https://research-explorer.ista.ac.at/record/1516
DOI: 10.1142/9789814618144_0007
arXiv: 1403.2563

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 
LibreCat: https://research-explorer.ista.ac.at/record/1629
DOI: 10.1145/2591010

Fulek, R., Kyndl, J., Malinovi, I., &; Pálvölgyi, D. (2014). Clustered planarity testing revisited. In International Symposium on Graph Drawing (Vol. 8871, pp. 428–436). Cham: Springer Nature.https://doi.org/10.1007/978-3-662-45803-7_36 
LibreCat: https://research-explorer.ista.ac.at/record/10793
DOI: 10.1007/978-3-662-45803-7_36
arXiv: 1305.4519

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 
LibreCat: https://research-explorer.ista.ac.at/record/1643
DOI: 10.1007/978-3-319-10879-7_7

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 
LibreCat: https://research-explorer.ista.ac.at/record/1702
DOI: 10.4204/EPTCS.169.5

Savin, C., &; Denève, S. (2014). Spatio-temporal representations of uncertainty in spiking neural networks (Vol. 3, pp. 2024–2032). Presented at the NIPS: Neural Information Processing Systems, Montreal, Canada: Neural Information Processing Systems.
LibreCat: https://research-explorer.ista.ac.at/record/1708

Baster, P., &; Friml, J. (2014). Auxin on the road navigated by cellular PIN polarity. In E. Zaeímalová, J. Petrásek, &; E. Benková (Eds.), Auxin and Its Role in Plant Development (pp. 143–170). Springer.https://doi.org/10.1007/978-3-7091-1526-8_8 
LibreCat: https://research-explorer.ista.ac.at/record/1806
DOI: 10.1007/978-3-7091-1526-8_8

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 
LibreCat: https://research-explorer.ista.ac.at/record/1816
DOI: 10.1142/S0218195914500034

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 
LibreCat: https://research-explorer.ista.ac.at/record/1821
DOI: 10.1063/1.4881536

Jaksi, V., Pillet, C., &; Seiringer, R. (2014). Introduction. Journal of Mathematical Physics. American Institute of Physics.https://doi.org/10.1063/1.4884877 
LibreCat: https://research-explorer.ista.ac.at/record/1822
DOI: 10.1063/1.4884877

Muelling, K., Kroemer, O., Lampert, C., &; Schölkopf, B. (2014). Movement templates for learning of hitting and batting. In J. Kober &; J. Peters (Eds.), Learning Motor Skills (Vol. 97, pp. 69–82). Springer.https://doi.org/10.1007/978-3-319-03194-1_3 
LibreCat: https://research-explorer.ista.ac.at/record/1829
DOI: 10.1007/978-3-319-03194-1_3

Risso, V., Manssour Triedo, F., Delgado Delgado, A., Arco, R., Barroso Deljesús, A., Inglés Prieto, Á.,https://doi.org/10.1093/molbev/msu312__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 
LibreCat: https://research-explorer.ista.ac.at/record/1844
DOI: 10.1093/molbev/msu312

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 
LibreCat: https://research-explorer.ista.ac.at/record/1842
DOI: 10.1007/s00454-014-9646-x

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 
LibreCat: https://research-explorer.ista.ac.at/record/1854
DOI: 10.1111/cgf.12509

Sassi, M., Ali, O., Boudon, F., Cloarec, G., Abad, U., Cellier, C.,https://doi.org/10.1016/j.cub.2014.08.036__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 
LibreCat: https://research-explorer.ista.ac.at/record/1852
DOI: 10.1016/j.cub.2014.08.036

Jha, S., Tripakis, S., Seshia, S., &; Chatterjee, K. (2014). Game theoretic secure localization in wireless sensor networks (pp. 85–90). Presented at the IOT: Internet of Things, Cambridge, USA: IEEE.https://doi.org/10.1109/IOT.2014.7030120 
LibreCat: https://research-explorer.ista.ac.at/record/1853
DOI: 10.1109/IOT.2014.7030120

Chen, X., Grandont, L., Li, H., Hauschild, R., Paque, S., Abuzeineh, A.,https://doi.org/10.1038/nature13889__Friml, J. (2014). Inhibition of cell expansion by rapid AB-mediated auxin effect on microtubules. Nature. Nature Publishing Group.https://doi.org/10.1038/nature13889 
LibreCat: https://research-explorer.ista.ac.at/record/1862
DOI: 10.1038/nature13889
PMID: 25409144

Hofferek, G., &; Gupta, A. (2014). Suraq - a controller synthesis tool using uninterpreted functions. In E. Yahav (Ed.), HVC 2014 (Vol. 8855, pp. 68–74). Haifa, Israel: Springer.https://doi.org/10.1007/978-3-319-13338-6_6 
LibreCat: https://research-explorer.ista.ac.at/record/1869
DOI: 10.1007/978-3-319-13338-6_6

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 
LibreCat: https://research-explorer.ista.ac.at/record/1872
DOI: 10.1007/978-3-319-11936-6_14

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 
LibreCat: https://research-explorer.ista.ac.at/record/1870
DOI: 10.4230/LIPIcs.FSTTCS.2014.431

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 
LibreCat: https://research-explorer.ista.ac.at/record/1875
DOI: 10.1007/978-3-319-10936-7_17

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 
LibreCat: https://research-explorer.ista.ac.at/record/1876
DOI: 10.17323/1609-4514-2014-14-3-491-504
arXiv: 1211.7053

Sixt, M. K., &; Vaahtomeri, K. (2014). Physiology: Relax and come in. Nature. Springer Nature.https://doi.org/10.1038/514441a 
LibreCat: https://research-explorer.ista.ac.at/record/1877
DOI: 10.1038/514441a

Hermundstad, A., Briguglio, J., Conte, M., Victor, J., Balasubramanian, V., &; Tkadik, G. (2014). Variance predicts salience in central sensory processing. ELife. eLife Sciences Publications.https://doi.org/10.7554/eLife.03722 
LibreCat: https://research-explorer.ista.ac.at/record/1886
DOI: 10.7554/eLife.03722

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 
LibreCat: https://research-explorer.ista.ac.at/record/1890
DOI: 10.1111/psyp.12062

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 
LibreCat: https://research-explorer.ista.ac.at/record/1892
DOI: 10.1098/rspb.2014.0253
PMID: 25232141

Chwastyk, M., Galera Prat, A., Sikora, M. K., Gómez Sicilia, À., Carrión Vázquez, M., &; Cieplak, M. (2014). Theoretical tests of the mechanical protection strategy in protein nanomechanics. Proteins: Structure, Function and Bioinformatics. Wiley-Blackwell.https://doi.org/10.1002/prot.24436 
LibreCat: https://research-explorer.ista.ac.at/record/1891
DOI: 10.1002/prot.24436

Landau, D., Stewart, C., Reiter, J., Lawrence, M., Sougnez, C., Brown, J.,  Wu, C. (2014). Novel putative driver gene mutations in chronic lymphocytic leukemia (CLL): results from a combined analysis of whole exome sequencing of 262 primary CLL aamples. Blood. American Society of Hematology.
LibreCat: https://research-explorer.ista.ac.at/record/1884

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 
LibreCat: https://research-explorer.ista.ac.at/record/1889
DOI: 10.1142/S0129055X14500123
arXiv: 1305.5135

Grabowska, A., Wywia, E., Dunin Horkawicz, S., asica, A., Wösten, M., Nagy-Staron, A. A.,https://doi.org/10.1371/journal.pone.0106247__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 
LibreCat: https://research-explorer.ista.ac.at/record/1894
DOI: 10.1371/journal.pone.0106247

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 
LibreCat: https://research-explorer.ista.ac.at/record/1895
DOI: 10.1371/journal.pone.0107099

Marhavá, P., Hirsch, S., Feraru, E., Tejos, R., Van Wijk, R., Viaene, T.,https://doi.org/10.1073/pnas.1324264111__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 
LibreCat: https://research-explorer.ista.ac.at/record/1893
DOI: 10.1073/pnas.1324264111

Kollár, R., Bodova, K., Nosek, J., &; Tomáska, d. (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 
LibreCat: https://research-explorer.ista.ac.at/record/1896
DOI: 10.1103/PhysRevE.89.032701

Naramoto, S., Otegui, M., Kutsuna, N., De Rycke, R., Dainobu, T., Karampelias, M.,https://doi.org/10.1105/tpc.114.125880__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 
LibreCat: https://research-explorer.ista.ac.at/record/1897
DOI: 10.1105/tpc.114.125880

Williams, S., Ratliff, L., Postiglione, M. P., Knoblich, J., &; Fuchs, E. (2014). Par3-mInsc and G;1 i3 cooperate to promote oriented epidermal cell divisions through LGN. Nature Cell Biology. Nature Publishing Group.https://doi.org/10.1038/ncb3001 
LibreCat: https://research-explorer.ista.ac.at/record/1899
DOI: 10.1038/ncb3001
PMID: 25016959

Ritzau Jost, A., Delvendahl, I., Rings, A., Byczkowicz, N., Harada, H., Shigemoto, R.,https://doi.org/10.1016/j.neuron.2014.08.036__Hallermann, S. (2014). Ultrafast action potentials mediate kilohertz signaling at a central synapse. Neuron. Elsevier.https://doi.org/10.1016/j.neuron.2014.08.036 
LibreCat: https://research-explorer.ista.ac.at/record/1898
DOI: 10.1016/j.neuron.2014.08.036

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 
LibreCat: https://research-explorer.ista.ac.at/record/1906
DOI: 10.1109/TVCG.2014.2312011

Tobler, M., Plath, M., Riesch, R., Schlupp, I., Grasse, A. V., Munimanda, G.,https://doi.org/10.1111/jeb.12370__Moodley, Y. (2014). Selection from parasites favours immunogenetic diversity but not divergence among locally adapted host populations. Journal of Evolutionary Biology. Wiley.https://doi.org/10.1111/jeb.12370 
LibreCat: https://research-explorer.ista.ac.at/record/1905
DOI: 10.1111/jeb.12370
PMID: 24725091

Hall, B., Acar, H., Nandipati, A., &; Barlow, M. (2014). Growth rates made easy. Molecular Biology and Evolution. Oxford University Press.https://doi.org/10.1093/molbev/mst187 
LibreCat: https://research-explorer.ista.ac.at/record/1902
DOI: 10.1093/molbev/mst187
PMID: 24170494

Tian, H., Wabnik, K. T., Niu, T., Li, H., Yu, Q., Pollmann, S.,https://doi.org/10.1093/mp/sst118__Ding, Z. (2014). WO-IA feedback circuit-mediated cellular auxin response is crucial for the patterning of root stem cell niches in arabidopsis. Molecular Plant. Oxford University Press.https://doi.org/10.1093/mp/sst118 
LibreCat: https://research-explorer.ista.ac.at/record/1901
DOI: 10.1093/mp/sst118

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 
LibreCat: https://research-explorer.ista.ac.at/record/1904
DOI: 10.4171/JEMS/467

Behrndt, M., &; Heisenberg, C.-P. J. (2014). Lateral junction dynamics lead the way out. Nature Cell Biology. Nature Publishing Group.https://doi.org/10.1038/ncb2913 
LibreCat: https://research-explorer.ista.ac.at/record/1900
DOI: 10.1038/ncb2913

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 
LibreCat: https://research-explorer.ista.ac.at/record/1909
DOI: 10.1111/1365-2435.12207

Konradi, S., Yasmin, N., Haslwanter, D., Weber, M., Gesslbauer, B., Sixt, M. K., &; Strobl, H. (2014). Langerhans cell maturation is accompanied by induction of N-cadherin and the transcriptional regulators of epithelial-mesenchymal transition ZE/2. European Journal of Immunology. Wiley-Blackwell.https://doi.org/10.1002/eji.201343681 
LibreCat: https://research-explorer.ista.ac.at/record/1910
DOI: 10.1002/eji.201343681

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 
LibreCat: https://research-explorer.ista.ac.at/record/1907
DOI: 10.1109/ISIT.2014.6875125

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 
LibreCat: https://research-explorer.ista.ac.at/record/1908
DOI: 10.1534/genetics.113.160705

Engström, A., &; Noren, P. (2014). Tverberg’s Theorem and Graph Coloring. Discrete &; Computational Geometry. Springer.https://doi.org/10.1007/s00454-013-9556-3 
LibreCat: https://research-explorer.ista.ac.at/record/1911
DOI: 10.1007/s00454-013-9556-3

Novarino, G., Fenstermaker, A., Zaki, M., Hofree, M., Silhavy, J., Heiberg, A.,https://doi.org/10.1126/science.1247363__Gleeson, J. (2014). Exome sequencing links corticospinal motor neuron disease to common neurodegenerative disorders. Science. American Association for the Advancement of Science.https://doi.org/10.1126/science.1247363 
LibreCat: https://research-explorer.ista.ac.at/record/1916
DOI: 10.1126/science.1247363
PMID: 24482476

Xu, T., Dai, N., Chen, J., Nagawa, S., Cao, M., Li, H.,https://doi.org/10.1126/science.1245125__Yang, Z. (2014). Cell surface AB-TMK auxin sensing complex activates ROP GTPase signaling. Science. American Association for the Advancement of Science.https://doi.org/10.1126/science.1245125 
LibreCat: https://research-explorer.ista.ac.at/record/1917
DOI: 10.1126/science.1245125
PMID: 24578577

Wang, W., Nakadate, K., Masugi Tokita, M., Shutoh, F., Aziz, W., Tarusawa, E.,https://doi.org/10.1073/pnas.1315541111__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 
LibreCat: https://research-explorer.ista.ac.at/record/1920
DOI: 10.1073/pnas.1315541111

Chen, X., &; Friml, J. (2014). Rho-GTPase-regulated vesicle trafficking in plant cell polarity. Biochemical Society Transactions. Portland Press.https://doi.org/10.1042/BST20130269 
LibreCat: https://research-explorer.ista.ac.at/record/1915
DOI: 10.1042/BST20130269
PMID: 24450654

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 
LibreCat: https://research-explorer.ista.ac.at/record/1919
DOI: 10.1073/pnas.1303317110