Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
2020 | Conference Paper | IST-REx-ID: 8012 |
B. Kragl, C. Enea, T. A. Henzinger, S. O. Mutluergil, and S. Qadeer, “Inductive sequentialization of asynchronous programs,” in Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, London, United Kingdom, 2020, pp. 227–242.View | Files available | DOI | Download Published Version (ext.)
2020 | Journal Article | IST-REx-ID: 8038 |
J. M. Fink, M. Kalaee, R. Norte, A. Pitanti, and O. Painter, “Efficient microwave frequency conversion mediated by a photonics compatible silicon nitride nanobeam oscillator,” Quantum Science and Technology, vol. 5, no. 3. IOP Publishing, 2020.View | Files available | DOI
2020 | Journal Article | IST-REx-ID: 8039
Y. Zhang et al., “Tin selenide molecular precursor for the solution processing of thermoelectric materials and devices,” ACS Applied Materials and Interfaces, vol. 12, no. 24. American Chemical Society, pp. 27104–27111, 2020.View | DOI | PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 8042 |
C. Boccato, C. Brennecke, S. Cenatiempo, and B. Schlein, “The excitation spectrum of Bose gases interacting through singular potentials,” Journal of the European Mathematical Society, vol. 22, no. 7. European Mathematical Society, pp. 2331–2403, 2020.View | DOI | Download Preprint (ext.) | arXiv