Please note that ISTA 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.
9087 Publications
2021 | Conference Paper | IST-REx-ID: 10665 | 
Henzinger, T. A., Lechner, M., & Zikelic, D. (2021). Scalable verification of quantized neural networks. In Proceedings of the AAAI Conference on Artificial Intelligence (Vol. 35, pp. 3787–3795). Virtual: AAAI Press.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 | Conference Paper | IST-REx-ID: 10667 |
Lechner, M., Žikelić, Ð., Chatterjee, K., & Henzinger, T. A. (2021). Infinite time horizon safety of Bayesian neural networks. In 35th Conference on Neural Information Processing Systems. Virtual. https://doi.org/10.48550/arXiv.2111.03165
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2021 | Journal Article | IST-REx-ID: 13358 |
Ryssy, J., Natarajan, A. K., Wang, J., Lehtonen, A. J., Nguyen, M., Klajn, R., & Kuzyk, A. (2021). Light‐responsive dynamic DNA‐origami‐based plasmonic assemblies. Angewandte Chemie International Edition. Wiley. https://doi.org/10.1002/anie.202014963
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2021 | Book Chapter | IST-REx-ID: 13360
Bian, T., Chu, Z., & Klajn, R. (2021). Controlling Self‐Assembly of Nanoparticles Using Light. In N. Giuseppone & A. Walther (Eds.), Out‐of‐Equilibrium (Supra)molecular Systems and Materials (pp. 241–273). Wiley. https://doi.org/10.1002/9783527821990.ch9
View
| DOI
2021 | Journal Article | IST-REx-ID: 13357 |
Bian, T., Gardin, A., Gemen, J., Houben, L., Perego, C., Lee, B., … Klajn, R. (2021). Electrostatic co-assembly of nanoparticles with oppositely charged small molecules into static and dynamic superstructures. Nature Chemistry. Springer Nature. https://doi.org/10.1038/s41557-021-00752-9
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC