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.

11497 Publications


2020 | Published | Conference Paper | IST-REx-ID: 8382 | OA
M. A. Baig, D. Hendler, A. Milani, and C. Travers, “Long-lived snapshots with polylogarithmic amortized step complexity,” in Proceedings of the 39th Symposium on Principles of Distributed Computing, Virtual, Italy, 2020, pp. 31–40.
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2020 | Published | Conference Paper | IST-REx-ID: 8383
D.-A. Alistarh, J. Aspnes, F. Ellen, R. Gelashvili, and L. Zhu, “Brief Announcement: Why Extension-Based Proofs Fail,” in Proceedings of the 39th Symposium on Principles of Distributed Computing, Virtual, Italy, 2020, pp. 54–56.
View | DOI | WoS
 

2020 | Published | Journal Article | IST-REx-ID: 8402 | OA
H. Rampelt et al., “The mitochondrial carrier pathway transports non-canonical substrates with an odd number of transmembrane segments,” BMC Biology, vol. 18. Springer Nature, 2020.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2020 | Submitted | Preprint | IST-REx-ID: 8403 | OA
I. Sučec et al., “Structural basis of client specificity in mitochondrial membrane-protein chaperones,” bioRxiv. Cold Spring Harbor Laboratory.
[Preprint] View | DOI | Download Preprint (ext.)
 

2020 | Submitted | Preprint | IST-REx-ID: 8404 | OA
K. Weinhäupl, Y. Wang, A. Hessel, M. Brennich, K. Lindorff-Larsen, and P. Schanda, “Architecture and subunit dynamics of the mitochondrial TIM9·10·12 chaperone,” bioRxiv. Cold Spring Harbor Laboratory.
[Preprint] View | DOI | Download Preprint (ext.)
 

2020 | Published | Book | IST-REx-ID: 8414
V. Kaloshin and K. Zhang, Arnold Diffusion for Smooth Systems of Two and a Half Degrees of Freedom, 1st ed., vol. 208. Princeton University Press, 2020.
View | DOI
 

2020 | Published | Conference Paper | IST-REx-ID: 8533 | OA
K. Chatterjee, R. Ibsen-Jensen, I. R. Jecker, and J. Svoboda, “Simplified game of life: Algorithms and complexity,” in 45th International Symposium on Mathematical Foundations of Computer Science, Prague, Czech Republic, 2020, vol. 170.
[Published Version] View | Files available | DOI | arXiv
 

2020 | Published | Conference Paper | IST-REx-ID: 8534 | OA
I. R. Jecker, O. Kupferman, and N. Mazzocchi, “Unary prime languages,” in 45th International Symposium on Mathematical Foundations of Computer Science, Prague, Czech Republic, 2020, vol. 170.
[Published Version] View | Files available | DOI
 

2020 | Published | Conference Paper | IST-REx-ID: 8536 | OA
M. Mondelli, S. A. Hashemi, J. Cioffi, and A. Goldsmith, “Simplified successive cancellation decoding of polar codes has sublinear latency,” in IEEE International Symposium on Information Theory - Proceedings, Los Angeles, CA, United States, 2020, vol. 2020–June.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 8539 | OA
C. Su, G. Zhao, and C. Zhong, “On the K-theory stable bases of the springer resolution,” Annales Scientifiques de l’Ecole Normale Superieure, vol. 53, no. 3. Société Mathématique de France, pp. 663–671, 2020.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 8568 | OA
C. Prehal et al., “Persistent and reversible solid iodine electrodeposition in nanoporous carbons,” Nature Communications, vol. 11. Springer Nature, 2020.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Published | Conference Paper | IST-REx-ID: 8571 | OA
L. Geretti et al., “ARCH-COMP20 Category Report: Continuous and hybrid systems with nonlinear dynamics,” in EPiC Series in Computing, 2020, vol. 74, pp. 49–75.
[Published Version] View | DOI | Download Published Version (ext.)
 

2020 | Published | Conference Paper | IST-REx-ID: 8572 | OA
M. Althoff et al., “ARCH-COMP20 Category Report: Continuous and hybrid systems with linear dynamics,” in EPiC Series in Computing, 2020, vol. 74, pp. 16–48.
[Published Version] View | DOI | Download Published Version (ext.)
 

2020 | Published | Conference Paper | IST-REx-ID: 8580
G. Graff, B. Graff, G. Jablonski, and K. Narkiewicz, “The application of persistent homology in the analysis of heart rate variability,” in 11th Conference of the European Study Group on Cardiovascular Oscillations: Computation and Modelling in Physiology: New Challenges and Opportunities, , Pisa, Italy, 2020.
View | DOI | WoS
 

2020 | Published | Journal Article | IST-REx-ID: 8581
G. Pinke, L. Zhou, and L. A. Sazanov, “Cryo-EM structure of the entire mammalian F-type ATP synthase,” Nature Structural and Molecular Biology, vol. 27, no. 11. Springer Nature, pp. 1077–1085, 2020.
View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Published | Journal Article | IST-REx-ID: 8588 | OA
C. Hubert, K. Cohen, A. Ghazaryan, M. Lemeshko, R. Rapaport, and P. V. Santos, “Attractive interactions, molecular complexes, and polarons in coupled dipolar exciton fluids,” Physical Review B, vol. 102, no. 4. American Physical Society, 2020.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 8592 | OA
Tian A, Kang B, Li B, Qiu B, Jiang W, Shao F, Gao Q, Liu R, Cai C, Jing R, Wang W, Chen P, Liang Q, Bao L, Man J, Wang Y, Shi Y, Li J, Yang M, Wang L, Zhang J, Hippenmeyer S, Zhu J, Bian X, Wang Y, Liu C. 2020. Oncogenic state and cell identity combinatorially dictate the susceptibility of cells within glioma development hierarchy to IGF1R targeting. Advanced Science. 7(21), 2001724.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Published | Conference Paper | IST-REx-ID: 8599 | OA
G. Avni and T. A. Henzinger, “A survey of bidding games on graphs,” in 31st International Conference on Concurrency Theory, Virtual, 2020, vol. 171.
[Published Version] View | Files available | DOI
 

2020 | Published | Conference Paper | IST-REx-ID: 8600 | OA
K. Chatterjee, T. A. Henzinger, and J. Otop, “Multi-dimensional long-run average problems for vector addition systems with states,” in 31st International Conference on Concurrency Theory, Virtual, 2020, vol. 171.
[Published Version] View | Files available | DOI | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 8607 | OA
D. Liu et al., “Endocytosis of BRASSINOSTEROID INSENSITIVE1 is partly driven by a canonical tyrosine-based Motif,” Plant Cell, vol. 32, no. 11. American Society of Plant Biologists, pp. 3598–3612, 2020.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed