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 | OA
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
 

2021 | Conference Paper | IST-REx-ID: 10667 | OA
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
 

2021 | Journal Article | IST-REx-ID: 13358 | OA
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.)
 

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
 

2021 | Journal Article | IST-REx-ID: 13357 | OA
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
 

Search

Filter Publications