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.
5563 Publications
2015 | Published | Technical Report | IST-REx-ID: 5441 |

Algorithms for algebraic path properties in concurrent systems of constant treewidth components
K. Chatterjee, R. Ibsen-Jensen, A.K. Goharshady, A. Pavlogiannis, Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components, IST Austria, 2015.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, R. Ibsen-Jensen, A.K. Goharshady, A. Pavlogiannis, Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components, IST Austria, 2015.
2015 | Published | Journal Article | IST-REx-ID: 1812 |

Exotic roton excitations in quadrupolar Bose–Einstein condensates
M. Lahrz, M. Lemeshko, L. Mathey, New Journal of Physics 17 (2015).
[Published Version]
View
| Files available
| DOI
M. Lahrz, M. Lemeshko, L. Mathey, New Journal of Physics 17 (2015).
2015 | Published | Journal Article | IST-REx-ID: 1880 |

Superfluid behavior of a Bose-Einstein condensate in a random potential
M. Könenberg, T. Moser, R. Seiringer, J. Yngvason, New Journal of Physics 17 (2015).
[Published Version]
View
| Files available
| DOI
M. Könenberg, T. Moser, R. Seiringer, J. Yngvason, New Journal of Physics 17 (2015).
2015 | Published | Journal Article | IST-REx-ID: 10794 |

Bayesian inference for stochastic individual-based models of ecological systems: a pest control simulation study
F. Parise, J. Lygeros, J. Ruess, Frontiers in Environmental Science 3 (2015).
[Published Version]
View
| Files available
| DOI
F. Parise, J. Lygeros, J. Ruess, Frontiers in Environmental Science 3 (2015).
2015 | Published | Conference Paper | IST-REx-ID: 10796
The value 1 problem under finite-memory strategies for concurrent mean-payoff games
K. Chatterjee, R. Ibsen-Jensen, in:, Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2015, pp. 1018–1029.
[Preprint]
View
| DOI
| arXiv
K. Chatterjee, R. Ibsen-Jensen, in:, Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2015, pp. 1018–1029.
2015 | Published | Journal Article | IST-REx-ID: 9532 |

Evolution and function of genomic imprinting in plants
J.A. Rodrigues, D. Zilberman, Genes and Development 29 (2015) 2517–2531.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
J.A. Rodrigues, D. Zilberman, Genes and Development 29 (2015) 2517–2531.
2015 | Research Data Reference | IST-REx-ID: 9711
Excel file containing the raw data for all figures
G. Chevereau, M. Lukacisinova, T. Batur, A. Guvenek, D.H. Ayhan, E. Toprak, M.T. Bollenbach, (2015).
[Published Version]
View
| Files available
| DOI
G. Chevereau, M. Lukacisinova, T. Batur, A. Guvenek, D.H. Ayhan, E. Toprak, M.T. Bollenbach, (2015).
2015 | Research Data Reference | IST-REx-ID: 9712
Other fitness models for comparison & for interacting TFBSs
M. Tugrul, T. Paixao, N.H. Barton, G. Tkačik, (2015).
[Published Version]
View
| Files available
| DOI
M. Tugrul, T. Paixao, N.H. Barton, G. Tkačik, (2015).
2015 | Research Data Reference | IST-REx-ID: 9714
An exploration of the universe of polyglutamine structures - submission to PLOS journals
À. Gómez Sicilia, M.K. Sikora, M. Cieplak, M. Carrión Vázquez, (2015).
[Published Version]
View
| Files available
| DOI
À. Gómez Sicilia, M.K. Sikora, M. Cieplak, M. Carrión Vázquez, (2015).
2015 | Research Data Reference | IST-REx-ID: 9715
Mathematical inference of the results
B. Trubenova, S. Novak, R. Hager, (2015).
[Published Version]
View
| Files available
| DOI
B. Trubenova, S. Novak, R. Hager, (2015).
2015 | Research Data Reference | IST-REx-ID: 9718
Supporting information text
T. Friedlander, A.E. Mayo, T. Tlusty, U. Alon, (2015).
[Published Version]
View
| Files available
| DOI
T. Friedlander, A.E. Mayo, T. Tlusty, U. Alon, (2015).
2015 | Research Data Reference | IST-REx-ID: 9719 |

Data from: Adaptation to parasites and costs of parasite resistance in mutator and non-mutator bacteria
S. Wielgoss, T. Bergmiller, A.M. Bischofberger, A.R. Hall, (2015).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
S. Wielgoss, T. Bergmiller, A.M. Bischofberger, A.R. Hall, (2015).
2015 | Research Data Reference | IST-REx-ID: 9721 |

Data from: Opposing effects of allogrooming on disease transmission in ant societies
F. Theis, L.V. Ugelvig, C. Marr, S. Cremer, (2015).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
F. Theis, L.V. Ugelvig, C. Marr, S. Cremer, (2015).
2015 | Research Data Reference | IST-REx-ID: 9737
Root traits computed by DynamicRoots for the maize root shown in fig 2
O. Symonova, C. Topp, H. Edelsbrunner, (2015).
[Published Version]
View
| Files available
| DOI
O. Symonova, C. Topp, H. Edelsbrunner, (2015).
2015 | Research Data Reference | IST-REx-ID: 9742 |

Data from: Increased grooming after repeated brood care provides sanitary benefits in a clonal ant
C. Westhus, L.V. Ugelvig, E. Tourdot, J. Heinze, C. Doums, S. Cremer, (2015).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
C. Westhus, L.V. Ugelvig, E. Tourdot, J. Heinze, C. Doums, S. Cremer, (2015).
2015 | Research Data Reference | IST-REx-ID: 9765
Gene ontology enrichment analysis for the most sensitive gene deletion strains for all drugs
G. Chevereau, M. Lukacisinova, T. Batur, A. Guvenek, D.H. Ayhan, E. Toprak, M.T. Bollenbach, (2015).
[Published Version]
View
| Files available
| DOI
G. Chevereau, M. Lukacisinova, T. Batur, A. Guvenek, D.H. Ayhan, E. Toprak, M.T. Bollenbach, (2015).
2015 | Research Data Reference | IST-REx-ID: 9772
Description of the agent based simulations
B. Trubenova, S. Novak, R. Hager, (2015).
[Published Version]
View
| Files available
| DOI
B. Trubenova, S. Novak, R. Hager, (2015).
2015 | Research Data Reference | IST-REx-ID: 9773
Evolutionary simulation code
T. Friedlander, A.E. Mayo, T. Tlusty, U. Alon, (2015).
[Published Version]
View
| Files available
| DOI
T. Friedlander, A.E. Mayo, T. Tlusty, U. Alon, (2015).
2015 | Published | Conference Paper | IST-REx-ID: 1595 |

Hanani-Tutte for radial planarity
R. Fulek, M. Pelsmajer, M. Schaefer, in:, Springer, 2015, pp. 99–110.
[Submitted Version]
View
| Files available
| DOI
R. Fulek, M. Pelsmajer, M. Schaefer, in:, Springer, 2015, pp. 99–110.
2015 | Published | Conference Paper | IST-REx-ID: 1637 |

The complexity of general-valued CSPs
V. Kolmogorov, A. Krokhin, M. Rolinek, in:, IEEE, 2015, pp. 1246–1258.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
V. Kolmogorov, A. Krokhin, M. Rolinek, in:, IEEE, 2015, pp. 1246–1258.