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

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

Kick, B., Praetorius, F. M., Dietz, H., &; Weuster-Botz, D. (2015). Efficient production of single-stranded phage DNA as scaffolds for DNA origami. Nano Letters. ACS Publications.https://doi.org/10.1021/acs.nanolett.5b01461 
LibreCat: https://research-explorer.ista.ac.at/record/14303
DOI: 10.1021/acs.nanolett.5b01461
PMID: 26028443

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

Browning, T. D., &; Prendiville, S. (n.d.). Improvements in Birch’s theorem on forms in many variables. Journal Fur Die Reine Und Angewandte Mathematik. Walter de Gruyter.https://doi.org/10.1515/crelle-2014-0122 
LibreCat: https://research-explorer.ista.ac.at/record/271
DOI: 10.1515/crelle-2014-0122
arXiv: 1402.4489

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

Michael, A. K., Harvey, S. L., Sammons, P. J., Anderson, A. P., Kopalle, H. M., Banham, A. H., &; Partch, C. L. (2015). Cancer/Testis antigen PAS silences the circadian clock. Molecular Cell. Elsevier.https://doi.org/10.1016/j.molcel.2015.03.031 
LibreCat: https://research-explorer.ista.ac.at/record/15160
DOI: 10.1016/j.molcel.2015.03.031

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

Sari, A., Chebaro, Y. C., Knowles, T. P. J., &; Frenkel, D. (2014). Crucial role of nonspecific interactions in amyloid nucleation. Proceedings of the National Academy of Sciences. National Academy of Sciences.https://doi.org/10.1073/pnas.1410159111 
LibreCat: https://research-explorer.ista.ac.at/record/10382
DOI: 10.1073/pnas.1410159111
PMID: 25453085
arXiv: 1412.0897

Mallory, S. A., Sari, A., Valeriani, C., &; Cacciuto, A. (2014). Anomalous thermomechanical properties of a self-propelled colloidal fluid. Physical Review E. American Physical Society.https://doi.org/10.1103/physreve.89.052303 
LibreCat: https://research-explorer.ista.ac.at/record/10383
DOI: 10.1103/physreve.89.052303
PMID: 25353796
arXiv: 1310.0826

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

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

Buchwalter, A., &; Hetzer, M. (2014). Nuclear pores set the speed limit for mitosis. Cell. Elsevier.https://doi.org/10.1016/j.cell.2014.02.004 
LibreCat: https://research-explorer.ista.ac.at/record/11080
DOI: 10.1016/j.cell.2014.02.004
PMID: 24581486

Buchwalter, A. L., Liang, Y., &; Hetzer, M. (2014). Nu is required for cell differentiation and exhibits transcription-dependent dynamics. Molecular Biology of the Cell. American Society for Cell Biology.https://doi.org/10.1091/mbc.e14-04-0865 
LibreCat: https://research-explorer.ista.ac.at/record/11082
DOI: 10.1091/mbc.e14-04-0865

Hatch, E., &; Hetzer, M. (2014). Breaching the nuclear envelope in development and disease. Journal of Cell Biology. Rockefeller University Press.https://doi.org/10.1083/jcb.201402003 
LibreCat: https://research-explorer.ista.ac.at/record/11081
DOI: 10.1083/jcb.201402003
PMID: 24751535

Matthee, J. J., Sobral, D., Swinbank, A. M., Smail, I., Best, P. N., Kim, J.-W.,https://doi.org/10.1093/mnras/stu392__Fynbo, J. (2014). A 10 de Lyman ;1 survey at z=8.8 with spectroscopic follow-up: Strong constraints on the luminosity function and implications for other surveys. Monthly Notices of the Royal Astronomical Society. Oxford University Press.https://doi.org/10.1093/mnras/stu392 
LibreCat: https://research-explorer.ista.ac.at/record/11583
DOI: 10.1093/mnras/stu392
arXiv: 1402.6697

Stott, J. P., Sobral, D., Swinbank, A. M., Smail, I., Bower, R., Best, P. N.,https://doi.org/10.1093/mnras/stu1343__Matthee, J. J. (2014). A relationship between specific star formation rate and metallicity gradient within z c 1 galaxies from KMOS-HiZELS. Monthly Notices of the Royal Astronomical Society. Oxford University Press.https://doi.org/10.1093/mnras/stu1343 
LibreCat: https://research-explorer.ista.ac.at/record/11582
DOI: 10.1093/mnras/stu1343
arXiv: 1407.1047

Charikar, M., Henzinger, M. H., &; Nguyên, H. L. (2014). Online bipartite matching with decomposable weights. In 22nd Annual European Symposium on Algorithms (Vol. 8737, pp. 260–271). Wroclaw, Poland: Springer Nature.https://doi.org/10.1007/978-3-662-44777-2_22 
LibreCat: https://research-explorer.ista.ac.at/record/11789
DOI: 10.1007/978-3-662-44777-2_22
arXiv: 1409.2139

