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.
5871 Publications
2018 | Published | Conference Paper | IST-REx-ID: 34 | 
K. Chatterjee, M. Chemlík, and U. Topcu, “Sensor synthesis for POMDPs with reachability objectives,” in 28th International Conference on Automated Planning and Scheduling, Delft, Netherlands, 2018, vol. 2018, pp. 47–55.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 | Published | Journal Article | IST-REx-ID: 738 |
K. Chatterjee, A. Pavlogiannis, A. Kößler, and U. Schmid, “Automated competitive analysis of real time scheduling with graph games,” Real-Time Systems, vol. 54, no. 1. Springer, pp. 166–207, 2018.
[Published Version]
View
| Files available
| DOI
| WoS
2018 | Published | Journal Article | IST-REx-ID: 6774 |
M. Filakovský, P. Franek, U. Wagner, and S. Y. Zhechev, “Computing simplicial representatives of homotopy group elements,” Journal of Applied and Computational Topology, vol. 2, no. 3–4. Springer, pp. 177–231, 2018.
[Published Version]
View
| Files available
| DOI
2018 | Published | Journal Article | IST-REx-ID: 423 |
P. Payne, L. Geyrhofer, N. H. Barton, and J. P. Bollback, “CRISPR-based herd immunity can limit phage epidemics in bacterial populations,” eLife, vol. 7. eLife Sciences Publications, 2018.
[Published Version]
View
| Files available
| DOI
| WoS
2018 | Research Data Reference | IST-REx-ID: 9840 |
P. Payne, L. Geyrhofer, N. H. Barton, and J. P. Bollback, “Data from: CRISPR-based herd immunity limits phage epidemics in bacterial populations.” Dryad, 2018.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2018 | Published | Journal Article | IST-REx-ID: 292 |
V. Botella Soler, S. Deny, G. S. Martius, O. Marre, and G. Tkačik, “Nonlinear decoding of a complex movie from the mammalian retina,” PLoS Computational Biology, vol. 14, no. 5. Public Library of Science, 2018.
[Published Version]
View
| Files available
| DOI
| WoS
2018 | Research Data | IST-REx-ID: 5584 |
S. Deny, O. Marre, V. Botella-Soler, G. S. Martius, and G. Tkačik, “Nonlinear decoding of a complex movie from the mammalian retina.” Institute of Science and Technology Austria, 2018.
[Published Version]
View
| Files available
| DOI
2018 | Published | Journal Article | IST-REx-ID: 131 |
M. A. L. Picard et al., “Evolution of gene dosage on the Z-chromosome of schistosome parasites,” eLife, vol. 7. eLife Sciences Publications, 2018.
[Published Version]
View
| Files available
| DOI
| WoS
2018 | Research Data | IST-REx-ID: 5757 |
C. Fraisse, “Supplementary Files for ‘Pleiotropy modulates the efficacy of selection in Drosophila melanogaster.’” Institute of Science and Technology Austria, 2018.
[Published Version]
View
| Files available
| DOI
2018 | Research Data | IST-REx-ID: 5586 |
B. Vicoso, “Input files and scripts from ‘Evolution of gene dosage on the Z-chromosome of schistosome parasites’ by Picard M.A.L., et al (2018).” Institute of Science and Technology Austria, 2018.
[Published Version]
View
| Files available
| DOI
2018 | Published | Journal Article | IST-REx-ID: 413 |
M. Konrad et al., “Ants avoid superinfections by performing risk-adjusted sanitary care,” PNAS, vol. 115, no. 11. National Academy of Sciences, pp. 2782–2787, 2018.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2018 | Published | Journal Article | IST-REx-ID: 616 |
C. Pull et al., “Destructive disinfection of infected brood prevents systemic disease spread in ant colonies,” eLife, vol. 7. eLife Sciences Publications, 2018.
[Published Version]
View
| Files available
| DOI
| WoS
2018 | Published | Journal Article | IST-REx-ID: 7 |
N. Stroeymeyt, A. V. Grasse, A. Crespi, D. Mersch, S. Cremer, and L. Keller, “Social network plasticity decreases disease transmission in a eusocial insect,” Science, vol. 362, no. 6417. AAAS, pp. 941–945, 2018.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
2018 | Research Data Reference | IST-REx-ID: 13055 |
N. Stroeymeyt, A. V. Grasse, A. Crespi, D. Mersch, S. Cremer, and L. Keller, “Social network plasticity decreases disease transmission in a eusocial insect.” Zenodo, 2018.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2018 | Published | Journal Article | IST-REx-ID: 5976 |
L. Malomo et al., “FlexMaps: Computational design of flat flexible shells for shaping 3D objects,” ACM Transactions on Graphics, vol. 37, no. 6. Association for Computing Machinery, 2018.
[Published Version]
View
| Files available
| DOI
| WoS
2018 | Published | Journal Article | IST-REx-ID: 723 |
P. Oliveto, T. Paixao, J. Pérez Heredia, D. Sudholt, and B. Trubenova, “How to escape local optima in black box optimisation when non elitism outperforms elitism,” Algorithmica, vol. 80, no. 5. Springer, pp. 1604–1633, 2018.
[Published Version]
View
| Files available
| DOI
| WoS
2018 | Published | Journal Article | IST-REx-ID: 399 |
M. M. Napiórkowski, R. Reuvers, and J. Solovej, “Calculation of the critical temperature of a dilute Bose gas in the Bogoliubov approximation,” EPL, vol. 121, no. 1. IOP Publishing, 2018.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 | Published | Journal Article | IST-REx-ID: 554 |
Napiórkowski, Marcin M, The Bogoliubov free energy functional II: The dilute Limit. Communications in Mathematical Physics 360 (1). 2018
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
2018 | Published | Journal Article | IST-REx-ID: 180 |
M. Lewi, É. Lieb, and R. Seiringer, “Statistical mechanics of the uniform electron gas,” Journal de l’Ecole Polytechnique - Mathematiques, vol. 5. Ecole Polytechnique, pp. 79–116, 2018.
[Published Version]
View
| Files available
| DOI
| arXiv
2018 | Published | Journal Article | IST-REx-ID: 295 |
D. Lundholm and R. Seiringer, “Fermionic behavior of ideal anyons,” Letters in Mathematical Physics, vol. 108, no. 11. Springer, pp. 2523–2541, 2018.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv