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.
4947 Publications
2019 | Conference Paper | IST-REx-ID: 7216
LiveTraVeL: Real-time matching of transit vehicle trajectories to transit routes at scale
G.F. Osang, J. Cook, A. Fabrikant, M. Gruteser, in:, 2019 IEEE Intelligent Transportation Systems Conference, IEEE, 2019.
View
| DOI
| WoS
G.F. Osang, J. Cook, A. Fabrikant, M. Gruteser, in:, 2019 IEEE Intelligent Transportation Systems Conference, IEEE, 2019.
2019 | Conference Paper | IST-REx-ID: 7231 | 
Piecewise robust barrier tubes for nonlinear hybrid systems with uncertainty
H. Kong, E. Bartocci, Y. Jiang, T.A. Henzinger, in:, 17th International Conference on Formal Modeling and Analysis of Timed Systems, Springer Nature, 2019, pp. 123–141.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
H. Kong, E. Bartocci, Y. Jiang, T.A. Henzinger, in:, 17th International Conference on Formal Modeling and Analysis of Timed Systems, Springer Nature, 2019, pp. 123–141.
2019 | Journal Article | IST-REx-ID: 7340 |
Unstructured regions in IRE1α specify BiP-mediated destabilisation of the luminal domain dimer and repression of the UPR
N.P. Amin-Wetzel, L. Neidhardt, Y. Yan, M.P. Mayer, D. Ron, ELife 8 (2019).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
N.P. Amin-Wetzel, L. Neidhardt, Y. Yan, M.P. Mayer, D. Ron, ELife 8 (2019).
2019 | Journal Article | IST-REx-ID: 7422 |
eGFRD in all dimensions
T.R. Sokolowski, J. Paijmans, L. Bossen, T. Miedema, M. Wehrens, N.B. Becker, K. Kaizu, K. Takahashi, M. Dogterom, P.R. ten Wolde, The Journal of Chemical Physics 150 (2019).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
T.R. Sokolowski, J. Paijmans, L. Bossen, T. Miedema, M. Wehrens, N.B. Becker, K. Kaizu, K. Takahashi, M. Dogterom, P.R. ten Wolde, The Journal of Chemical Physics 150 (2019).
2019 | Conference Paper | IST-REx-ID: 7230 |
Extending simple drawings
A.M. Arroyo Guevara, M. Derka, I. Parada, in:, 27th International Symposium on Graph Drawing and Network Visualization, Springer Nature, 2019, pp. 230–243.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
A.M. Arroyo Guevara, M. Derka, I. Parada, in:, 27th International Symposium on Graph Drawing and Network Visualization, Springer Nature, 2019, pp. 230–243.
2019 | Conference Paper | IST-REx-ID: 7232
Mixed-time signal temporal logic
T. Ferrere, O. Maler, D. Nickovic, in:, 17th International Conference on Formal Modeling and Analysis of Timed Systems, Springer Nature, 2019, pp. 59–75.
View
| DOI
| WoS
T. Ferrere, O. Maler, D. Nickovic, in:, 17th International Conference on Formal Modeling and Analysis of Timed Systems, Springer Nature, 2019, pp. 59–75.
2019 | Journal Article | IST-REx-ID: 7420 |
GGA2 and RAB13 promote activity-dependent β1-integrin recycling
P. Sahgal, J.H. Alanko, J. Icha, I. Paatero, H. Hamidi, A. Arjonen, M. Pietilä, A. Rokka, J. Ivaska, Journal of Cell Science 132 (2019).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
P. Sahgal, J.H. Alanko, J. Icha, I. Paatero, H. Hamidi, A. Arjonen, M. Pietilä, A. Rokka, J. Ivaska, Journal of Cell Science 132 (2019).
2019 | Journal Article | IST-REx-ID: 7423 |
Finite rank perturbations in products of coupled random matrices: From one correlated to two Wishart ensembles
G. Akemann, T. Checinski, D. Liu, E. Strahov, Annales de l’Institut Henri Poincaré, Probabilités et Statistiques 55 (2019) 441–479.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
G. Akemann, T. Checinski, D. Liu, E. Strahov, Annales de l’Institut Henri Poincaré, Probabilités et Statistiques 55 (2019) 441–479.
2019 | Journal Article | IST-REx-ID: 7421
A reciprocal translocation radically reshapes sex‐linked inheritance in the common frog
M.A. Toups, N. Rodrigues, N. Perrin, M. Kirkpatrick, Molecular Ecology 28 (2019) 1877–1889.
View
| DOI
| WoS
| PubMed | Europe PMC
M.A. Toups, N. Rodrigues, N. Perrin, M. Kirkpatrick, Molecular Ecology 28 (2019) 1877–1889.
2019 | Conference Paper | IST-REx-ID: 7411 |
Reversible proofs of sequential work
H.M. Abusalah, C. Kamath Hosdurg, K. Klein, K.Z. Pietrzak, M. Walter, in:, Advances in Cryptology – EUROCRYPT 2019, Springer International Publishing, 2019, pp. 277–291.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
H.M. Abusalah, C. Kamath Hosdurg, K. Klein, K.Z. Pietrzak, M. Walter, in:, Advances in Cryptology – EUROCRYPT 2019, Springer International Publishing, 2019, pp. 277–291.