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 
S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, and C. Schilling, “JuliaReach: A toolbox for set-based reachability,” in Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control, Montreal, QC, Canada, vol. 22, pp. 39–44.
View
| Files available
| DOI
| Download (ext.)
| arXiv
2019 | Conference Paper | IST-REx-ID: 6042
M. Christakis, M. Heizmann, M. N. Mansur, C. Schilling, and V. Wüstholz, “Semantic fault localization and suspiciousness ranking,” in 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , Prague, Czech Republic, 2019, vol. 11427, pp. 226–243.
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 6105
M. Kutzer, J. Kurtz, and S. A. O. Armitage, “A multi-faceted approach testing the effects of previous bacterial exposure on resistance and tolerance,” Journal of Animal Ecology, 2019.
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 6092
J. H. Mentink, M. Katsnelson, and M. Lemeshko, “Quantum many-body dynamics of the Einstein-de Haas effect,” Physical Review B, vol. 99, no. 6, p. 064428, 2019.
View
| DOI
| Download (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 6232
M. Gerencser, “Boundary regularity of stochastic PDEs,” Annals of Probability, vol. 47, no. 2, pp. 804–834, 2019.
View
| DOI
| Download (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 6174
P. T. Dumitrescu, A. Goremykina, S. A. Parameswaran, M. Serbyn, and R. Vasseur, “Kosterlitz-Thouless scaling at many-body localization phase transitions,” Physical Review B, vol. 99, no. 9, 2019.
View
| DOI
| Download (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 6338
F. Stella, P. Baracskay, J. O’Neill, and J. L. Csicsvari, “Hippocampal reactivation of random trajectories resembling Brownian diffusion,” Neuron, vol. 102, pp. 1–12, 2019.
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 6465
H. Chassin, M. Müller, M. Tigges, L. Scheller, M. Lang, and M. Fussenegger, “A modular degron library for synthetic circuits in mammalian cells,” Nature Communications, vol. 10, no. 1, p. 2013, 2019.
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 6352
A. A. Temnov et al., “Protective properties of the cultured stem cell proteome studied in an animal model of acetaminophen-induced acute liver failure,” Molecular Biology Reports, 2019.
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 6713
J. P. Castro et al., “An integrative genomic analysis of the Longshanks selection experiment for longer limbs in mice,” eLife, vol. 8, p. e42014, 2019.
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 6725
V. Kolmogorov, “Testing the complexity of a valued CSP language,” in 46th International Colloquium on Automata, Languages and Programming, Patras, Greece, 2019, vol. 132, p. 77:1-77:12.
View
| Files available
| DOI
| arXiv
2019 | Journal Article | IST-REx-ID: 6559
E. B. Hannezo and B. D. Simons, “Multiscale dynamics of branching morphogenesis,” Current Opinion in Cell Biology, vol. 60, pp. 99–105, 2019.
View
| DOI
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 6566
M. Ibáñez et al., “Tuning transport properties in thermoelectric nanocomposites through inorganic ligands and heterostructured building blocks,” ACS Nano, vol. 13, no. 6, pp. 6572–6580, 2019.
View
| Files available
| DOI
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 6504
Y. Zhang et al., “Auxin-mediated statolith production for root gravitropism,” New Phytologist, 2019.
View
| DOI
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 6511
Z. Bao, L. Erdös, and K. Schnelli, “Local single ring theorem on optimal scale,” Annals of Probability, vol. 47, no. 3, pp. 1270–1334, 2019.
View
| DOI
| Download (ext.)
| arXiv
2019 | Conference Paper | IST-REx-ID: 6528
K. Z. Pietrzak, “Simple verifiable delay functions,” in 10th Innovations in Theoretical Computer Science Conference, San Diego, CA, United States, 2019, vol. 124, p. 60.
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 6617
J. L. Fischer, “The choice of representative volumes in the approximation of effective properties of random materials,” Archive for Rational Mechanics and Analysis, 2019.
View
| Files available
| DOI
| arXiv
2019 | Conference Paper | IST-REx-ID: 6648
H. Edelsbrunner, Z. Virk, and H. Wagner, “Topological data analysis in information space,” in 35th International Symposium on Computational Geometry, Portland, OR, United States, 2019, vol. 129, p. 31:1-31:14.
View
| Files available
| DOI
| arXiv