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.

2185 Publications


2019 | Conference Paper | IST-REx-ID: 6035   OA
JuliaReach: A toolbox for set-based reachability
S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, C. Schilling, in:, Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control, ACM, n.d., pp. 39–44.
View | Files available | DOI | Download (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6042   OA
Semantic fault localization and suspiciousness ranking
M. Christakis, M. Heizmann, M.N. Mansur, C. Schilling, V. Wüstholz, in:, 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , Springer Nature, 2019, pp. 226–243.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6648   OA
Topological data analysis in information space
H. Edelsbrunner, Z. Virk, H. Wagner, in:, 35th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 31:1-31:14.
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 7026   OA
Emergent gene expression responses to drug combinations predict higher-order drug interactions
M. Lukacisin, T. Bollenbach, Cell Systems 9 (2019) 423-433.e1-e3.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6756   OA
Unexpected topology of the temperature fluctuations in the cosmic microwave background
P. Pranav, R.J. Adler, T. Buchert, H. Edelsbrunner, B.J.T. Jones, A. Schwartzman, H. Wagner, R. Van De Weygaert, Astronomy and Astrophysics 627 (2019).
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 7280   OA
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) 1380.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 290   OA
Colloquium: Many-body localization, thermalization, and entanglement
D. Abanin, E. Altman, I. Bloch, M. Serbyn, Reviews of Modern Physics 91 (2019) 021001.
View | DOI | Download (ext.) | arXiv
 

2019 | Preprint | IST-REx-ID: 7083   OA
Mechanistic origin of drug interactions between translation-inhibiting antibiotics
B. Kavcic, G. Tkačik, T. Bollenbach, BioRxiv (n.d.).
View | Download (ext.)
 

2019 | Journal Article | IST-REx-ID: 138   OA View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 405   OA
Jointly convex quantum Jensen divergences
D. Virosztek, Linear Algebra and Its Applications 576 (2019) 67–78.
View | DOI | Download (ext.) | arXiv
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Export / Embed