en
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.
2401 Publications
2019 | Conference Paper | IST-REx-ID: 6035 
Bogomolov, S., Forets, M., Frehse, G., Potomkin, K., & Schilling, C. (n.d.). JuliaReach: A toolbox for set-based reachability. In Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control (Vol. 22, pp. 39–44). Montreal, QC, Canada: ACM. https://doi.org/10.1145/3302504.3311804
View
| Files available
| DOI
| Download (ext.)
| arXiv
2019 | Conference Paper | IST-REx-ID: 6042
Christakis, M., Heizmann, M., Mansur, M. N., Schilling, C., & Wüstholz, V. (2019). Semantic fault localization and suspiciousness ranking. In 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 11427, pp. 226–243). Prague, Czech Republic: Springer Nature. https://doi.org/10.1007/978-3-030-17462-0_13
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 6105
Kutzer, M., Kurtz, J., & Armitage, S. A. O. (2019). A multi-faceted approach testing the effects of previous bacterial exposure on resistance and tolerance. Journal of Animal Ecology. https://doi.org/10.1111/1365-2656.12953
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 6092
Mentink, J. H., Katsnelson, M., & Lemeshko, M. (2019). Quantum many-body dynamics of the Einstein-de Haas effect. Physical Review B, 99(6), 064428. https://doi.org/10.1103/PhysRevB.99.064428
View
| DOI
| Download (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 6232
Gerencser, M. (2019). Boundary regularity of stochastic PDEs. Annals of Probability, 47(2), 804–834. https://doi.org/10.1214/18-AOP1272
View
| DOI
| Download (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 6174
Dumitrescu, P. T., Goremykina, A., Parameswaran, S. A., Serbyn, M., & Vasseur, R. (2019). Kosterlitz-Thouless scaling at many-body localization phase transitions. Physical Review B, 99(9). https://doi.org/10.1103/physrevb.99.094205
View
| DOI
| Download (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 6338
Stella, F., Baracskay, P., O’Neill, J., & Csicsvari, J. L. (2019). Hippocampal reactivation of random trajectories resembling Brownian diffusion. Neuron, 102, 1–12. https://doi.org/10.1016/j.neuron.2019.01.052
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 6465
Chassin, H., Müller, M., Tigges, M., Scheller, L., Lang, M., & Fussenegger, M. (2019). A modular degron library for synthetic circuits in mammalian cells. Nature Communications, 10(1), 2013. https://doi.org/10.1038/s41467-019-09974-5
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 6352
Temnov, A. A., Rogov, K. A., Sklifas, A. N., Klychnikova, E. V., Hartl, M., Djinovic-Carugo, K., & Charnagalov, A. (2019). Protective properties of the cultured stem cell proteome studied in an animal model of acetaminophen-induced acute liver failure. Molecular Biology Reports. https://doi.org/10.1007/s11033-019-04765-z
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 6415
Cremer, S. (2019). Pathogens and disease defense of invasive ants. Current Opinion in Insect Science, 33, 63–68. https://doi.org/10.1016/j.cois.2019.03.011
View
| DOI
2019 | Journal Article | IST-REx-ID: 6713
Castro, J. P., Yancoskie, M. N., Marchini, M., Belohlavy, S., Hiramatsu, L., Kučka, M., … Chan, Y. F. (2019). An integrative genomic analysis of the Longshanks selection experiment for longer limbs in mice. ELife, 8, e42014. https://doi.org/10.7554/eLife.42014
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 6725
Kolmogorov, V. (2019). Testing the complexity of a valued CSP language. In 46th International Colloquium on Automata, Languages and Programming (Vol. 132, p. 77:1-77:12). Patras, Greece: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.ICALP.2019.77
View
| Files available
| DOI
| arXiv
2019 | Journal Article | IST-REx-ID: 6559
Hannezo, E. B., & Simons, B. D. (2019). Multiscale dynamics of branching morphogenesis. Current Opinion in Cell Biology, 60, 99–105. https://doi.org/10.1016/j.ceb.2019.04.008
View
| DOI
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 6566
Ibáñez, M., Genç, A., Hasler, R., Liu, Y., Dobrozhan, O., Nazarenko, O., … Kovalenko, M. V. (2019). Tuning transport properties in thermoelectric nanocomposites through inorganic ligands and heterostructured building blocks. ACS Nano, 13(6), 6572–6580. https://doi.org/10.1021/acsnano.9b00346
View
| Files available
| DOI
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 6504
Zhang, Y., He, P., Ma, X., Yang, Z., Pang, C., Yu, J., … Xiao, G. (2019). Auxin-mediated statolith production for root gravitropism. New Phytologist. https://doi.org/10.1111/nph.15932
View
| DOI
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 6511
Bao, Z., Erdös, L., & Schnelli, K. (2019). Local single ring theorem on optimal scale. Annals of Probability, 47(3), 1270–1334. https://doi.org/10.1214/18-AOP1284
View
| DOI
| Download (ext.)
| arXiv
2019 | Conference Paper | IST-REx-ID: 6528
Pietrzak, K. Z. (2019). Simple verifiable delay functions. In 10th Innovations in Theoretical Computer Science Conference (Vol. 124, p. 60). San Diego, CA, United States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.ITCS.2019.60
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 6617
Fischer, J. L. (2019). The choice of representative volumes in the approximation of effective properties of random materials. Archive for Rational Mechanics and Analysis. https://doi.org/10.1007/s00205-019-01400-w
View
| Files available
| DOI
| arXiv
2019 | Journal Article | IST-REx-ID: 6631
Godard, B. G., & Heisenberg, C.-P. J. (2019). Cell division and tissue mechanics. Current Opinion in Cell Biology, 60, 114–120. https://doi.org/10.1016/j.ceb.2019.05.007
View
| DOI
2019 | Conference Paper | IST-REx-ID: 6648
Edelsbrunner, H., Virk, Z., & Wagner, H. (2019). Topological data analysis in information space. In 35th International Symposium on Computational Geometry (Vol. 129, p. 31:1-31:14). Portland, OR, United States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.SOCG.2019.31
View
| Files available
| DOI
| arXiv