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 | 
O. P. Hauser, C. Hilbe, K. Chatterjee, and M. A. Nowak, “Social dilemmas among unequals,” Nature, vol. 572, no. 7770. Springer Nature, pp. 524–527, 2019.
[Submitted Version]
View
| Files available
| DOI
| WoS
2019 | Published | Journal Article | IST-REx-ID: 6837
S. Tavano and C.-P. J. Heisenberg, “Migrasomes take center stage,” Nature Cell Biology, vol. 21, no. 8. Springer Nature, pp. 918–920, 2019.
View
| DOI
| WoS
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 6840 |
K. Mysliwy and M. Napiórkowski, “Thermodynamics of inhomogeneous imperfect quantum gases in harmonic traps,” Journal of Statistical Mechanics: Theory and Experiment, vol. 2019, no. 6. IOP Publishing, 2019.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 6843 |
G. P. Gehér, T. Titkos, and D. Virosztek, “On isometric embeddings of Wasserstein spaces – the discrete case,” Journal of Mathematical Analysis and Applications, vol. 480, no. 2. Elsevier, 2019.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 6844 |
N. Picco et al., “A mathematical insight into cell labelling experiments for clonal analysis,” Journal of Anatomy, vol. 235, no. 3. Wiley, pp. 686–696, 2019.
[Published Version]
View
| Files available
| DOI
| WoS
2019 | Published | Journal Article | IST-REx-ID: 6855 |
G. Sella and N. H. Barton, “Thinking about the evolution of complex traits in the era of genome-wide association studies,” Annual Review of Genomics and Human Genetics, vol. 20. Annual Reviews, pp. 461–493, 2019.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 6856 |
M. Pickup et al., “Mating system variation in hybrid zones: Facilitation, barriers and asymmetries to gene flow,” New Phytologist, vol. 224, no. 3. Wiley, pp. 1035–1047, 2019.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 6857 |
B. Giese 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, vol. 41, no. 11. Wiley, 2019.
[Published Version]
View
| Files available
| DOI
| WoS
2019 | Published | Journal Article | IST-REx-ID: 6858 |
N. H. Barton, “Is speciation driven by cycles of mixing and isolation?,” National Science Review, vol. 6, no. 2. Oxford University Press, pp. 291–292, 2019.
[Published Version]
View
| Files available
| DOI
| WoS
2019 | Published | Journal Article | IST-REx-ID: 6859
L. Zhou and L. A. Sazanov, “Structure and conformational plasticity of the intact Thermus thermophilus V/A-type ATPase,” Science, vol. 365, no. 6455. AAAS, 2019.
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 6867 |
M. Fenu et al., “A novel magnet-based scratch method for standardisation of wound-healing assays,” Scientific Reports, vol. 9, no. 1. Springer Nature, 2019.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 6868 |
N. Byczkowicz et al., “HCN channel-mediated neuromodulation can control action potential velocity and fidelity in central axons,” eLife, vol. 8. eLife Sciences Publications, 2019.
[Published Version]
View
| Files available
| DOI
| WoS
2019 | Published | Conference Paper | IST-REx-ID: 6884 |
G. Avni, T. A. Henzinger, and D. Zikelic, “Bidding mechanisms in graph games,” presented at the MFCS: nternational Symposium on Mathematical Foundations of Computer Science, Aachen, Germany, 2019, vol. 138.
[Published Version]
View
| Files available
| DOI
| arXiv
2019 | Published | Conference Paper | IST-REx-ID: 6885 |
K. Chatterjee, T. A. Henzinger, and J. Otop, “Long-run average behavior of vector addition systems with states,” presented at the CONCUR: International Conference on Concurrency Theory, Amsterdam, Netherlands, 2019, vol. 140.
[Published Version]
View
| Files available
| DOI
2019 | Published | Conference Paper | IST-REx-ID: 6886 |
M. Aghajohari, G. Avni, and T. A. Henzinger, “Determinacy in discrete-bidding infinite-duration games,” presented at the CONCUR: International Conference on Concurrency Theory, Amsterdam, Netherlands, 2019, vol. 140.
[Published Version]
View
| Files available
| DOI
| arXiv
2019 | Published | Conference Paper | IST-REx-ID: 6887 |
K. Chatterjee, W. Dvorák, M. Henzinger, and A. Svozil, “Near-linear time algorithms for Streett objectives in graphs and MDPs,” in Leibniz International Proceedings in Informatics, Amsterdam, Netherlands, 2019, vol. 140.
[Published Version]
View
| Files available
| DOI
2019 | Published | Conference Paper | IST-REx-ID: 6888 |
M. Lechner, R. Hasani, M. Zimmer, T. A. Henzinger, and R. Grosu, “Designing worm-inspired neural networks for interpretable robotic control,” in Proceedings - IEEE International Conference on Robotics and Automation, Montreal, QC, Canada, 2019, vol. 2019–May.
[Submitted Version]
View
| Files available
| DOI
2019 | Published | Conference Paper | IST-REx-ID: 6889 |
K. Chatterjee and N. Piterman, “Combinations of Qualitative Winning for Stochastic Parity Games,” presented at the CONCUR: International Conference on Concurrency Theory, Amsterdam, Netherlands, 2019, vol. 140.
[Published Version]
View
| Files available
| DOI
2019 | Published | Book Chapter | IST-REx-ID: 6890
M. Obr and F. K. Schur, “Structural analysis of pleomorphic and asymmetric viruses using cryo-electron tomography and subtomogram averaging,” in Complementary Strategies to Study Virus Structure and Function, vol. 105, F. A. Rey, Ed. Elsevier, 2019, pp. 117–159.
View
| DOI
| WoS
| PubMed | Europe PMC
2019 | Published | Thesis | IST-REx-ID: 6894 |
M. Giacobbe, “Automatic time-unbounded reachability analysis of hybrid systems,” Institute of Science and Technology Austria, 2019.
[Published Version]
View
| Files available
| DOI