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.
4530 Publications
2020 | Technical Report | IST-REx-ID: 8067 |

Current status and future perspectives of Lithium metal batteries
A. Varzi, K. Thanner, R. Scipioni, D. Di Lecce, J. Hassoun, S. Dörfler, H. Altheus, S. Kaskel, C. Prehal, S.A. Freunberger, Current Status and Future Perspectives of Lithium Metal Batteries, IST Austria, n.d.
View
| Files available
| DOI
A. Varzi, K. Thanner, R. Scipioni, D. Di Lecce, J. Hassoun, S. Dörfler, H. Altheus, S. Kaskel, C. Prehal, S.A. Freunberger, Current Status and Future Perspectives of Lithium Metal Batteries, IST Austria, n.d.
2020 | Journal Article | IST-REx-ID: 8361 |

Current status and future perspectives of lithium metal batteries
A. Varzi, K. Thanner, R. Scipioni, D. Di Lecce, J. Hassoun, S. Dörfler, H. Altheus, S. Kaskel, C. Prehal, S.A. Freunberger, Journal of Power Sources 480 (2020).
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
A. Varzi, K. Thanner, R. Scipioni, D. Di Lecce, J. Hassoun, S. Dörfler, H. Altheus, S. Kaskel, C. Prehal, S.A. Freunberger, Journal of Power Sources 480 (2020).
2020 | Journal Article | IST-REx-ID: 8529 |

Converting microwave and telecom photons with a silicon photonic nanomechanical interface
G.M. Arnold, M. Wulf, S. Barzanjeh, E. Redchenko, A.R. Rueda Sanchez, W.J. Hease, F. Hassani, J.M. Fink, Nature Communications 11 (2020).
View
| Files available
| DOI
| WoS
G.M. Arnold, M. Wulf, S. Barzanjeh, E. Redchenko, A.R. Rueda Sanchez, W.J. Hease, F. Hassani, J.M. Fink, Nature Communications 11 (2020).
2020 | Journal Article | IST-REx-ID: 8535 |

Wave curves: Simulating Lagrangian water waves on dynamically deforming surfaces
T. Skrivan, A. Soderstrom, J. Johansson, C. Sprenger, K. Museth, C. Wojtan, ACM Transactions on Graphics 39 (2020).
View
| Files available
| DOI
| WoS
T. Skrivan, A. Soderstrom, J. Johansson, C. Sprenger, K. Museth, C. Wojtan, ACM Transactions on Graphics 39 (2020).
2020 | Journal Article | IST-REx-ID: 8539 |

On the K-theory stable bases of the springer resolution
C. Su, G. Zhao, C. Zhong, Annales Scientifiques de l’Ecole Normale Superieure 53 (2020) 663–671.
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
C. Su, G. Zhao, C. Zhong, Annales Scientifiques de l’Ecole Normale Superieure 53 (2020) 663–671.
2020 | Research Data Reference | IST-REx-ID: 13056 |

Converting microwave and telecom photons with a silicon photonic nanomechanical interface
G.M. Arnold, M. Wulf, S. Barzanjeh, E. Redchenko, A.R. Rueda Sanchez, W.J. Hease, F. Hassani, J.M. Fink, (2020).
View
| Files available
| DOI
| Download Published Version (ext.)
G.M. Arnold, M. Wulf, S. Barzanjeh, E. Redchenko, A.R. Rueda Sanchez, W.J. Hease, F. Hassani, J.M. Fink, (2020).
2020 | Journal Article | IST-REx-ID: 8579 |

