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.
5507 Publications
2019 | Published | Journal Article | IST-REx-ID: 6836 | 
Hauser OP, Hilbe C, Chatterjee K, Nowak MA. Social dilemmas among unequals. Nature. 2019;572(7770):524-527. doi:10.1038/s41586-019-1488-5
[Submitted Version]
View
| Files available
| DOI
| WoS
2019 | Published | Journal Article | IST-REx-ID: 6837
Tavano S, Heisenberg C-PJ. Migrasomes take center stage. Nature Cell Biology. 2019;21(8):918-920. doi:10.1038/s41556-019-0369-3
View
| DOI
| WoS
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 6840 |
Mysliwy K, Napiórkowski M. Thermodynamics of inhomogeneous imperfect quantum gases in harmonic traps. Journal of Statistical Mechanics: Theory and Experiment. 2019;2019(6). doi:10.1088/1742-5468/ab190d
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 6843 |
Gehér GP, Titkos T, Virosztek D. On isometric embeddings of Wasserstein spaces – the discrete case. Journal of Mathematical Analysis and Applications. 2019;480(2). doi:10.1016/j.jmaa.2019.123435
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 6844 |
Picco N, Hippenmeyer S, Rodarte J, et al. A mathematical insight into cell labelling experiments for clonal analysis. Journal of Anatomy. 2019;235(3):686-696. doi:10.1111/joa.13001
[Published Version]
View
| Files available
| DOI
| WoS
2019 | Published | Journal Article | IST-REx-ID: 6855 |
Sella G, Barton NH. Thinking about the evolution of complex traits in the era of genome-wide association studies. Annual Review of Genomics and Human Genetics. 2019;20:461-493. doi:10.1146/annurev-genom-083115-022316
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 6856 |
Pickup M, Barton NH, Brandvain Y, et al. Mating system variation in hybrid zones: Facilitation, barriers and asymmetries to gene flow. New Phytologist. 2019;224(3):1035-1047. doi:10.1111/nph.16180
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 6857 |
Giese B, Friess JL, Schetelig MF, et al. Gene Drives: Dynamics and regulatory matters – A report from the workshop “Evaluation of spatial and temporal control of Gene Drives”, 4 – 5 April 2019, Vienna. BioEssays. 2019;41(11). doi:10.1002/bies.201900151
[Published Version]
View
| Files available
| DOI
| WoS
2019 | Published | Journal Article | IST-REx-ID: 6858 |
Barton NH. Is speciation driven by cycles of mixing and isolation? National Science Review. 2019;6(2):291-292. doi:10.1093/nsr/nwy113
[Published Version]
View
| Files available
| DOI
| WoS
2019 | Published | Journal Article | IST-REx-ID: 6859
Zhou L, Sazanov LA. Structure and conformational plasticity of the intact Thermus thermophilus V/A-type ATPase. Science. 2019;365(6455). doi:10.1126/science.aaw9144
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 6867 |
Fenu M, Bettermann T, Vogl C, et al. A novel magnet-based scratch method for standardisation of wound-healing assays. Scientific Reports. 2019;9(1). doi:10.1038/s41598-019-48930-7
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 6868 |
Byczkowicz N, Eshra A, Montanaro-Punzengruber J-C, et al. HCN channel-mediated neuromodulation can control action potential velocity and fidelity in central axons. eLife. 2019;8. doi:10.7554/eLife.42766
[Published Version]
View
| Files available
| DOI
| WoS
2019 | Published | Conference Paper | IST-REx-ID: 6884 |
Avni G, Henzinger TA, Zikelic D. Bidding mechanisms in graph games. In: Vol 138. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2019. doi:10.4230/LIPICS.MFCS.2019.11
[Published Version]
View
| Files available
| DOI
| arXiv
2019 | Published | Conference Paper | IST-REx-ID: 6885 |
Chatterjee K, Henzinger TA, Otop J. Long-run average behavior of vector addition systems with states. In: Vol 140. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2019. doi:10.4230/LIPICS.CONCUR.2019.27
[Published Version]
View
| Files available
| DOI
2019 | Published | Conference Paper | IST-REx-ID: 6886 |
Aghajohari M, Avni G, Henzinger TA. Determinacy in discrete-bidding infinite-duration games. In: Vol 140. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2019. doi:10.4230/LIPICS.CONCUR.2019.20
[Published Version]
View
| Files available
| DOI
| arXiv
2019 | Published | Conference Paper | IST-REx-ID: 6887 |
Chatterjee K, Dvorák W, Henzinger M, Svozil A. Near-linear time algorithms for Streett objectives in graphs and MDPs. In: Leibniz International Proceedings in Informatics. Vol 140. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2019. doi:10.4230/LIPICS.CONCUR.2019.7
[Published Version]
View
| Files available
| DOI
2019 | Published | Conference Paper | IST-REx-ID: 6888 |
Lechner M, Hasani R, Zimmer M, Henzinger TA, Grosu R. Designing worm-inspired neural networks for interpretable robotic control. In: Proceedings - IEEE International Conference on Robotics and Automation. Vol 2019-May. IEEE; 2019. doi:10.1109/icra.2019.8793840
[Submitted Version]
View
| Files available
| DOI
2019 | Published | Conference Paper | IST-REx-ID: 6889 |
Chatterjee K, Piterman N. Combinations of Qualitative Winning for Stochastic Parity Games. In: Vol 140. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2019. doi:10.4230/LIPICS.CONCUR.2019.6
[Published Version]
View
| Files available
| DOI
2019 | Published | Book Chapter | IST-REx-ID: 6890
Obr M, Schur FK. Structural analysis of pleomorphic and asymmetric viruses using cryo-electron tomography and subtomogram averaging. In: Rey FA, ed. Complementary Strategies to Study Virus Structure and Function. Vol 105. Advances in Virus Research. Elsevier; 2019:117-159. doi:10.1016/bs.aivir.2019.07.008
View
| DOI
| WoS
| PubMed | Europe PMC
2019 | Published | Thesis | IST-REx-ID: 6894 |
Giacobbe M. Automatic time-unbounded reachability analysis of hybrid systems. 2019. doi:10.15479/AT:ISTA:6894
[Published Version]
View
| Files available
| DOI