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, Thomas, et al. “Mixed-Time Signal Temporal Logic.” 17th International Conference on Formal Modeling and Analysis of Timed Systems, vol. 11750, Springer Nature, 2019, pp. 59–75, doi:10.1007/978-3-030-29662-9_4.
View
| DOI
| WoS
2019 | Journal Article | IST-REx-ID: 7420 | 
Sahgal, Pranshu, et al. “GGA2 and RAB13 Promote Activity-Dependent Β1-Integrin Recycling.” Journal of Cell Science, vol. 132, no. 11, jcs233387, The Company of Biologists, 2019, 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, Gernot, et al. “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, vol. 55, no. 1, Institute of Mathematical Statistics, 2019, pp. 441–79, doi:10.1214/18-aihp888.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Journal Article | IST-REx-ID: 7421
Toups, Melissa A., et al. “A Reciprocal Translocation Radically Reshapes Sex‐linked Inheritance in the Common Frog.” Molecular Ecology, vol. 28, no. 8, Wiley, 2019, pp. 1877–89, doi:10.1111/mec.14990.
View
| DOI
| WoS
| PubMed | Europe PMC
2019 | Conference Paper | IST-REx-ID: 7411 |
Abusalah, Hamza M., et al. “Reversible Proofs of Sequential Work.” Advances in Cryptology – EUROCRYPT 2019, vol. 11477, Springer International Publishing, 2019, pp. 277–91, 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, Catherine, et al. “Isolation of Synaptic Vesicles from Genetically Engineered Cultured Neurons.” Journal of Neuroscience Methods, vol. 312, Elsevier, 2019, pp. 114–21, doi:10.1016/j.jneumeth.2018.11.018.
View
| DOI
| WoS
| PubMed | Europe PMC
2019 | Conference Paper | IST-REx-ID: 7437 |
Yu, Chen, et al. “Distributed Learning over Unreliable Networks.” 36th International Conference on Machine Learning, ICML 2019, vol. 2019–June, IMLS, 2019, pp. 12481–512.
[Preprint]
View
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Journal Article | IST-REx-ID: 7412 |
Achlioptas, Dimitris, et al. “A Local Lemma for Focused Stochastical Algorithms.” SIAM Journal on Computing, vol. 48, no. 5, SIAM, 2019, pp. 1583–602, doi:10.1137/16m109332x.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Journal Article | IST-REx-ID: 7418
Karlík, Ondřej, et al. “MIS Compensation: Optimizing Sampling Techniques in Multiple Importance Sampling.” ACM Transactions on Graphics, vol. 38, no. 6, 151, ACM, 2019, doi:10.1145/3355089.3356565.
View
| DOI
| WoS
2019 | Journal Article | IST-REx-ID: 7413 |
Boccato, Chiara, et al. “Bogoliubov Theory in the Gross–Pitaevskii Limit.” Acta Mathematica, vol. 222, no. 2, International Press of Boston, 2019, pp. 219–335, doi:10.4310/acta.2019.v222.n2.a1.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv