Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

3998 Publications


2019 | 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
View | DOI | Download Preprint (ext.) | arXiv
 

2019 | 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
View | DOI | Download Preprint (ext.) | arXiv
 

2019 | 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
View | Files available | DOI
 

2019 | 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
View | Files available | DOI | PubMed | Europe PMC
 

2019 | 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. https://doi.org/10.1111/nph.16180
View | Files available | DOI | PubMed | Europe PMC
 

2019 | 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
View | Files available | DOI
 

2019 | 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
View | Files available | DOI
 

2019 | 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 | PubMed | Europe PMC
 

2019 | 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
View | Files available | DOI | PubMed | Europe PMC
 

2019 | 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
View | Files available | DOI
 

2019 | 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
View | Files available | DOI
 

2019 | 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
View | Files available | DOI | arXiv
 

2019 | 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
View | Files available | DOI
 

2019 | 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
View | Files available | DOI
 

2019 | 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 | PubMed | Europe PMC
 

2019 | Thesis | IST-REx-ID: 6894 | OA
Giacobbe, M. (2019). Automatic time-unbounded reachability analysis of hybrid systems. IST Austria. https://doi.org/10.15479/AT:ISTA:6894
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6896
Oliveira, B., Yahya, A. Ç., & Novarino, G. (2019). Modeling cell-cell interactions in the brain using cerebral organoids. Brain Research. Elsevier. https://doi.org/10.1016/j.brainres.2019.146458
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6897 | OA
Zhu, Q., Gallemi, M., Pospíšil, J., Žádníková, P., Strnad, M., & Benková, E. (2019). Root gravity response module guides differential growth determining both root bending and apical hook formation in Arabidopsis. Development. The Company of Biologists. https://doi.org/10.1242/dev.175919
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6899 | OA
Bornhorst, D., Xia, P., Nakajima, H., Dingare, C., Herzog, W., Lecaudey, V., … Abdelilah-Seyfried, S. (2019). Biomechanical signaling within the developing zebrafish heart attunes endocardial growth to myocardial chamber dimensions. Nature Communications. Nature Publishing Group. https://doi.org/10.1038/s41467-019-12068-x
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6900 | OA
Cepeda Humerez, S. A., Ruess, J., & Tkačik, G. (2019). Estimating information in time-varying signals. PLoS Computational Biology. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1007290
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6906 | OA
Boccato, C., Brennecke, C., Cenatiempo, S., & Schlein, B. (2019). Optimal rate for Bose-Einstein condensation in the Gross-Pitaevskii regime. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/s00220-019-03555-9
View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6919 | OA
Qi, C., Minin, G. D., Vercellino, I., Wutz, A., & Korkhov, V. M. (2019). Structural basis of sterol recognition by human hedgehog receptor PTCH1. Science Advances. American Association for the Advancement of Science. https://doi.org/10.1126/sciadv.aaw6490
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6920
Artner, C., & Benková, E. (2019). Ethylene and cytokinin - partners in root growth regulation. Molecular Plant. Cell Press. https://doi.org/10.1016/j.molp.2019.09.003
View | DOI | PubMed | Europe PMC
 

