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

2018 | Conference Paper | IST-REx-ID: 160 | OA
B. Kragl and S. Qadeer, “Layered Concurrent Programs,” presented at the CAV: Computer Aided Verification, Oxford, UK, 2018, vol. 10981, pp. 79–102.
[Published Version] View | Files available | DOI | WoS
 
2018 | Journal Article | IST-REx-ID: 280
Z. Gao et al., “KIRA1 and ORESARA1 terminate flower receptivity by promoting cell death in the stigma of Arabidopsis,” Nature Plants, vol. 4, no. 6. Nature Publishing Group, pp. 365–375, 2018.
View | DOI | WoS
 
2018 | Journal Article | IST-REx-ID: 503
K. Tomasek, T. Bergmiller, and C. C. Guet, “Lack of cations in flow cytometry buffers affect fluorescence signals by reducing membrane stability and viability of Escherichia coli strains,” Journal of Biotechnology, vol. 268. Elsevier, pp. 40–52, 2018.
View | DOI | WoS
 
2018 | Journal Article | IST-REx-ID: 82 | OA
W. Chaudhry et al., “Leaky resistance and the conditions for the existence of lytic bacteriophage,” PLoS Biology, vol. 16, no. 8. Public Library of Science, 2018.
[Published Version] View | Files available | DOI | WoS
 
2018 | Journal Article | IST-REx-ID: 4 | OA
N. Umetani and B. Bickel, “Learning three-dimensional flow for interactive aerodynamic design,” ACM Trans. Graph., vol. 37, no. 4. ACM, 2018.
[Submitted Version] View | Files available | DOI | WoS
 
2018 | Conference Paper | IST-REx-ID: 183
E. Bartocci, T. Ferrere, N. Manjunath, and D. Nickovic, “Localizing faults in simulink/stateflow models with STL,” presented at the HSCC: Hybrid Systems: Computation and Control, Porto, Portugal, 2018, pp. 197–206.
View | DOI | WoS
 
2018 | Journal Article | IST-REx-ID: 566 | OA
J. Alt, L. Erdös, and T. H. Krüger, “Local inhomogeneous circular law,” Annals Applied Probability , vol. 28, no. 1. Institute of Mathematical Statistics, pp. 148–203, 2018.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2018 | Journal Article | IST-REx-ID: 106 | OA
A. Akopyan and A. Petrunin, “Long geodesics on convex surfaces,” Mathematical Intelligencer, vol. 40, no. 3. Springer, pp. 26–31, 2018.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2018 | Research Data Reference | IST-REx-ID: 9810
W. Chaudhry et al., “Numerical data used in figures.” Public Library of Science, 2018.
[Published Version] View | Files available | DOI
 
2018 | Journal Article | IST-REx-ID: 275 | OA
M. Brown et al., “Lymphatic exosomes promote dendritic cell migration along guidance cues,” Journal of Cell Biology, vol. 217, no. 6. Rockefeller University Press, pp. 2205–2221, 2018.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

Search

Filter Publications