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.
4958 Publications
2019 | Published | Conference Paper | IST-REx-ID: 7231 | 
Kong, H., Bartocci, E., Jiang, Y., & Henzinger, T. A. (2019). Piecewise robust barrier tubes for nonlinear hybrid systems with uncertainty. In 17th International Conference on Formal Modeling and Analysis of Timed Systems (Vol. 11750, pp. 123–141). Amsterdam, The Netherlands: Springer Nature. https://doi.org/10.1007/978-3-030-29662-9_8
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Conference Paper | IST-REx-ID: 7232
Ferrere, T., Maler, O., & Nickovic, D. (2019). Mixed-time signal temporal logic. In 17th International Conference on Formal Modeling and Analysis of Timed Systems (Vol. 11750, pp. 59–75). Amsterdam, The Netherlands: Springer Nature. https://doi.org/10.1007/978-3-030-29662-9_4
View
| DOI
| WoS
2019 | Published | Conference Paper | IST-REx-ID: 7233
Rueda Sanchez, A. R., Sedlmeir, F., Leuchs, G., Kumari, M., & Schwefel, H. G. L. (2019). Resonant electro-optic frequency comb generation in lithium niobate disk resonator inside a microwave cavity. In Nonlinear Optics, OSA Technical Digest. Waikoloa Beach, Hawaii (HI), United States: Optica Publishing Group. https://doi.org/10.1364/NLO.2019.NM2A.5
View
| DOI
2019 | Published | Journal Article | IST-REx-ID: 73 |
Erbar, M., Maas, J., & Wirth, M. (2019). On the geometry of geodesics in discrete optimal transport. Calculus of Variations and Partial Differential Equations. Springer. https://doi.org/10.1007/s00526-018-1456-1
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 7340 |
Amin-Wetzel, N. P., Neidhardt, L., Yan, Y., Mayer, M. P., & Ron, D. (2019). Unstructured regions in IRE1α specify BiP-mediated destabilisation of the luminal domain dimer and repression of the UPR. ELife. eLife Sciences Publications. https://doi.org/10.7554/eLife.50793
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 7391 |
Tabata, S., Jevtic, M., Kurashige, N., Fuchida, H., Kido, M., Tani, K., … Ojida, A. (2019). Electron microscopic detection of single membrane proteins by a specific chemical labeling. IScience. Elsevier. https://doi.org/10.1016/j.isci.2019.11.025
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 7393 |
Morales, H. E., Faria, R., Johannesson, K., Larsson, T., Panova, M., Westram, A. M., & Butlin, R. K. (2019). Genomic architecture of parallel ecological divergence: Beyond a single environmental contrast. Science Advances. AAAS. https://doi.org/10.1126/sciadv.aav9963
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 7394
Benková, E., & Dagdas, Y. (2019). Editorial overview: Cell biology in the era of omics? Current Opinion in Plant Biology. Elsevier. https://doi.org/10.1016/j.pbi.2019.11.002
View
| DOI
| WoS
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 7395 |
Letts, J. A., Fiedorczuk, K., Degliesposti, G., Skehel, M., & Sazanov, L. A. (2019). Structures of respiratory supercomplex I+III2 reveal functional and conformational crosstalk. Molecular Cell. Cell Press. https://doi.org/10.1016/j.molcel.2019.07.022
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 7396 |
Koch, C. P., Lemeshko, M., & Sugny, D. (2019). Quantum control of molecular rotation. Reviews of Modern Physics. American Physical Society. https://doi.org/10.1103/revmodphys.91.035005
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 7397 |
Lopez Alonso, J. M., Choueiri, G. H., & Hof, B. (2019). Dynamics of viscoelastic pipe flow at low Reynolds numbers in the maximum drag reduction limit. Journal of Fluid Mechanics. CUP. https://doi.org/10.1017/jfm.2019.486
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 7398 |
Erdem, F. A., Ilic, M., Koppensteiner, P., Gołacki, J., Lubec, G., Freissmuth, M., & Sandtner, W. (2019). A comparison of the transport kinetics of glycine transporter 1 and glycine transporter 2. The Journal of General Physiology. Rockefeller University Press. https://doi.org/10.1085/jgp.201912318
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 7399 |
Andergassen, D., Muckenhuber, M., Bammer, P. C., Kulinski, T. M., Theussl, H.-C., Shimizu, T., … Hudson, Q. J. (2019). The Airn lncRNA does not require any DNA elements within its locus to silence distant imprinted genes. PLoS Genetics. Public Library of Science. https://doi.org/10.1371/journal.pgen.1008268
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 7400 |
Veltsos, P., Ridout, K. E., Toups, M. A., González-Martínez, S. C., Muyle, A., Emery, O., … Pannell, J. R. (2019). Early sex-chromosome evolution in the diploid dioecious plant Mercurialis annua. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.119.302045
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2019 | Published | Conference Paper | IST-REx-ID: 7401 |
Fulek, R., & Kyncl, J. (2019). Z_2-Genus of graphs and minimum rank of partial symmetric matrices. In 35th International Symposium on Computational Geometry (SoCG 2019) (Vol. 129). Portland, OR, United States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.SOCG.2019.39
[Published Version]
View
| Files available
| DOI
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 7404 |
Stürner, T., Tatarnikova, A., Müller, J., Schaffran, B., Cuntz, H., Zhang, Y., … Tavosanis, G. (2019). Transient localization of the Arp2/3 complex initiates neuronal dendrite branching in vivo. Development. The Company of Biologists. https://doi.org/10.1242/dev.171397
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 7405 |
Dura-Bernal, S., Suter, B., Gleeson, P., Cantarelli, M., Quintana, A., Rodriguez, F., … Lytton, W. W. (2019). NetPyNE, a tool for data-driven multiscale modeling of brain circuits. ELife. eLife Sciences Publications. https://doi.org/10.7554/elife.44494
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 7406
Mckenzie, C., Spanova, M., Johnson, A. J., Kainrath, S., Zheden, V., Sitte, H. H., & Janovjak, H. L. (2019). Isolation of synaptic vesicles from genetically engineered cultured neurons. Journal of Neuroscience Methods. Elsevier. https://doi.org/10.1016/j.jneumeth.2018.11.018
View
| DOI
| WoS
| PubMed | Europe PMC
2019 | Published | Conference Paper | IST-REx-ID: 7411 |
Abusalah, H. M., Kamath Hosdurg, C., Klein, K., Pietrzak, K. Z., & Walter, M. (2019). Reversible proofs of sequential work. In Advances in Cryptology – EUROCRYPT 2019 (Vol. 11477, pp. 277–291). Darmstadt, Germany: Springer International Publishing. https://doi.org/10.1007/978-3-030-17656-3_10
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2019 | Published | Journal Article | IST-REx-ID: 7412 |
Achlioptas, D., Iliopoulos, F., & Kolmogorov, V. (2019). A local lemma for focused stochastical algorithms. SIAM Journal on Computing. SIAM. https://doi.org/10.1137/16m109332x
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv