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.

8978 Publications


2019 | Research Data Reference | IST-REx-ID: 9797
V. Pokusaeva et al., “A statistical summary of segment libraries and sequencing results.” Public Library of Science, 2019.
[Published Version] View | Files available | DOI
 

2019 | Research Data Reference | IST-REx-ID: 9789
V. Pokusaeva et al., “Multiple alignment of His3 orthologues.” Public Library of Science, 2019.
[Published Version] View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6462 | OA
G. Avni, R. Bloem, K. Chatterjee, T. A. Henzinger, B. Konighofer, and S. Pranger, “Run-time optimization for learned controllers through quantitative games,” in 31st International Conference on Computer-Aided Verification, New York, NY, United States, 2019, vol. 11561, pp. 630–649.
[Published Version] View | Files available | DOI | WoS
 

2019 | Journal Article | IST-REx-ID: 6477 | OA
D. A. Abanin, E. Altman, I. Bloch, and M. Serbyn, “Colloquium: Many-body localization, thermalization, and entanglement,” Reviews of Modern Physics, vol. 91, no. 2. American Physical Society, 2019.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2019 | Journal Article | IST-REx-ID: 6466 | OA
D. Field and C. Fraisse, “Breaking down barriers in morning glories,” Molecular ecology, vol. 28, no. 7. Wiley, pp. 1579–1581, 2019.
[Published Version] View | Files available | DOI | WoS
 

2019 | Journal Article | IST-REx-ID: 6465 | OA
H. Chassin, M. Müller, M. Tigges, L. Scheller, M. Lang, and M. Fussenegger, “A modular degron library for synthetic circuits in mammalian cells,” Nature Communications, vol. 10, no. 1. Springer Nature, 2019.
[Published Version] View | Files available | DOI | WoS
 

2019 | Journal Article | IST-REx-ID: 6467 | OA
C. Fraisse and J. J. Welch, “The distribution of epistasis on simple fitness landscapes,” Biology Letters, vol. 15, no. 4. Royal Society of London, 2019.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6470 | OA
T. Éltes, M. Szoboszlay, M. K. Szigeti, and Z. Nusser, “Improved spike inference accuracy by estimating the peak amplitude of unitary [Ca2+] transients in weakly GCaMP6f-expressing hippocampal pyramidal cells,” Journal of Physiology, vol. 597, no. 11. Wiley, pp. 2925–2947, 2019.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2019 | Conference Paper | IST-REx-ID: 6493 | OA
M. Garcia Soto, T. A. Henzinger, C. Schilling, and L. Zeleznik, “Membership-based synthesis of linear hybrid automata,” in 31st International Conference on Computer-Aided Verification, New York City, NY, USA, 2019, vol. 11561, pp. 297–314.
[Published Version] View | Files available | DOI | WoS
 

2019 | Conference Poster | IST-REx-ID: 6485
N. Koval, D.-A. Alistarh, and R. Elizarov, Lock-free channels for programming via communicating sequential processes. ACM Press, 2019, pp. 417–418.
View | DOI | WoS
 

Search

Filter Publications