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.
548 Publications
2019 | Conference Paper | IST-REx-ID: 7232
Ferrere T, Maler O, Nickovic D. Mixed-time signal temporal logic. In: 17th International Conference on Formal Modeling and Analysis of Timed Systems. Vol 11750. Springer Nature; 2019:59-75. doi:10.1007/978-3-030-29662-9_4
View
| DOI
| WoS
2019 | Journal Article | IST-REx-ID: 7420 |
Sahgal P, Alanko JH, Icha J, et al. GGA2 and RAB13 promote activity-dependent β1-integrin recycling. Journal of Cell Science. 2019;132(11). doi:10.1242/jcs.233387
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 7423 |
Akemann G, Checinski T, Liu D, Strahov E. Finite rank perturbations in products of coupled random matrices: From one correlated to two Wishart ensembles. Annales de l’Institut Henri Poincaré, Probabilités et Statistiques. 2019;55(1):441-479. doi:10.1214/18-aihp888
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Journal Article | IST-REx-ID: 7421
Toups MA, Rodrigues N, Perrin N, Kirkpatrick M. A reciprocal translocation radically reshapes sex‐linked inheritance in the common frog. Molecular Ecology. 2019;28(8):1877-1889. doi:10.1111/mec.14990
View
| DOI
| WoS
| PubMed | Europe PMC
2019 | Conference Paper | IST-REx-ID: 7411 |
Abusalah HM, Kamath Hosdurg C, Klein K, Pietrzak KZ, Walter M. Reversible proofs of sequential work. In: Advances in Cryptology – EUROCRYPT 2019. Vol 11477. Springer International Publishing; 2019:277-291. doi:10.1007/978-3-030-17656-3_10
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS