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.




3383 Publications

2015 | Journal Article | IST-REx-ID: 1680
J. Michaliszyn, J. Otop, and E. Kieroňski, “On the decidability of elementary modal logics,” ACM Transactions on Computational Logic, vol. 17, no. 1. ACM, 2015.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1681 | OA
T. Priklopil and K. Chatterjee, “Evolution of decisions in population games with sequentially searching individuals,” Games, vol. 6, no. 4. Multidisciplinary Digital Publishing Institute, pp. 413–437, 2015.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1682 | OA
P. Franek and M. Krcál, “Robust satisfiability of systems of equations,” Journal of the ACM, vol. 62, no. 4. ACM, 2015.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1683
J. A. Letts and L. A. Sazanov, “Gaining mass: The structure of respiratory complex I-from bacterial towards mitochondrial versions,” Current Opinion in Structural Biology, vol. 33, no. 8. Elsevier, pp. 135–145, 2015.
View | DOI
 
2015 | Conference Paper | IST-REx-ID: 1685 | OA
V. Cohen Addad and A. N. de Mesmay, “A fixed parameter tractable approximation scheme for the optimal cut graph of a surface,” presented at the ESA: European Symposium on Algorithms, Patras, Greece, 2015, vol. 9294, pp. 386–398.
View | DOI | Download Preprint (ext.)
 