Henzinger, M. H., Krinninger, S., &; Nanongkai, D. (2014). Decremental single-source shortest paths on undirected graphs in near-linear total update time. In 55th Annual Symposium on Foundations of Computer Science (pp. 146–155). Philadelphia, PA, United States: Institute of Electrical and Electronics Engineers.https://doi.org/10.1109/focs.2014.24 
LibreCat: https://research-explorer.ista.ac.at/record/11855
DOI: 10.1109/focs.2014.24
arXiv: 1402.0054

Henzinger, M. H., Krinninger, S., &; Nanongkai, D. (2014). Sublinear-time decremental algorithms for single-source reachability and shortest paths on directed graphs. In 46th Annual ACM Symposium on Theory of Computing. New York, NY, United States: Association for Computing Machinery.https://doi.org/10.1145/2591796.2591869 
LibreCat: https://research-explorer.ista.ac.at/record/11870
DOI: 10.1145/2591796.2591869
arXiv: 1504.07959

Henzinger, M. H., Krinninger, S., &; Nanongkai, D. (2014). A subquadratic-time algorithm for decremental single-source shortest paths. In 25th Annual ACM-SIAM Symposium on Discrete Algorithms (pp. 1053–1072). Portland, OR, United States: Society for Industrial and Applied Mathematics.https://doi.org/10.1137/1.9781611973402.79 
LibreCat: https://research-explorer.ista.ac.at/record/11876
DOI: 10.1137/1.9781611973402.79

Bhattacharya, S., Henzinger, M. H., &; Italiano, G. F. (2014). Deterministic fully dynamic data structures for vertex cover and matching. In 26th Annual ACM-SIAM Symposium on Discrete Algorithms (pp. 785–804). San Diego, CA, United States: Society for Industrial and Applied Mathematics.https://doi.org/10.1137/1.9781611973730.54 
LibreCat: https://research-explorer.ista.ac.at/record/11875
DOI: 10.1137/1.9781611973730.54
arXiv: 1412.1318

Waitukaitis, S. R., Lee, V., Pierson, J., Forman, S., &; Jaeger, H. (2014). Size-dependent same-material tribocharging in insulating grains. APS Physics, Physical Review Letters. American Physical Society.https://doi.org/10.1103/PhysRevLett.112.218001 
LibreCat: https://research-explorer.ista.ac.at/record/119
DOI: 10.1103/PhysRevLett.112.218001
arXiv: 1309.2578

Hofbauer, H. F., Schopf, F. H., Schleifer, H., Knittelfelder, O. L., Pieber, B., Rechberger, G. N.,https://doi.org/10.1016/j.devcel.2014.04.025__Kohlwein, S. D. (2014). Regulation of gene expression through a transcriptional repressor that senses acyl-chain length in membrane phospholipids. Developmental Cell. Elsevier.https://doi.org/10.1016/j.devcel.2014.04.025 
LibreCat: https://research-explorer.ista.ac.at/record/11968
DOI: 10.1016/j.devcel.2014.04.025
PMID: 24960695

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

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

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

Mongillo, M., Spathis, P., Katsaros, G., De Franceschi, S., Gentile, P., Rurali, R., &; Cartoixà, X. (2014). PtSi clustering in silicon probed by transport spectroscopy. Physical Review X. American Physical Society.https://doi.org/10.1103/PhysRevX.3.041025 
LibreCat: https://research-explorer.ista.ac.at/record/1761
DOI: 10.1103/PhysRevX.3.041025

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

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

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

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

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

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

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

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

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

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

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

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

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

Lamprecht, C., Plochberger, B., Ruprecht, V., Wieser, S., Rankl, C., Heister, E.,https://doi.org/10.1088/0957-4484/25/12/125704__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 
LibreCat: https://research-explorer.ista.ac.at/record/1925
DOI: 10.1088/0957-4484/25/12/125704

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 
LibreCat: https://research-explorer.ista.ac.at/record/1923
DOI: 10.1088/1367-2630/16/6/065005

Tejos, R., Sauer, M., Vanneste, S., Palacios-Gomez, M., Li, H., Heilmann, M.,https://doi.org/10.1105/tpc.114.126185__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 
LibreCat: https://research-explorer.ista.ac.at/record/1921
DOI: 10.1105/tpc.114.126185

Fuchsbauer, G., Konstantinov, M., Pietrzak, K. Z., &; Rao, V. (2014). Adaptive security of constrained PRFs (Vol. 8874, pp. 173–192). Presented at the Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer.https://doi.org/10.1145/2591796.2591825 
LibreCat: https://research-explorer.ista.ac.at/record/1927
DOI: 10.1145/2591796.2591825

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 
LibreCat: https://research-explorer.ista.ac.at/record/1926
DOI: 10.1007/s11040-014-9163-4
arXiv: 1304.3862

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 
LibreCat: https://research-explorer.ista.ac.at/record/1935
DOI: 10.1007/s00220-014-1923-2
arXiv: 1304.6344

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 
LibreCat: https://research-explorer.ista.ac.at/record/1936
DOI: 10.1093/beheco/aru002

