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.




5064 Publications

2015 | Research Data Reference | IST-REx-ID: 9742 | OA
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.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
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.
[Published Version] View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1618 | OA
Veldkamp C, Kiermaier E, Gabel Eissens S, Gillitzer M, Lippner D, Disilvio F, Mueller C, Wantuch P, Chaffee G, Famiglietti M, Zgoba D, Bailey A, Bah Y, Engebretson S, Graupner D, Lackner E, Larosa V, Medeiros T, Olson M, Phillips A, Pyles H, Richard A, Schoeller S, Touzeau B, Williams L, Sixt MK, Peterson F. 2015. Solution structure of CCL19 and identification of overlapping CCR7 and PSGL-1 binding sites. Biochemistry. 54(27), 4163–4166.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2015 | Conference Paper | IST-REx-ID: 12881 | OA
G. S. Martius and E. Olbrich, “Quantifying self-organizing behavior of autonomous robots,” in Proceedings of the 13th European Conference on Artificial Life, York, United Kingdom, 2015, p. 78.
[Published Version] View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 12196
K. C. M. Johnson, S. Xia, X. Feng, and X. Li, “The chromatin remodeler SPLAYED negatively regulates SNC1-mediated immunity,” Plant and Cell Physiology, vol. 56, no. 8. Oxford University Press, pp. 1616–1623, 2015.
View | DOI | PubMed | Europe PMC
 
2015 | Research Data Reference | IST-REx-ID: 9719 | OA
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.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2015 | Thesis | IST-REx-ID: 1401 | OA
V. Sharmanska, “Learning with attributes for object recognition: Parametric and non-parametrics views,” Institute of Science and Technology Austria, 2015.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2015 | Journal Article | IST-REx-ID: 1709 | OA
J. Reiter, A. Kanodia, R. Gupta, M. Nowak, and K. Chatterjee, “Biological auctions with multiple rewards,” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 282, no. 1812. Royal Society, 2015.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2015 | Thesis | IST-REx-ID: 1400
J. Reiter, “The subclonal evolution of cancer,” Institute of Science and Technology Austria, 2015.
View | Files available
 
2015 | Journal Article | IST-REx-ID: 1792
F. Pausinger and A. Svane, “A Koksma-Hlawka inequality for general discrepancy systems,” Journal of Complexity, vol. 31, no. 6. Academic Press, pp. 773–797, 2015.
View | Files available | DOI
 
2015 | Thesis | IST-REx-ID: 1399
F. Pausinger, “On the approximation of intrinsic volumes,” Institute of Science and Technology Austria, 2015.
View | Files available
 
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.
[Published Version] View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1502 | OA
N. Beneš, P. Daca, T. A. Henzinger, J. Kretinsky, and D. Nickovic, “Complete composition operators for IOCO-testing theory,” presented at the CBSE: Component-Based Software Engineering , Montreal, QC, Canada, 2015, pp. 101–110.
[Submitted Version] View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1501 | OA
K. Chatterjee, M. Chmelik, and P. Daca, “CEGAR for compositional analysis of qualitative properties in Markov decision processes,” Formal Methods in System Design, vol. 47, no. 2. Springer, pp. 230–264, 2015.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1602 | OA
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, and P. Goyal, “Faster algorithms for algebraic path properties in recursive state machines with constant treewidth,” ACM SIGPLAN Notices, vol. 50, no. 1. ACM, pp. 97–109, 2015.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2015 | Journal Article | IST-REx-ID: 1604
K. Chatterjee, A. Pavlogiannis, and Y. Velner, “Quantitative interprocedural analysis,” Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT , vol. 50, no. 1. ACM, pp. 539–551, 2015.
View | Files available | DOI
 
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.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1714
K. Chatterjee, A. Pavlogiannis, A. Kößler, and U. Schmid, “A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks,” in Real-Time Systems Symposium, Rome, Italy, 2015, vol. 2015, no. January, pp. 118–127.
View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1633 | OA
D. Hahn and C. Wojtan, “High-resolution brittle fracture simulation with boundary elements,” presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States, 2015, vol. 34, no. 4.
[Submitted Version] View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1537 | OA
V. Ruprecht et al., “Cortical contractility triggers a stochastic switch to fast amoeboid cell motility,” Cell, vol. 160, no. 4. Cell Press, pp. 673–685, 2015.
[Published Version] View | Files available | DOI
 

Search

Filter Publications