ISTA Research Explorer

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.

480 Publications

Search / Filter

2021 | Published | Journal Article | IST-REx-ID: 9891 |

Floating Wigner crystal and periodic jellium configurations
A.B. Lauritsen, Journal of Mathematical Physics 62 (2021).

[Published Version] View | Files available | DOI | WoS | arXiv

2021 | Published | Journal Article | IST-REx-ID: 9558 |

Coarse graining the state space of a turbulent flow using periodic orbits
G. Yalniz, B. Hof, N.B. Budanur, Physical Review Letters 126 (2021).

[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv

2021 | Published | Journal Article | IST-REx-ID: 9903 |

Area-law entangled eigenstates from nullspaces of local Hamiltonians
V. Karle, M. Serbyn, A. Michailidis, Physical Review Letters 127 (2021).

[Published Version] View | Files available | DOI | WoS | arXiv

2021 | Published | Conference Paper | IST-REx-ID: 9356 |

Quantitative and approximate monitoring
T.A. Henzinger, N.E. Sarac, in:, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021.

[Published Version] View | Files available | DOI | WoS | arXiv

2021 | Published | Conference Paper | IST-REx-ID: 11458 |

AC/DC: Alternating Compressed/DeCompressed training of deep neural networks
A. Krumes, E.B. Iofinova, A. Vladu, D.-A. Alistarh, in:, 35th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2021, pp. 8557–8570.

[Published Version] View | Files available | Download Published Version (ext.) | arXiv

2021 | Published | 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

2021 | Published | 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

2021 | Published | Conference Paper | IST-REx-ID: 10666 |

Adversarial training is not ready for robot learning
M. Lechner, R. Hasani, R. Grosu, D. Rus, T.A. Henzinger, in:, 2021 IEEE International Conference on Robotics and Automation, 2021, pp. 4140–4147.

[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv

2021 | Published | Thesis | PhD | IST-REx-ID: 9022 |

Fluctuations in the spectrum of random matrices
G. Cipolloni, Fluctuations in the Spectrum of Random Matrices, Institute of Science and Technology Austria, 2021.

[Published Version] View | Files available | DOI

2021 | Published | Thesis | MS | IST-REx-ID: 10422 |

Towards designer materials using customizable particle shape
A. Piankov, Towards Designer Materials Using Customizable Particle Shape, Institute of Science and Technology Austria, 2021.

[Published Version] View | Files available | DOI

2021 | Published | Thesis | PhD | IST-REx-ID: 10030 |

Discrete-to-continuum limits of transport problems and gradient flows in the space of measures
L. Portinale, Discrete-to-Continuum Limits of Transport Problems and Gradient Flows in the Space of Measures, Institute of Science and Technology Austria, 2021.

[Published Version] View | Files available | DOI

2021 | Published | Thesis | PhD | IST-REx-ID: 9733 |

The polaron at strong coupling
D. Feliciangeli, The Polaron at Strong Coupling, Institute of Science and Technology Austria, 2021.

[Published Version] View | Files available | DOI

2021 | Published | Thesis | PhD | IST-REx-ID: 10199 |

Improved verification techniques for concurrent systems
V. Toman, Improved Verification Techniques for Concurrent Systems, Institute of Science and Technology Austria, 2021.

[Published Version] View | Files available | DOI

2021 | Published | Journal Article | IST-REx-ID: 10191 |

The reads-from equivalence for the TSO and PSO memory models
T.L. Bui, K. Chatterjee, T. Gautam, A. Pavlogiannis, V. Toman, Proceedings of the ACM on Programming Languages 5 (2021).

[Published Version] View | Files available | DOI | arXiv

2021 | Published | Thesis | PhD | IST-REx-ID: 10007 |

Curvature driven interface evolution: Uniqueness properties of weak solution concepts
S. Hensel, Curvature Driven Interface Evolution: Uniqueness Properties of Weak Solution Concepts, Institute of Science and Technology Austria, 2021.

[Published Version] View | Files available | DOI

2021 | Published | Thesis | PhD | IST-REx-ID: 10429 |

On achieving scalability through relaxation
G. Nadiradze, On Achieving Scalability through Relaxation, Institute of Science and Technology Austria, 2021.

[Published Version] View | Files available | DOI

2021 | Published | Thesis | PhD | IST-REx-ID: 9418 |

Underspecification in deep learning
M. Phuong, Underspecification in Deep Learning, Institute of Science and Technology Austria, 2021.

[Published Version] View | Files available | DOI

2021 | Published | Thesis | PhD | IST-REx-ID: 9056 |

Multi-cover persistence and Delaunay mosaics
G.F. Osang, Multi-Cover Persistence and Delaunay Mosaics, Institute of Science and Technology Austria, 2021.

[Published Version] View | Files available | DOI

2021 | Published | Conference Paper | IST-REx-ID: 9416 |

The inductive bias of ReLU networks on orthogonally separable data
M. Phuong, C. Lampert, in:, 9th International Conference on Learning Representations, 2021.

[Published Version] View | Files available | Download Published Version (ext.)

2021 | Published | Thesis | PhD | IST-REx-ID: 9920 |

Geometric superinductors and their applications in circuit quantum electrodynamics
M. Peruzzo, Geometric Superinductors and Their Applications in Circuit Quantum Electrodynamics, Institute of Science and Technology Austria, 2021.

[Published Version] View | Files available | DOI