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.

5623 Publications

2020 | Conference Paper | IST-REx-ID: 7635
Testing concurrency on the JVM with Lincheck
N. Koval, M. Sokolova, A. Fedorov, D.-A. Alistarh, D. Tsitelov, in:, Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP, ACM, 2020, pp. 423–424.
View | DOI

2020 | Book Chapter | IST-REx-ID: 7591
Lithium–Oxygen batteries
Y.K. Petit, E. Mourad, S.A. Freunberger, in:, Encyclopedia of Electrochemistry, Wiley, 2020, pp. 1–42.
View | DOI

2020 | Preprint | IST-REx-ID: 7673   OA
A minimal biophysical model of combined antibiotic action
B. Kavcic, G. Tkačik, T. Bollenbach, BioRxiv (2020).
View | Download (ext.)

2020 | Journal Article | IST-REx-ID: 7685   OA
The excitation spectrum of the Bose gas in the Gross-Pitaevskii regime
C. Boccato, Reviews in Mathematical Physics (2020) 2060006.
View | DOI | Download (ext.) | arXiv

2020 | Journal Article | IST-REx-ID: 7666   OA
Tri-partitions and bases of an ordered complex
H. Edelsbrunner, K. Ölsböck, Discrete and Computational Geometry (2020).
View | DOI | Download (ext.)


Filter Publications

Display / Sort

Citation Style: Default

Export / Embed