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.
5402 Publications
2020 | Published | Conference Paper | IST-REx-ID: 8725 | 
The splay-list: A distribution-adaptive concurrent skip-list
V. Aksenov, D.-A. Alistarh, A. Drozdova, A. Mohtashami, in:, 34th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, p. 3:1-3:18.
[Published Version]
View
| Files available
| DOI
| arXiv
V. Aksenov, D.-A. Alistarh, A. Drozdova, A. Mohtashami, in:, 34th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, p. 3:1-3:18.
2020 | Published | Journal Article | IST-REx-ID: 8726 |
Evolution of spin-orbital entanglement with increasing ising spin-orbit coupling
D. Gotfryd, E. Paerschke, K. Wohlfeld, A.M. Oleś, Condensed Matter 5 (2020).
[Published Version]
View
| Files available
| DOI
| arXiv
D. Gotfryd, E. Paerschke, K. Wohlfeld, A.M. Oleś, Condensed Matter 5 (2020).
2020 | Published | Conference Paper | IST-REx-ID: 8732
Inserting one edge into a simple drawing is hard
A.M. Arroyo Guevara, F. Klute, I. Parada, R. Seidel, B. Vogtenhuber, T. Wiedera, in:, Graph-Theoretic Concepts in Computer Science, Springer Nature, 2020, pp. 325–338.
View
| DOI
A.M. Arroyo Guevara, F. Klute, I. Parada, R. Seidel, B. Vogtenhuber, T. Wiedera, in:, Graph-Theoretic Concepts in Computer Science, Springer Nature, 2020, pp. 325–338.
2020 | Published | Journal Article | IST-REx-ID: 8737 |
The coupling mechanism of mammalian respiratory complex I
D. Kampjut, L.A. Sazanov, Science 370 (2020).
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
D. Kampjut, L.A. Sazanov, Science 370 (2020).
2020 | Published | Journal Article | IST-REx-ID: 8740 |
Optogenetic inhibition-mediated activity-dependent modification of CA1 pyramidal-interneuron connections during behavior
I. Gridchyn, P. Schönenberger, J. O’Neill, J.L. Csicsvari, ELife 9 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
I. Gridchyn, P. Schönenberger, J. O’Neill, J.L. Csicsvari, ELife 9 (2020).
2020 | Published | Journal Article | IST-REx-ID: 8741 |
Emergence of cascading dynamics in interacting tipping elements of ecology and climate: Cascading dynamics in tipping elements
A.K. Klose, V. Karle, R. Winkelmann, J.F. Donges, Royal Society Open Science 7 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
A.K. Klose, V. Karle, R. Winkelmann, J.F. Donges, Royal Society Open Science 7 (2020).
2020 | Published | Journal Article | IST-REx-ID: 8744 |
Cysteine oxidation and disulfide formation in the ribosomal exit tunnel
L. Schulte, J. Mao, J. Reitz, S. Sreeramulu, D. Kudlinzki, V.-V. Hodirnau, J. Meier-Credo, K. Saxena, F. Buhr, J.D. Langer, M. Blackledge, A.S. Frangakis, C. Glaubitz, H. Schwalbe, Nature Communications 11 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
L. Schulte, J. Mao, J. Reitz, S. Sreeramulu, D. Kudlinzki, V.-V. Hodirnau, J. Meier-Credo, K. Saxena, F. Buhr, J.D. Langer, M. Blackledge, A.S. Frangakis, C. Glaubitz, H. Schwalbe, Nature Communications 11 (2020).
2020 | Published | Journal Article | IST-REx-ID: 8746 |
Electron transport in iodide-capped core@shell PbTe@PbS colloidal nanocrystal solids
R. Miranti, R.D. Septianto, M. Ibáñez, M.V. Kovalenko, N. Matsushita, Y. Iwasa, S.Z. Bisri, Applied Physics Letters 117 (2020).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
R. Miranti, R.D. Septianto, M. Ibáñez, M.V. Kovalenko, N. Matsushita, Y. Iwasa, S.Z. Bisri, Applied Physics Letters 117 (2020).
2020 | Published | Journal Article | IST-REx-ID: 8747
Bismuth telluride-copper telluride nanocomposites from heterostructured building blocks
Y. Zhang, Y. Liu, M. Calcabrini, C. Xing, X. Han, J. Arbiol, D. Cadavid, M. Ibáñez, A. Cabot, Journal of Materials Chemistry C 8 (2020) 14092–14099.
View
| DOI
| WoS
Y. Zhang, Y. Liu, M. Calcabrini, C. Xing, X. Han, J. Arbiol, D. Cadavid, M. Ibáñez, A. Cabot, Journal of Materials Chemistry C 8 (2020) 14092–14099.
2020 | Published | Conference Paper | IST-REx-ID: 8750 |
Efficient reachability analysis of parametric linear hybrid systems with time-triggered transitions
M. Forets, D. Freire, C. Schilling, in:, 18th ACM-IEEE International Conference on Formal Methods and Models for System Design, IEEE, 2020.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
M. Forets, D. Freire, C. Schilling, in:, 18th ACM-IEEE International Conference on Formal Methods and Models for System Design, IEEE, 2020.
2020 | Published | Journal Article | IST-REx-ID: 8758 |
Modeling of chemical reaction systems with detailed balance using gradient structures
J. Maas, A. Mielke, Journal of Statistical Physics 181 (2020) 2257–2303.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
J. Maas, A. Mielke, Journal of Statistical Physics 181 (2020) 2257–2303.
2020 | Research Data | IST-REx-ID: 8761 |
Supplementary data for "Computational design of cold bent glass façades"
R. Guseinov, (2020).
[Published Version]
View
| Files available
| DOI
R. Guseinov, (2020).
2020 | Published | Journal Article | IST-REx-ID: 8765 |
A practical method for animating anisotropic elastoplastic materials
C. Schreck, C. Wojtan, Computer Graphics Forum 39 (2020) 89–99.
[Submitted Version]
View
| Files available
| DOI
| WoS
C. Schreck, C. Wojtan, Computer Graphics Forum 39 (2020) 89–99.
2020 | Published | Journal Article | IST-REx-ID: 8766
Making procedural water waves boundary-aware
S. Jeschke, C. Hafner, N. Chentanez, M. Macklin, M. Müller-Fischer, C. Wojtan, Computer Graphics Forum 39 (2020) 47–54.
View
| DOI
| WoS
S. Jeschke, C. Hafner, N. Chentanez, M. Macklin, M. Müller-Fischer, C. Wojtan, Computer Graphics Forum 39 (2020) 47–54.
2020 | Published | Journal Article | IST-REx-ID: 8767 |
The Moran process on 2-chromatic graphs
K. Kaveh, A. McAvoy, K. Chatterjee, M.A. Nowak, PLOS Computational Biology 16 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
K. Kaveh, A. McAvoy, K. Chatterjee, M.A. Nowak, PLOS Computational Biology 16 (2020).
2020 | Published | Journal Article | IST-REx-ID: 8769 |
Quantum impurity model for anyons
E. Yakaboylu, A. Ghazaryan, D. Lundholm, N. Rougerie, M. Lemeshko, R. Seiringer, Physical Review B 102 (2020).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
E. Yakaboylu, A. Ghazaryan, D. Lundholm, N. Rougerie, M. Lemeshko, R. Seiringer, Physical Review B 102 (2020).
2020 | Published | Journal Article | IST-REx-ID: 8787 |
Vascular surveillance by haptotactic blood platelets in inflammation and infection
Nicolai L, Schiefelbein K, Lipsky S, Leunig A, Hoffknecht M, Pekayvaz K, Raude B, Marx C, Ehrlich A, Pircher J, Zhang Z, Saleh I, Marel A-K, Löf A, Petzold T, Lorenz M, Stark K, Pick R, Rosenberger G, Weckbach L, Uhl B, Xia S, Reichel CA, Walzog B, Schulz C, Zheden V, Bender M, Li R, Massberg S, Gärtner FR. 2020. Vascular surveillance by haptotactic blood platelets in inflammation and infection. Nature Communications. 11, 5778.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
Nicolai L, Schiefelbein K, Lipsky S, Leunig A, Hoffknecht M, Pekayvaz K, Raude B, Marx C, Ehrlich A, Pircher J, Zhang Z, Saleh I, Marel A-K, Löf A, Petzold T, Lorenz M, Stark K, Pick R, Rosenberger G, Weckbach L, Uhl B, Xia S, Reichel CA, Walzog B, Schulz C, Zheden V, Bender M, Li R, Massberg S, Gärtner FR. 2020. Vascular surveillance by haptotactic blood platelets in inflammation and infection. Nature Communications. 11, 5778.
2020 | Published | Journal Article | IST-REx-ID: 8788
Precedence-aware automated competitive analysis of real-time scheduling
A. Pavlogiannis, N. Schaumberger, U. Schmid, K. Chatterjee, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 39 (2020) 3981–3992.
View
| DOI
| WoS
A. Pavlogiannis, N. Schaumberger, U. Schmid, K. Chatterjee, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 39 (2020) 3981–3992.
2020 | Published | Journal Article | IST-REx-ID: 8789 |
Prioritised learning in snowdrift-type games
M. Kleshnina, S. Streipert, J. Filar, K. Chatterjee, Mathematics 8 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
M. Kleshnina, S. Streipert, J. Filar, K. Chatterjee, Mathematics 8 (2020).
2020 | Published | Journal Article | IST-REx-ID: 8790 |
Reachability analysis of linear hybrid systems via block decomposition
S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, C. Schilling, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 39 (2020) 4018–4029.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, C. Schilling, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 39 (2020) 4018–4029.