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.
2020 | Journal Article | IST-REx-ID: 8790 |
S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, and C. Schilling, “Reachability analysis of linear hybrid systems via block decomposition,” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 39, no. 11. IEEE, pp. 4018–4029, 2020.View | Files available | DOI | Download Preprint (ext.) | arXiv
2020 | Research Data Reference | IST-REx-ID: 8809 |
S. Perini, M. Rafajlovic, A. M. Westram, K. Johannesson, and R. Butlin, “Data from: Assortative mating, sexual selection and their consequences for gene flow in Littorina.” Dryad, 2020.View | Files available | DOI | Download Published Version (ext.)