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.
5339 Publications
2018 | Published | Conference Paper | IST-REx-ID: 310 | 
Lower bounds for symbolic computation on graphs: Strongly connected components, liveness, safety, and diameter
K. Chatterjee, W. Dvorák, M. Henzinger, V. Loitzenbauer, in:, ACM, 2018, pp. 2341–2356.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
K. Chatterjee, W. Dvorák, M. Henzinger, V. Loitzenbauer, in:, ACM, 2018, pp. 2341–2356.
2018 | Published | Journal Article | IST-REx-ID: 312 |
On the optimality of the FCC lattice for soft sphere packing
H. Edelsbrunner, M. Iglesias Ham, SIAM J Discrete Math 32 (2018) 750–782.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
H. Edelsbrunner, M. Iglesias Ham, SIAM J Discrete Math 32 (2018) 750–782.
2018 | Published | Journal Article | IST-REx-ID: 314 |
The science of living matter for tomorrow
G. Bauer, N. Fakhri, A. Kicheva, J. Kondev, K. Kruse, H. Noji, D. Riveline, T. Saunders, M. Thatta, E. Wieschaus, Cell Systems 6 (2018) 400–402.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
G. Bauer, N. Fakhri, A. Kicheva, J. Kondev, K. Kruse, H. Noji, D. Riveline, T. Saunders, M. Thatta, E. Wieschaus, Cell Systems 6 (2018) 400–402.
2018 | Published | Journal Article | IST-REx-ID: 423 |
CRISPR-based herd immunity can limit phage epidemics in bacterial populations
P. Payne, L. Geyrhofer, N.H. Barton, J.P. Bollback, ELife 7 (2018).
[Published Version]
View
| Files available
| DOI
| WoS
P. Payne, L. Geyrhofer, N.H. Barton, J.P. Bollback, ELife 7 (2018).
2018 | Published | Journal Article | IST-REx-ID: 425 |
Embeddability in the 3-Sphere is decidable
J. Matoušek, E. Sedgwick, M. Tancer, U. Wagner, Journal of the ACM 65 (2018).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
J. Matoušek, E. Sedgwick, M. Tancer, U. Wagner, Journal of the ACM 65 (2018).
2018 | Published | Journal Article | IST-REx-ID: 426
Individual- and ejaculate-specific sperm traits in ant males
S. Metzler, A. Schrempf, J. Heinze, Journal of Insect Physiology 107 (2018) 284–290.
View
| DOI
| WoS
S. Metzler, A. Schrempf, J. Heinze, Journal of Insect Physiology 107 (2018) 284–290.
2018 | Published | Journal Article | IST-REx-ID: 427 |
Quantum interference in laser spectroscopy of highly charged lithiumlike ions
P. Amaro, U. Loureiro, L. Safari, F. Fratini, P. Indelicato, T. Stöhlker, J. Santos, Physical Review A - Atomic, Molecular, and Optical Physics 97 (2018).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
P. Amaro, U. Loureiro, L. Safari, F. Fratini, P. Indelicato, T. Stöhlker, J. Santos, Physical Review A - Atomic, Molecular, and Optical Physics 97 (2018).
2018 | Published | Journal Article | IST-REx-ID: 428 |
Gibberellin DELLA signaling targets the retromer complex to redirect protein trafficking to the plasma membrane
Y. Salanenka, I. Verstraeten, C. Löfke, K. Tabata, S. Naramoto, M. Glanc, J. Friml, PNAS 115 (2018) 3716–3721.
[Published Version]
View
| Files available
| DOI
| WoS
Y. Salanenka, I. Verstraeten, C. Löfke, K. Tabata, S. Naramoto, M. Glanc, J. Friml, PNAS 115 (2018) 3716–3721.
2018 | Published | Journal Article | IST-REx-ID: 43 |
Model of bacterial toxin-dependent pathogenesis explains infective dose
J. Rybicki, E. Kisdi, J. Anttila, PNAS 115 (2018) 10690–10695.
[Submitted Version]
View
| Files available
| DOI
| WoS
J. Rybicki, E. Kisdi, J. Anttila, PNAS 115 (2018) 10690–10695.
2018 | Published | Journal Article | IST-REx-ID: 430 |
Tread lightly interpreting polygenic tests of selection
J. Novembre, N.H. Barton, Genetics 208 (2018) 1351–1355.
[Published Version]
View
| Files available
| DOI
| WoS
J. Novembre, N.H. Barton, Genetics 208 (2018) 1351–1355.
2018 | Published | Conference Paper | IST-REx-ID: 433 |
Thrackles: An improved upper bound
R. Fulek, J. Pach, in:, Springer, 2018, pp. 160–166.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| arXiv
R. Fulek, J. Pach, in:, Springer, 2018, pp. 160–166.
2018 | Published | Journal Article | IST-REx-ID: 434
Safety-assured model-driven design of the multifunction vehicle bus controller
Y. Jiang, H. Liu, H. Song, H. Kong, R. Wang, Y. Guan, L. Sha, IEEE Transactions on Intelligent Transportation Systems 19 (2018) 3320–3333.
View
| Files available
| DOI
| WoS
Y. Jiang, H. Liu, H. Song, H. Kong, R. Wang, Y. Guan, L. Sha, IEEE Transactions on Intelligent Transportation Systems 19 (2018) 3320–3333.
2018 | Published | Journal Article | IST-REx-ID: 435 |
Coherent-perfect-absorber and laser for bound states in a continuum
B. Midya, V. Konotop, Optics Letters 43 (2018) 607–610.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
B. Midya, V. Konotop, Optics Letters 43 (2018) 607–610.
2018 | Published | Journal Article | IST-REx-ID: 436 |
Manipulating the flow of thermal noise in quantum devices
S. Barzanjeh, M. Aquilina, A. Xuereb, Physical Review Letters 120 (2018).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
S. Barzanjeh, M. Aquilina, A. Xuereb, Physical Review Letters 120 (2018).
2018 | Published | Journal Article | IST-REx-ID: 437 |
Fast and efficient genetic engineering of hematopoietic precursor cells for the study of dendritic cell migration
A.F. Leithner, J. Renkawitz, I. de Vries, R. Hauschild, H. Haecker, M.K. Sixt, European Journal of Immunology 48 (2018) 1074–1077.
[Published Version]
View
| Files available
| DOI
| WoS
A.F. Leithner, J. Renkawitz, I. de Vries, R. Hauschild, H. Haecker, M.K. Sixt, European Journal of Immunology 48 (2018) 1074–1077.
2018 | Published | Journal Article | IST-REx-ID: 438 |
Autoregulation of mazEF expression underlies growth heterogeneity in bacterial populations
N. Nikolic, T. Bergmiller, A. Vandervelde, T. Albanese, L. Gelens, I. Moll, Nucleic Acids Research 46 (2018) 2918–2931.
[Published Version]
View
| Files available
| DOI
| WoS
N. Nikolic, T. Bergmiller, A. Vandervelde, T. Albanese, L. Gelens, I. Moll, Nucleic Acids Research 46 (2018) 2918–2931.
2018 | Published | Journal Article | IST-REx-ID: 44 |
Quantum scarred eigenstates in a Rydberg atom chain: Entanglement, breakdown of thermalization, and stability to perturbations
C.J. Turner, A. Michailidis, D.A. Abanin, M. Serbyn, Z. Papić, Physical Review B 98 (2018).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
C.J. Turner, A. Michailidis, D.A. Abanin, M. Serbyn, Z. Papić, Physical Review B 98 (2018).
2018 | Published | Journal Article | IST-REx-ID: 446 |
The ionization conjecture in Thomas–Fermi–Dirac–von Weizsäcker theory
R. Frank, P. Nam, H. Van Den Bosch, Communications on Pure and Applied Mathematics 71 (2018) 577–614.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
R. Frank, P. Nam, H. Van Den Bosch, Communications on Pure and Applied Mathematics 71 (2018) 577–614.
2018 | Published | Journal Article | IST-REx-ID: 448 |
Hemimetabolous genomes reveal molecular basis of termite eusociality
Harrison M, Jongepier E, Robertson H, Arning N, Bitard Feildel T, Chao H, Childers C, Dinh H, Doddapaneni H, Dugan S, Gowin J, Greiner C, Han Y, Hu H, Hughes D, Huylmans AK, Kemena K, Kremer L, Lee S, López Ezquerra A, Mallet L, Monroy Kuhn J, Moser A, Murali S, Muzny D, Otani S, Piulachs M, Poelchau M, Qu J, Schaub F, Wada Katsumata A, Worley K, Xie Q, Ylla G, Poulsen M, Gibbs R, Schal C, Richards S, Belles X, Korb J, Bornberg Bauer E. 2018. Hemimetabolous genomes reveal molecular basis of termite eusociality. Nature Ecology and Evolution. 2(3), 557–566.
[Published Version]
View
| Files available
| DOI
| WoS
Harrison M, Jongepier E, Robertson H, Arning N, Bitard Feildel T, Chao H, Childers C, Dinh H, Doddapaneni H, Dugan S, Gowin J, Greiner C, Han Y, Hu H, Hughes D, Huylmans AK, Kemena K, Kremer L, Lee S, López Ezquerra A, Mallet L, Monroy Kuhn J, Moser A, Murali S, Muzny D, Otani S, Piulachs M, Poelchau M, Qu J, Schaub F, Wada Katsumata A, Worley K, Xie Q, Ylla G, Poulsen M, Gibbs R, Schal C, Richards S, Belles X, Korb J, Bornberg Bauer E. 2018. Hemimetabolous genomes reveal molecular basis of termite eusociality. Nature Ecology and Evolution. 2(3), 557–566.
2018 | Published | Journal Article | IST-REx-ID: 454 |
Crosstalk in concurrent repeated games impedes direct reciprocity and requires stronger levels of forgiveness
J. Reiter, C. Hilbe, D. Rand, K. Chatterjee, M. Nowak, Nature Communications 9 (2018).
[Published Version]
View
| Files available
| DOI
| WoS
J. Reiter, C. Hilbe, D. Rand, K. Chatterjee, M. Nowak, Nature Communications 9 (2018).