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 |
Scalable verification of quantized neural networks
T.A. Henzinger, M. Lechner, D. Zikelic, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 3787–3795.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
T.A. Henzinger, M. Lechner, D. Zikelic, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 3787–3795.
2021 | Conference Paper | IST-REx-ID: 10667 |
Infinite time horizon safety of Bayesian neural networks
M. Lechner, Ð. Žikelić, K. Chatterjee, T.A. Henzinger, in:, 35th Conference on Neural Information Processing Systems, 2021.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
M. Lechner, Ð. Žikelić, K. Chatterjee, T.A. Henzinger, in:, 35th Conference on Neural Information Processing Systems, 2021.
2021 | Journal Article | IST-REx-ID: 13358 |
Light‐responsive dynamic DNA‐origami‐based plasmonic assemblies
J. Ryssy, A.K. Natarajan, J. Wang, A.J. Lehtonen, M. Nguyen, R. Klajn, A. Kuzyk, Angewandte Chemie International Edition 60 (2021) 5859–5863.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
J. Ryssy, A.K. Natarajan, J. Wang, A.J. Lehtonen, M. Nguyen, R. Klajn, A. Kuzyk, Angewandte Chemie International Edition 60 (2021) 5859–5863.
2021 | Book Chapter | IST-REx-ID: 13360
Controlling Self‐Assembly of Nanoparticles Using Light
T. Bian, Z. Chu, R. Klajn, in:, N. Giuseppone, A. Walther (Eds.), Out‐of‐Equilibrium (Supra)Molecular Systems and Materials, Wiley, 2021, pp. 241–273.
View
| DOI
T. Bian, Z. Chu, R. Klajn, in:, N. Giuseppone, A. Walther (Eds.), Out‐of‐Equilibrium (Supra)Molecular Systems and Materials, Wiley, 2021, pp. 241–273.
2021 | Journal Article | IST-REx-ID: 13357 |
Electrostatic co-assembly of nanoparticles with oppositely charged small molecules into static and dynamic superstructures
T. Bian, A. Gardin, J. Gemen, L. Houben, C. Perego, B. Lee, N. Elad, Z. Chu, G.M. Pavan, R. Klajn, Nature Chemistry 13 (2021) 940–949.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
T. Bian, A. Gardin, J. Gemen, L. Houben, C. Perego, B. Lee, N. Elad, Z. Chu, G.M. Pavan, R. Klajn, Nature Chemistry 13 (2021) 940–949.