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.

6439 Publications


2021 | Published | Conference Paper | IST-REx-ID: 10665 | OA
Henzinger TA, Lechner M, Zikelic D. Scalable verification of quantized neural networks. In: Proceedings of the AAAI Conference on Artificial Intelligence. Vol 35. AAAI Press; 2021:3787-3795.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2021 | Published | Conference Paper | IST-REx-ID: 10667 | OA
Lechner M, Žikelić Ð, Chatterjee K, Henzinger TA. Infinite time horizon safety of Bayesian neural networks. In: 35th Conference on Neural Information Processing Systems. ; 2021. doi:10.48550/arXiv.2111.03165
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 

2021 | Published | Conference Paper | IST-REx-ID: 10666 | OA
Lechner M, Hasani R, Grosu R, Rus D, Henzinger TA. Adversarial training is not ready for robot learning. In: 2021 IEEE International Conference on Robotics and Automation. ICRA. ; 2021:4140-4147. doi:10.1109/ICRA48506.2021.9561036
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Published | Thesis | PhD | IST-REx-ID: 9022 | OA
Cipolloni G. Fluctuations in the spectrum of random matrices. 2021. doi:10.15479/AT:ISTA:9022
[Published Version] View | Files available | DOI
 

2021 | Published | Thesis | MS | IST-REx-ID: 10422 | OA
Piankov A. Towards designer materials using customizable particle shape. 2021. doi:10.15479/at:ista:10422
[Published Version] View | Files available | DOI
 

2021 | Published | Thesis | PhD | IST-REx-ID: 10030 | OA
Portinale L. Discrete-to-continuum limits of transport problems and gradient flows in the space of measures. 2021. doi:10.15479/at:ista:10030
[Published Version] View | Files available | DOI
 

2021 | Published | Thesis | PhD | IST-REx-ID: 9733 | OA
Feliciangeli D. The polaron at strong coupling. 2021. doi:10.15479/at:ista:9733
[Published Version] View | Files available | DOI
 

2021 | Published | Journal Article | IST-REx-ID: 9225 | OA
Feliciangeli D, Rademacher SAE, Seiringer R. Persistence of the spectral gap for the Landau–Pekar equations. Letters in Mathematical Physics. 2021;111. doi:10.1007/s11005-020-01350-5
[Published Version] View | Files available | DOI | WoS
 

earlier version | 2021 | Draft | Preprint | IST-REx-ID: 9792 | OA
Feliciangeli D, Gerolin A, Portinale L. A non-commutative entropic optimal transport approach to quantum composite systems at positive temperature. arXiv. doi:10.48550/arXiv.2106.11217
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

earlier version | 2021 | Draft | Preprint | IST-REx-ID: 9787 | OA
Feliciangeli D, Seiringer R. The strongly coupled polaron on the torus: Quantum corrections to the Pekar asymptotics. arXiv. doi:10.48550/arXiv.2101.12566
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

earlier version | 2021 | Draft | Preprint | IST-REx-ID: 9791 | OA
Feliciangeli D, Rademacher SAE, Seiringer R. The effective mass problem for the Landau-Pekar equations. arXiv. doi:10.48550/arXiv.2107.03720
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2021 | Published | Conference Paper | IST-REx-ID: 9987 | OA
Agarwal P, Chatterjee K, Pathak S, Pavlogiannis A, Toman V. Stateless model checking under a reads-value-from equivalence. In: 33rd International Conference on Computer-Aided Verification . Vol 12759. Springer Nature; 2021:341-366. doi:10.1007/978-3-030-81685-8_16
[Published Version] View | Files available | DOI | WoS | arXiv
 

2021 | Published | Thesis | PhD | IST-REx-ID: 10199 | OA
Toman V. Improved verification techniques for concurrent systems. 2021. doi:10.15479/at:ista:10199
[Published Version] View | Files available | DOI
 

2021 | Published | Journal Article | IST-REx-ID: 10191 | OA
Bui TL, Chatterjee K, Gautam T, Pavlogiannis A, Toman V. The reads-from equivalence for the TSO and PSO memory models. Proceedings of the ACM on Programming Languages. 2021;5(OOPSLA). doi:10.1145/3485541
[Published Version] View | Files available | DOI | arXiv
 

2021 | Published | Thesis | PhD | IST-REx-ID: 10007 | OA
Hensel S. Curvature driven interface evolution: Uniqueness properties of weak solution concepts. 2021. doi:10.15479/at:ista:10007
[Published Version] View | Files available | DOI
 

earlier version | 2021 | Draft | Preprint | IST-REx-ID: 10013 | OA
Hensel S, Laux T. Weak-strong uniqueness for the mean curvature flow of double bubbles. arXiv. doi:10.48550/arXiv.2108.01733
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2021 | Published | Thesis | PhD | IST-REx-ID: 9418 | OA
Phuong M. Underspecification in deep learning. 2021. doi:10.15479/AT:ISTA:9418
[Published Version] View | Files available | DOI
 

2021 | Published | Thesis | PhD | IST-REx-ID: 9056 | OA
Osang GF. Multi-cover persistence and Delaunay mosaics. 2021. doi:10.15479/AT:ISTA:9056
[Published Version] View | Files available | DOI
 

2021 | Published | Conference Paper | IST-REx-ID: 9416 | OA
Phuong M, Lampert C. The inductive bias of ReLU networks on orthogonally separable data. In: 9th International Conference on Learning Representations. ; 2021.
[Published Version] View | Files available | Download Published Version (ext.)
 

2021 | Published | Conference Paper | IST-REx-ID: 10041 | OA
Kamath Hosdurg C, Klein K, Pietrzak KZ, Wichs D. Limits on the Adaptive Security of Yao’s Garbling. In: 41st Annual International Cryptology Conference, Part II . Vol 12826. Cham: Springer Nature; 2021:486-515. doi:10.1007/978-3-030-84245-1_17
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS
 

Filters and Search Terms

department=ResearchGroups

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed