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
 

Search

Filter Publications