2019 | Conference Paper | IST-REx-ID: 6931 | OA
Nowak, T., & Rybicki, J. (2019). Byzantine approximate agreement on graphs. In 33rd International Symposium on Distributed Computing (Vol. 146, p. 29:1--29:17). Budapest, Hungary: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.DISC.2019.29
View | Files available | DOI | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6933 | OA
Censor-Hillel, K., Dory, M., Korhonen, J., & Leitersdorf, D. (2019). Fast approximate shortest paths in the congested clique. In Proceedings of the 2019 ACM Symposium on Principles of Distributed Computin (pp. 74–83). Toronto, ON, Canada: ACM. https://doi.org/10.1145/3293611.3331633
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6935 | OA
Foerster, K.-T., Korhonen, J., Rybicki, J., & Schmid, S. (2019). Does preprocessing help under congestion? In Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing (pp. 259–261). Toronto, ON, Canada: ACM. https://doi.org/10.1145/3293611.3331581
View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6936 | OA
Ovaskainen, O., Rybicki, J., & Abrego, N. (2019). What can observational data reveal about metacommunity processes? Ecography. Wiley. https://doi.org/10.1111/ecog.04444
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6940 | OA
Bighin, G., Defenu, N., Nándori, I., Salasnich, L., & Trombettoni, A. (2019). Berezinskii-Kosterlitz-Thouless paired phase in coupled XY models. Physical Review Letters. American Physical Society. https://doi.org/10.1103/physrevlett.123.100601
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6942 | OA
Ashok, P., Brázdil, T., Chatterjee, K., Křetínský, J., Lampert, C., & Toman, V. (2019). Strategy representation by decision trees with linear classifiers. In 16th International Conference on Quantitative Evaluation of Systems (Vol. 11785, pp. 109–128). Glasgow, United Kingdom: Springer Nature. https://doi.org/10.1007/978-3-030-30281-8_7
View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 9261
Laccone, F., Malomo, L., Perez Rodriguez, J., Pietroni, N., Ponchio, F., Bickel, B., & Cignoni, P. (2019). FlexMaps Pavilion: A twisted arc made of mesostructured flat flexible panels. In IASS Symposium 2019 - 60th Anniversary Symposium of the International Association for Shell and Spatial Structures; Structural Membranes 2019 - 9th International Conference on Textile Composites and Inflatable Structures, FORM and FORCE (pp. 509–515). Barcelona, Spain: International Center for Numerical Methods in Engineering.
View
 