Trotter, M., Weissman, D., Peterson, G., Peck, K., &; Masel, J. (2014). Cryptic genetic variation can make &;quot;irreducible complexity&;quot; a common mode of adaptation in sexual populations. Evolution. Wiley-Blackwell.https://doi.org/10.1111/evo.12517 
LibreCat: https://research-explorer.ista.ac.at/record/1932
DOI: 10.1111/evo.12517

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 
LibreCat: https://research-explorer.ista.ac.at/record/1931
DOI: 10.3389/fncom.2014.00057

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 
LibreCat: https://research-explorer.ista.ac.at/record/1937
DOI: 10.1007/s00220-014-2120-z

Hazak, O., Obolski, U., Prat, T., Friml, J., Hadany, L., &; Yalovsky, S. (2014). Bimodal regulation of IC levels generates self-organizing auxin distribution. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1413918111 
LibreCat: https://research-explorer.ista.ac.at/record/1996
DOI: 10.1073/pnas.1413918111

Fratini, F., Mascarenhas, E., Safari, L., Poizat, J., Valente, D., Auffèves, A.,https://doi.org/10.1103/PhysRevLett.113.243601__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 
LibreCat: https://research-explorer.ista.ac.at/record/1995
DOI: 10.1103/PhysRevLett.113.243601

Kim, S. (2014). Action potential modulation in C 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 
LibreCat: https://research-explorer.ista.ac.at/record/2002
DOI: 10.1371/journal.pone.0113124

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 
LibreCat: https://research-explorer.ista.ac.at/record/2011
DOI: 10.1016/j.jbi.2014.01.008

Klimova, A., &; Rudas, T. (2014). gIPFrm: Generalized iterative proportional fitting for relational models. The Comprehensive R Archive Network.
LibreCat: https://research-explorer.ista.ac.at/record/2007

Matsukawa, H., Akiyoshi Nishimura, S., Zhang, Q., Luján, R., Yamaguchi, K., Goto, H.,https://doi.org/10.1523/JNEUROSCI.1141-14.2014__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 
LibreCat: https://research-explorer.ista.ac.at/record/2018
DOI: 10.1523/JNEUROSCI.1141-14.2014
PMID: 25411505

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 
LibreCat: https://research-explorer.ista.ac.at/record/2019
DOI: 10.1007/s11040-014-9164-3

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 
LibreCat: https://research-explorer.ista.ac.at/record/2013
DOI: 10.1007/s10208-014-9205-0

Uhler, C., Lenkoski, A., &; Richards, D. (2014).  Exact formulas for the normalizing constants of Wishart distributions for graphical models. ArXiv. ArXiv.
LibreCat: https://research-explorer.ista.ac.at/record/2017

Gao, P., Postiglione, M. P., Krieger, T., Hernandez, L., Wang, C., Han, Z.,https://doi.org/10.1016/j.cell.2014.10.027__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 
LibreCat: https://research-explorer.ista.ac.at/record/2022
DOI: 10.1016/j.cell.2014.10.027

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 
LibreCat: https://research-explorer.ista.ac.at/record/2021
DOI: 10.1126/science.1258996

Brázdil, T., Chatterjee, K., Chmelik, M., Forejt, V., Kretinsky, J., Kwiatkowska, M.,https://doi.org/10.1007/978-3-319-11936-6_8__Ujma, M. (2014). Verification of markov decision processes using learning algorithms. In F. Cassez &; J.-F. Raskin (Eds.), https://doi.org/10.1007/978-3-319-11936-6_8__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 
LibreCat: https://research-explorer.ista.ac.at/record/2027
DOI: 10.1007/978-3-319-11936-6_8

Arai,https://doi.org/10.7554/eLife.04057__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 
LibreCat: https://research-explorer.ista.ac.at/record/2031
DOI: 10.7554/eLife.04057

Toshima, J., Nishinoaki, S., Sato, Y., Yamamoto, W., Furukawa, D., Siekhaus, D. E.,https://doi.org/10.1038/ncomms4498__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 
LibreCat: https://research-explorer.ista.ac.at/record/2024
DOI: 10.1038/ncomms4498

Bodova, K., Paydarfar, D., &; Forger, D. (2014). Characterizing spiking in noisy type II neurons. https://doi.org/10.1016/j.jtbi.2014.09.041__Journal of Theoretical Biology. Academic Press.https://doi.org/10.1016/j.jtbi.2014.09.041 
LibreCat: https://research-explorer.ista.ac.at/record/2028
DOI: 10.1016/j.jtbi.2014.09.041

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 
LibreCat: https://research-explorer.ista.ac.at/record/2029
DOI: 10.1209/0295-5075/108/20003

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.
LibreCat: https://research-explorer.ista.ac.at/record/2033