Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




3423 Publications

2015 | Journal Article | IST-REx-ID: 1681 | OA
Priklopil, T., & Chatterjee, K. (2015). Evolution of decisions in population games with sequentially searching individuals. Games. Multidisciplinary Digital Publishing Institute. https://doi.org/10.3390/g6040413
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1682 | OA
Franek, P., & Krcál, M. (2015). Robust satisfiability of systems of equations. Journal of the ACM. ACM. https://doi.org/10.1145/2751524
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1683
Letts, J. A., & Sazanov, L. A. (2015). Gaining mass: The structure of respiratory complex I-from bacterial towards mitochondrial versions. Current Opinion in Structural Biology. Elsevier. https://doi.org/10.1016/j.sbi.2015.08.008
View | DOI
 
2015 | Conference Paper | IST-REx-ID: 1685 | OA
Cohen Addad, V., & de Mesmay, A. N. (2015). A fixed parameter tractable approximation scheme for the optimal cut graph of a surface (Vol. 9294, pp. 386–398). Presented at the ESA: European Symposium on Algorithms, Patras, Greece: Springer. https://doi.org/10.1007/978-3-662-48350-3_33
View | DOI | Download Preprint (ext.)
 
2015 | Thesis | IST-REx-ID: 1401 | OA
Sharmanska, V. (2015). Learning with attributes for object recognition: Parametric and non-parametrics views. IST Austria.
View | Files available | Download Published Version (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1729
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
View | Files available | DOI
 
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.
View | Files available | 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
View | Files available | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1855 | OA
Mcmahon, D., Fürst, M., Caspar, J., Theodorou, P., Brown, M., & Paxton, R. (2015). A sting in the spit: Widespread cross-infection of multiple RNA viruses across wild and managed bees. Journal of Animal Ecology. Wiley. https://doi.org/10.1111/1365-2656.12345
View | Files available | DOI | PubMed | Europe PMC
 
2015 | Journal Article | IST-REx-ID: 1830 | OA
Theis, F., Ugelvig, L. V., Marr, C., & Cremer, S. (2015). Opposing effects of allogrooming on disease transmission in ant societies. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, The. https://doi.org/10.1098/rstb.2014.0108
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2015 | Research Data Reference | IST-REx-ID: 9719
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
View | Files available | DOI
 
2015 | Research Data Reference | IST-REx-ID: 9721
Theis, F., Ugelvig, L. V., Marr, C., & Cremer, S. (2015). Data from: Opposing effects of allogrooming on disease transmission in ant societies. Dryad. https://doi.org/10.5061/dryad.dj2bf
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1993 | OA
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. Royal Society. https://doi.org/10.1098/rspb.2014.1976
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2015 | Research Data Reference | IST-REx-ID: 9742
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
View | Files available | DOI
 
2015 | Research Data Reference | IST-REx-ID: 9711
Chevereau, G., Lukacisinova, M., Batur, T., Guvenek, A., Ayhan, D. H., Toprak, E., & Bollenbach, M. T. (2015). Excel file containing the raw data for all figures. Public Library of Science. https://doi.org/10.1371/journal.pbio.1002299.s001
View | Files available | DOI
 
2015 | Research Data Reference | IST-REx-ID: 9765
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
View | Files available | DOI
 
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
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1566 | OA
Gómez Sicilia, À., Sikora, M. K., Cieplak, M., & Carrión Vázquez, M. (2015). An exploration of the universe of polyglutamine structures. PLoS Computational Biology. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1004541
View | Files available | DOI
 
2015 | Research Data Reference | IST-REx-ID: 9712
Tugrul, M., Paixao, T., Barton, N. H., & Tkačik, G. (2015). Other fitness models for comparison & for interacting TFBSs. Public Library of Science. https://doi.org/10.1371/journal.pgen.1005639.s001
View | Files available | DOI
 
2015 | Research Data Reference | IST-REx-ID: 9714
Gómez Sicilia, À., Sikora, M. K., Cieplak, M., & Carrión Vázquez, M. (2015). An exploration of the universe of polyglutamine structures - submission to PLOS journals. Public Library of Science . https://doi.org/10.1371/journal.pcbi.1004541.s001
View | Files available | DOI
 
2015 | Research Data Reference | IST-REx-ID: 9715
Trubenova, B., Novak, S., & Hager, R. (2015). Mathematical inference of the results. Public Library of Science. https://doi.org/10.1371/journal.pone.0126907.s001
View | Files available | DOI
 
2015 | Research Data Reference | IST-REx-ID: 9718
Friedlander, T., Mayo, A. E., Tlusty, T., & Alon, U. (2015). Supporting information text. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1004055.s001
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1827 | OA
Friedlander, T., Mayo, A., Tlusty, T., & Alon, U. (2015). Evolution of bow-tie architectures in biology. PLoS Computational Biology. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1004055
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1809 | OA
Trubenova, B., Novak, S., & Hager, R. (2015). Indirect genetic effects and the dynamics of social interactions. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0126907
View | Files available | DOI
 
2015 | Research Data Reference | IST-REx-ID: 9772
Trubenova, B., Novak, S., & Hager, R. (2015). Description of the agent based simulations. Public Library of Science. https://doi.org/10.1371/journal.pone.0126907.s003
View | Files available | DOI
 
2015 | Research Data Reference | IST-REx-ID: 9773
Friedlander, T., Mayo, A. E., Tlusty, T., & Alon, U. (2015). Evolutionary simulation code. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1004055.s002
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1793 | OA
Symonova, O., Topp, C., & Edelsbrunner, H. (2015). DynamicRoots: A software platform for the reconstruction and analysis of growing plant roots. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0127657
View | Files available | DOI
 
2015 | Research Data Reference | IST-REx-ID: 9737
Symonova, O., Topp, C., & Edelsbrunner, H. (2015). Root traits computed by DynamicRoots for the maize root shown in fig 2. Public Library of Science. https://doi.org/10.1371/journal.pone.0127657.s001
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 9532 | OA
Rodrigues, J. A., & ZILBERMAN, D. (2015). Evolution and function of genomic imprinting in plants. Genes and Development. Cold Spring Harbor Laboratory Press. https://doi.org/10.1101/gad.269902.115
View | Files available | DOI | PubMed | Europe PMC
 
2015 | Journal Article | IST-REx-ID: 1845 | OA
Vandael, D. H., Espinoza Martinez, C., & Jonas, P. M. (2015). Excitement about inhibitory presynaptic terminals. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2015.03.006
View | Files available | DOI
 
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
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 2261 | OA
Zhu, F., Gamboa, M., Farruggio, A., Hippenmeyer, S., Tasic, B., Schüle, B., … Calos, M. (2014). DICE, an efficient system for iterative genomic editing in human pluripotent stem cells. Nucleic Acids Research. Oxford University Press. https://doi.org/10.1093/nar/gkt1290
View | Files available | DOI
 
2014 | Book Chapter | IST-REx-ID: 2265
Hippenmeyer, S. (2014). Molecular pathways controlling the sequential steps of cortical projection neuron migration. In L. Nguyen (Ed.), Cellular and Molecular Control of Neuronal Migration (Vol. 800, pp. 1–24). Springer. https://doi.org/10.1007/978-94-007-7687-6_1
View | DOI
 
2014 | Conference Paper | IST-REx-ID: 2275 | OA
Olsson, C., Ulen, J., Boykov, Y., & Kolmogorov, V. (2014). Partial enumeration and curvature regularization (pp. 2936–2943). Presented at the ICCV: International Conference on Computer Vision, Sydney, Australia: IEEE. https://doi.org/10.1109/ICCV.2013.365
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 2285 | OA
Hosp, J., Strüber, M., Yanagawa, Y., Obata, K., Vida, I., Jonas, P. M., & Bartos, M. (2014). Morpho-physiological criteria divide dentate gyrus interneurons into classes. Hippocampus. Wiley-Blackwell. https://doi.org/10.1002/hipo.22214
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 2699 | OA
Erdös, L., Bourgade, P., & Yau, H. (2014). Universality of general β-ensembles. Duke Mathematical Journal. Duke University Press. https://doi.org/10.1215/00127094-2649752
View | DOI | Download Preprint (ext.)
 
2014 | Journal Article | IST-REx-ID: 2716 | OA
Chatterjee, K., Randour, M., & Raskin, J. (2014). Strategy synthesis for multi-dimensional quantitative objectives. Acta Informatica. Springer. https://doi.org/10.1007/s00236-013-0182-6
View | DOI | Download Preprint (ext.)
 
2014 | Journal Article | IST-REx-ID: 2852
Fischlin, M., Lehmann, A., & Pietrzak, K. Z. (2014). Robust multi-property combiners for hash functions. Journal of Cryptology. Springer. https://doi.org/10.1007/s00145-013-9148-7
View | Files available | DOI
 
2014 | Conference Paper | IST-REx-ID: 2905 | OA
Edelsbrunner, H., & Morozovy, D. (2014). Persistent homology: Theory and practice (pp. 31–50). Presented at the ECM: European Congress of Mathematics, Kraków, Poland: European Mathematical Society Publishing House. https://doi.org/10.4171/120-1/3
View | Files available | DOI
 
2014 | Conference Paper | IST-REx-ID: 8044 | OA
Seiringer, R. (2014). Structure of the excitation spectrum for many-body quantum systems. In Proceeding of the International Congress of Mathematicans (Vol. 3, pp. 1175–1194). Seoul, South Korea: Kyung Moon SA.
View | Download Published 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
View | DOI | Download Submitted Version (ext.)
 
2014 | Conference Paper | IST-REx-ID: 1708
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.
View | Download None (ext.)
 
2014 | Journal Article | IST-REx-ID: 1733 | OA
Cerny, P., Chmelik, M., Henzinger, T. A., & Radhakrishna, A. (2014). Interface simulation distances. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2014.08.019
View | Files available | DOI | Download Submitted Version (ext.)
 
2014 | Book Chapter | IST-REx-ID: 1806
Baster, P., & Friml, J. (2014). Auxin on the road navigated by cellular PIN polarity. In E. Zažímalová, J. Petrášek, & 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
View | DOI
 
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
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
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 1822
Jakšić, V., Pillet, C., & Seiringer, R. (2014). Introduction. Journal of Mathematical Physics. American Institute of Physics. https://doi.org/10.1063/1.4884877
View | DOI
 
2014 | Book Chapter | IST-REx-ID: 1829
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
View | 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
View | DOI | Download Submitted Version (ext.)
 
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
View | Files available | DOI
 

Search

Filter Publications