2015 | Thesis | IST-REx-ID: 1401 | OA
V. Sharmanska, “Learning with attributes for object recognition: Parametric and non-parametrics views,” IST Austria, 2015.
View | Files available | Download Published Version (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1729
P. Cerny et al., “From non-preemptive to preemptive scheduling using synchronization synthesis,” vol. 9207. Springer, pp. 180–197, 2015.
View | Files available | DOI
 
2015 | Preprint | IST-REx-ID: 8183 | OA
S. Avvakumov, I. Mabillard, A. Skopenkov, and U. Wagner, “Eliminating higher-multiplicity intersections, III. Codimension 2,” arXiv. .
View | Files available | Download Preprint (ext.) | arXiv
 
2015 | Conference Paper | IST-REx-ID: 1607 | OA
K. Chatterjee, R. Ibsen-Jensen, and A. Pavlogiannis, “Faster algorithms for quantitative verification in constant treewidth graphs,” presented at the CAV: Computer Aided Verification, San Francisco, CA, USA, 2015, vol. 9206, pp. 140–157.
View | Files available | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1855 | OA
D. Mcmahon, M. Fürst, J. Caspar, P. Theodorou, M. Brown, and R. Paxton, “A sting in the spit: Widespread cross-infection of multiple RNA viruses across wild and managed bees,” Journal of Animal Ecology, vol. 84, no. 3. Wiley, pp. 615–624, 2015.
View | Files available | DOI | PubMed | Europe PMC
 
2015 | Journal Article | IST-REx-ID: 1830 | OA
F. Theis, L. V. Ugelvig, C. Marr, and S. Cremer, “Opposing effects of allogrooming on disease transmission in ant societies,” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 370, no. 1669. Royal Society, The, 2015.
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2015 | Research Data Reference | IST-REx-ID: 9719
S. Wielgoss, T. Bergmiller, A. M. Bischofberger, and A. R. Hall, “Data from: Adaptation to parasites and costs of parasite resistance in mutator and non-mutator bacteria.” Dryad, 2015.
View | Files available | DOI
 
2015 | Research Data Reference | IST-REx-ID: 9721
F. Theis, L. V. Ugelvig, C. Marr, and S. Cremer, “Data from: Opposing effects of allogrooming on disease transmission in ant societies.” Dryad, 2015.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1993 | OA
M. Konrad, A. V. Grasse, S. Tragust, and S. Cremer, “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, vol. 282, no. 1799. Royal Society, 2015.
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2015 | Research Data Reference | IST-REx-ID: 9742
C. Westhus, L. V. Ugelvig, E. Tourdot, J. Heinze, C. Doums, and S. Cremer, “Data from: Increased grooming after repeated brood care provides sanitary benefits in a clonal ant.” Dryad, 2015.
View | Files available | DOI
 
2015 | Research Data Reference | IST-REx-ID: 9711
G. Chevereau et al., “Excel file containing the raw data for all figures.” Public Library of Science, 2015.
View | Files available | DOI
 
2015 | Research Data Reference | IST-REx-ID: 9765
G. Chevereau et al., “Gene ontology enrichment analysis for the most sensitive gene deletion strains for all drugs.” Public Library of Science, 2015.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1666 | OA
M. Tugrul, T. Paixao, N. H. Barton, and G. Tkačik, “Dynamics of transcription factor binding site evolution,” PLoS Genetics, vol. 11, no. 11. Public Library of Science, 2015.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1566 | OA
À. Gómez Sicilia, M. K. Sikora, M. Cieplak, and M. Carrión Vázquez, “An exploration of the universe of polyglutamine structures,” PLoS Computational Biology, vol. 11, no. 10. Public Library of Science, 2015.
View | Files available | DOI
 
2015 | Research Data Reference | IST-REx-ID: 9712
M. Tugrul, T. Paixao, N. H. Barton, and G. Tkačik, “Other fitness models for comparison & for interacting TFBSs.” Public Library of Science, 2015.
View | Files available | DOI
 
2015 | Research Data Reference | IST-REx-ID: 9714
À. Gómez Sicilia, M. K. Sikora, M. Cieplak, and M. Carrión Vázquez, “An exploration of the universe of polyglutamine structures - submission to PLOS journals.” Public Library of Science , 2015.
View | Files available | DOI
 
2015 | Research Data Reference | IST-REx-ID: 9715
B. Trubenova, S. Novak, and R. Hager, “Mathematical inference of the results.” Public Library of Science, 2015.
View | Files available | DOI
 
2015 | Research Data Reference | IST-REx-ID: 9718
T. Friedlander, A. E. Mayo, T. Tlusty, and U. Alon, “Supporting information text.” Public Library of Science, 2015.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1827 | OA
T. Friedlander, A. Mayo, T. Tlusty, and U. Alon, “Evolution of bow-tie architectures in biology,” PLoS Computational Biology, vol. 11, no. 3. Public Library of Science, 2015.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1809 | OA
B. Trubenova, S. Novak, and R. Hager, “Indirect genetic effects and the dynamics of social interactions,” PLoS One, vol. 10, no. 5. Public Library of Science, 2015.
View | Files available | DOI
 
2015 | Research Data Reference | IST-REx-ID: 9772
B. Trubenova, S. Novak, and R. Hager, “Description of the agent based simulations.” Public Library of Science, 2015.
View | Files available | DOI
 
2015 | Research Data Reference | IST-REx-ID: 9773
T. Friedlander, A. E. Mayo, T. Tlusty, and U. Alon, “Evolutionary simulation code.” Public Library of Science, 2015.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1793 | OA
O. Symonova, C. Topp, and H. Edelsbrunner, “DynamicRoots: A software platform for the reconstruction and analysis of growing plant roots,” PLoS One, vol. 10, no. 6. Public Library of Science, 2015.
View | Files available | DOI
 
2015 | Research Data Reference | IST-REx-ID: 9737
O. Symonova, C. Topp, and H. Edelsbrunner, “Root traits computed by DynamicRoots for the maize root shown in fig 2.” Public Library of Science, 2015.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 9532 | OA
J. A. Rodrigues and D. ZILBERMAN, “Evolution and function of genomic imprinting in plants,” Genes and Development, vol. 29, no. 24. Cold Spring Harbor Laboratory Press, pp. 2517–2531, 2015.
View | Files available | DOI | PubMed | Europe PMC
 
2015 | Journal Article | IST-REx-ID: 1619 | OA
G. Chevereau et al., “Quantifying the determinants of evolutionary dynamics leading to drug resistance,” PLoS Biology, vol. 13, no. 11. Public Library of Science, 2015.
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 2261 | OA
F. Zhu et al., “DICE, an efficient system for iterative genomic editing in human pluripotent stem cells,” Nucleic Acids Research, vol. 42, no. 5. Oxford University Press, 2014.
View | Files available | DOI
 
2014 | Book Chapter | IST-REx-ID: 2265
S. Hippenmeyer, “Molecular pathways controlling the sequential steps of cortical projection neuron migration,” in Cellular and Molecular Control of Neuronal Migration, vol. 800, L. Nguyen, Ed. Springer, 2014, pp. 1–24.
View | DOI
 
2014 | Conference Paper | IST-REx-ID: 2275 | OA
C. Olsson, J. Ulen, Y. Boykov, and V. Kolmogorov, “Partial enumeration and curvature regularization,” presented at the ICCV: International Conference on Computer Vision, Sydney, Australia, 2014, pp. 2936–2943.
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 2285 | OA
J. Hosp et al., “Morpho-physiological criteria divide dentate gyrus interneurons into classes,” Hippocampus, vol. 23, no. 2. Wiley-Blackwell, pp. 189–203, 2014.
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 2699 | OA
L. Erdös, P. Bourgade, and H. Yau, “Universality of general β-ensembles,” Duke Mathematical Journal, vol. 163, no. 6. Duke University Press, pp. 1127–1190, 2014.
View | DOI | Download Preprint (ext.)
 
2014 | Journal Article | IST-REx-ID: 2716 | OA
K. Chatterjee, M. Randour, and J. Raskin, “Strategy synthesis for multi-dimensional quantitative objectives,” Acta Informatica, vol. 51, no. 3–4. Springer, pp. 129–163, 2014.
View | DOI | Download Preprint (ext.)
 
2014 | Journal Article | IST-REx-ID: 2852
M. Fischlin, A. Lehmann, and K. Z. Pietrzak, “Robust multi-property combiners for hash functions,” Journal of Cryptology, vol. 27, no. 3. Springer, pp. 397–428, 2014.
View | Files available | DOI
 
2014 | Conference Paper | IST-REx-ID: 2905 | OA
H. Edelsbrunner and D. Morozovy, “Persistent homology: Theory and practice,” presented at the ECM: European Congress of Mathematics, Kraków, Poland, 2014, pp. 31–50.
View | Files available | DOI
 
2014 | Conference Paper | IST-REx-ID: 8044 | OA
R. Seiringer, “Structure of the excitation spectrum for many-body quantum systems,” in Proceeding of the International Congress of Mathematicans, Seoul, South Korea, 2014, vol. 3, pp. 1175–1194.
View | Download Published Version (ext.)
 
2014 | Conference Paper | IST-REx-ID: 1702 | OA
A. Gupta, C. Popeea, and A. Rybalchenko, “Generalised interpolation by solving recursion free-horn clauses,” in Electronic Proceedings in Theoretical Computer Science, EPTCS, Vienna, Austria, 2014, vol. 169, pp. 31–38.
View | DOI | Download Submitted Version (ext.)
 
2014 | Conference Paper | IST-REx-ID: 1708
C. Savin and S. Denève, “Spatio-temporal representations of uncertainty in spiking neural networks,” presented at the NIPS: Neural Information Processing Systems, Montreal, Canada, 2014, vol. 3, no. January, pp. 2024–2032.
View | Download None (ext.)
 
2014 | Journal Article | IST-REx-ID: 1733 | OA
P. Cerny, M. Chmelik, T. A. Henzinger, and A. Radhakrishna, “Interface simulation distances,” Theoretical Computer Science, vol. 560, no. 3. Elsevier, pp. 348–363, 2014.
View | Files available | DOI | Download Submitted Version (ext.)
 
2014 | Book Chapter | IST-REx-ID: 1806
P. Baster and J. Friml, “Auxin on the road navigated by cellular PIN polarity,” in Auxin and Its Role in Plant Development, E. Zažímalová, J. Petrášek, and E. Benková, Eds. Springer, 2014, pp. 143–170.
View | DOI
 
2014 | Journal Article | IST-REx-ID: 1816 | OA
S. Huber, M. Held, P. Meerwald, and R. Kwitt, “Topology-preserving watermarking of vector graphics,” International Journal of Computational Geometry and Applications, vol. 24, no. 1. World Scientific Publishing, pp. 61–86, 2014.
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 1821 | OA
R. Seiringer, “Bose gases, Bose-Einstein condensation, and the Bogoliubov approximation,” Journal of Mathematical Physics, vol. 55, no. 7. American Institute of Physics, 2014.
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 1822
V. Jakšić, C. Pillet, and R. Seiringer, “Introduction,” Journal of Mathematical Physics, vol. 55, no. 7. American Institute of Physics, 2014.
View | DOI
 
2014 | Book Chapter | IST-REx-ID: 1829
K. Muelling, O. Kroemer, C. Lampert, and B. Schölkopf, “Movement templates for learning of hitting and batting,” in Learning Motor Skills, vol. 97, J. Kober and J. Peters, Eds. Springer, 2014, pp. 69–82.
View | DOI
 
2014 | Journal Article | IST-REx-ID: 1842 | OA
J. Cibulka, P. Gao, M. Krcál, T. Valla, and P. Valtr, “On the geometric ramsey number of outerplanar graphs,” Discrete & Computational Geometry, vol. 53, no. 1. Springer, pp. 64–79, 2014.
View | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 1844 | OA
V. Risso et al., “Mutational studies on resurrected ancestral proteins reveal conservation of site-specific amino acid preferences throughout evolutionary history,” Molecular Biology and Evolution, vol. 32, no. 2. Oxford University Press, pp. 440–455, 2014.
View | Files available | DOI
 

Search

Filter Publications