2019 | Journal Article | IST-REx-ID: 138 | OA
Nikolic, N. (2019). Autoregulation of bacterial gene expression: lessons from the MazEF toxin–antitoxin system. Current Genetics. Springer. https://doi.org/10.1007/s00294-018-0879-8
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 151 | OA
Fischer, J. L., & Kneuss, O. (2019). Bi-Sobolev solutions to the prescribed Jacobian inequality in the plane with L p data and applications to nonlinear elasticity. Journal of Differential Equations. Elsevier. https://doi.org/10.1016/j.jde.2018.07.045
View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Preprint | IST-REx-ID: 10065 | OA
Hofmann, A. C., Jirovec, D., Borovkov, M., Prieto Gonzalez, I., Ballabio, A., Frigerio, J., … Katsaros, G. (n.d.). Assessing the potential of Ge/SiGe quantum dots as hosts for singlet-triplet qubits. arXiv.
View | Files available | Download Preprint (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 10190 | OA
Chatterjee, K., Pavlogiannis, A., & Toman, V. (2019). Value-centric dynamic partial order reduction. In Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications (Vol. 3). Athens, Greece: ACM. https://doi.org/10.1145/3360550
View | Files available | DOI | Download Published Version (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 105 | OA
Marsh, A., Novarino, G., Lockhart, P., & Leventer, R. (2019). CUGC for pontocerebellar hypoplasia type 9 and spastic paraplegia-63. European Journal of Human Genetics. Springer Nature. https://doi.org/10.1038/s41431-018-0231-2
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 27 | OA
Amberg, N., Laukoter, S., & Hippenmeyer, S. (2019). Epigenetic cues modulating the generation of cell type diversity in the cerebral cortex. Journal of Neurochemistry. Wiley. https://doi.org/10.1111/jnc.14601
View | Files available | DOI
 

2019 | Research Data Reference | IST-REx-ID: 9786
Ruess, J., Pleska, M., Guet, C. C., & Tkačik, G. (2019). Supporting text and results. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1007168.s001
View | Files available | DOI
 

2019 | Research Data Reference | IST-REx-ID: 9789
Pokusaeva, V., Usmanova, D. R., Putintseva, E. V., Espinar, L., Sarkisyan, K., Mishin, A. S., … Kondrashov, F. (2019). Multiple alignment of His3 orthologues. Public Library of Science. https://doi.org/10.1371/journal.pgen.1008079.s010
View | Files available | DOI
 

2019 | Research Data Reference | IST-REx-ID: 9790
Pokusaeva, V., Usmanova, D. R., Putintseva, E. V., Espinar, L., Sarkisyan, K., Mishin, A. S., … Kondrashov, F. (2019). A statistical summary of segment libraries and sequencing results. Public Library of Science. https://doi.org/10.1371/journal.pgen.1008079.s011
View | Files available | DOI
 

2019 | Research Data Reference | IST-REx-ID: 9797
Pokusaeva, V., Usmanova, D. R., Putintseva, E. V., Espinar, L., Sarkisyan, K., Mishin, A. S., … Kondrashov, F. (2019). A statistical summary of segment libraries and sequencing results. Public Library of Science. https://doi.org/10.1371/journal.pgen.1008079.s011
View | Files available | DOI
 

2019 | Research Data Reference | IST-REx-ID: 9801
Merrill, R. M., Rastas, P., Martin, S. H., Melo Hurtado, M. C., Barker, S., Davey, J., … Jiggins, C. D. (2019). Raw behavioral data. Public Library of Science. https://doi.org/10.1371/journal.pbio.2005902.s006
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 405 | OA
Virosztek, D. (2019). Jointly convex quantum Jensen divergences. Linear Algebra and Its Applications. Elsevier. https://doi.org/10.1016/j.laa.2018.03.002
View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 429 | OA
Ajanki, O. H., Erdös, L., & Krüger, T. H. (2019). Stability of the matrix Dyson equation and random matrices with correlations. Probability Theory and Related Fields. Springer. https://doi.org/10.1007/s00440-018-0835-z
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 439 | OA
Hausel, T., Mereb, M., & Wong, M. (2019). Arithmetic and representation theory of wild character varieties. Journal of the European Mathematical Society. European Mathematical Society. https://doi.org/10.4171/JEMS/896
View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 441 | OA
Kalinin, N., & Shkolnikov, M. (2019). Tropical formulae for summation over a part of SL(2,Z). European Journal of Mathematics. Springer Nature. https://doi.org/10.1007/s40879-018-0218-0
View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 10877 | OA
Frehse, G., Abate, A., Adzkiya, D., Becchi, A., Bu, L., Cimatti, A., … Zaffanella, E. (2019). ARCH-COMP19 Category Report: Hybrid systems with piecewise constant dynamics. In G. Frehse & M. Althoff (Eds.), ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems (Vol. 61, pp. 1–13). Montreal, Canada: EasyChair. https://doi.org/10.29007/rjwn
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 7391 | OA
Tabata, S., Jevtic, M., Kurashige, N., Fuchida, H., Kido, M., Tani, K., … Ojida, A. (2019). Electron microscopic detection of single membrane proteins by a specific chemical labeling. IScience. Elsevier. https://doi.org/10.1016/j.isci.2019.11.025
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Conference Paper | IST-REx-ID: 7402 | OA
Chatterjee, K., & Doyen, L. (2019). Graph planning with expected finite horizon. In 34th Annual ACM/IEEE Symposium on Logic in Computer Science (pp. 1–13). Vancouver, BC, Canada: IEEE. https://doi.org/10.1109/lics.2019.8785706
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 196 | OA
Lang, M., & Shkolnikov, M. (2019). Harmonic dynamics of the Abelian sandpile. Proceedings of the National Academy of Sciences. National Academy of Sciences. https://doi.org/10.1073/pnas.1812015116
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC | arXiv
 

2019 | 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
View | Files available | DOI | arXiv
 

Filters and Search Terms

extern<>1

Search

Filter Publications