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.
10552 Publications
2019 | Published | 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 | Published | Journal Article | IST-REx-ID: 7275 | 
Singlet oxygen from cation driven superoxide disproportionation and consequences for aprotic metal–O2 batteries
E. Mourad, Y.K. Petit, R. Spezia, A. Samojlov, F.F. Summa, C. Prehal, C. Leypold, N. Mahne, C. Slugovc, O. Fontaine, S. Brutti, S.A. Freunberger, Energy & Environmental Science 12 (2019) 2559–2568.
[Published Version]
View
| Files available
| DOI
E. Mourad, Y.K. Petit, R. Spezia, A. Samojlov, F.F. Summa, C. Prehal, C. Leypold, N. Mahne, C. Slugovc, O. Fontaine, S. Brutti, S.A. Freunberger, Energy & Environmental Science 12 (2019) 2559–2568.
2019 | Published | Journal Article | IST-REx-ID: 7276 |
DABCOnium: An efficient and high-voltage stable singlet oxygen quencher for metal-O2 cells
Y.K. Petit, C. Leypold, N. Mahne, E. Mourad, L. Schafzahl, C. Slugovc, S.M. Borisov, S.A. Freunberger, Angewandte Chemie International Edition 58 (2019) 6535–6539.
[Published Version]
View
| Files available
| DOI
Y.K. Petit, C. Leypold, N. Mahne, E. Mourad, L. Schafzahl, C. Slugovc, S.M. Borisov, S.A. Freunberger, Angewandte Chemie International Edition 58 (2019) 6535–6539.
2019 | Published | Journal Article | IST-REx-ID: 7280 |
Deactivation of redox mediators in lithium-oxygen batteries by singlet oxygen
W.-J. Kwak, H. Kim, Y.K. Petit, C. Leypold, T.T. Nguyen, N. Mahne, P. Redfern, L.A. Curtiss, H.-G. Jung, S.M. Borisov, S.A. Freunberger, Y.-K. Sun, Nature Communications 10 (2019).
[Published Version]
View
| Files available
| DOI
W.-J. Kwak, H. Kim, Y.K. Petit, C. Leypold, T.T. Nguyen, N. Mahne, P. Redfern, L.A. Curtiss, H.-G. Jung, S.M. Borisov, S.A. Freunberger, Y.-K. Sun, Nature Communications 10 (2019).
2019 | Published | Journal Article | IST-REx-ID: 7281 |
Mutual conservation of redox mediator and singlet oxygen quencher in Lithium–Oxygen batteries
W.-J. Kwak, S.A. Freunberger, H. Kim, J. Park, T.T. Nguyen, H.-G. Jung, H.R. Byon, Y.-K. Sun, ACS Catalysis 9 (2019) 9914–9922.
[Submitted Version]
View
| Files available
| DOI
W.-J. Kwak, S.A. Freunberger, H. Kim, J. Park, T.T. Nguyen, H.-G. Jung, H.R. Byon, Y.-K. Sun, ACS Catalysis 9 (2019) 9914–9922.
2019 | Published | Journal Article | IST-REx-ID: 7282 |
Interphase identity crisis
S.A. Freunberger, Nature Chemistry 11 (2019) 761–763.
[Submitted Version]
View
| Files available
| DOI
S.A. Freunberger, Nature Chemistry 11 (2019) 761–763.
2019 | Published | Journal Article | IST-REx-ID: 7283 |
Thousands of cycles
Y.K. Petit, S.A. Freunberger, Nature Materials 18 (2019) 301–302.
[Submitted Version]
View
| Files available
| DOI
Y.K. Petit, S.A. Freunberger, Nature Materials 18 (2019) 301–302.
2019 | Published | Journal Article | IST-REx-ID: 7284 |
Li-O2 cell-scale energy densities
C. Prehal, S.A. Freunberger, Joule 3 (2019) 321–323.
[Published Version]
View
| DOI
| Download Published Version (ext.)
C. Prehal, S.A. Freunberger, Joule 3 (2019) 321–323.
2019 | Published | Journal Article | IST-REx-ID: 73 |
On the geometry of geodesics in discrete optimal transport
M. Erbar, J. Maas, M. Wirth, Calculus of Variations and Partial Differential Equations 58 (2019).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
M. Erbar, J. Maas, M. Wirth, Calculus of Variations and Partial Differential Equations 58 (2019).
2019 | Published | 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 | Published | Preprint | IST-REx-ID: 7358 |
TGFβ superfamily signaling regulates the state of human stem cell pluripotency and competency to create telencephalic organoids
M. Watanabe, J.R. Haney, N. Vishlaghi, F. Turcios, J.E. Buth, W. Gu, A.J. Collier, O. Miranda, D. Chen, S. Sabri, A.T. Clark, K. Plath, H.R. Christofk, M.J. Gandal, B.G. Novitch, BioRxiv (2019).
[Preprint]
View
| DOI
| Download Preprint (ext.)
M. Watanabe, J.R. Haney, N. Vishlaghi, F. Turcios, J.E. Buth, W. Gu, A.J. Collier, O. Miranda, D. Chen, S. Sabri, A.T. Clark, K. Plath, H.R. Christofk, M.J. Gandal, B.G. Novitch, BioRxiv (2019).
2019 | Published | Journal Article | IST-REx-ID: 6660 |
Geometry-aware scattering compensation for 3D printing
D. Sumin, T. Weyrich, T. Rittig, V. Babaei, T. Nindel, A. Wilkie, P. Didyk, B. Bickel, J. Křivánek, K. Myszkowski, ACM Transactions on Graphics 38 (2019).
[Submitted Version]
View
| Files available
| DOI
| WoS
D. Sumin, T. Weyrich, T. Rittig, V. Babaei, T. Nindel, A. Wilkie, P. Didyk, B. Bickel, J. Křivánek, K. Myszkowski, ACM Transactions on Graphics 38 (2019).
2019 | Published | Journal Article | IST-REx-ID: 7002
Optimal multiple importance sampling
I. Kondapaneni, P. Vevoda, P. Grittmann, T. Skrivan, P. Slusallek, J. Křivánek, ACM Transactions on Graphics 38 (2019).
View
| DOI
| WoS
I. Kondapaneni, P. Vevoda, P. Grittmann, T. Skrivan, P. Slusallek, J. Křivánek, ACM Transactions on Graphics 38 (2019).
2019 | Published | Thesis | IST-REx-ID: 6179 |
From Dyson to Pearcey: Universal statistics in random matrix theory
D.J. Schröder, From Dyson to Pearcey: Universal Statistics in Random Matrix Theory, Institute of Science and Technology Austria, 2019.
[Published Version]
View
| Files available
| DOI
D.J. Schröder, From Dyson to Pearcey: Universal Statistics in Random Matrix Theory, Institute of Science and Technology Austria, 2019.
2019 | Published | Journal Article | IST-REx-ID: 6186 |
Cusp universality for random matrices, II: The real symmetric case
G. Cipolloni, L. Erdös, T.H. Krüger, D.J. Schröder, Pure and Applied Analysis 1 (2019) 615–707.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
G. Cipolloni, L. Erdös, T.H. Krüger, D.J. Schröder, Pure and Applied Analysis 1 (2019) 615–707.
2019 | Published | Conference Paper | IST-REx-ID: 10190 |
Value-centric dynamic partial order reduction
K. Chatterjee, A. Pavlogiannis, V. Toman, in:, Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications, ACM, 2019.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
K. Chatterjee, A. Pavlogiannis, V. Toman, in:, Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications, ACM, 2019.
2019 | Published | Conference Paper | IST-REx-ID: 7606 |
A tight upper bound on mutual information
M. Hledik, T.R. Sokolowski, G. Tkačik, in:, IEEE Information Theory Workshop, ITW 2019, IEEE, 2019.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
M. Hledik, T.R. Sokolowski, G. Tkačik, in:, IEEE Information Theory Workshop, ITW 2019, IEEE, 2019.
2019 | Published | Journal Article | IST-REx-ID: 6521 |
Targeting microglia with lentivirus and AAV: Recent advances and remaining challenges
M.E. Maes, G. Colombo, R. Schulz, S. Siegert, Neuroscience Letters 707 (2019).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
M.E. Maes, G. Colombo, R. Schulz, S. Siegert, Neuroscience Letters 707 (2019).
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 | Published | Journal Article | IST-REx-ID: 6419 |
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).