Cu homeostasis in bacteria: The ins and outs
A. Andrei, Y. Öztürk, B. Khalfaoui-Hassani, J. Rauch, D. Marckmann, P.I. Trasnea, F. Daldal, H.-G. Koch, Membranes 10 (2020).
View
| Files available
| DOI
| WoS
A. Andrei, Y. Öztürk, B. Khalfaoui-Hassani, J. Rauch, D. Marckmann, P.I. Trasnea, F. Daldal, H.-G. Koch, Membranes 10 (2020).
2020 | Journal Article | IST-REx-ID: 8581
Cryo-EM structure of the entire mammalian F-type ATP synthase
G. Pinke, L. Zhou, L.A. Sazanov, Nature Structural and Molecular Biology 27 (2020) 1077–1085.
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
G. Pinke, L. Zhou, L.A. Sazanov, Nature Structural and Molecular Biology 27 (2020) 1077–1085.
2020 | Conference Paper | IST-REx-ID: 8580
The application of persistent homology in the analysis of heart rate variability
G. Graff, B. Graff, G. Jablonski, K. Narkiewicz, in:, 11th Conference of the European Study Group on Cardiovascular Oscillations: Computation and Modelling in Physiology: New Challenges and Opportunities, , IEEE, 2020.
View
| DOI
| WoS
G. Graff, B. Graff, G. Jablonski, K. Narkiewicz, in:, 11th Conference of the European Study Group on Cardiovascular Oscillations: Computation and Modelling in Physiology: New Challenges and Opportunities, , IEEE, 2020.
2020 | Research Data | IST-REx-ID: 8761 |

Supplementary data for "Computational design of cold bent glass façades"
R. Guseinov, (2020).
View
| Files available
| DOI
R. Guseinov, (2020).
2020 | Journal Article | IST-REx-ID: 8592 |

Oncogenic state and cell identity combinatorially dictate the susceptibility of cells within glioma development hierarchy to IGF1R targeting
Tian A, Kang B, Li B, Qiu B, Jiang W, Shao F, Gao Q, Liu R, Cai C, Jing R, Wang W, Chen P, Liang Q, Bao L, Man J, Wang Y, Shi Y, Li J, Yang M, Wang L, Zhang J, Hippenmeyer S, Zhu J, Bian X, Wang Y, Liu C. 2020. Oncogenic state and cell identity combinatorially dictate the susceptibility of cells within glioma development hierarchy to IGF1R targeting. Advanced Science. 7(21), 2001724.
View
| Files available
| DOI
| WoS
Tian A, Kang B, Li B, Qiu B, Jiang W, Shao F, Gao Q, Liu R, Cai C, Jing R, Wang W, Chen P, Liang Q, Bao L, Man J, Wang Y, Shi Y, Li J, Yang M, Wang L, Zhang J, Hippenmeyer S, Zhu J, Bian X, Wang Y, Liu C. 2020. Oncogenic state and cell identity combinatorially dictate the susceptibility of cells within glioma development hierarchy to IGF1R targeting. Advanced Science. 7(21), 2001724.
2020 | Journal Article | IST-REx-ID: 8586 |

3D printed cell culture grid holders for improved cellular specimen preparation in cryo-electron microscopy
F. Fäßler, B. Zens, R. Hauschild, F.K. Schur, Journal of Structural Biology 212 (2020).
View
| Files available
| DOI
| WoS
F. Fäßler, B. Zens, R. Hauschild, F.K. Schur, Journal of Structural Biology 212 (2020).
2020 | Journal Article | IST-REx-ID: 8568 |

Persistent and reversible solid iodine electrodeposition in nanoporous carbons
C. Prehal, H. Fitzek, G. Kothleitner, V. Presser, B. Gollas, S.A. Freunberger, Q. Abbas, Nature Communications 11 (2020).
View
| Files available
| DOI
| WoS
C. Prehal, H. Fitzek, G. Kothleitner, V. Presser, B. Gollas, S.A. Freunberger, Q. Abbas, Nature Communications 11 (2020).
2020 | Journal Article | IST-REx-ID: 8643 |

A specialized reciprocal connectivity suggests a link between the mechanisms by which the superior colliculus and parabigeminal nucleus produce defensive behaviors in rodents
A. Deichler, D. Carrasco, L. Lopez-Jury, T.A. Vega Zuniga, N. Marquez, J. Mpodozis, G. Marin, Scientific Reports 10 (2020).
View
| Files available
| DOI
| WoS
A. Deichler, D. Carrasco, L. Lopez-Jury, T.A. Vega Zuniga, N. Marquez, J. Mpodozis, G. Marin, Scientific Reports 10 (2020).
2020 | Journal Article | IST-REx-ID: 8645 |

HypercubeME: Two hundred million combinatorially complete datasets from a single experiment
L.A. Esteban, L.R. Lonishin, D.M. Bobrovskiy, G. Leleytner, N.S. Bogatyreva, F. Kondrashov, D.N. Ivankov, Bioinformatics 36 (2020) 1960–1962.
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
L.A. Esteban, L.R. Lonishin, D.M. Bobrovskiy, G. Leleytner, N.S. Bogatyreva, F. Kondrashov, D.N. Ivankov, Bioinformatics 36 (2020) 1960–1962.
2020 | Journal Article | IST-REx-ID: 8601 |

