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.
550 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
2019 | Journal Article | IST-REx-ID: 7406
Mckenzie C, Spanova M, Johnson AJ, et al. Isolation of synaptic vesicles from genetically engineered cultured neurons. Journal of Neuroscience Methods. 2019;312:114-121. doi:10.1016/j.jneumeth.2018.11.018
View
| DOI
| WoS
| PubMed | Europe PMC
2019 | Conference Paper | IST-REx-ID: 7437 |
Yu C, Tang H, Renggli C, et al. Distributed learning over unreliable networks. In: 36th International Conference on Machine Learning, ICML 2019. Vol 2019-June. IMLS; 2019:12481-12512.
[Preprint]
View
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Journal Article | IST-REx-ID: 7412 |
Achlioptas D, Iliopoulos F, Kolmogorov V. A local lemma for focused stochastical algorithms. SIAM Journal on Computing. 2019;48(5):1583-1602. doi:10.1137/16m109332x
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Journal Article | IST-REx-ID: 7418
Karlík O, Šik M, Vévoda P, Skrivan T, Křivánek J. MIS compensation: Optimizing sampling techniques in multiple importance sampling. ACM Transactions on Graphics. 2019;38(6). doi:10.1145/3355089.3356565
View
| DOI
| WoS
2019 | Journal Article | IST-REx-ID: 7413 |
Boccato C, Brennecke C, Cenatiempo S, Schlein B. Bogoliubov theory in the Gross–Pitaevskii limit. Acta Mathematica. 2019;222(2):219-335. doi:10.4310/acta.2019.v222.n2.a1
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv