ISTA Research Explorer

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

2017 | Thesis | IST-REx-ID: 821 |

Algorithmic advances in program analysis and their applications
A. Pavlogiannis, Algorithmic Advances in Program Analysis and Their Applications, Institute of Science and Technology Austria, 2017.

[Published Version] View | Files available | DOI

2017 | Journal Article | IST-REx-ID: 1407 |

Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
M. Svoreňová, J. Kretinsky, M. Chmelik, K. Chatterjee, I. Cěrná, C. Belta, Nonlinear Analysis: Hybrid Systems 23 (2017) 230–253.

2017 | Journal Article | IST-REx-ID: 1337 |

Universality for general Wigner-type matrices
O.H. Ajanki, L. Erdös, T.H. Krüger, Probability Theory and Related Fields 169 (2017) 667–727.

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

2017 | Journal Article | IST-REx-ID: 1152 |

A multi objective memetic inverse solver reinforced by local optimization methods
E.P. Gajda-Zagorska, R. Schaefer, M. Smołka, D. Pardo, J. Alvarez Aramberri, Journal of Computational Science 18 (2017) 85–94.

[Submitted Version] View | Files available | DOI | WoS

2017 | Journal Article | IST-REx-ID: 1120 |

Angular self-localization of impurities rotating in a bosonic bath
X. Li, R. Seiringer, M. Lemeshko, Physical Review A 95 (2017).

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

Institute of Science and Technology Austria (ISTA)