Edge universality for non-Hermitian random matrices
G. Cipolloni, L. Erdös, D.J. Schröder, Probability Theory and Related Fields (2020).
View
| Files available
| DOI
| WoS
| arXiv
G. Cipolloni, L. Erdös, D.J. Schröder, Probability Theory and Related Fields (2020).
2020 | Journal Article | IST-REx-ID: 8597 |

Differences in power law growth over time and indicators of COVID-19 pandemic progression worldwide
J. Merrin, Physical Biology 17 (2020).
View
| Files available
| DOI
| WoS
J. Merrin, Physical Biology 17 (2020).
2020 | Journal Article | IST-REx-ID: 8674 |

LTP induction boosts glutamate spillover by driving withdrawal of perisynaptic astroglia
Henneberger C, Bard L, Panatier A, Reynolds JP, Kopach O, Medvedev NI, Minge D, Herde MK, Anders S, Kraev I, Heller JP, Rama S, Zheng K, Jensen TP, Sanchez-Romero I, Jackson CJ, Janovjak HL, Ottersen OP, Nagelhus EA, Oliet SHR, Stewart MG, Nägerl UVa, Rusakov DA. 2020. LTP induction boosts glutamate spillover by driving withdrawal of perisynaptic astroglia. Neuron. 108(5), P919–936.E11.
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
Henneberger C, Bard L, Panatier A, Reynolds JP, Kopach O, Medvedev NI, Minge D, Herde MK, Anders S, Kraev I, Heller JP, Rama S, Zheng K, Jensen TP, Sanchez-Romero I, Jackson CJ, Janovjak HL, Ottersen OP, Nagelhus EA, Oliet SHR, Stewart MG, Nägerl UVa, Rusakov DA. 2020. LTP induction boosts glutamate spillover by driving withdrawal of perisynaptic astroglia. Neuron. 108(5), P919–936.E11.
2020 | Journal Article | IST-REx-ID: 8652 |

Filtering spins by scattering from a lattice of point magnets
A. Ghazaryan, M. Lemeshko, A. Volosniev, Communications Physics 3 (2020).
View
| Files available
| DOI
| WoS
A. Ghazaryan, M. Lemeshko, A. Volosniev, Communications Physics 3 (2020).
2020 | Journal Article | IST-REx-ID: 8669 |

Tracing the cellular basis of islet specification in mouse pancreas
M.K. Sznurkowska, E.B. Hannezo, R. Azzarelli, L. Chatzeli, T. Ikeda, S. Yoshida, A. Philpott, B.D. Simons, Nature Communications 11 (2020).
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
M.K. Sznurkowska, E.B. Hannezo, R. Azzarelli, L. Chatzeli, T. Ikeda, S. Yoshida, A. Philpott, B.D. Simons, Nature Communications 11 (2020).
2020 | Journal Article | IST-REx-ID: 8672 |

Abscission couples cell division to embryonic stem cell fate
A. Chaigne, C. Labouesse, I.J. White, M. Agnew, E.B. Hannezo, K.J. Chalut, E.K. Paluch, Developmental Cell 55 (2020) 195–208.
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
A. Chaigne, C. Labouesse, I.J. White, M. Agnew, E.B. Hannezo, K.J. Chalut, E.K. Paluch, Developmental Cell 55 (2020) 195–208.
2020 | Journal Article | IST-REx-ID: 8697 |

Variance reduction for effective energies of random lattices in the Thomas-Fermi-von Weizsäcker model
J.L. Fischer, M. Kniely, Nonlinearity 33 (2020) 5733–5772.
View
| Files available
| DOI
| WoS
| arXiv
J.L. Fischer, M. Kniely, Nonlinearity 33 (2020) 5733–5772.
2020 | Journal Article | IST-REx-ID: 8680 |

An adhesion code ensures robust pattern formation during tissue morphogenesis
T.Y.-C. Tsai, M.K. Sikora, P. Xia, T. Colak-Champollion, H. Knaut, C.-P.J. Heisenberg, S.G. Megason, Science 370 (2020) 113–116.
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
T.Y.-C. Tsai, M.K. Sikora, P. Xia, T. Colak-Champollion, H. Knaut, C.-P.J. Heisenberg, S.G. Megason, Science 370 (2020) 113–116.
2020 | Journal Article | IST-REx-ID: 8707
CHESS enables quantitative comparison of chromatin contact data and automatic feature extraction
S. Galan, N.N. Machnik, K. Kruse, N. Díaz, M.A. Marti-Renom, J.M. Vaquerizas, Nature Genetics 52 (2020) 1247–1255.
View
| DOI
| WoS
| PubMed | Europe PMC
S. Galan, N.N. Machnik, K. Kruse, N. Díaz, M.A. Marti-Renom, J.M. Vaquerizas, Nature Genetics 52 (2020) 1247–1255.
2020 | Journal Article | IST-REx-ID: 8679
Neural circuit policies enabling auditable autonomy
M. Lechner, R. Hasani, A. Amini, T.A. Henzinger, D. Rus, R. Grosu, Nature Machine Intelligence 2 (2020) 642–652.
View
| Files available
| DOI
| WoS
M. Lechner, R. Hasani, A. Amini, T.A. Henzinger, D. Rus, R. Grosu, Nature Machine Intelligence 2 (2020) 642–652.
2020 | Journal Article | IST-REx-ID: 8670 |

Equality conditions of data processing inequality for α-z Rényi relative entropies
H. Zhang, Journal of Mathematical Physics 61 (2020).
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
H. Zhang, Journal of Mathematical Physics 61 (2020).
2020 | Journal Article | IST-REx-ID: 8698 |

Learning probabilistic neural representations with randomly connected circuits
O. Maoz, G. Tkačik, M.S. Esteki, R. Kiani, E. Schneidman, Proceedings of the National Academy of Sciences of the United States of America 117 (2020) 25066–25073.
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
O. Maoz, G. Tkačik, M.S. Esteki, R. Kiani, E. Schneidman, Proceedings of the National Academy of Sciences of the United States of America 117 (2020) 25066–25073.
2020 | Conference Paper | IST-REx-ID: 8704 |

Gershgorin loss stabilizes the recurrent neural network compartment of an end-to-end robot learning scheme
M. Lechner, R. Hasani, D. Rus, R. Grosu, in:, Proceedings - IEEE International Conference on Robotics and Automation, IEEE, 2020, pp. 5446–5452.
View
| Files available
| DOI
| WoS
M. Lechner, R. Hasani, D. Rus, R. Grosu, in:, Proceedings - IEEE International Conference on Robotics and Automation, IEEE, 2020, pp. 5446–5452.
2020 | Journal Article | IST-REx-ID: 8700
The influence of A/G composition of 3' stop codon contexts on translation termination efficiency in eukaryotes
E.E. Sokolova, P. Vlasov, T.V. Egorova, A.V. Shuvalov, E.Z. Alkalaeva, Molecular Biology 54 (2020) 739–748.
View
| Files available
| DOI
| WoS
E.E. Sokolova, P. Vlasov, T.V. Egorova, A.V. Shuvalov, E.Z. Alkalaeva, Molecular Biology 54 (2020) 739–748.
2020 | Journal Article | IST-REx-ID: 8701
The influence of A/G composition of 3' stop codon contexts on translation termination efficiency in eukaryotes
E.E. Sokolova, P. Vlasov, T.V. Egorova, A.V. Shuvalov, E.Z. Alkalaeva, Molekuliarnaia biologiia 54 (2020) 837–848.
View
| Files available
| DOI
| PubMed | Europe PMC
E.E. Sokolova, P. Vlasov, T.V. Egorova, A.V. Shuvalov, E.Z. Alkalaeva, Molekuliarnaia biologiia 54 (2020) 837–848.
2020 | Preprint | IST-REx-ID: 14096 |

