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.

2975 Publications

2020 | Conference Paper | IST-REx-ID: 8191
Memory tagging: Minimalist synchronization for scalable concurrent data structures
D.-A. Alistarh, T.A. Brown, N. Singhal, in:, Annual ACM Symposium on Parallelism in Algorithms and Architectures, ACM, 2020, pp. 37–49.
View | DOI

2020 | Conference Paper | IST-REx-ID: 8194 | OA
An SMT theory of fixed-point arithmetic
M. Baranowski, S. He, M. Lechner, T.S. Nguyen, Z. Rakamarić, in:, Automated Reasoning, Springer Nature, 2020, pp. 13–31.
View | DOI | Download Published Version (ext.)

2020 | Conference Paper | IST-REx-ID: 8195 | OA
Refinement for structured concurrent programs
B. Kragl, S. Qadeer, T.A. Henzinger, in:, Computer Aided Verification, Springer Nature, 2020, pp. 275–298.
View | Files available | DOI

2020 | Journal Article | IST-REx-ID: 8196 | OA
New strong convergence method for the sum of two maximal monotone operators
Y. Shehu, Q.-L. Dong, L.-L. Liu, J.-C. Yao, Optimization and Engineering (2020).
View | Files available | DOI

2020 | Journal Article | IST-REx-ID: 8203 | OA
Zero field splitting of heavy-hole states in quantum dots
G. Katsaros, J. Kukucka, L. Vukušić, H. Watzinger, F. Gao, T. Wang, J.-J. Zhang, K. Held, Nano Letters 20 (2020) 5201–5206.
View | Files available | DOI | PubMed | Europe PMC

Filters and Search Terms



Filter Publications