Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5270 Publications
2019 |Published| Journal Article | IST-REx-ID: 5878 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
State space geometry of the chaotic pilot-wave hydrodynamics
N.B. Budanur, M. Fleury, Chaos: An Interdisciplinary Journal of Nonlinear Science 29 (2019).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
N.B. Budanur, M. Fleury, Chaos: An Interdisciplinary Journal of Nonlinear Science 29 (2019).
2019 |Published| Journal Article | IST-REx-ID: 6343
Toward high-resolution in situ structural biology with cryo-electron tomography and subtomogram averaging
F.K. Schur, Current Opinion in Structural Biology 58 (2019) 1–9.
View
| DOI
| WoS
F.K. Schur, Current Opinion in Structural Biology 58 (2019) 1–9.
2019 |Published| Conference Paper | IST-REx-ID: 6428 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Interface-aware signal temporal logic
T. Ferrere, D. Nickovic, A. Donzé, H. Ito, J. Kapinski, in:, Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control, ACM, 2019, pp. 57–66.
[Submitted Version]
View
| Files available
| DOI
| WoS
T. Ferrere, D. Nickovic, A. Donzé, H. Ito, J. Kapinski, in:, Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control, ACM, 2019, pp. 57–66.
2019 |Published| Journal Article | IST-REx-ID: 6442 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Fundamental solutions for water wave animation
C. Schreck, C. Hafner, C. Wojtan, ACM Transactions on Graphics 38 (2019).
[Submitted Version]
View
| Files available
| DOI
| WoS
C. Schreck, C. Hafner, C. Wojtan, ACM Transactions on Graphics 38 (2019).
2019 |Published| Journal Article | IST-REx-ID: 6413 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Phase-field simulation of core-annular pipe flow
B. Song, C. Plana, J.M. Lopez Alonso, M. Avila, International Journal of Multiphase Flow 117 (2019) 14–24.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
B. Song, C. Plana, J.M. Lopez Alonso, M. Avila, International Journal of Multiphase Flow 117 (2019) 14–24.
2019 |Published| Journal Article | IST-REx-ID: 6419 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
An experimental assay of the interactions of amino acids from orthologous sequences shaping a complex fitness landscape
V. Pokusaeva, D.R. Usmanova, E.V. Putintseva, L. Espinar, K. Sarkisyan, A.S. Mishin, N.S. Bogatyreva, D. Ivankov, A. Akopyan, S. Avvakumov, I.S. Povolotskaya, G.J. Filion, L.B. Carey, F. Kondrashov, PLoS Genetics 15 (2019).
[Published Version]
View
| Files available
| DOI
| WoS
V. Pokusaeva, D.R. Usmanova, E.V. Putintseva, L. Espinar, K. Sarkisyan, A.S. Mishin, N.S. Bogatyreva, D. Ivankov, A. Akopyan, S. Avvakumov, I.S. Povolotskaya, G.J. Filion, L.B. Carey, F. Kondrashov, PLoS Genetics 15 (2019).
2019 |Published| Journal Article | IST-REx-ID: 6412 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Canonical PRC1 controls sequence-independent propagation of Polycomb-mediated gene silencing
H.F. Moussa, D. Bsteh, R. Yelagandula, C. Pribitzer, K. Stecher, K. Bartalska, L. Michetti, J. Wang, J.A. Zepeda-Martinez, U. Elling, J.I. Stuckey, L.I. James, S.V. Frye, O. Bell, Nature Communications 10 (2019).
[Published Version]
View
| Files available
| DOI
| WoS
H.F. Moussa, D. Bsteh, R. Yelagandula, C. Pribitzer, K. Stecher, K. Bartalska, L. Michetti, J. Wang, J.A. Zepeda-Martinez, U. Elling, J.I. Stuckey, L.I. James, S.V. Frye, O. Bell, Nature Communications 10 (2019).
2019 |Published| Journal Article | IST-REx-ID: 6415
Pathogens and disease defense of invasive ants
S. Cremer, Current Opinion in Insect Science 33 (2019) 63–68.
View
| DOI
| WoS
S. Cremer, Current Opinion in Insect Science 33 (2019) 63–68.
2019 | Research Data Reference | IST-REx-ID: 9790
A statistical summary of segment libraries and sequencing results
V. Pokusaeva, D.R. Usmanova, E.V. Putintseva, L. Espinar, K. Sarkisyan, A.S. Mishin, N.S. Bogatyreva, D. Ivankov, A. Akopyan, S. Avvakumov, I.S. Povolotskaya, G.J. Filion, L.B. Carey, F. Kondrashov, (2019).
[Published Version]
View
| Files available
| DOI
V. Pokusaeva, D.R. Usmanova, E.V. Putintseva, L. Espinar, K. Sarkisyan, A.S. Mishin, N.S. Bogatyreva, D. Ivankov, A. Akopyan, S. Avvakumov, I.S. Povolotskaya, G.J. Filion, L.B. Carey, F. Kondrashov, (2019).
2019 | Research Data Reference | IST-REx-ID: 9797
A statistical summary of segment libraries and sequencing results
V. Pokusaeva, D.R. Usmanova, E.V. Putintseva, L. Espinar, K. Sarkisyan, A.S. Mishin, N.S. Bogatyreva, D. Ivankov, A. Akopyan, I.S. Povolotskaya, G.J. Filion, L.B. Carey, F. Kondrashov, (2019).
[Published Version]
View
| Files available
| DOI
V. Pokusaeva, D.R. Usmanova, E.V. Putintseva, L. Espinar, K. Sarkisyan, A.S. Mishin, N.S. Bogatyreva, D. Ivankov, A. Akopyan, I.S. Povolotskaya, G.J. Filion, L.B. Carey, F. Kondrashov, (2019).
2019 | Research Data Reference | IST-REx-ID: 9789
Multiple alignment of His3 orthologues
V. Pokusaeva, D.R. Usmanova, E.V. Putintseva, L. Espinar, K. Sarkisyan, A.S. Mishin, N.S. Bogatyreva, D. Ivankov, A. Akopyan, S. Avvakumov, I.S. Povolotskaya, G.J. Filion, L.B. Carey, F. Kondrashov, (2019).
[Published Version]
View
| Files available
| DOI
V. Pokusaeva, D.R. Usmanova, E.V. Putintseva, L. Espinar, K. Sarkisyan, A.S. Mishin, N.S. Bogatyreva, D. Ivankov, A. Akopyan, S. Avvakumov, I.S. Povolotskaya, G.J. Filion, L.B. Carey, F. Kondrashov, (2019).
2019 |Published| Conference Paper | IST-REx-ID: 6462 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Run-time optimization for learned controllers through quantitative games
G. Avni, R. Bloem, K. Chatterjee, T.A. Henzinger, B. Konighofer, S. Pranger, in:, 31st International Conference on Computer-Aided Verification, Springer, 2019, pp. 630–649.
[Published Version]
View
| Files available
| DOI
| WoS
G. Avni, R. Bloem, K. Chatterjee, T.A. Henzinger, B. Konighofer, S. Pranger, in:, 31st International Conference on Computer-Aided Verification, Springer, 2019, pp. 630–649.
2019 |Published| Journal Article | IST-REx-ID: 6477 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Colloquium: Many-body localization, thermalization, and entanglement
D.A. Abanin, E. Altman, I. Bloch, M. Serbyn, Reviews of Modern Physics 91 (2019).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
D.A. Abanin, E. Altman, I. Bloch, M. Serbyn, Reviews of Modern Physics 91 (2019).
2019 |Published| Journal Article | IST-REx-ID: 6466 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Breaking down barriers in morning glories
D. Field, C. Fraisse, Molecular Ecology 28 (2019) 1579–1581.
[Published Version]
View
| Files available
| DOI
| WoS
D. Field, C. Fraisse, Molecular Ecology 28 (2019) 1579–1581.
2019 |Published| Journal Article | IST-REx-ID: 6465 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A modular degron library for synthetic circuits in mammalian cells
H. Chassin, M. Müller, M. Tigges, L. Scheller, M. Lang, M. Fussenegger, Nature Communications 10 (2019).
[Published Version]
View
| Files available
| DOI
| WoS
H. Chassin, M. Müller, M. Tigges, L. Scheller, M. Lang, M. Fussenegger, Nature Communications 10 (2019).
2019 |Published| Journal Article | IST-REx-ID: 6467 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
The distribution of epistasis on simple fitness landscapes
C. Fraisse, J.J. Welch, Biology Letters 15 (2019).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
C. Fraisse, J.J. Welch, Biology Letters 15 (2019).
2019 |Published| Journal Article | IST-REx-ID: 6470 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Improved spike inference accuracy by estimating the peak amplitude of unitary [Ca2+] transients in weakly GCaMP6f-expressing hippocampal pyramidal cells
T. Éltes, M. Szoboszlay, M.K. Szigeti, Z. Nusser, Journal of Physiology 597 (2019) 2925–2947.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
T. Éltes, M. Szoboszlay, M.K. Szigeti, Z. Nusser, Journal of Physiology 597 (2019) 2925–2947.
2019 |Published| Conference Paper | IST-REx-ID: 6493 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Membership-based synthesis of linear hybrid automata
M. Garcia Soto, T.A. Henzinger, C. Schilling, L. Zeleznik, in:, 31st International Conference on Computer-Aided Verification, Springer, 2019, pp. 297–314.
[Published Version]
View
| Files available
| DOI
| WoS
M. Garcia Soto, T.A. Henzinger, C. Schilling, L. Zeleznik, in:, 31st International Conference on Computer-Aided Verification, Springer, 2019, pp. 297–314.
2019 |Published| Conference Poster | IST-REx-ID: 6485
Lock-free channels for programming via communicating sequential processes
N. Koval, D.-A. Alistarh, R. Elizarov, Lock-Free Channels for Programming via Communicating Sequential Processes, ACM Press, 2019.
View
| DOI
| WoS
N. Koval, D.-A. Alistarh, R. Elizarov, Lock-Free Channels for Programming via Communicating Sequential Processes, ACM Press, 2019.
2019 |Published| Journal Article | IST-REx-ID: 6504 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Auxin-mediated statolith production for root gravitropism
Y. Zhang, P. He, X. Ma, Z. Yang, C. Pang, J. Yu, G. Wang, J. Friml, G. Xiao, New Phytologist 224 (2019) 761–774.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
Y. Zhang, P. He, X. Ma, Z. Yang, C. Pang, J. Yu, G. Wang, J. Friml, G. Xiao, New Phytologist 224 (2019) 761–774.