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.
5046 Publications
2019 | Journal Article | IST-REx-ID: 6029 | 
M. Lindner et al., “A fast and simple contact printing approach to generate 2D protein nanopatterns,” Frontiers in Chemistry, vol. 6. Frontiers Media S.A., 2019.
[Published Version]
View
| Files available
| DOI
| WoS
2019 | Journal Article | IST-REx-ID: 6028 |
M. Gerencser and M. Hairer, “A solution theory for quasilinear singular SPDEs,” Communications on Pure and Applied Mathematics, vol. 72, no. 9. Wiley, pp. 1983–2005, 2019.
[Published Version]
View
| Files available
| DOI
| WoS
2019 | Conference Paper | IST-REx-ID: 5948
H. Fu and K. Chatterjee, “Termination of nondeterministic probabilistic programs,” in International Conference on Verification, Model Checking, and Abstract Interpretation, Cascais, Portugal, 2019, vol. 11388, pp. 468–490.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Journal Article | IST-REx-ID: 5945 |
M. D. Petkova, G. Tkačik, W. Bialek, E. F. Wieschaus, and T. Gregor, “Optimal decoding of cellular identities in a genetic network,” Cell, vol. 176, no. 4. Cell Press, p. 844–855.e15, 2019.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 5943 |
L. Klotz, K. Gumowski, and J. E. Wesfreid, “Experiments on a jet in a crossflow in the low-velocity-ratio regime,” Journal of Fluid Mechanics, vol. 863. Cambridge University Press, pp. 386–406, 2019.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| 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.
[Published Version]
View
| Files available
| DOI
| WoS
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, 2019, vol. 22, pp. 39–44.
[Submitted Version]
View
| Files available
| DOI
| WoS
| arXiv
2019 | Journal Article | IST-REx-ID: 6052 |
S. M. Truckenbrodt, C. M. Sommer, S. O. Rizzoli, and J. G. Danzl, “A practical guide to optimization in X10 expansion microscopy,” Nature Protocols, vol. 14, no. 3. Nature Publishing Group, pp. 832–863, 2019.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 6025 |
D. Capek, M. Smutny, A. M. Tichy, M. Morri, H. L. Janovjak, and C.-P. J. Heisenberg, “Light-activated Frizzled7 reveals a permissive role of non-canonical wnt signaling in mesendoderm cell migration,” eLife, vol. 8. eLife Sciences Publications, 2019.
[Published Version]
View
| Files available
| DOI
| WoS
2019 | Journal Article | IST-REx-ID: 6022 |
R. M. Merrill et al., “Genetic dissection of assortative mating behavior,” PLoS Biology, vol. 17, no. 2. Public Library of Science, 2019.
[Published Version]
View
| Files available
| DOI
| WoS