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.
5261 Publications
2015 |Published| Conference Paper | IST-REx-ID: 12881 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| 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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Thesis | IST-REx-ID: 1401 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Journal Article | IST-REx-ID: 1709 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Thesis | IST-REx-ID: 1400
J. Reiter, “The subclonal evolution of cancer,” Institute of Science and Technology Austria, 2015.
View
| Files available
2015 |Published| 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 |Published| Thesis | IST-REx-ID: 1399
F. Pausinger, “On the approximation of intrinsic volumes,” Institute of Science and Technology Austria, 2015.
View
| Files available
2015 |Published| Journal Article | IST-REx-ID: 1666 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Conference Paper | IST-REx-ID: 1502 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Journal Article | IST-REx-ID: 1501 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Journal Article | IST-REx-ID: 1602 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| 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 |Published| Conference Paper | IST-REx-ID: 1607 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| 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 |Published| Conference Paper | IST-REx-ID: 1633 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Journal Article | IST-REx-ID: 1537 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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
2015 |Published| Journal Article | IST-REx-ID: 1591 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
M. Adamowski and J. Friml, “PIN-dependent auxin transport: Action, regulation, and evolution,” Plant Cell, vol. 27, no. 1. American Society of Plant Biologists, pp. 20–32, 2015.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 |Published| Journal Article | IST-REx-ID: 1677 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
J. Alt, “The local semicircle law for random matrices with a fourfold symmetry,” Journal of Mathematical Physics, vol. 56, no. 10. American Institute of Physics, 2015.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2015 |Published| Journal Article | IST-REx-ID: 1678 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Á. Inglés Prieto et al., “Light-assisted small-molecule screening against protein kinases,” Nature Chemical Biology, vol. 11, no. 12. Nature Publishing Group, pp. 952–954, 2015.
[Submitted Version]
View
| Files available
| DOI