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.

517 Publications


2019 | Conference Paper | IST-REx-ID: 6822 | OA
Avni, G., Henzinger, T. A., Ibsen-Jensen, R., & Novotny, P. (2019). Bidding games on Markov decision processes. In Proceedings of the 13th International Conference of Reachability Problems (Vol. 11674, pp. 1–12). Brussels, Belgium: Springer. https://doi.org/10.1007/978-3-030-30806-3_1
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6824
Gärtner, F. R., & Massberg, S. (2019). Patrolling the vascular borders: Platelets in immunity to infection and cancer. Nature Reviews Immunology. Springer Nature. https://doi.org/10.1038/s41577-019-0202-z
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6828 | OA
Brown, A. (2019). Arakawa-Suzuki functors for Whittaker modules. Journal of Algebra. Elsevier. https://doi.org/10.1016/j.jalgebra.2019.07.027
View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6832
Krndija, D., Marjou, F. E., Guirao, B., Richon, S., Leroy, O., Bellaiche, Y., … Vignjevic, D. M. (2019). Active cell migration is critical for steady-state epithelial turnover in the gut. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.aau3429
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6835 | OA
Destagnol, K. N., & Sofos, E. (2019). Rational points and prime values of polynomials in moderately many variables. Bulletin Des Sciences Mathematiques. Elsevier. https://doi.org/10.1016/j.bulsci.2019.102794
View | DOI | Download Preprint (ext.) | arXiv
 

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

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

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 | Journal Article | IST-REx-ID: 8693 | OA
Chierchia, L., & Koudjinan, E. (2019). V. I. Arnold’s “pointwise” KAM theorem. Regular and Chaotic Dynamics. Springer. https://doi.org/10.1134/S1560354719060017
View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 9016 | OA
Bakail, M. M., Rodriguez‐Marin, S., Hegedüs, Z., Perrin, M. E., Ochsenbein, F., & Wilson, A. J. (2019). Recognition of ASF1 by using hydrocarbon‐constrained peptides. ChemBioChem. Wiley. https://doi.org/10.1002/cbic.201800633
View | DOI | Download Published Version (ext.)
 

2019 | Journal Article | IST-REx-ID: 9018 | OA
Bakail MM, Gaubert A, Andreani J, Moal G, Pinna G, Boyarchuk E, Gaillard M-C, Courbeyrette R, Mann C, Thuret J-Y, Guichard B, Murciano B, Richet N, Poitou A, Frederic C, Le Du M-H, Agez M, Roelants C, Gurard-Levin ZA, Almouzni G, Cherradi N, Guerois R, Ochsenbein F. 2019. Design on a rational basis of high-affinity peptides inhibiting the histone chaperone ASF1. Cell Chemical Biology. 26(11), 1573–1585.e10.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 9060 | OA
Ramananarivo, S., Ducrot, E., & Palacci, J. A. (2019). Activity-controlled annealing of colloidal monolayers. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-019-11362-y
View | Files available | DOI | PubMed | Europe PMC | 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 | 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: 10354 | OA
Harker-Kirschneck, L., Baum, B., & Šarić, A. (2019). Changes in ESCRT-III filament geometry drive membrane remodelling and fission in silico. BMC Biology. Springer Nature. https://doi.org/10.1186/s12915-019-0700-2
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 10355 | OA
Hafner, A. E., Krausser, J., & Šarić, A. (2019). Minimal coarse-grained models for molecular self-organisation in biology. Current Opinion in Structural Biology. Elsevier. https://doi.org/10.1016/j.sbi.2019.05.018
View | DOI | Download Preprint (ext.) | PubMed | Europe PMC
 

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 | Journal Article | IST-REx-ID: 9460 | OA
Kim, M. Y., Ono, A., Scholten, S., Kinoshita, T., Zilberman, D., Okamoto, T., & Fischer, R. L. (2019). DNA demethylation by ROS1a in rice vegetative cells promotes methylation in sperm. Proceedings of the National Academy of Sciences. National Academy of Sciences. https://doi.org/10.1073/pnas.1821435116
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 9530 | OA
Harris, K. D., Lloyd, J. P. B., Domb, K., Zilberman, D., & Zemach, A. (2019). DNA methylation is maintained with high fidelity in the honey bee germline and exhibits global non-functional fluctuations during somatic development. Epigenetics and Chromatin. Springer Nature. https://doi.org/10.1186/s13072-019-0307-4
View | Files available | DOI | PubMed | Europe PMC
 

Filters and Search Terms

year=2019

Search

Filter Publications