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.




5473 Publications

2019 | Published | Journal Article | IST-REx-ID: 6836 | OA
Hauser, O. P., Hilbe, C., Chatterjee, K., & Nowak, M. A. (2019). Social dilemmas among unequals. Nature. Springer Nature. https://doi.org/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.-P. J. (2019). Migrasomes take center stage. Nature Cell Biology. Springer Nature. https://doi.org/10.1038/s41556-019-0369-3
View | DOI | WoS | PubMed | Europe PMC
 
2019 | Published | Journal Article | IST-REx-ID: 6840 | OA
Mysliwy, K., & Napiórkowski, M. (2019). Thermodynamics of inhomogeneous imperfect quantum gases in harmonic traps. Journal of Statistical Mechanics: Theory and Experiment. IOP Publishing. https://doi.org/10.1088/1742-5468/ab190d
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Published | Journal Article | IST-REx-ID: 6843 | OA
Gehér, G. P., Titkos, T., & Virosztek, D. (2019). On isometric embeddings of Wasserstein spaces – the discrete case. Journal of Mathematical Analysis and Applications. Elsevier. https://doi.org/10.1016/j.jmaa.2019.123435
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Published | Journal Article | IST-REx-ID: 6844 | OA
Picco, N., Hippenmeyer, S., Rodarte, J., Streicher, C., Molnár, Z., Maini, P. K., & Woolley, T. E. (2019). A mathematical insight into cell labelling experiments for clonal analysis. Journal of Anatomy. Wiley. https://doi.org/10.1111/joa.13001
[Published Version] View | Files available | DOI | WoS
 
2019 | Published | Journal Article | IST-REx-ID: 6855 | OA
Sella, G., & Barton, N. H. (2019). Thinking about the evolution of complex traits in the era of genome-wide association studies. Annual Review of Genomics and Human Genetics. Annual Reviews. https://doi.org/10.1146/annurev-genom-083115-022316
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2019 | Published | Journal Article | IST-REx-ID: 6856 | OA
Pickup, M., Barton, N. H., Brandvain, Y., Fraisse, C., Yakimowski, S., Dixit, T., … Field, D. (2019). Mating system variation in hybrid zones: Facilitation, barriers and asymmetries to gene flow. New Phytologist. Wiley. https://doi.org/10.1111/nph.16180
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2019 | Published | Journal Article | IST-REx-ID: 6857 | OA
Giese, B., Friess, J. L., Schetelig, M. F., Barton, N. H., Messer, P., Debarre, F., … Boete, C. (2019). 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. Wiley. https://doi.org/10.1002/bies.201900151
[Published Version] View | Files available | DOI | WoS
 
2019 | Published | Journal Article | IST-REx-ID: 6858 | OA
Barton, N. H. (2019). Is speciation driven by cycles of mixing and isolation? National Science Review. Oxford University Press. https://doi.org/10.1093/nsr/nwy113
[Published Version] View | Files available | DOI | WoS
 
2019 | Published | Journal Article | IST-REx-ID: 6859
Zhou, L., & Sazanov, L. A. (2019). Structure and conformational plasticity of the intact Thermus thermophilus V/A-type ATPase. Science. AAAS. https://doi.org/10.1126/science.aaw9144
View | Files available | DOI | WoS | PubMed | Europe PMC
 
2019 | Published | Journal Article | IST-REx-ID: 6867 | OA
Fenu, M., Bettermann, T., Vogl, C., Darwish-Miranda, N., Schramel, J., Jenner, F., & Ribitsch, I. (2019). A novel magnet-based scratch method for standardisation of wound-healing assays. Scientific Reports. Springer Nature. https://doi.org/10.1038/s41598-019-48930-7
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2019 | Published | Journal Article | IST-REx-ID: 6868 | OA
Byczkowicz, N., Eshra, A., Montanaro-Punzengruber, J.-C., Trevisiol, A., Hirrlinger, J., Kole, M. H., … Hallermann, S. (2019). HCN channel-mediated neuromodulation can control action potential velocity and fidelity in central axons. ELife. eLife Sciences Publications. https://doi.org/10.7554/eLife.42766
[Published Version] View | Files available | DOI | WoS
 
2019 | Published | Conference Paper | IST-REx-ID: 6884 | OA
Avni, G., Henzinger, T. A., & Zikelic, D. (2019). Bidding mechanisms in graph games (Vol. 138). Presented at the MFCS: nternational Symposium on Mathematical Foundations of Computer Science, Aachen, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.MFCS.2019.11
[Published Version] View | Files available | DOI | arXiv
 
2019 | Published | Conference Paper | IST-REx-ID: 6885 | OA
Chatterjee, K., Henzinger, T. A., & Otop, J. (2019). Long-run average behavior of vector addition systems with states (Vol. 140). Presented at the CONCUR: International Conference on Concurrency Theory, Amsterdam, Netherlands: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.CONCUR.2019.27
[Published Version] View | Files available | DOI
 
2019 | Published | Conference Paper | IST-REx-ID: 6886 | OA
Aghajohari, M., Avni, G., & Henzinger, T. A. (2019). Determinacy in discrete-bidding infinite-duration games (Vol. 140). Presented at the CONCUR: International Conference on Concurrency Theory, Amsterdam, Netherlands: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.CONCUR.2019.20
[Published Version] View | Files available | DOI | arXiv
 
2019 | Published | Conference Paper | IST-REx-ID: 6887 | OA
Chatterjee, K., Dvorák, W., Henzinger, M., & Svozil, A. (2019). Near-linear time algorithms for Streett objectives in graphs and MDPs. In Leibniz International Proceedings in Informatics (Vol. 140). Amsterdam, Netherlands: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.CONCUR.2019.7
[Published Version] View | Files available | DOI
 
2019 | Published | Conference Paper | IST-REx-ID: 6888 | OA
Lechner, M., Hasani, R., Zimmer, M., Henzinger, T. A., & Grosu, R. (2019). Designing worm-inspired neural networks for interpretable robotic control. In Proceedings - IEEE International Conference on Robotics and Automation (Vol. 2019–May). Montreal, QC, Canada: IEEE. https://doi.org/10.1109/icra.2019.8793840
[Submitted Version] View | Files available | DOI
 
2019 | Published | Conference Paper | IST-REx-ID: 6889 | OA
Chatterjee, K., & Piterman, N. (2019). Combinations of Qualitative Winning for Stochastic Parity Games (Vol. 140). Presented at the CONCUR: International Conference on Concurrency Theory, Amsterdam, Netherlands: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.CONCUR.2019.6
[Published Version] View | Files available | DOI
 
2019 | Published | Book Chapter | IST-REx-ID: 6890
Obr, M., & Schur, F. K. (2019). Structural analysis of pleomorphic and asymmetric viruses using cryo-electron tomography and subtomogram averaging. In F. A. Rey (Ed.), Complementary Strategies to Study Virus Structure and Function (Vol. 105, pp. 117–159). Elsevier. https://doi.org/10.1016/bs.aivir.2019.07.008
View | DOI | WoS | PubMed | Europe PMC
 
2019 | Published | Thesis | IST-REx-ID: 6894 | OA
Giacobbe, M. (2019). Automatic time-unbounded reachability analysis of hybrid systems. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:6894
[Published Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed