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.
4969 Publications
2020 | 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 | 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 | 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 | 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 | 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 Reference | IST-REx-ID: 13070 |
Surpassing the resistance quantum with a geometric superinductor
M. Peruzzo, A. Trioni, F. Hassani, M. Zemlicka, J.M. Fink, (2020).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
M. Peruzzo, A. Trioni, F. Hassani, M. Zemlicka, J.M. Fink, (2020).
2020 | 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 | 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 | Conference Paper | IST-REx-ID: 8287 |
Reachability analysis of linear hybrid systems via block decomposition
S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, C. Schilling, in:, Proceedings of the International Conference on Embedded Software, 2020.
[Preprint]
View
| Files available
| arXiv
S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, C. Schilling, in:, Proceedings of the International Conference on Embedded Software, 2020.
2020 | 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.