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.

6514 Publications

2020 | Journal Article | IST-REx-ID: 8790 | OA
Bogomolov S, Forets M, Frehse G, Potomkin K, Schilling C. Reachability analysis of linear hybrid systems via block decomposition. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 2020;39(11):4018-4029. doi:10.1109/TCAD.2020.3012859
View | Files available | DOI | Download Preprint (ext.) | arXiv

2020 | Research Data Reference | IST-REx-ID: 8809 | OA
Perini S, Rafajlovic M, Westram AM, Johannesson K, Butlin R. Data from: Assortative mating, sexual selection and their consequences for gene flow in Littorina. 2020. doi:10.5061/dryad.qrfj6q5cn
View | Files available | DOI | Download Published Version (ext.)

2020 | Preprint | IST-REx-ID: 8813 | OA
Santini L, Halbritter F, Titz-Teixeira F, et al. Novel imprints in mouse blastocysts are predominantly DNA methylation independent. bioRxiv. doi:10.1101/2020.11.03.366948
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC

2020 | Journal Article | IST-REx-ID: 8817
Shehu Y, Iyiola OS, Thong DV, Van NTC. An inertial subgradient extragradient algorithm extended to pseudomonotone equilibrium problems. Mathematical Methods of Operations Research. 2020. doi:10.1007/s00186-020-00730-w
View | DOI

2020 | Journal Article | IST-REx-ID: 177 | OA
Browning TD, Sawin W. A geometric version of the circle method. Annals of Mathematics. 2020;191(3):893-948. doi:10.4007/annals.2020.191.3.4
View | DOI | Download Preprint (ext.) | arXiv


Filter Publications