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.
6456 Publications
2015 |
Published |
Conference Paper |
IST-REx-ID: 1838 |
R. Bloem, K. Chatterjee, S. Jacobs, and R. Könighofer, “Assume-guarantee synthesis for concurrent reactive programs with partial information,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, London, United Kingdom, 2015, vol. 9035, pp. 517–532.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 |
Published |
Conference Paper |
IST-REx-ID: 1839 |
T. Brázdil, K. Chatterjee, V. Forejt, and A. Kučera, “Multigain: A controller synthesis tool for MDPs with multiple mean-payoff objectives,” vol. 9035. Springer, pp. 181–187, 2015.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 |
Published |
Journal Article |
IST-REx-ID: 1840 |
B. Geiger, T. Petrov, G. Kubin, and H. Koeppl, “Optimal Kullback-Leibler aggregation via information bottleneck,” IEEE Transactions on Automatic Control, vol. 60, no. 4. IEEE, pp. 1010–1022, 2015.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2015 |
Published |
Journal Article |
IST-REx-ID: 1841 |
V. Kolmogorov, “A new look at reweighted message passing,” IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 37, no. 5. IEEE, pp. 919–930, 2015.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2015 |
Published |
Journal Article |
IST-REx-ID: 802
J. Engel, P. S. Schmalhorst, A. Kruger, C. Muller, F. Buettner, and F. Routier, “Characterization of an N-acetylglucosaminyltransferase involved in Aspergillus fumigatus zwitterionic glycoinositolphosphoceramide biosynthesis,” Glycobiology, vol. 25, no. 12. Oxford University Press, pp. 1423–1430, 2015.
View
| DOI
| WoS
| PubMed | Europe PMC
earlier version | 2015 |
Draft |
Preprint |
IST-REx-ID: 8183 |
S. Avvakumov, I. Mabillard, A. Skopenkov, and U. Wagner, “Eliminating higher-multiplicity intersections, III. Codimension 2,” arXiv. .
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2015 |
Published |
Journal Article |
IST-REx-ID: 9532 |
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.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
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.
[Published Version]
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.
[Published Version]
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.
[Published Version]
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.
[Published Version]
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.
[Published Version]
View
| Files available
| DOI
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.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
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.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
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.
[Published Version]
View
| Files available
| DOI
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.
[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 |
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.
[Published Version]
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.
[Published Version]
View
| Files available
| DOI
2015 |
Published |
Journal Article |
IST-REx-ID: 1619 |
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.
[Published Version]
View
| Files available
| DOI
| WoS