Please note that IST 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.

358 Publications

2015 | Journal Article | IST-REx-ID: 1677
Alt J. 2015. The local semicircle law for random matrices with a fourfold symmetry. Journal of Mathematical Physics. 56(10).
View | Files available | DOI | Download (ext.)

2015 | Conference Paper | IST-REx-ID: 1610
Chatterjee K, Henzinger TA, Ibsen-Jensen R, Otop J. 2015. Edit distance for pushdown automata. 9135(Part II), 121–133.
View | Files available | DOI

2015 | Conference Paper | IST-REx-ID: 1689
Svoreňová M, Kretinsky J, Chmelik M, Chatterjee K, Cěrná I, Belta C. 2015. Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control. HSCC: Hybrid Systems - Computation and Control 259–268.
View | Files available | DOI | Download (ext.)

Filters and Search Terms



Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed