Please note that IST 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.

3060 Publications

2020 | Conference Paper | IST-REx-ID: 8728 | OA
Faster algorithms for quantitative analysis of MCs and MDPs with small treewidth
A. Asadi, K. Chatterjee, A.K. Goharshady, K. Mohammadi, A. Pavlogiannis, in:, Automated Technology for Verification and Analysis, Springer Nature, 2020, pp. 253–270.
View | Files available | DOI

2020 | Journal Article | IST-REx-ID: 8730
Complete inhibition of ABCB1 and ABCG2 at the blood-brain barrier by co-infusion of erlotinib and tariquidar to improve brain delivery of the model ABCB1/ABCG2 substrate [11C]erlotinib
N. Tournier, S. Goutal, S. Mairinger, I. Lozano, T. Filip, M. Sauberer, F. Caillé, L. Breuil, J. Stanek, A. Freeman, G. Novarino, C. Truillet, T. Wanek, O. Langer, Journal of Cerebral Blood Flow and Metabolism (2020).
View | DOI | PubMed | Europe PMC

2020 | 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

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

2020 | Journal Article | IST-REx-ID: 8740 | OA
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

Filters and Search Terms



Filter Publications