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

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

Lauritsen AB. 2021. Floating Wigner crystal and periodic jellium configurations. Journal of Mathematical Physics. 62(8), 083305.

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

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

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

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

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

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

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

Henzinger TA, Sarac NE. 2021. Quantitative and approximate monitoring. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, 9470547.

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

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

Krumes A, Iofinova EB, Vladu A, Alistarh D-A. 2021. AC/DC: Alternating Compressed/DeCompressed training of deep neural networks. 35th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, vol. 34, 8557–8570.

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

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

Henzinger TA, Lechner M, Zikelic D. 2021. Scalable verification of quantized neural networks. Proceedings of the AAAI Conference on Artificial Intelligence. AAAI: Association for the Advancement of Artificial Intelligence, Technical Tracks, vol. 35, 3787–3795.

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

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

Lechner M, Žikelić Ð, Chatterjee K, Henzinger TA. 2021. Infinite time horizon safety of Bayesian neural networks. 35th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, .

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

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

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

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

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