Successful common envelope ejection and binary neutron star formation in 3D hydrodynamics
J.A.P.L.-S. Jamie A. P. Law-Smith, R.W. Everson, E.R.-R. Enrico Ramirez-Ruiz, S.E. de Mink, L.A.C. van Son, Y.L.L. Götberg, S. Zellmann, A.V.-G. Alejandro Vigna-Gómez, M. Renzo, S. Wu, S.L. Schrøder, R.J. Foley, T.H.-S. Tenley Hutchinson-Smith, ArXiv (n.d.).
View
| DOI
| Download Preprint (ext.)
| arXiv
J.A.P.L.-S. Jamie A. P. Law-Smith, R.W. Everson, E.R.-R. Enrico Ramirez-Ruiz, S.E. de Mink, L.A.C. van Son, Y.L.L. Götberg, S. Zellmann, A.V.-G. Alejandro Vigna-Gómez, M. Renzo, S. Wu, S.L. Schrøder, R.J. Foley, T.H.-S. Tenley Hutchinson-Smith, ArXiv (n.d.).
2020 | Journal Article | IST-REx-ID: 8699 |

Strain engineering of the charge and spin-orbital interactions in Sr2IrO4
E. Paris, Y. Tseng, E. Paerschke, W. Zhang, M.H. Upton, A. Efimenko, K. Rolfs, D.E. McNally, L. Maurel, M. Naamneh, M. Caputo, V.N. Strocov, Z. Wang, D. Casa, C.W. Schneider, E. Pomjakushina, K. Wohlfeld, M. Radovic, T. Schmitt, Proceedings of the National Academy of Sciences of the United States of America 117 (2020) 24764–24770.
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
E. Paris, Y. Tseng, E. Paerschke, W. Zhang, M.H. Upton, A. Efimenko, K. Rolfs, D.E. McNally, L. Maurel, M. Naamneh, M. Caputo, V.N. Strocov, Z. Wang, D. Casa, C.W. Schneider, E. Pomjakushina, K. Wohlfeld, M. Radovic, T. Schmitt, Proceedings of the National Academy of Sciences of the United States of America 117 (2020) 24764–24770.
2020 | Journal Article | IST-REx-ID: 8737 |

The coupling mechanism of mammalian respiratory complex I
D. Kampjut, L.A. Sazanov, Science 370 (2020).
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
D. Kampjut, L.A. Sazanov, Science 370 (2020).
2020 | Conference Paper | IST-REx-ID: 8722 |

Taming unbalanced training workloads in deep learning with partial collective operations
S. Li, T.B.-N. Tal Ben-Nun, S.D. Girolamo, D.-A. Alistarh, T. Hoefler, in:, Proceedings of the 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Association for Computing Machinery, 2020, pp. 45–61.
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
S. Li, T.B.-N. Tal Ben-Nun, S.D. Girolamo, D.-A. Alistarh, T. Hoefler, in:, Proceedings of the 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Association for Computing Machinery, 2020, pp. 45–61.
2020 | 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).
View
| Files available
| DOI
| WoS
I. Gridchyn, P. Schönenberger, J. O’Neill, J.L. Csicsvari, ELife 9 (2020).
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).
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: 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).
View
| Files available
| DOI
| WoS
A.K. Klose, V. Karle, R. Winkelmann, J.F. Donges, Royal Society Open Science 7 (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 | Research Data | IST-REx-ID: 8563 |

Optogenetic alteration of hippocampal network activity
J.L. Csicsvari, I. Gridchyn, P. Schönenberger, (2020).
View
| Files available
| DOI
J.L. Csicsvari, I. Gridchyn, P. Schönenberger, (2020).
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).
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.
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.
View
| Files available
| DOI
| WoS
| arXiv
J. Maas, A. Mielke, Journal of Statistical Physics 181 (2020) 2257–2303.
2020 | 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 | 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).
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.
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).
View
| Files available
| DOI
| WoS
M. Kleshnina, S. Streipert, J. Filar, K. Chatterjee, Mathematics 8 (2020).
2020 | Journal Article | IST-REx-ID: 8914 |

Differential loss of spinal interneurons in a mouse model of ALS
A. Salamatina, J.H. Yang, S. Brenner-Morton, J.B. Bikoff, L. Fang, C.R. Kintner, T.M. Jessell, L.B.J. Sweeney, Neuroscience 450 (2020) 81–95.
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
A. Salamatina, J.H. Yang, S. Brenner-Morton, J.B. Bikoff, L. Fang, C.R. Kintner, T.M. Jessell, L.B.J. Sweeney, Neuroscience 450 (2020) 81–95.
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.
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.
2020 | 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.
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.